4 lecture - MPP | Построение атомарных объектов и блокировки
00:00 Введение
01:29 Формализация сложных операций
08:11 Декомпозиция операций
10:30 Формализация линеаризации
13:04 Точки линеаризации сложных операций
14:43 Теорема о точках линеаризации
16:21 Док-во (есть точки линеаризации → линеаризуемо)
21:41 Док-во (линеаризуемо → есть точки линеаризации)
26:32 Модель глобального времени
27:53 Вывод / Следствие
29:50 Программный порядок (Псевдокод)
31:27 Пример стек на массиве (не линеаризуемый)
36:15 Построение линеаризуемых объектов
37:05 Блокировки (Mutex)
41:04 Взаимное исключение (попытка 1)
42:45 Взаимное исключение (попытка 2)
50:33 Взаимное исключение (попытка 3)
54:30 Необходимые св-ва для взаимного исключения
54:55 Алгоритм Петерсона
1:04:40 Замечание
1:05:22 Обобщение на N потоков алгоритма Петерсона
1:09:05 Алгоритм Лампорта (вариант 1)
1:17:15 FCFS
1:19:34 Алгоритм Лампорта недостаток в док-ве (вариант 1)
1:20:23 Алгоритм Лампорта (вариант 2)
1:24:43 Необходимые св-ва взаимного исключения
1:26:23 Блокировка и корректная синхронизация
1:29:25 Test-and-set (CAS)
1:31:28 Блокировка в Java
1:32:54 Блокировка в Kotlin
1:33:40 Тонкая блокировка
1:38:36 Двухфазная блокировка (2PL)
1:40:00 Пример 2PL
1:41:17 Использование взаимного исключения
1:41:40 Взаимная блокировка
1:44:11 Иерархическая блокировка
1:46:46 Использование взаимного исключения
1:47:08 True story Windows 3.x
1:52:14 Использование и проблемы блокировки
1:55:57 В следующей серии
1:56:16 Q&A
Смотрите видео 4 lecture - MPP | Построение атомарных объектов и блокировки онлайн без регистрации, длительностью часов минут секунд в хорошем качестве. Это видео добавил пользователь geny200 itmo 25 Сентябрь 2020, не забудьте поделиться им ссылкой с друзьями и знакомыми, на нашем сайте его посмотрели 523 раз и оно понравилось 16 людям.