INTDB24 16 - Concurrency Control Theory ✸ Firebolt Database Talk
Concurrency Control Theory ✸ Firebolt Database Talk Слайды https://15445.courses.cs.cmu.edu/fall2024/slides/16-concurrencycontrol.pdf Заметки https://15445.courses.cs.cmu.edu/fall2024/notes/16-concurrencycontrol.pdf Spanner: Google’s Globally-Distributed Database https://static.googleusercontent.com/media/research.google.com/ru//archive/spanner-osdi2012.pdf 00:00 Начало 01:30 Статус 04:00 Примеры 06:50 Strawman system 11:03 Problem statement 13:40 Formal definitions 15:40 ACID 17:50 Agenda 18:30 Atomicity 19:32 Logging 20:50 Shadow paging 23:27 Consistency 26:10 Isolation 27:10 Concurrency control 32:30 Interleaving transactions 37:00 Properties of schedules 39:30 Conflicting operations 47:40 Dependency graphs 56:30 View serializability 01:01:40 Universe of schedules 01:02:35 Durability 01:04:13 Conclusion 01:09:14 Firebolt
Concurrency Control Theory ✸ Firebolt Database Talk Слайды https://15445.courses.cs.cmu.edu/fall2024/slides/16-concurrencycontrol.pdf Заметки https://15445.courses.cs.cmu.edu/fall2024/notes/16-concurrencycontrol.pdf Spanner: Google’s Globally-Distributed Database https://static.googleusercontent.com/media/research.google.com/ru//archive/spanner-osdi2012.pdf 00:00 Начало 01:30 Статус 04:00 Примеры 06:50 Strawman system 11:03 Problem statement 13:40 Formal definitions 15:40 ACID 17:50 Agenda 18:30 Atomicity 19:32 Logging 20:50 Shadow paging 23:27 Consistency 26:10 Isolation 27:10 Concurrency control 32:30 Interleaving transactions 37:00 Properties of schedules 39:30 Conflicting operations 47:40 Dependency graphs 56:30 View serializability 01:01:40 Universe of schedules 01:02:35 Durability 01:04:13 Conclusion 01:09:14 Firebolt