Brief Announcement: From Causal to z-Linearizable Transactional Memory

Research output: Contribution to conferencesPaperContributedpeer-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.

Details

Original languageEnglish
Pages340-341
Number of pages2
Publication statusPublished - 2007
Peer-reviewedYes

Conference

Title26th Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing
Abbreviated titlePODC 2007
Conference number26
Duration12 - 15 August 2007
Website
Degree of recognitionInternational event
LocationPortland Hilton
CityPortland
CountryUnited 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