Anthony J. Cowling
Abstract
Abstract.
This paper presents a new model for passing messages in communicating stream X-machine systems (CSXMS). The components are stream X-machines with ε-transitions, acting simultaneously. The states are partitioned into processing and communicating states. Passing messages between the X-machines involves only communicating states. A communication matrix is used as a common memory. It is shown that a structured way of using channels, namely via select constructs with guarded alternatives and terminate clause, may be implemented. An automatic scheme for writing concurrent programs in an Ada-like style, starting from a CSXMS, is proposed.
Recommendations
Communication Over MIMO X Channels: Interference Alignment, Decomposition, and Performance Analysis
In a multiple-antenna system with two transmitters and two receivers, a scenario of data communication, known as the X channel, is studied in which each receiver receives data from both transmitters. In this scenario, it is assumed that each transmitter ...
Communication styles for parallel systems
Distributed-memory parallel systems rely on explicit message exchange for communication, but the communication operations they support can differ in many aspects. One key difference is the way messages are generated or consumed. With systolic ...
Two-Way Token Passing Channels
2021 IEEE International Symposium on Information Theory (ISIT)An interactive communication channel model in which information is exchanged through the action of tossing one or more tokens, potentially of multiple types, is proposed. Two scenarios—point-to-point communication with token feedback and two-way ...
Comments