California Institute of Technology, California
Compositional C++ implements a compositional model of parallel programming, in which the behavior of programs can be understood by composing the behaviors of their components. CC++ adds six keywords to C++. The first two par and parfor, are used to signal that the statements in a block, or the iterations of a loop, may be executed independently. spawn is used to invoke a function, with the resulting invocation then running in parallel with the invoker. The synchronization constructs atomic and synch are used to prevent race conditions; by making class methods atomic, programmers can construct monitor-like objects. Finally, the keyword global can be used to control distribution and locality in order to tune program behavior.