journal article
Apr 02, 2026
LeaseGuard: Raft Leases Done Right
Proceedings of the ACM on Management of Data
Vol. 4
No. 1
pp. 1-25
·
Association for Computing Machinery (ACM)
Abstract
Raft is a leading consensus algorithm for replicating writes in distributed databases. However, distributed databases also require consistent
reads.
To guarantee read consistency, a Raft-based system must either accept the high communication overhead of a safety check for each read, or implement
leader leases.
Prior lease protocols are vaguely specified and hurt availability, so most Raft systems implement them incorrectly or not at all. We introduce LeaseGuard, a novel lease algorithm that relies on guarantees specific to Raft elections. LeaseGuard is simple, rigorously specified in TLA+, and includes two novel optimizations that maximize availability during leader failover. The first optimization restores write throughput quickly, and the second improves read availability. We evaluate LeaseGuard with a simulation in Python and an implementation in LogCabin, the C++ reference implementation of Raft. By replacing LogCabin's default consistency mechanism (quorum checks), LeaseGuard reduces the overhead of consistent reads from one to zero network roundtrips. It also improves write throughput from ~1000 to ~10,000 writes per second, by eliminating contention between writes and quorum reads. Whereas traditional leases ban all reads on a new leader while it waits for a lease, in our LeaseGuard test the new leader instantly allows 99% of reads to succeed.
reads.
To guarantee read consistency, a Raft-based system must either accept the high communication overhead of a safety check for each read, or implement
leader leases.
Prior lease protocols are vaguely specified and hurt availability, so most Raft systems implement them incorrectly or not at all. We introduce LeaseGuard, a novel lease algorithm that relies on guarantees specific to Raft elections. LeaseGuard is simple, rigorously specified in TLA+, and includes two novel optimizations that maximize availability during leader failover. The first optimization restores write throughput quickly, and the second improves read availability. We evaluate LeaseGuard with a simulation in Python and an implementation in LogCabin, the C++ reference implementation of Raft. By replacing LogCabin's default consistency mechanism (quorum checks), LeaseGuard reduces the overhead of consistent reads from one to zero network roundtrips. It also improves write throughput from ~1000 to ~10,000 writes per second, by eliminating contention between writes and quorum reads. Whereas traditional leases ban all reads on a new leader while it waits for a lease, in our LeaseGuard test the new leader instantly allows 99% of reads to succeed.
Topics
No keywords indexed for this article. Browse by subject →
References
57
[1]
2020. IEEE Standard for a Precision Clock Synchronization Protocol for Networked Measurement and Control Systems. doi:10.1109/IEEESTD.2020.9120376
10.1109/ieeestd.2020.9120376
[2]
Amazon Web Services. 2023. Amazon Time Sync Service now supports microsecond-accurate time. https://aws.amazon.com/about-aws/whats-new/2023/11/amazon-time-sync-service-microsecond-accurate-time/ Accessed: 2024-07--14.
[3]
Vaibhav Arora, Tanuj Mittal, Divyakant Agrawal, Amr El Abbadi, Xun Xue, Yanan Zhi, and Jianfeng Zhu. 2017. Leader or Majority: Why have one when you can have both? Improving Read Scalability in Raft-like consensus protocols. In 9th USENIX Workshop on Hot Topics in Cloud Computing, HotCloud 2017, Santa Clara, CA, USA, July 10--11, 2017, Eyal de Lara and Swaminathan Sundararaman (Eds.). USENIX Association, Santa Clara, CA, USA, 6 pages. https://www.usenix.org/conference/hotcloud17/program/presentation/arora
[4]
RethinkDB Authors. 2024. RethinkDB the open-source database for the realtime web. https://rethinkdb.com/
[5]
boringhello. 2024. etcd-io/raft Issue 166: Question about LeaseRead. https://github.com/etcd-io/raft/issues/166
[6]
Marc Brooker. 2022. Formal Methods Only Solve Half My Problems. https://brooker.co.za/blog/2022/06/02/formal.html
[7]
Marc Brooker. 2022. Simple Simulations for System Builders. https://brooker.co.za/blog/2022/04/11/simulation.html
[8]
Marc Brooker. 2024. DSQL Vignette: Reads and Compute. https://brooker.co.za/blog/2024/12/04/inside-dsql.html Accessed: 2025-03-09.
[9]
Michael Burrows. 2006. The Chubby Lock Service for Loosely-Coupled Distributed Systems. In 7th Symposium on Operating Systems Design and Implementation (OSDI '06), November 6--8, Seattle, WA, USA, Brian N. Bershad and Jeffrey C. Mogul (Eds.). USENIX Association, Seattle, WA, USA, 335--350. http://www.usenix.org/events/osdi06/tech/burrows.html
[11]
Aleksey Charapko, Ailidani Ailijiang, and Murat Demirbas. 2019. Linearizable Quorum Reads in Paxos. In 11th USENIX Workshop on Hot Topics in Storage and File Systems, HotStorage 2019, Renton, WA, USA, July 8--9, 2019, Daniel Peek and Gala Yadgar (Eds.). USENIX Association, Renton, WA, USA, 7 pages. https://www.usenix.org/conference/hotstorage19/presentation/charapko
[12]
Audrey Cheng Shu Liu Melissa Pan Zhifei Li Bowen Wang Alex Krentsel Tian Xia Mert Cemri Jongseok Park Shuo Yang Jeff Chen Lakshya Agrawal Aditya Desai Jiarong Xing Koushik Sen Matei Zaharia and Ion Stoica. 2025. Barbarians at the Gate: How AI is Upending Systems Research. arXiv:2510.06189 [cs] doi:10.48550/arXiv.2510.06189
10.48550/arxiv.2510.06189
[13]
Archie Cobbs. 2017. Lock and leadership election in Raft. https://groups.google.com/g/raft-dev/c/oO0NfgUVrjg/m/R1BnnbNcAwAJ
[14]
[15]
Mike Curtiss. [n.d.]. Why you should pick strong consistency whenever possible. https://cloud.google.com/blog/products/databases/why-you-should-pick-strong-consistency-whenever-possible. Accessed:2025-07--15.
[16]
etcd Authors. 2024. etcd a distributed reliable key-value store for the most critical data of a distributed system. https://etcd.io/
[17]
Yilong Geng, Shiyu Liu, Zi Yin, Ashish Naik, Balaji Prabhakar, Mendel Rosenblum, and Amin Vahdat. 2018. Exploiting a Natural Network Effect for Scalable, Fine-grained Clock Synchronization. In 15th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2018, Renton, WA, USA, April 9--11, 2018, Sujata Banerjee and Srinivasan Seshan (Eds.). USENIX Association, Renton, WA, USA, 81--94. https://www.usenix.org/conference/nsdi18/presentation/geng
[19]
[21]
Joseph Y. Halpern and Yoram Moses. 2000. Knowledge and common knowledge in a distributed environment. CoRR cs.DC/0006009 (2000). https://arxiv.org/abs/cs/0006009
[22]
[26]
Lexiang Huang, Matthew Magnusson, Abishek Bangalore Muralikrishna, Salman Estyak, Rebecca Isaacs, Abutalib Aghayev, Timothy Zhu, and Aleksey Charapko. 2022. Metastable Failures in the Wild. In 16th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2022, Carlsbad, CA, USA, July 11--13, 2022, Marcos K. Aguilera and Hakim Weatherspoon (Eds.). USENIX Association, 73--90. https://www.usenix.org/conference/osdi22/presentation/huang-lexiang
[27]
Amazon.com Inc. 2021. clock-bound. https://github.com/aws/clock-bound Accessed: 2025-02--11.
[28]
Clockwork Inc. 2022. clockwork. https://www.clockwork.io/ Accessed: 2025-02--12.
[29]
HashiCorp Inc. [n.d.]. Consul. https://www.consul.io. Accessed: 2025-07-05.
[31]
Kyle Kingsbury. [n.d.]. Jepsen: etcd and Consul. https://aphyr.com/posts/316-jepsen-etcd-and-consul. Accessed:2025-07--10.
[33]
Leslie Lamport. 2002. Specifying Systems, The TLA Language and Tools for Hardware and Software Engineers. Addison-Wesley, Boston, MA, US. http://research.microsoft.com/users/lamport/tla/book.html
[35]
[36]
Barbara Liskov and James Cowling. 2012. Viewstamped Replication Revisited. Tech. Rep. MIT-CSAIL-TR-2012-021. MIT.
[39]
[40]
Oleg Obleukhov and Ahmad Byagowi. 2022. How Precision Time Protocol is being deployed at Meta. https://engineering.fb.com/2022/11/21/production-engineering/precision-time-protocol-at-meta/ Accessed: 2025-03-07.
[41]
Diego Ongaro. 2014. Consensus: bridging theory and practice. Ph. D. Dissertation. Stanford University, USA. https://searchworks.stanford.edu/view/10608105
[42]
Diego Ongaro and John K. Ousterhout. 2014. In Search of an Understandable Consensus Algorithm. In Proceedings of the 2014 USENIX Annual Technical Conference, USENIX ATC 2014, Philadelphia, PA, USA, June 19--20, 2014, Garth Gibson and Nickolai Zeldovich (Eds.). USENIX Association, Philadelphia, PA, USA, 305--319. https://www.usenix.org/conference/atc14/technical-sessions/presentation/ongaro
[43]
Franck Pachot. 2024. Achieving Precise Clock Synchronization on AWS. https://www.yugabyte.com/blog/aws-clock-synchronization/ Accessed: 2025-03-09.
[44]
Karthik Ranganathan. 2019. Low Latency Reads in Geo-Distributed SQL with Raft Leader Leases. https://www.yugabyte.com/blog/low-latency-reads-in-geo-distributed-sql-with-raft-leader-leases/
[45]
Bianca Schroeder, Adam Wierman, and Mor Harchol-Balter. 2006. Open Versus Closed: A Cautionary Tale. In 3rd Symposium on Networked Systems Design and Implementation (NSDI 2006), May 8--10, 2007, San Jose, California, USA, Proceedings, Larry L. Peterson and Timothy Roscoe (Eds.). USENIX. http://www.usenix.org/events/nsdi06/tech/schroeder.html
[47]
Anum Jang Sher and David Wein. 2024. Achieving scale with Amazon Aurora PostgreSQL Limitless Database. https://www.youtube.com/watch?v=pUqVCK7Ggh0 Accessed: 2025-03-09.
[48]
Benedict Elliot Smith Tony Zhang Blake Eggleston and Scott Andreas. 2022. CEP-15: Fast General Purpose Trans- actions. (2022). https://cwiki.apache.org/confluence/download/attachments/188744725/Accord.pdf?version=1&modificationDate=1630847737000&api=v2
[50]
Siddon Tang. 2018. How TiKV Uses ''Lease Read'' to Guarantee High Performances Strong Consistency and Linearizability. https://www.pingcap.com/blog/lease-read/
Showing 50 of 57 references
Metrics
0
Citations
57
References
Details
- Published
- Apr 02, 2026
- Vol/Issue
- 4(1)
- Pages
- 1-25
Authors
Cite This Article
A. Jesse Jiryu Davis, Murat Demirbas, Lingzhi Deng (2026). LeaseGuard: Raft Leases Done Right. Proceedings of the ACM on Management of Data, 4(1), 1-25. https://doi.org/10.1145/3786663
Related
You May Also Like
A Universal Question-Answering Platform for Knowledge Graphs
Reham Omar, Ishika Dhall · 2023
43 citations
FactorJoin: A New Cardinality Estimation Framework for Join Queries
Ziniu Wu, Parimarjan Negi · 2023
39 citations
RaBitQ: Quantizing High-Dimensional Vectors with a Theoretical Error Bound for Approximate Nearest Neighbor Search
Jianyang Gao, Cheng Long · 2024
39 citations
ACORN: Performant and Predicate-Agnostic Search Over Vector Embeddings and Structured Data
Liana Patel, Peter Kraft · 2024
37 citations
Efficient Sampling Approaches to Shapley Value Approximation
Jiayao Zhang, Qiheng Sun · 2023
34 citations