TFTDS 7. Транзакции. Часть 1

0:00:00 - Мотивация к транзакциям в распределенных системах 0:05:15 - Масштабы транзакций 0:06:46 - Локальное хранилище, операции 0:16:05 - Определение транзакции, commit, abort 0:22:32 - ACID, изоляция транзакций 0:27:12 - Планировщик транзакций 0:29:05 - Расписания 0:30:38 - View Equivalence, View Serializability 0:32:30 - Почему мы хотим View Serializability - локальные инварианты, можно не думать про Concurrency 0:34:30 - Сериализуемость и линеаризуемость 0:36:00 - Совершенно непонятно как устроена сериализуемость 0:40:40 - Понятие конфликта, Conflict Equivalence, Conflict Serializability 0:46:22 - Граф конфликтов 0:48:18 - Критерий конфликтной сериализуемости 0:52:03 - Протокол 2PL 0:56:10 - 2PL -- Conflict Serializability 1:00:27 - Дэдлоки, prevention: wait-die / wound-wait, прогресс и отсутствие дедлоков 1:08:06 - Пример нарушения recoverability для 2PL - Сериализуемость и Recoverability 1:11:53 - Strict 2PL 1:18:24 - конец, вопрос про "а кто берёт локи" Снимал: Димитрис Голяр Монтировал: Максимелиан Мумладзе Лектор: Роман Липовский Дата лекции: 31.10.2020 Репозиторий курса: https://gitlab.com/Lipovsky/distsys-course Плейлист с лекциями: https://www.youtube.com/playlist?list=PL4_hYwCyhAvZaJ3CJlGo9FxOTA2bS1YyN Плейлист с семинарами: https://www.youtube.com/playlist?list=PL4_hYwCyhAvZTjajkPpwgR29jyx81lMCl