The Impossibility of Ensuring Snapshot Isolation in Genuine Replicated STMs - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2011

The Impossibility of Ensuring Snapshot Isolation in Genuine Replicated STMs

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.

Domains

Other [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
Origin : Files produced by the author(s)

Dates and versions

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

Identifiers

  • HAL Id : hal-00932809 , version 1

Cite

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⟩
282 View
214 Download

Share

Gmail Facebook X LinkedIn More