Chapter Seven. Tightly Coupled Process Networks

Models of computation are not restricted to those we have discussed so far. As a matter of fact, practically important MoCs fall outside the frame we have developed. Our framework enforces three properties in all its concrete MoCs: blocking read, decoupled sender/receiver, and determinism. In this chapter we discuss more informally MoCs that violate these properties.

In particular we investigate the effects of a nonblocking read semantics for a message receiver (Section 7.1). Together with nondeterministic communication delays it leads to nondeterministic behavior.

A blocking read/blocking write semantics of the communication (Section 7.2) leads to a very tight coupling between the processes in a process ...

Get Modeling Embedded Systems and SoC's now with O’Reilly online learning.

O’Reilly members experience live online training, plus books, videos, and digital content from 200+ publishers.