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
papoc2026.pdf (708.97 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
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. 13th Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC), Apr 2026, Edinburgh, United Kingdom. ⟨10.1145/3806077.3806696⟩. ⟨hal-05580138v2⟩
128 Consultations
59 Téléchargements

Altmetric

Partager

  • More