The design of an inter-task communication scheme

The paper describes an implemented inter-task communication scheme, and its design motivation. The scheme provides a well-defined environment for all situations, including abnormal ones, such as misuse of its facilities. The main design goal is that users of the scheme should be able to verify their communication logic by inspection. Methods are described for reducing the complexity of communication logic to a minimum. The analogy with inter-CPU communication is discussed.