January 17, 2026

59: LeaseGuardとDB界隈

41 minutes

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) データベースと億万長者

...more

By ichizerofm