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 the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
