Manifolds
Chyuan Samuel Hsieh, Elizabeth A. Unger · 1987
This paper presents a new linguistic mechanism for expressing and controlling inter-process interactions. Unlike existent designs such as monitor- or message-based mechanisms, which generally provides a set of relatively low-level primitives for users to implement various inter-process synchronization constraints, this mechanism provides a general conceptual framework to help users visualize and specify inter-process synchronization and communication from a higher-level vantage point. This conceptual framework highlights two distinct and frequently-used high-level concepts in parallel programming : condition synchronization and scheduling and, in most of the useful cases, users can simply specify the synchronization constraints imposed by these concepts in a given problem, without having to implement the constraints with some lower-level primitives.