The Hamlet design entry system: on the implementation of synchronous channels

The graphical Hamlet Application Design Language (ADL) has been developed to support the construction of parallel applications. The language is based on a notion of processes communicating by means of message-passing. One of the goals of ADL is that its implementation should allow for automated parallel code generation. However, not every communication construct in ADL has an evident counterpart in present-day target languages. In this report, attention is paid to the implementation of synchronous message-passing between multiple senders and multiple receivers. It is shown how an arbitrary (sender,receiver) pair can be selected in the form of centralized algorithms. The main part of the report, however, focusses on an efficient distributed solution.