Communication Dans Un Congrès Année : 2026

CobbleDB: Modelling Levelled Storage by Composition

Résumé

We present a composition-based approach to building correctby-construction database backing stores. In previous work, we specified the behaviour of several store variants and proved their correctness and equivalence. Here, we derive a Java implementation: the simplicity of the specification makes manual construction straightforward. We leverage spec-guaranteed store equivalence to compose performance features, then demonstrate practical value with CobbleDB, a reimplementation of RocksDB's levelled storage.

Fichier principal
Vignette du fichier
papoc26-final20.pdf (698.93 Ko) Télécharger le fichier
Origine Fichiers éditeurs autorisés sur une archive ouverte
Licence

Dates et versions

hal-05580138 , version 1 (03-04-2026)
hal-05580138 , version 2 (07-04-2026)

Licence

Identifiants

Citer

Emilie Ma, Ayush Pandey, Annette Bieniusa, Marc Shapiro. CobbleDB: Modelling Levelled Storage by Composition. PaPoC 2026 - 13th Workshop on Principles and Practice of Consistency for Distributed Data, Apr 2026, Edinburgh, United Kingdom. ⟨10.1145/3806077.3806696⟩. ⟨hal-05580138v1⟩
133 Consultations
59 Téléchargements

Altmetric

Partager

  • More