Lune

OOPSLA2025Top-tier venue

Peepco: Batch-Based Consistency Optimization

Ivan Kuraj, John K. Feser, Nadia Polikarpova, Armando Solar-Lezama

2025Year

Abstract

We present batch-based consistency, a new approach for consistency optimization that allows programmers to specialize consistency with application-level integrity properties. We implement the approach with a two-step process: we statically infer optimal consistency requirements for executions of bounded sets of operations, and then, use the inferred requirements to parameterize a new distributed protocol to relax operation reordering at run time when it is safe to do so. Our approach supports standard notions of consistency. We implement batch-based consistency in Peepco , demonstrate its expressiveness for partial data replication, and examine Peepco’s run-time performance impact in different settings.

Ask about this paper

Ask your agent about it.

Lune has read the top-tier papers around this one, so every answer names the papers it rests on.

Questions to start from

Your agent calls

Lunesearch_papers

Ask in Lune

Free to start. No credit card required.

lune papers get 3b72d10f-485d-4f1a-917a-7098c4236171

Related papers

Dusk over the sea between two cliffs drawn in fine vertical lines