corpus.blog
56,966 blogs · 4,417,066 posts Claim your blog
Record · corpus.blog/posts/01a08773-4e97-732c-baa7-79298dbb6b3e

LeaseGuard: Raft Leases Done Right!

A. Jesse Jiryu Davis · published 18 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 emptysqua.re Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
Links from this post
18
Words captured
2,049

Cited by

No blog we hold has cited this post yet.

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
http://muratbuffalo.blogspot.com/
muratbuffalo.blogspot.com
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
Can We Rely On Timers For Distributed Algorithms? Read at the source ↗
emptysqua.re
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://emptysqua.re/blog/series/knowledge/
emptysqua.re
https://www.encyclopediaofdiderot.org/s/diderot/item/233773
encyclopediaofdiderot.org