Block-STM is a parallel execution engine for smart contracts, built around the principles of
Software Transactional Memory. Transactions are grouped in blocks, and every execution of …

Given a concurrent data structure, we present an approach for efficiently taking snapshots of
its constituent CAS objects. More specifically, we support a constant-time operation that …

Software Transactional Memory (STM) was initially proposed as a lock-free mechanism for
concurrency control. Early implementations had efficiency limitations, and soon obstruction …

Multiversioning is widely used in databases, transactional memory, and concurrent data
structures. It can be used to support read-only transactions that appear atomic in the …

We present a general technique for garbage collecting old versions for multiversion
concurrency control that simultaneously achieves good time and space complexity. Our …

Abstract Software Transactional Memory Systems (STM) are a promising alternative for
concurrency control in shared memory systems. Multiversion STM systems maintain multiple …

Multi-Version Concurrency Control (MVCC) is a common mechanism for achieving
linearizable range queries in database systems and concurrent data-structures. The core …

Recent work has shown how to augment any CAS-based concurrent data structure to
support taking a snapshot of the current memory state. Taking the snapshot, as well as loads …

Read-write locks are one of the most prevalent lock forms in concurrent applications
because they allow read accesses to locked code to proceed in parallel. However, they do …

Disjoint-access parallelism and wait-freedom are two desirable properties for
implementations of concurrent objects. Disjoint-access parallelism guarantees that …