59: LeaseGuardとDB界隈

RaftにLeader Leaseを導入するLeaseGuardという手法について書かれた論文や解説ブログを読みながら雑談しました。後半はAndy Pavlo先生による2025年のデータベース業界の振り返り記事を眺めつつグダグダトークを繰り広げました。

• LeaseGuard: Raft Leases Done Right!
  • https://arxiv.org/pdf/2512.15659 
  • Question about LeaseRead · Issue #166 · etcd-io/raft 
  • TLA+ modeling tips 
• Databases in 2025: A Year in Review // Blog // Andy Pavlo - Carnegie Mellon University

Chapters:
(00:00) Opening
(03:26) LeaseGuard: Raft Leases Done Right!
(04:22) 著者紹介
(06:01) LeaseGuardとはなにか
(23:41) TLA+の学び方
(26:20) Databases in 2025: A Year in Review
(38:54) データベースと億万長者