Transactions with strong consistency and high availability simplify building and reasoning
about distributed systems. However, previous implementations performed poorly. This …

Modern cryptocurrency systems, such as Ethereum, permit complex financial transactions
through scripts called smart contracts. These smart contracts are executed many, many …

Multi-core in-memory databases promise high-speed online transaction processing.
However, the performance of individual designs suffers when the workload characteristics …

This paper introduces Beldi, a library and runtime system for writing and composing fault-
tolerant and transactional stateful serverless functions. Beldi runs on existing providers and …

Drawing inspiration from several previous projects, we present an ownership-record-free
software transactional memory (STM) system that combines extremely low overhead with …

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 …

We present the introduction of transactional memory into the next generation IBM System z
CPU. We first describe the instruction-set architecture features, including requirements for …

Transactional memory (TM) is an appealing abstraction for programming multi-core systems.
Potential target applications for TM, such as business software and video games, are likely …

Transactions can simplify distributed applications by hiding data distribution, concurrency,
and failures from the application developer. Ideally the developer would see the abstraction …

Parallelism is often required for performance. In these situations an excess of non-
determinism is harmful as it means the program can have several different behaviours or …