Corresponding to figure #fnpcc1#349>
The mutual exclusion plus synchronisation prevents inconsistency or
deadlock across the entire system. However, it is possible for a
producer to produce more than a consumer can handle at any point in
this system, as we have no model for flow control. Flow control of
resources is usually achieved by counting the numbers of buffers being
queued and dequeued at each producer/consumer boundary, and bounding
this number (i.e. stopping production when we have queued some given
number of events for a consumer who has not yet managed them.
Of course, the same relationship between a process ;SPM_quot;above;SPM_quot; another
process exists for ;SPM_quot;peer;SPM_quot; processes across the network.
Figure:
Figure:
Figure:
Figure: