The Impossibility of Ensuring Snapshot Isolation in Genuine Replicated STMs

Masoud Saeida Ardekani 1, 2, * Pierre Sutra 1, 2 Marc Shapiro 1, 2
* Auteur correspondant
2 Regal - Large-Scale Distributed Systems and Applications
LIP6 - Laboratoire d'Informatique de Paris 6, Inria Paris-Rocquencourt
Abstract : 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.
Type de document :
Communication dans un congrès
WTTM 2011: third workshop on the theory of transactional memory, Sep 2011, Roma, Italy. 2011
Liste complète des métadonnées

https://hal.inria.fr/hal-00932809
Contributeur : Marc Shapiro <>
Soumis le : vendredi 17 janvier 2014 - 17:01:56
Dernière modification le : vendredi 31 août 2018 - 09:25:54
Document(s) archivé(s) le : vendredi 18 avril 2014 - 11:51:41

Fichier

Impossibility_of_Genuine_Repli...
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00932809, version 1

Collections

Citation

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. 2011. 〈hal-00932809〉

Partager

Métriques

Consultations de la notice

321

Téléchargements de fichiers

215