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