An efficient meta-lock for implementing ubiquitous synchronization

Authors:
Ole Agesen;David Detlefs;Alex Garthwaite;Ross Knippel;Y. S. Ramakrishna;Derek White
Affiliations:
Sun Microsystems Laboratories, One Network Drive, Burlington, MA;Sun Microsystems Laboratories, One Network Drive, Burlington, MA;Sun Microsystems Laboratories, One Network Drive, Burlington, MA;Sun Microsystems, 901 San Antonio Road, Palo Alto, CA;Sun Microsystems, 901 San Antonio Road, Palo Alto, CA;Sun Microsystems Laboratories, One Network Drive, Burlington, MA
Venue:
Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Year:
1999

Citing 21
Cited 38

A fast mutual exclusion algorithm

ACM Transactions on Computer Systems (TOCS)
Algorithms for scalable synchronization on shared-memory multiprocessors

ACM Transactions on Computer Systems (TOCS)
Monitors and concurrent Pascal: a personal history

HOPL-II The second ACM SIGPLAN conference on History of programming languages
Monitor classification

ACM Computing Surveys (CSUR)
The synergy between non-blocking synchronization and operating system structure

OSDI '96 Proceedings of the second USENIX symposium on Operating systems design and implementation
Programming with POSIX threads

Programming with POSIX threads
Thin locks: featherweight synchronization for Java

PLDI '98 Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation
Fast, effective code generation in a just-in-time Java compiler

PLDI '98 Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation
The new crop of Java virtual machines (panel)

Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
The Java programming language (2nd ed.)

The Java programming language (2nd ed.)
Java's insecure parallelism

ACM SIGPLAN Notices
Monitors: an operating system structuring concept

Communications of the ACM
Solution of a problem in concurrent programming control

Communications of the ACM
Java Virtual Machine Specification

Java Virtual Machine Specification
The Performance of Spin Lock Alternatives for Shared-Memory Multiprocessors

IEEE Transactions on Parallel and Distributed Systems
Efficient JavaVM Just-in-Time Compilation

PACT '98 Proceedings of the 1998 International Conference on Parallel Architectures and Compilation Techniques
Efficient Software Synchronization on Large Cache Coherent Multiprocessors

Efficient Software Synchronization on Large Cache Coherent Multiprocessors
Toba: Java For Applications: A Way Ahead of Time (WAT) Compiler

Toba: Java For Applications: A Way Ahead of Time (WAT) Compiler
A Study of the Allocation Behavior of the SPECjvm98 Java Benchmarks

A Study of the Allocation Behavior of the SPECjvm98 Java Benchmarks
An Efficient Meta-lock for Implementing Ubiquitous Synchronization

An Efficient Meta-lock for Implementing Ubiquitous Synchronization
Harissa: a flexible and efficient java environment mixing bytecode and compiled code

COOTS'97 Proceedings of the 3rd conference on USENIX Conference on Object-Oriented Technologies (COOTS) - Volume 3

Removing unnecessary synchronization in Java

Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
A study of locking objects with bimodal fields

Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
A Java fork/join framework

Proceedings of the ACM 2000 conference on Java Grande
Java Runtime Systems: Characterization and Architectural Implications

IEEE Transactions on Computers
Lock reservation: Java locks can mostly do without atomic operations

OOPSLA '02 Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Experiences with Retargeting the Java Hotspot(tm) Virtual Machine

IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium
Vacuity Checking in the Modal Mu-Calculus

AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Space- and Time-Efficient Implementation of the Java Object Model

ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
Atomic Instructions in Java

ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
Automated Inductive Verification of Parameterized Protocols

CAV '01 Proceedings of the 13th International Conference on Computer Aided Verification
Architecture of the PEVM: A High-Performance Orthogonally Persistent Java Virtual Machine

POS-9 Revised Papers from the 9th International Workshop on Persistent Object Systems
Comprehensive synchronization elimination for Java

Science of Computer Programming - Special issue on static analysis (SAS'99)
Data size optimizations for java programs

Proceedings of the 2003 ACM SIGPLAN conference on Language, compiler, and tool for embedded systems
Escape analysis for JavaTM: Theory and practice

ACM Transactions on Programming Languages and Systems (TOPLAS)
Object equality profiling

OOPSLA '03 Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications
Language support for lightweight transactions

OOPSLA '03 Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications
Inductively Verifying Invariant Properties of Parameterized Systems

Automated Software Engineering
Thin locks: featherweight Synchronization for Java

ACM SIGPLAN Notices - Best of PLDI 1979-1999
Automatically Reducing Repetitive Synchronization with a Just-in-Time Compiler for Java

Proceedings of the international symposium on Code generation and optimization
The java.util.concurrent synchronizer framework

Science of Computer Programming - Special issue: Concurrency and synchronization in Java programs
Optimizing memory transactions

Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation
Compositional analysis for verification of parameterized systems

Theoretical Computer Science - Tools and algorithms for the construction and analysis of systems (TACAS 2003)
Eliminating synchronization-related atomic operations with biased locking and bulk rebiasing

Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
Model checking the Java metalocking algorithm

ACM Transactions on Software Engineering and Methodology (TOSEM)
Understanding Tradeoffs in Software Transactional Memory

Proceedings of the International Symposium on Code Generation and Optimization
Run-Time Support for Optimizations Based on Escape Analysis

Proceedings of the International Symposium on Code Generation and Optimization
The java hotspotTM server compiler

JVM'01 Proceedings of the 2001 Symposium on JavaTM Virtual Machine Research and Technology Symposium - Volume 1
SableVM: a research framework for the efficient execution of java bytecode

JVM'01 Proceedings of the 2001 Symposium on JavaTM Virtual Machine Research and Technology Symposium - Volume 1
Implementing fast javaTM monitors with relaxed-locks

JVM'01 Proceedings of the 2001 Symposium on JavaTM Virtual Machine Research and Technology Symposium - Volume 1
Hot-swapping between a mark&sweep and a mark&compact garbage collector in a generational environment

JVM'01 Proceedings of the 2001 Symposium on JavaTM Virtual Machine Research and Technology Symposium - Volume 1
Design of the Java HotSpot™ client compiler for Java 6

ACM Transactions on Architecture and Code Optimization (TACO)
Fair Model Checking with Process Counter Abstraction

FM '09 Proceedings of the 2nd World Congress on Formal Methods
Transient blocking synchronization

Transient blocking synchronization
Compositional analysis for verification of parameterized systems

TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems
Differencing labeled transition systems

ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
Fine-grained adaptive biased locking

Proceedings of the 9th International Conference on Principles and Practice of Programming in Java
Transactional locking II

DISC'06 Proceedings of the 20th international conference on Distributed Computing
Transparently reconciling transactions with locking for java synchronization

ECOOP'06 Proceedings of the 20th European conference on Object-Oriented Programming

Quantified Score

Hi-index	0.01

Visualization

Abstract

Programs written in concurrent object-oriented languages, especially ones that employ thread-safe reusable class libraries, can execute synchronization operations (lock, notify, etc.) at an amazing rate. Unless implemented with utmost care, synchronization can become a performance bottleneck. Furthermore, in languages where every object may have its own monitor, per-object space overhead must be minimized. To address these concerns, we have developed a meta-lock to mediate access to synchronization data. The meta-lock is fast (lock + unlock executes in 11 SPARC™ architecture instructions), compact (uses only two bits of space), robust under contention (no busy-waiting), and flexible (supports a variety of higher-level synchronization operations). We have validated the meta-lock with an implementation of the synchronization operations in a high-performance product-quality Java™ virtual machine and report performance data for several large programs.