The Impossibility of Ensuring Snapshot Isolation in Genuine Replicated STMs - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2011

The Impossibility of Ensuring Snapshot Isolation in Genuine Replicated STMs

Résumé

In order to scale to large multiprocessors or clusters, transactional memories must reduce reliance on synchronisation. Therefore, we consider two favorable formal properties, namely Snapshot Isolation (SI, by which read-only transactions commit without synchronisation), and Genuine Partial Replication (GPR, by which a processor synchronises for a transaction only if it maintains a copy of some data item accessed by that transaction). We show that, unless the read-set of every transaction is known in advance, the combination of SI+GPR is impossible. To circumvent this impossibility result, we propose to weaken SI such that snapshots are allowed to be non-monotonic.

Domaines

Autre [cs.OH]
Fichier principal
Vignette du fichier
Impossibility_of_Genuine_Replicated_STM_under_SI-WTTM-2011.pdf (82.27 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-00932809 , version 1 (17-01-2014)

Identifiants

  • HAL Id : hal-00932809 , version 1

Citer

Masoud Saeida Ardekani, Pierre Sutra, Marc Shapiro. The Impossibility of Ensuring Snapshot Isolation in Genuine Replicated STMs. WTTM 2011: third workshop on the theory of transactional memory, Sep 2011, Roma, Italy. ⟨hal-00932809⟩
321 Consultations
224 Téléchargements

Partager

More