Abstract:Persistent transactional memory (PTM) programming model has recently been exploited to provide crash-consistent transactional interfaces to ease programming atop NVM. However, existing PTM designs either incur high reader-side overhead due to blocking or long delay in the writer side (efficiency), or place excessive constraints on persistent ordering (scalability). This paper presents Pisces, a read-friendly PTM that exploits snapshot isolation (SI) on NVM. The key design of Pisces is based on two observations: the redo logs of transactions can be reused as newer versions for the data, and an intuitive MVCC-based design has read deficiency. Based on the observations, we propose a dual-version concurrency control (DVCC) protocol that maintains up to two versions in NVM-backed storage hierarchy. Together with a three-stage commit protocol, Pisces ensures SI and allows more transactions to commit and persist simultaneously. Most importantly, it promises a desired feature: hiding NVM persistence overhead from reads and allowing nearly non-blocking reads. Experimental evaluation on an Intel 40-thread (20-core) machine with real NVM equipped shows that Pisces outperforms the state-of-the-art design (i.e., DUDETM) by up to 6.3× for micro-benchmarks and 4.6× for TPC-C new order transaction, and also scales much better. The persistency cost is from 19% to 50% for 40 threads.

PNTM Integration of Petri Nets and Transactional Memory.

SoC performance modeling methodology and implementation basedon transaction dataflow

Transitions as Transactions.

PIM-STM: Software Transactional Memory for Processing-In-Memory Systems

SPMTM: A Novel ScratchPad Memory Based Hybrid Nested Transactional Memory Framework

A Novel N-Retry Transactional Memory Model For Multi-Thread Programming

Pisces: A Scalable and Efficient Persistent Transactional Memory.

The P-system based model for mobile transactions

Intel PMDK Transactions: Specification, Validation and Concurrency (Extended Version)

DRPTM: A Decoupled Read-efficient High-scalable Persistent Transactional Memory.

P Systems and Petri Nets

Exploring the Emerging Applications for Transactional Memory

Hardware Transactional Persistent Memory

Optimizing Persistent Memory Transactions

Scheduling Fmss Based On A Hybrid Petri Net Framework

Transactional Memory Execution for Parallel Multithread Programming Without Lock

Empirical Study of Transactional Management for Persistent Memory

A Comprehensive Scheme For Contention Management In Hardware Transactional Memory

A New Hardware Transactional Memory System Design with Operating System Support

Interactive Transaction Processing For In-Memory Database System

Software Transactional Memory with Interactions