Brief Announcement: From Causal to z-Linearizable Transactional Memory
Research output: Contribution to conferences › Paper › Contributed › peer-review
Contributors
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
Original language | English |
---|---|
Pages | 340-341 |
Number of pages | 2 |
Publication status | Published - 2007 |
Peer-reviewed | Yes |
Conference
Title | 26th Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing |
---|---|
Abbreviated title | PODC 2007 |
Conference number | 26 |
Duration | 12 - 15 August 2007 |
Website | |
Degree of recognition | International event |
Location | Portland Hilton |
City | Portland |
Country | United States of America |
External IDs
Scopus | 36849001314 |
---|
Keywords
Research priority areas of TU Dresden
DFG Classification of Subject Areas according to Review Boards
Keywords
- Transactional memory, Causal serializablility, linearizability