Atomicity via source-to-source translation

Authors:
Benjamin Hindman;Dan Grossman
Affiliations:
University of Washington;University of Washington
Venue:
Proceedings of the 2006 workshop on Memory system performance and correctness
Year:
2006

Citing 23
Cited 20

Ownership types for safe programming: preventing data races and deadlocks

OOPSLA '02 Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Model Checking Programs

Automated Software Engineering
Static conflict analysis for multi-threaded object-oriented programs

PLDI '03 Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation
Software transactional memory for dynamic-sized data structures

Proceedings of the twenty-second annual symposium on Principles of distributed computing
Language support for lightweight transactions

OOPSLA '03 Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications
Programming with transactional coherence and consistency (TCC)

ASPLOS XI Proceedings of the 11th international conference on Architectural support for programming languages and operating systems
Type inference for atomicity

TLDI '05 Proceedings of the 2005 ACM SIGPLAN international workshop on Types in languages design and implementation
The Java memory model

Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Unbounded Transactional Memory

HPCA '05 Proceedings of the 11th International Symposium on High-Performance Computer Architecture
Composable memory transactions

Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming
Virtualizing Transactional Memory

Proceedings of the 32nd annual international symposium on Computer Architecture
AtomCaml: first-class atomicity via rollback

Proceedings of the tenth ACM SIGPLAN international conference on Functional programming
Haskell on a shared-memory multiprocessor

Proceedings of the 2005 ACM SIGPLAN workshop on Haskell
Preemptible Atomic Regions for Real-Time Java

RTSS '05 Proceedings of the 26th IEEE International Real-Time Systems Symposium
Autolocker: synchronization inference for atomic sections

Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Types for safe locking: Static race detection for Java

ACM Transactions on Programming Languages and Systems (TOPLAS)
The Atomos transactional programming language

Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation
Optimizing memory transactions

Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation
Compiler and runtime support for efficient software transactional memory

Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation
Architectural Semantics for Practical Transactional Memory

Proceedings of the 33rd annual international symposium on Computer Architecture
Polyglot: an extensible compiler framework for Java

CC'03 Proceedings of the 12th international conference on Compiler construction
Polymorphic contention management

DISC'05 Proceedings of the 19th international conference on Distributed Computing
Adaptive software transactional memory

DISC'05 Proceedings of the 19th international conference on Distributed Computing

Enforcing isolation and ordering in STM

Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation
Goldilocks: a race and transaction-aware java runtime

Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation
Transactions with isolation and cooperation

Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications
The transactional memory / garbage collection analogy

Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications
Transactional memory for smalltalk

ICDL '07 Proceedings of the 2007 international conference on Dynamic languages: in conjunction with the 15th International Smalltalk Joint Conference 2007
Inferring locks for atomic sections

Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation
Irrevocable transactions and their applications

Proceedings of the twentieth annual symposium on Parallelism in algorithms and architectures
Transactional memory in a dynamic language

Computer Languages, Systems and Structures
CoBoxes: Unifying Active Objects and Structured Heaps

FMOODS '08 Proceedings of the 10th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Dynamic optimization for efficient strong atomicity

Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
Design and implementation of transactional constructs for C/C++

Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
Verifying correct usage of atomic blocks and typestate

Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
Feedback-directed barrier optimization in a strongly isolated STM

Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Transactional events1

Journal of Functional Programming
Reducing STM overhead with access permissions

International Workshop on Aliasing, Confinement and Ownership in Object-Oriented Programming
Towards transactional memory semantics for C++

Proceedings of the twenty-first annual symposium on Parallelism in algorithms and architectures
Transactional predication: high-performance concurrent sets and maps for STM

Proceedings of the 29th ACM SIGACT-SIGOPS symposium on Principles of distributed computing
Composable, nestable, pessimistic atomic statements

Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications
OCTET: capturing and controlling cross-thread dependences efficiently

Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications
Æminium: A Permission-Based Concurrent-by-Default Programming Language Approach

ACM Transactions on Programming Languages and Systems (TOPLAS)

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present an implementation and evaluation of atomicity (also known as software transactions) for a dialect of Java. Our implementation is fundamentally different from prior work in three respects: (1) It is entirely a source-to-source translation, producing Java source code that can be compiled by any Java compiler and run on any Java Virtual Machine. (2) It can enforce "strong" atomicity without assuming special hardware or a uniprocessor. (3) The implementation uses locks rather than optimistic concurrency, but it cannot deadlock and requires inter-thread communication only when there is data contention.