Brief Announcement: From Causal to z-Linearizable Transactional Memory
Publikation: Beitrag zu Konferenzen › Paper › Beigetragen › Begutachtung
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.
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
Originalsprache | Englisch |
---|---|
Seiten | 340-341 |
Seitenumfang | 2 |
Publikationsstatus | Veröffentlicht - 2007 |
Peer-Review-Status | Ja |
Konferenz
Titel | 26th Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing |
---|---|
Kurztitel | PODC 2007 |
Veranstaltungsnummer | 26 |
Dauer | 12 - 15 August 2007 |
Webseite | |
Bekanntheitsgrad | Internationale Veranstaltung |
Ort | Portland Hilton |
Stadt | Portland |
Land | USA/Vereinigte Staaten |
Externe IDs
Scopus | 36849001314 |
---|
Schlagworte
Forschungsprofillinien der TU Dresden
DFG-Fachsystematik nach Fachkollegium
Schlagwörter
- Transactional memory, Causal serializablility, linearizability