Computing for Embedded Systems and Ptolemy II
15
Examples of Models of Computation
(continued)
9.Asynchronous message passing
•In asynchronous message passing, processes communicate by sending messages through channels that can buffer the messages.
•Kahn process network (PN) models and dataflow models are variants of this techniques.
•PN models are excellent for signal processing.
•Synchronous dataflow (SDF) is a particularly restricted special case with the extremely useful property that deadlock and boundedness are decidable.