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
Watch video 4 lecture - MPP | Построение атомарных объектов и блокировки online without registration, duration hours minute second in high quality. This video was added by user geny200 itmo 25 September 2020, don't forget to share it with your friends and acquaintances, it has been viewed on our site 523 once and liked it 16 people.