The java.util.concurrent synchronizer framework

Authors:
Doug Lea
Affiliations:
State University of New York at Oswego, Oswego, NY
Venue:
Science of Computer Programming - Special issue: Concurrency and synchronization in Java programs
Year:
2005

Citing 8
Cited 21

Algorithms for scalable synchronization on shared-memory multiprocessors

ACM Transactions on Computer Systems (TOCS)
Monitor classification

ACM Computing Surveys (CSUR)
Thin locks: featherweight synchronization for Java

PLDI '98 Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation
An efficient meta-lock for implementing ubiquitous synchronization

Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Scalable queue-based spin locks with timeout

PPoPP '01 Proceedings of the eighth ACM SIGPLAN symposium on Principles and practices of parallel programming
Queue Locks on Cache Coherent Multiprocessors

Proceedings of the 8th International Symposium on Parallel Processing
Solaris Operating Environment Boot Camp

Solaris Operating Environment Boot Camp
The Java memory model

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

Scalable synchronous queues

Proceedings of the eleventh ACM SIGPLAN symposium on Principles and practice of parallel programming
A state-of-practice questionnaire on verification and validation for concurrent programs

Proceedings of the 2006 workshop on Parallel and distributed systems: testing and debugging
Enabling scalability and performance in a large scale CMP environment

Proceedings of the 2nd ACM SIGOPS/EuroSys European Conference on Computer Systems 2007
simpA: an agent-oriented approach for prototyping concurrent applications on top of Java

Proceedings of the 5th international symposium on Principles and practice of programming in Java
Prototyping Concurrent Systems with Agents and Artifacts: Framework and Core Calculus

Electronic Notes in Theoretical Computer Science (ENTCS)
Lock-free deques and doubly linked lists

Journal of Parallel and Distributed Computing
simpA: A Simple Agent-Oriented Java Extension for Developing Concurrent Applications

Languages, Methodologies and Development Tools for Multi-Agent Systems
Scalable synchronous queues

Communications of the ACM - Security in the Browser
XJava: Exploiting Parallelism with Object-Oriented Stream Programming

Euro-Par '09 Proceedings of the 15th International Euro-Par Conference on Parallel Processing
An approach for non-intrusively adding malleable fork/join parallelism into ordinary JavaBean compliant applications

Computer Languages, Systems and Structures
simpA: An agent-oriented approach for programming concurrent applications on top of Java

Science of Computer Programming
A language-based tuning mechanism for task and pipeline parallelism

Euro-Par'10 Proceedings of the 16th international Euro-Par conference on Parallel processing: Part II
The sandpile model: parallelization of efficient algorithms for systems with shared memory

ACRI'10 Proceedings of the 9th international conference on Cellular automata for research and industry
Exploiting cache traffic monitoring for run-time race detection

Euro-Par'11 Proceedings of the 17th international conference on Parallel processing - Volume Part I
Scalable join patterns

Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications
Are Java programmers transitioning to multicore?: a large scale study of java FLOSS

Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11, AGERE!'11, AOOPES'11, NEAT'11, & VMIL'11
Model checking of linearizability of concurrent list implementations

CAV'10 Proceedings of the 22nd international conference on Computer Aided Verification
Towards consistency oblivious programming

OPODIS'11 Proceedings of the 15th international conference on Principles of Distributed Systems
Parameterized model checking of fine grained concurrency

SPIN'12 Proceedings of the 19th international conference on Model Checking Software
Lock inference in the presence of large libraries

ECOOP'12 Proceedings of the 26th European conference on Object-Oriented Programming
AutoSynch: an automatic-signal monitor based on predicate tagging

Proceedings of the 34th ACM SIGPLAN conference on Programming language design and implementation

Quantified Score

Hi-index	0.00

Visualization

Abstract

Most synchronizers (locks, barriers, etc.) in the J2SE 5.0 java.util.concurrent package are constructed using a small framework based on class AbstractQueuedSynchronizer. This framework provides common mechanics for atomically managing synchronization state, blocking and unblocking threads, and queuing. The paper describes the rationale, design, implementation, usage, and performance of this framework.