Leases: an efficient fault-tolerant mechanism for distributed file cache consistency
Abstract
Caching introduces the overhead and complexity of ensuring consistency, reducing some of its performance benefits. In a distributed system, caching must deal with the additional complications of communication and host failures.
Integrity signals
Registry
Cites
Statistics
Claims the paper makes
Claims other papers make about this one
Each is checked against this paper’s own text: does it say what the citing paper says it does?
The design lineage is advisory locking in distributed systems; AgentRoom's file-level claim is a Chubby-style advisory lock surfaced as an MCP tool, with the agent rather than a kernel call as the cooperator.
“The design lineage is advisory locking in distributed systems [Burrows, 2006, Hunt et al., 2010, Gray and Cheriton, 1989]; AgentRoom's file-level claim is a Chubby-style advisory lock surfaced as an MCP tool, with the agent rather than a kernel call as the cooperator.”
From AgentRoom: Concurrent Multi-Agent Coding in a CRDT-Backed Shared Workspace (2026) · cites this paper as Gray and Cheriton, 1989
Contextual caveats support decentralized attenuation, and leases provide the classic time-bounded validity pattern.
“Contextual caveats support decentralized attenuation [4], and leases provide the classic time-bounded validity pattern [10].”
From Authorization for Self-Modifying AI Agent Populations: Conserving Authority across Replacement, Forking, and Rollback (2026) · cites this paper as [10]
Cited by
Sorted by citations
AgentRoom: Concurrent Multi-Agent Coding in a CRDT-Backed Shared Workspace
Cho, S., & Lee, D. (2026) · arXiv · doi:10.48550/arxiv.2608.23740
Zhu, G., & Wang, C. (2026) · arXiv · doi:10.48550/arxiv.2610.00347
- Authors
- Gray, C., & Cheriton, D.
- Affiliations
- Stanford University (US)
- Venue
- Proceedings of the twelfth ACM symposium on Operating systems principles
- Publisher
- ACM
- Published
- 1989-11
- Pages
- 202-210
- OpenAlex
- W2012481411
- Cited by
- 487
- References
- 0
- Citations by year
- 2026: 7 · 2025: 4 · 2024: 6 · 2023: 5 · 2022: 2 · 2021: 18 · 2020: 15 · 2019: 13 · 2018: 13 · 2017: 12 · 2016: 5 · 2015: 13 · 2014: 17 · 2013: 20 · 2012: 9
- FWCI
- 5.14
- Type
- conference paper
- Language
- en
- Open access
- closed
- Locations
- ACM SIGOPS Symposium on Operating Systems Principles (SOSP) (publishedVersion)
- Topics
- Physical Sciences › Computer Science › Computer Networks and Communications › Distributed systems and fault tolerance
- Physical Sciences › Computer Science › Computer Networks and Communications › Advanced Data Storage Technologies
- Physical Sciences › Computer Science › Computer Networks and Communications › Software System Performance and Reliability
- Keywords
- lease agreements, distributed file systems, cache consistency, fault tolerance, communication breakdown, caching
About these checks
Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.
Statistics and arithmetic are recomputed, not judged.
Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.
What counts as a claim ›How we measure confidence ›How we check this ›
Are you an author, or do you see a problem with this page? Request a review
