Transaction Chopping for Parallel Snapshot Isolation - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2015

Transaction Chopping for Parallel Snapshot Isolation

Résumé

Modern Internet services often achieve scalability and availability by relying on large-scale distributed databases that provide consistency models for transactions weaker than serialisability. We investigate the classical problem of transaction chopping for a promising consistency model in this class—parallel snapshot isolation (PSI), which weakens the classical snapshot isolation to allow more efficient large-scale implementations. Namely, we propose a criterion for checking when a set of transactions executing on PSI can be chopped into smaller pieces without introducing new behaviours, thus improving efficiency. We find that our criterion is more permissive than the existing one for chopping serialisable transactions. To establish our criterion, we propose a novel declarative specification of PSI that does not refer to implementation-level concepts and, thus, allows reasoning about the behaviour of PSI databases more easily. Our results contribute to building a theory of consistency models for modern large-scale databases.
Fichier principal
Vignette du fichier
32.pdf (465.1 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01207130 , version 1 (30-09-2015)

Identifiants

  • HAL Id : hal-01207130 , version 1

Citer

Andrea Cerone, Alexey Gotsman, Hongseok Yang. Transaction Chopping for Parallel Snapshot Isolation. DISC 2015, Toshimitsu Masuzawa; Koichi Wada, Oct 2015, Tokyo, Japan. ⟨hal-01207130⟩

Collections

DISC2015
94 Consultations
106 Téléchargements

Partager

Gmail Facebook X LinkedIn More