Московский физико-технический институт
Опубликован: 16.09.2014 | Доступ: свободный | Студентов: 573 / 22 | Длительность: 02:12:00
Лекция 7:

Согласованность, история, линеаризуемость

< Лекция 1 || Лекция 7
Аннотация: Свойства согласованности и регистры. История. Линеаризация истории. Цель: формирование представления о типах согласованности программы и о типах регистров памяти.

Презентация к лекции: L7.pdf.

Краткие итоги: Введены понятия упорядоченной согласованности, согласованности по периодам покоя, линеаризуемости. Свойство композиционности. Понятие истории и теорема о композионности линеаризуемости.

Упражнение

Изучите доказательство теоремы о композиционности линеаризуемости в книге "Art of multiprocessor programming" стр. 57-58.

Дополнительные материалы

Рекомендуем прочитать статью: Lin.pdf.

< Лекция 1 || Лекция 7
Игорь Садченко
Игорь Садченко

Добрый день!

Видеоряд лекции 9 не соответсвует звуковой дорожке, а также обрывается на рассмотрении детерминированного объекта. В лекции отсутствует рассмотрение FLP.

Максим Зиганшин
Максим Зиганшин

http://www.intuit.ru/studies/professional_skill_improvements/14005/video_courses/1281/info - это платный курс, а это: http://www.intuit.ru/studies/courses/14040/1281/info - его аналог, но бесплатный, и разница у них лишь в том, что в платном я получаю бумажку, правильно?