Презентация к лекции: L7.pdf.
Краткие итоги: Введены понятия упорядоченной согласованности, согласованности по периодам покоя, линеаризуемости. Свойство композиционности. Понятие истории и теорема о композионности линеаризуемости.
Изучите доказательство теоремы о композиционности линеаризуемости в книге "Art of multiprocessor programming" стр. 57-58.
Рекомендуем прочитать статью: Lin.pdf.
Для получения официальных документов о завершении программы дополнительного профессионального образования (удостоверения о повышении квалификации, дипломов о профессиональной переподготовке и MBA) необходимо предоставить:
Внимание! Вы можете не заказывать доставку бумажной версии официального документы, а скачать его в электронном виде и распечатать самостоятельно. Информация о выданном документе в течение 1 месяца загружается в Федеральную информационную систему «Федеральный реестр сведений о документах об образовании и (или) о квалификации, документах об обучении» - ФИС ФРДО.
Доступ на новый сайт осуществляется с использованием адреса электронной почты, который был указан вами при регистрации на "старом". Мы постарались перенести все ваши данные с прежнего ресурса, однако не исключена вероятность потери части информации.
При возникновении проблемы со входом, воспользуйтесь функцией сброса пароля
Если вы обнаружите несоответствия, пожалуйста, сообщите нам.
