5.4.2 Producer-Consumer with Monitors( 2/4) void producer ( char x while (true) produce(x) append(x)i void consumer ( char x while (true) take(x); consume(x)i void main() parbegin (producer, consumer)i Figure 5.16 A Solution to the Bounded-Buffer Producer/Consumer Problem Using a monitor5.4.2 Producer-Consumer with Monitors（2/4) 18