Introduction & MapReduce
Robert Morris · 1:19:35
Distributed Systems 1.3: RPC (Remote Procedure Call)
Martin Kleppmann · 19:44
Distributed Systems 3.1: Physical time
Martin Kleppmann · 20:47
Distributed Systems 3.2: Clock synchronisation
Martin Kleppmann · 15:57
Raft Log Compaction, Persistence & Linearizability (Part 2)
Robert Morris · 1:17:36
The Relational Model & Relational Algebra
Andy Pavlo · 1:16:43
Buffer Pool Managers, LRU-K Eviction & Direct I/O
Andy Pavlo · 1:22:44
Buffer Pool Managers, LRU-K Eviction & Direct I/O
Associate Professor of Databaseology
Explains why databases bypass OS page caches via O_DIRECT, manage page pin counts and latches, and prevent sequential-scan pollution using LRU-K and Clock policies.
Andy Pavlo (https://www.cs.cmu.edu/~pavlo/)
Slides: https://15445.courses.cs.cmu.edu/fall2023/slides/06-bufferpool.pdf
Notes: https://15445.courses.cs.cmu.edu/fall2023/notes/06-bufferpool.pdf