Communicating sequential processes
Communications of the ACM
Communications of the ACM
Guarded commands, nondeterminacy and formal derivation of programs
Communications of the ACM
Monitors: an operating system structuring concept
Communications of the ACM
Concurrent control with “readers” and “writers”
Communications of the ACM
Operating system principles
The specification of process synchronization by path expressions
Operating Systems, Proceedings of an International Symposium
Towards the construction of verifiable software systems
Proceedings of the 1976 conference on Data : Abstraction, definition and structure
ICSE '76 Proceedings of the 2nd international conference on Software engineering
The problem of nested monitor calls
ACM SIGOPS Operating Systems Review
ACM SIGOPS Operating Systems Review
SYNTHESIS OF SYNCHRONIZATION CODE FOR DATA ABSTRACTIONS
SYNTHESIS OF SYNCHRONIZATION CODE FOR DATA ABSTRACTIONS
SYNCHRONIZATION MECHANISMS FOR MODULAR PROGRAMMING LANGUAGE
SYNCHRONIZATION MECHANISMS FOR MODULAR PROGRAMMING LANGUAGE
A comparison of concurrent languages: a class project
SIGCSE '87 Proceedings of the eighteenth SIGCSE technical symposium on Computer science education
Rendezvous Facilities: Concurrent C and the Ada Language
IEEE Transactions on Software Engineering
Language Constructs for Specifying Concurrency in CDL
IEEE Transactions on Software Engineering
Usability of the Ada tasking-model
IRTAW '89 Proceedings of the third international workshop on Real-time Ada issues
Comments on 'Critical Races in Ada Programs'
IEEE Transactions on Software Engineering
A methodology for monitor development in concurrent programs
ACM SIGCSE Bulletin
A taxonomy of coordination mechanisms used by real-time processes
ACM SIGAda Ada Letters
A comparison of the concurrency features of Ada 95 and Java
Proceedings of the 1998 annual ACM SIGAda international conference on Ada
Integrating object-oriented programming and protected objects in Ada 95
ACM Transactions on Programming Languages and Systems (TOPLAS)
Concepts and Notations for Concurrent Programming
ACM Computing Surveys (CSUR)
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Integrating object-oriented programming and protected objects in Ada 95
ACM SIGAda Ada Letters
Support for Implementation of Evolutionary Concurrent Systems
International Journal of Parallel Programming
Capsules: A Shared Memory Access Mechanism for Concurrent C/C++
IEEE Transactions on Parallel and Distributed Systems
A Synchronisation Mechanism for Replicated Objects
SOFSEM '98 Proceedings of the 25th Conference on Current Trends in Theory and Practice of Informatics: Theory and Practice of Informatics
A Group Based Approach for Coordinating Active Objects
COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
A component-oriented model for the design of safe multi-threaded applications
CBSE'05 Proceedings of the 8th international conference on Component-Based Software Engineering
| Hi-index | 0.00 |
In recent years, many high-level synchronization constructs have been proposed. Each claims to satisfy criteria such as expressive power, ease of use, and modifiability. Because these terms are so imprecise, we have no good methods for evaluating how well these mechanisms actually meet such requirements. This paper presents a methodology for performing such an evaluation. Synchronization problems are categorized according to some basic properties, and this categorization is used in formulating more precise definitions of the criteria mentioned, and in devising techniques for assessing how well those criteria are met.