Record · corpus.blog/posts/01a0bba5-ba97-7132-9029-331f88f1961c

LeaseGuard: Raft Leases Done Right!

Murat Demirbas · published 19 December 2025

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at muratbuffalo.blogspot.com Wayback capture

1blogs citing

First cited: 2 Jan 2026
Most recent: 2 Jan 2026
Rank this month: not ranked
External links: 23
Words captured: 1,616

Cited by

Blog

In the post

Date

poorlydefinedbehaviour.github.io

Reading list 2025 Read at the source ↗

2 Jan 2026

Links from this post

Link

Host

https://en.wikipedia.org/wiki/State_machine_replication

en.wikipedia.org

https://jepsen.io/consistency/models/read-your-writes

jepsen.io

https://raft.github.io/raft.pdf

raft.github.io

https://github.com/etcd-io/raft/issues/166

github.com

https://github.com/hashicorp/raft/issues/108

github.com

https://aphyr.com/posts/316-jepsen-etcd-and-consul

aphyr.com

https://arxiv.org/abs/2512.15659

arxiv.org

https://emptysqua.re/blog/

emptysqua.re

https://www.google.com/url?q=https://www.encyclopediaofdiderot.org/s/diderot/item/233773&sa=D&source=docs&ust=1766104309893529&usg=AOvVaw2Ef8ZVAMJuLVPr0oaqM9Qv

google.com

https://www.encyclopediaofdiderot.org/s/diderot/item/233773

encyclopediaofdiderot.org

https://groups.google.com/g/raft-dev/c/oO0NfgUVrjg/m/R1BnnbNcAwAJ

groups.google.com

https://www.usenix.org/system/files/osdi18-alquraan.pdf

usenix.org

https://aphyr.com/posts/288-the-network-is-reliable

aphyr.com

https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEg1Vlzqffx02r8TLgdRhxbW1gR_Zr4ZYxoN5FNdNonoupKQp4XelmuPbGrwkW_ypIs0Vyz9UnfVypiQ6Am7ZkSaOhOiFDSJUSoI9IIGfp9slUiTJnzUES7JWmGrsoTelMPn88iXwNWV29tIrxRDLWV6MwD55v8z88UNOnoBEtyDgUDkRI_oUKEIMLdTWTU/s426/limbo-range-blog.png

blogger.googleusercontent.com

Can We Rely On Timers For Distributed Algorithms? Read at the source ↗

emptysqua.re

https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEju7FuGOdpoSRuRjrXu9udrlhepB8NSd58IMXM8lSIlp1O6RMmgsh8UdN25e0INxqQONmC03YDcHAw56JKws0WZAUcHCYf_vm2HkCt_qo5mIJhEJT_XQEVe071_9PVXWCy_PB1z2kKL4NnvVB9y0E-FvLmZSD4ci5yOhkXCqmBlXyYCGa09CC3ku3jgWQs/s468/availability_timeline.key.png

blogger.googleusercontent.com

https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEg7kRabnJfGZ5LJ25HGwg50q__KwCPrHT6NcDyZaQoqIblHI03szJrEWYbS8dJuG2QniOjrSFyl2OrAcdcc5raH30NoSyzaHX7J6tzLDN_4xJRJfDBAGH1KbBkfceSSmaYaBSH2NHUv6BB5I2vT7gVd3-uqAVdZl_ZqnbEp-fX8oH0hmoJDrPkPBJohlLc/s2014/Screenshot%202025-12-18%20at%209.04.07%E2%80%AFPM.png

blogger.googleusercontent.com

https://www.mongodb.com/company/blog/engineering/conformance-checking-at-mongodb-testing-our-code-matches-our-tla-specs

mongodb.com

https://github.com/muratdem/RaftLeaderLeases/blob/main/TLA/leaseGuard.tla

github.com

https://github.com/mongodb-labs/logcabin/tree/leaseguard

github.com

https://github.com/muratdem/RaftLeaderLeases/tree/main/Python

github.com

https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEgWVTJNsDoRIVtf1j14orNv_rhapu5MkDCV1wUzEO6oAdIV92172Dy4KSDrXZOQE_FyPUPiFT_6C1PPgNOyGFhPhQXApHxBUCnBfi6AeOSPzNSD-G62VJjTZB7Hkbbp_eWbI2EraOs5X576mwF-sigfNVOV-YeHEzWohBfV9Mr7tz7wmEGFtDqPyyzf1SY/s543/unavailability_experiment_logcabin.png

blogger.googleusercontent.com

https://emptysqua.re/blog/series/knowledge/

emptysqua.re

Elsewhere on muratbuffalo.blogspot.com (1)

http://muratbuffalo.blogspot.com/

muratbuffalo.blogspot.com