Brief announcement: From causal to z-linearizable transactional memory

Proceedings of the Annual ACM Symposium on Principles of Distributed Computing

Volumn , Issue , 2007, Pages 340-341

  Riegel, Torval ^a   Fetzer, Christof ^a   Sturzrehm, Heiko ^b   Felber, Pascal ^b  

^a DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

^b UNIVERSITY OF NEUCHÂTEL   (Switzerland)

Author keywords

Causal serializability; Linearizability; Transactional memory

Indexed keywords

CONSTRAINT THEORY; LINEARIZATION; MAXIMUM LIKELIHOOD; SEMANTICS; SYSTEMS ANALYSIS;

CAUSAL SERIALIZABILITY; TRANSACTIONAL MEMORY;

DATA STORAGE EQUIPMENT;

EID: 36849001314     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1281100.1281162     Document Type: Conference Paper

References (2)

1. Torvald Riegel, Pascal Felber, and Christof Fetzer. A Lazy Snapshot Algorithm with Eager Validation. In 20th International Symposium on Distributed Computing (DISC), September 2006.
2. Torvald Riegel, Heiko Sturzrehm, Pascal Felber, and Christof Fetzer. From causal to z-linearizable transactional memory. Technical Report RR-I-07-06.1, University of Neuchatel, 2007.