Concurrency annotations in C++

1 July 1994

journal article
Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices

Vol. 29 (7) , 61-67
https://doi.org/10.1145/181593.181603

Abstract

This paper describes CA/C++, Concurrency Annotations inC++, a language extension that regulates method invocations frommultiple threads of execution in a shared-memory multiprocessor system.This system provides threads as an orthogonal element to thelanguage, allowing them to travel through more than one object. Staticallytype-ckecked synchronous and asynchronous method invocationsare supported, with return values from asynchronous invocations accessedthrough first class future-like...

Keywords

CONCURRENCY ANNOTATION

This publication has 6 references indexed in Scilit:

Highly efficient and encapsulated re-use of synchronization code in concurrent object-oriented languages
ACM SIGPLAN Notices, 1993
A parallel object-oriented language with inheritance and subtyping
Published by Association for Computing Machinery (ACM) ,1990
Mixin-based inheritance
Published by Association for Computing Machinery (ACM) ,1990
Inheritance and synchronization with enabled-sets
Published by Association for Computing Machinery (ACM) ,1989
PROCOL: a parallel object language with protocols
Published by Association for Computing Machinery (ACM) ,1989
Concepts and Notations for Concurrent Programming
ACM Computing Surveys, 1983