ТПМС 6. Модели памяти

0:06:23 - кэш и коммуникация 0:11:00 - перестановка мест 0:16:07 - модель памяти 0:20:06 - описание модели памяти, подходы 0:21:27 - operational model 0:25:02 - sequential consistency 0:30:37 - жертвы для простоты и быстроты исполнения 0:35:07 - описание sequential consistency 0:37:22 - конфликты 0:47:07 - заглянем в распределённые системы 0:49:22 - happens-before 0:52:10 - program order 0:55:03 - synchronize with 0:59:20 - happens before в терминах program order и synchronizes with 1:07:13 - data race 1:12:23 - построение глобального порядка 1:21:32 - атомики 1:24:29 - бонусный слайд