Brief Announcement: From Causal to z-Linearizable Transactional Memory

Publikation: Beitrag zu KonferenzenPaperBeigetragenBegutachtung

Beitragende

Abstract

The current generation of time-based transactional memo-
ries (TMs) has the advantage of being simple and efficient,
and providing strong linearizability semantics. Linearizabil-
ity matches well the goal of TM to simplify the design and
implementation of concurrent applications. However, long
transactions can have a much lower likelihood of committing
than smaller transactions because of the strict ordering con-
straints imposed by linearizability. We investigate the use of
weaker semantics for TM and introduce a new consistency
criterion that we call z-linearizability. By combining proper-
ties of linearizability and serializability, z-linearizability pro-
vides a good trade-off between strong semantics and good
practical performance even for long transactions.

Details

OriginalspracheEnglisch
Seiten340-341
Seitenumfang2
PublikationsstatusVeröffentlicht - 2007
Peer-Review-StatusJa

Konferenz

Titel26th Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing
KurztitelPODC 2007
Veranstaltungsnummer26
Dauer12 - 15 August 2007
Webseite
BekanntheitsgradInternationale Veranstaltung
OrtPortland Hilton
StadtPortland
LandUSA/Vereinigte Staaten

Externe IDs

Scopus 36849001314

Schlagworte

Forschungsprofillinien der TU Dresden

DFG-Fachsystematik nach Fachkollegium

Schlagwörter

  • Transactional memory, Causal serializablility, linearizability