一组生产者进程和一组消费者进程共享一个由n个缓冲区组成的有界缓冲池，生产者进程向空缓冲区中投放产品，消费者进程从缓冲区中取得产品消费。缓冲池已满时，生产者进程无法投放产品，缓冲池为空时，消费者进程也不能进行消费。试完成下列的填空，实现进程的同步控制。semaphore mutex=1, empty=n, full=0;item buffer[n];int in=out=0;parbeginproducer( ){while (1){…produce a product_good;…（1）；（2）；buffer[in]=product_good;in = in + 1 % n;V(mutex);V(full);until false;}}consumer( ){while (1){（3） ;（4） ;consume_good=buffer[out];out=(out+1) % n;V(mutex);（5） ;consume the consume_good;until false;}}parend