The recent rise of byte-addressable non-volatile memory technologies is blurring the
dichotomy between memory and storage. In particular, they allow programmers to have …

Non-volatile main memory, such as memristors or phase change memory, can revolutionize
the way programs persist data. In-memory objects can themselves be persistent without the …

This paper presents a software transactional memory system that introduces first-class C++
language constructs for transactional programming. We describe new C++ language …

Transactional objects combine the performance of classical concurrent objects with the high-
level programmability of transactional memory. However, verifying the correctness of …

Applications must be able to synchronize accesses to operating system resources in order to
ensure correctness in the face of concurrency and system failures. System transactions …

TL2 and similar STM algorithms deliver high scalability based on write-locking and invisible
readers. In fact, no modern STM design locks to read along its common execution path …

Transactional memory is being advanced as an alternative to traditional lock-based
synchronization for concurrent programming. Transactional memory simplifies the …

(57) ABSTRACT A system and method for transactional memory using read write locks is
disclosed. Each of a plurality of shared memory areas is associated with a respective read …

We address the recently recognized privatization problem in software transactional memory
(STM) runtimes, and introduce the notion of partially visible reads (PVRs) to heuristically …

Parallel snapshot isolation (PSI) is a standard transactional consistency model used in
databases and distributed systems. We argue that PSI is also a useful formal model for …