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