High Level Language Concepts for Distributed Real-Time Programming Part II : Synchronization

概要

論文の詳細を見る
A new high level language concept for interprocess communication in distributed real-time systems was presented in Part I of this paper based on distributed variables, which support asynchronous, synchronized and broadcasting models of data exchange. Here it is shown how this mechanism can be used to create and operate distributed multisemaphores for mutual exclusion and resource allocation. In particular a new concept of conditions as general form of guards is introduced. Conditions are named boolean expressions over the contents of local and distributed variables, and include intrinsic boolean operators testing data and free buffer space availability. A special type of condition is timeout. Based on conditions is proposed a construct of conditional region, representing most general type of guarded command. It is shown how other types of guarded commands can be expressed using conditional commands. The usefulness and expressive power of the synchronization concepts is demonstrated through the solutions of some common and new distributed programming problems. Some implementation issues are presented, concerning the run time distributed kernel, supporting the distributed language mechanisms. Possible implementation of distributed structures and protocols for the operations on them, as well as of conditions and conditional commands is considered.
東海大学の論文