Transactional Memory, 2nd edition

No abstract is available for this paper.

• Publication year

  2010

• Venue

  Transactional Memory

• Publication date

  2010-06-02

• Fields of study

  Computer Science

• Identifiers
  DOI 10.2200/S00272ED1V01Y201006CAC011
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs

  2016cited by this paper
• Analysis of large-scale scalar data using hixels

  2011cited by this paper
• Why STM can be more than a research toy

  2011cited by this paper
• All for nothing?

  2011cited by this paper
• The art of multiprocessor programming by Maurice Herlihy and Nir Shavit

  2011cited by this paper
• NOrec: streamlining STM by abolishing ownership records

  2010cited by this paper
• Is transactional programming actually easier?

  2010cited by this paper
• TLRW: return of the read-write lock

  2010cited by this paper
• Transactional Mutex Locks

  2010cited by this paper
• Debugging programs that use atomic blocks and transactional memory

  2010cited by this paper
• Evaluation of AMD's advanced synchronization facility within a complete transactional memory stack

  2010influential reference
• Dynamic filtering: multi-purpose architecture support for language runtime systems

  2010cited by this paper
• An efficient software transactional memory using commit-time invalidation

  2010cited by this paper
• Coarse-grained transactions

  2010cited by this paper
• Rock: A High-Performance Sparc CMT Processor

  2009cited by this paper
• A comprehensive strategy for contention management in software transactional memory

  2009influential reference
• Speculation-based conflict resolution in hardware transactional memory

  2009cited by this paper
• An efficient transactional memory algorithm for computing minimum spanning forest of sparse graphs

  2009cited by this paper
• The semantics of progress in lock-based transactional memory

  2009cited by this paper
• Profiling Transactional Memory Applications

  2009cited by this paper
• Early experiences on accelerating Dijkstra's algorithm using transactional memory

  2009cited by this paper
• Reducing Memory Ordering Overheads in Software Transactional Memory

  2009cited by this paper
• Software Transactional Memory on Relaxed Memory Models

  2009cited by this paper
• Refereeing conflicts in hardware transactional memory

  2009cited by this paper
• Taking the heat off transactions: Dynamic selection of pessimistic concurrency control

  2009cited by this paper
• tm_db: A Generic Debugging Library for Transactional Programs

  2009cited by this paper
• Adaptive Locks: Combining Transactions and Locks for Efficient Concurrency

  2009cited by this paper
• Brief announcement: virtual world consistency: a new condition for STM systems

  2009cited by this paper
• Preventing versus curing: avoiding conflicts in transactional memories

  2009cited by this paper
• Detecting and tolerating asymmetric races

  2009cited by this paper
• Architecture and Physical Implementation of a Third Generation 65 nm, 16 Core, 32 Thread Chip-Multithreading SPARC Processor

  2009cited by this paper
• Strong Isolation is a Weak Idea

  2009cited by this paper
• D2STM: Dependable Distributed Software Transactional Memory

  2009cited by this paper
• NePalTM: design and implementation of nested parallelism for transactional memory systems

  2009cited by this paper
• Transactional Value Prediction

  2009cited by this paper
• Elastic transactions

  2009cited by this paper
• NZTM: nonblocking zero-indirection transactional memory

  2009cited by this paper
• EazyHTM: EAger-LaZY hardware Transactional Memory

  2009cited by this paper
• xCalls: safe I/O in memory transactions

  2009cited by this paper
• Atomic quake: using transactional memory in an interactive multiplayer game server

  2009cited by this paper
• Extending concurrency of transactional memory programs by using value prediction

  2009cited by this paper
• Limited early value communication to improve performance of transactional memory

  2009cited by this paper
• Does Transactional Memory Keep Its Promises? Results from an Empirical Study.

  2009cited by this paper
• Transactional memory with strong atomicity using off-the-shelf memory protection hardware

  2009cited by this paper
• InvisiFence: performance-transparent memory ordering in conventional multiprocessors

  2009cited by this paper
• Grace: safe multithreaded programming for C/C++

  2009cited by this paper
• Feedback-directed barrier optimization in a strongly isolated STM

  2009cited by this paper
• Implementation and Use of Transactional Memory with Dynamic Separation

  2009cited by this paper
• Lightweight software transactions for games

  2009cited by this paper
• Exceptions and Transactions in C + + ∗

  2009cited by this paper
• Transactional memory should be an implementation technique, not a programming interface

  2009cited by this paper
• Maximum benefit from a minimal HTM

  2009cited by this paper
• The Xfork in the Road to Coordinated Sibling Transactions

  2009cited by this paper
• Safe open-nested transactions through ownership

  2009cited by this paper
• Idempotent work stealing

  2009cited by this paper
• A runtime system for . . .

  2009cited by this paper
• Towards transactional memory semantics for C++

  2009cited by this paper
• QuakeTM: parallelizing a complex sequential application using transactional memory

  2009cited by this paper
• Parallelizing sequential applications on commodity hardware using a low-cost software transactional memory

  2009cited by this paper
• Dynamically Filtering Thread-Local Variables in Lazy-Lazy Hardware Transactional Memory

  2009cited by this paper
• Operating Systems Should Provide Transactions

  2009cited by this paper
• Towards formally specifying and verifying transactional memory

  2009cited by this paper
• Operating System Transactions

  2009cited by this paper
• Committing conflicting transactions in an STM

  2009cited by this paper
• Inherent Limitations on Disjoint-Access Parallel Implementations of Transactional Memory

  2009cited by this paper
• Early experience with a commercial hardware transactional memory implementation

  2009influential reference
• Anatomy of a Scalable Software Transactional Memory

  2009influential reference
• Employing Transactional Memory and Helper Threads to Speedup Dijkstra's Algorithm

  2009cited by this paper
• A lightweight in-place implementation for software thread-level speculation

  2009cited by this paper
• On the Performance of Contention Managers for Complex Transactional Memory Benchmarks

  2009cited by this paper
• Partial memoization of concurrency and communication

  2009cited by this paper
• Stretching transactional memory

  2009cited by this paper
• Software transactional distributed shared memory

  2009cited by this paper
• An efficient lock-aware transactional memory implementation

  2009cited by this paper
• Permissiveness in Transactional Memories

  2008cited by this paper
• Towards distributed software transactional memory systems

  2008cited by this paper
• Foundations of the C++ concurrency memory model

  2008cited by this paper
• CAR-STM: scheduling-based collision avoidance and resolution for software transactional memory

  2008cited by this paper
• Irrevocable transactions and their applications

  2008cited by this paper
• Quasi-static scheduling for safe futures

  2008cited by this paper
• Inevitability Mechanisms for Software Transactional Memory

  2008cited by this paper
• STAMP: Stanford Transactional Applications for Multi-Processing

  2008cited by this paper
• A Uniform Transactional Execution Environment for Java

  2008cited by this paper
• A Compositional Method for Verifying Software Transactional Memory Implementations

  2008cited by this paper
• Maintaining Consistent Transactional States without a Global Clock

  2008cited by this paper
• Scheduling strategies for optimistic parallel execution of irregular programs

  2008cited by this paper
• Dreadlocks: efficient deadlock detection

  2008cited by this paper
• TokenTM: Efficient Execution of Large Transactions with Hardware Transactional Memory

  2008cited by this paper
• Nested parallelism in transactional memory

  2008cited by this paper
• Using Hardware Memory Protection to Build a High-Performance, Strongly-Atomic Hybrid Transactional Memory

  2008influential reference
• Commit phase in timestamp-based stm

  2008influential reference
• Automatic data partitioning in software transactional memories

  2008cited by this paper
• Inferring locks for atomic sections

  2008cited by this paper
• On the correctness of transactional memory

  2008cited by this paper
• Versioned transactional shared memory for the FénixEDU web application

  2008cited by this paper
• Coqa: Concurrent Objects with Quantized Atomicity

  2008cited by this paper
• Implementing and Exploiting Inevitability in Software Transactional Memory

  2008cited by this paper
• Checkpoints and continuations instead of nested transactions

  2008cited by this paper
• A model of dynamic separation for transactional memory

  2008cited by this paper
• High-level small-step operational semantics for transactions

  2008influential reference

• TLF: Transactional Lock Fusion

  2025cites this paper
• Obstruction-Free Software Transactional Memory for GPUs

  2025cites this paper
• HADES: Hardware-Assisted Distributed Transactions in the Age of Fast Networks and SmartNICs

  2024cites this paper
• Obstruction-Free Distributed Transactional Memory

  2023influential citation
• Occualizer: Optimistic Concurrent Search Trees From Sequential Code

  2022cites this paper
• of the 16th USENIX Symposium on Operating Systems Design and Implementation

  2022cites this paper
• Open transactional actions: interacting with non-transactional resources in STM Haskell

  2022cites this paper
• Progressive Automated Formal Verification of Memory Consistency in Parallel Processors

  2021cites this paper
• A Preliminary Proposal for an Analytical Model for Evaluating the Impact on Performance of Data Access Patterns in Transaction Execution

  2021cites this paper
• Peacenik: Architecture Support for Not Failing under Fail-Stop Memory Consistency

  2020cites this paper
• FORMAL VERIFICATION OF LOCAL AND DISTRIBUTED PYTHON SOFTWARE TRANSACTIONAL MEMORIES

  2020cites this paper
• Формална верификација софтверске трансакционе меморије засноване на временским аутоматима

  2020cites this paper
• Efficient Multi-word Compare and Swap

  2020cites this paper
• Scalable Consistency in the Multi-core Era

  2020influential citation
• Distributed Computing with Modern Shared Memory

  2020cites this paper
• Characterizing the Sharing Behavior of Applications Using Software Transactional Memory

  2020cites this paper
• A solution of concurrent queue on local and distributed Python STM

  2019cites this paper
• FPGA-Accelerated Optimistic Concurrency Control for Transactional Memory

  2019cites this paper
• Distributed Logless Atomic Durability with Persistent Memory

  2019cites this paper
• Lerna

  2019influential citation
• Formal Verification of Python Software Transactional Memory Serializability Based on the Push/Pull Semantic Model

  2019cites this paper
• Modular transactions: bounding mixed races in space and time

  2019cites this paper
• Formal Verification of Python Software Transactional Memory Based on Timed Automata

  2019cites this paper
• TuFast: A Lightweight Parallelization Library for Graph Analytics

  2019cites this paper
• Applying Transactional Memory for Concurrency-Bug Failure Recovery in Production Runs

  2019influential citation
• Thread-safe and efficient data representations in dynamically-typed languages / submitted by Benoit Daloze, M.Sc.

  2019cites this paper
• Forgive-TM: Supporting Lazy Conflict Detection In Eager Hardware Transactional Memory

  2019influential citation
• Techniques for Enhancing the Efficiency of Transactional Memory Systems

  2018cites this paper
• Lerna: Parallelizing Dependent Loops Using Speculation

  2018cites this paper
• On the Semantics of Snapshot Isolation

  2018cites this paper
• Architectural techniques to unlock ordered and nested speculative parallelism

  2018cites this paper
• Transactional memory on heterogeneous architectures

  2018cites this paper
• Memoria Transaccional Software en Procesadores CPU+GPU Heterogéneos

  2018influential citation
• Chocola: integrating futures, actors, and transactions

  2018cites this paper
• Lightweight Hardware Transactional Memory for GPU Scratchpad Memory

  2018cites this paper
• A task-based message passing framework

  2018cites this paper
• Toward a software transactional memory for heterogeneous CPU–GPU processors

  2018cites this paper
• Shared-variable Synchronization Approaches for Dynamic Data Flow Programs

  2018cites this paper
• Leverage Redundancy in Hardware Transactional Memory to Improve Cache Reliability

  2018cites this paper
• Reducing transaction aborts by looking to the future

  2018cites this paper
• Architectural support for persistent memory systems

  2018cites this paper
• Safe privatization in transactional memory

  2018cites this paper
• Parallelization of dynamic languages: synchronizing built-in collections

  2018cites this paper
• A method for estimating existence of pairwise STM transaction conflicts

  2018cites this paper
• Real-Time Software Transactional Memory

  2018cites this paper
• A semantically aware transactional concurrency control for GPGPU computing

  2017cites this paper
• Impact of Version Management for Transactional Memories on Phase-Change Memories

  2017cites this paper
• 1 The Semantics of Transactions and Weak Memory in x 86 , Power , ARMv 8 , and C + +

  2017cites this paper
• Exploiting concurrency and heterogeneity for energy-efficient computing

  2017cites this paper
• Shared-Memory Parallelism Can be Simple, Fast, and Scalable

  2017cites this paper
• Ardoises: Collaborative & Interactive Editing Using Layered Data

  2017cites this paper
• An approach to formal verification of python software transactional memory

  2017cites this paper
• Mechanized proofs of opacity: a comparison of two techniques

  2017cites this paper
• Extending the Consistency Property of Software Transactional Memory Systems with business constraints in OCL and incremental checking

  2017cites this paper
• Managing Resource Limitation of Best-Effort

  2017cites this paper
• Legato: End-to-end bounded region serializability using commodity hardware transactional memory

  2017cites this paper
• Isotope

  2017cites this paper
• Avoiding consistency exceptions under strong memory models

  2017cites this paper
• Hybridizing and Relaxing Dependence Tracking for Efficient Parallel Runtime Support

  2017cites this paper
• Predictable transactional memory architecture for hierarchical mixed-criticality systems

  2017cites this paper
• FGSCM: A Fine-Grained Approach to Transactional Lock Elision

  2017cites this paper
• 20th International Conference on Principles of Distributed Systems, OPODIS 2016, Madrid, Spain, December 13-16, 2016

  2017cites this paper
• Transactions in relaxed memory architectures

  2017cites this paper
• Efficient Transactional-Memory-based Implementation of Morph Algorithms on GPU

  2017cites this paper
• Lazy Irrevocability for Best-Effort Transactional Memory Systems

  2017cites this paper
• Automatic Scalable Atomicity via Semantic Locking

  2017influential citation
• Proving Opacity via Linearizability: A Sound and Complete Method

  2017cites this paper
• Concurrent Algorithms in Transactional Data Structures

  2017influential citation
• Advanced algorithm for scheduling TM transactions with conflict avoidance

  2017cites this paper
• Modularising Opacity Verification for Hybrid Transactional Memory

  2017influential citation
• Development of Technique for Healing Data Races based on Software Transactional Memory

  2016cites this paper
• Self-tuning the parallelism degree in Parallel-Nested Software Transactional Memory

  2016cites this paper
• Reducing Opacity to Linearizability: A Sound and Complete Method

  2016cites this paper
• Asynchronous automatic-signal monitors with multi-object synchronization

  2016cites this paper
• Energy Efficiency of Software Transactional Memory in a Heterogeneous Architecture

  2016cites this paper
• Insights into the Fallback Path of Best-Effort Hardware Transactional Memory Systems

  2016cites this paper
• Autonomic Thread Parallelism and Mapping Control for Software Transactional Memory. (Contrôle Autonomique du Parallélisme et du Placement de Threads pour les Mémoires Transactionnelles Logicielles)

  2016influential citation
• An embedded domain specific language for distributed memory transactions in Java

  2016influential citation
• Improvements in Hardware Transactional Memory for GPU Architectures

  2016cites this paper
• Hierarchical Transactional Memory Protocol for Distributed Mixed-Criticality Embedded Systems

  2016cites this paper
• Lerna : Transparent and Effective Speculative Loop Parallelization

  2016cites this paper
• GEMs: shared-memory parallel programming for Node.js

  2016cites this paper
• Concurrent Hash Tables for Haskell

  2016cites this paper
• Circuit designs for increasing reliability and reducing energy

  2016cites this paper
• Optimizing memory transactions for large-scale programs

  2016cites this paper
• Extracting Parallelism from Legacy Sequential Code Using Transactional Memory

  2016cites this paper
• On designing NUMA-aware concurrency control for scalable transactional memory

  2016cites this paper
• Proving Opacity of a Pessimistic STM

  2016cites this paper
• CONFIGURABLE VERSION MANAGEMENT HARDWARE TRANSACTIONAL MEMORY FOR EMBEDDED MULTIPROCESSOR FIELD-PROGRAMMABLE GATE ARRAY JEEVAN A/L SIRKUNAN UNIVERSITI TEKNOLOGI MALAYSIA CONFIGURABLE VERSION MANAGEMENT HARDWARE TRANSACTIONAL MEMORY FOR EMBEDDED MULTIPROCESSOR FIELD-PROGRAMMABLE GATE ARRAY JEEVAN A/L

  2016cites this paper
• Transactional data structure libraries

  2016cites this paper
• ProteusTM: Abstraction Meets Performance in Transactional Memory

  2016cites this paper
• Análisis comparativo del uso de STMs en a códigos de reducción irregulares

  2016cites this paper
• Relaxed dependence tracking for parallel runtime support

  2016cites this paper
• Cost- and workload-driven data management in the cloud

  2016cites this paper
• Low-overhead software transactional memory with progress guarantees and strong semantics

  2015cites this paper
• Scalable Task Scheduling and Synchronization Using Hierarchical Effects

  2015cites this paper
• Virtual Machine-level Software Transactional Memory: Principles, Techniques, and Implementation

  2015cites this paper
• Dynamic Message Processing and Transactional Memory in the Actor Model

  2015cites this paper
• Extracting Parallelism from Legacy Sequential Code Using Software Transactional Memory

  2015cites this paper
• Algorithmic Techniques in STM Design

  2015cites this paper