O'Reilly logo

Modeling Embedded Systems and SoC's by Axel Jantsch

Stay ahead with the world's most comprehensive technology and business learning platform.

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, tutorials, and more.

Start Free Trial

No credit card required

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 ...

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, interactive tutorials, and more.

Start Free Trial

No credit card required