REVIEW 2 cited by
LogPlayer: Fault-tolerant Exactly-once Delivery using gRPC Asynchronous Streaming
Not yet reviewed by Pith; the record is open.
This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.
SPECIMEN: schema-true, not a live event
T0 review · schema-true
One-sentence machine reading of the paper's core claim.
pith:XXXXXXXX · record.json · timestamp
read the original abstract
In this paper, we present the design of our LogPlayer that is a component responsible for fault-tolerant delivery of transactional mutations recorded on a WAL to the backend storage shards. LogPlayer relies on gRPC for asynchronous streaming. However, the design provided in this paper can be used with other asynchronous streaming platforms. We model check the correctness of LogPlayer by TLA+. In particular, our TLA+ specification shows that LogPlayer guarantees in-order exactly-once delivery of WAL entries to the storage shards, even in the presence of shards or LogPlayer failures. Our experiments show LogPlayer is capable of efficient delivery with sub-millisecond latency, and it is significantly more efficient than Apache Kafka for designing a WAL system with exactly-once guarantee.
Forward citations
Cited by 2 Pith papers
-
Machine-Checked Dual-Write Recovery from a Committed Log
Crash recovery cannot decide re-delivery from the crashed side's durable state; only the sink's authoritative acceptance record, with proved fences, gives exactly-once guarantees.
-
A Systematic Literature Review on a Decade of Industrial TLA+ Practice
An SLR of 16 industrial reports shows TLA+ is mostly applied in cloud settings during early design, reports benefits in bug-finding and design quality, and notes steep learning curves and abstraction choices as key barriers.
Discussion (0). Continue with ORCID to comment.