22 (302)

PI: do forever

1.    Produce

2.    if bufTer = empty then buffer = filled

end

P2: do forever

1.    If buffer = filled then buffer = empty

2.    Consume end

II. State-based representation of Producer-Consumer system:

There exist three subsystems:    ^/

Producer, Buffer, Consumer with the following stateś and actions as presented graphically below:

>

consumer:

ready to receive

ready to consume

Observations:

1.    Arrows on the above figures represent possible steps befween the subsystem steps.

2.    The above State diagrams do not describe the behavior of the whole system entirely and correctly.

3.    Transitions are described as actions/functions over these States.