TFTDS / Лекция 11 / Транзакции, изоляция транзакций, 2PL и SI

00:00:00 - Мотивация / Базы данных 00:02:30 - Мотивация / Неатомарная запись на границе чанков в GFS 00:07:50 - Мотивация / Операции с метаданными в Tectonic 00:11:09 - Мотивация / Exactly-Once обработка данных в Kafka 00:16:20 - Мотивация / Lock-free select на каналах в Kotlin 00:19:20 - Постановка задачи: линеаризуемое хранилище, интерактивные транзакции, планировщик, расписания 00:26:55 - Модель изоляции транзакций: серийные расписания, view-сериализуемость 00:33:40 - Модели согласованности и изоляции, strict serializability, сериализуемость и линеаризуемость 00:39:33 - Понятие конфликта операций, конфликтная сериализуемость 00:50:10 - Граф конфликтов 00:53:03 - Критерий конфликтной сериализуемости 00:57:20 - Планировщик [Strict] 2PL (Two-phase locking) 01:03:40 - 2PL / Доказательство корректности 01:09:29 - 2PL / Deadlock avoidance, стратегии wound-wait и wait-die, локальный прогресс для транзакций 01:14:16 - 2PL / Эксклюзивные и разделяемые блокировки 01:16:00 - Транзакционная память (HTM) и когерентность кэшей, ограничения HTM 01:25:48 - Snapshot Isolation: мультиверсионное хранилище, временные метки, правило first committer wins 01:34:55 - Про реализацию SI: реализация хранилища, выбор временных меток, атомарный коммит 01:35:47 - Аномалия Write Skew, определение уровней изоляции через аномалии 01:45:00 - В следующий раз: транзакции поверх BigTable, транзакции в Spanner, транзакции в YandexDB Дата лекции: 6 ноября 2021 Лектор: Роман Липовский Съёмка и монтаж: Дмитрий Купцов Плейлист с лекциями:    • TFTDS (лекции, 3 курс, осень 2021) - Липов...   Плейлист с семинарами:    • TFTDS (семинары, 3 курс, осень 2021) - Лип...