main ( ) {

cobegin

prog1 ( );

prog2 ( ); prog3 ( ); prog4 ( ); prog5 ( prog6 ( prog7 ( coend }

prog1 ( ) {

… v ( f1 ); v ( f1 ); v ( f1 ); }

prog2 ( ) {

… v ( f2 ); v ( f2 ); v ( f2 ); }

prog 3 ( ) {

p ( f1 ); p ( f2 );

… v ( f3 ); }

prog 4 ( ) {

p ( f1 ); ); ); ); p ( f2 );

v ( f4 );

}

prog 5 ( ) {

p ( f1 ); p ( f2 );

v ( f5 ); }

prog 6 ( ) {

p ( f3 );

v ( f6 ); }

prog 7 ( ) {

p ( f5 );

v ( f7 ); }

prog8 ( ) {

p ( f4 ); p ( f6 ); p ( f7 ); }

15.在本题中，我们可以设置两个信号量来控制A、B产品的存放数量，sa表示当前允许A产品比B产品多入库的数量，即在当前库存量和B产品不入库的情况下，还可以允许sa个A产品入库；sb表示当前允许B产品比A产品多入库的数量，即在当前库存量和A产品不入库的情况下，还可以允许sb个B产品入库。初始时，sa为M – 1，sb为N

… … … … … – 1。当往库中存放一个A产品时，则允许存入B产品的数量也增加1；当往库中存放一个B产品时，则允许存入A产品的数量也增加1。 产品A、B的入库过程描述如下： int mutex=1; int sa= M – 1; int sb= N – 1; main ( ) {

while ( 1 ) {

取一个产品； if ( 取的是A产品) {

P ( sa ) ;

P ( mutex ) ; 将产品入库； v ( mutex ) ;

v ( sb ) ; }

else /*取的产品是B*/ {

P ( sb ) ;

P ( mutex ) ; 将产品入库； v ( mutex ) ;

v ( pa ) ; } } }

16.在本题中，应设置一个信号量mutex实现诸进程对缓冲区的互斥访问；两个信号量数组empty[n2]和full [n2]描述n2组缓冲区的使用情况。Mutex的初值为1；数组empty中的元素初值为m；数组full中的元素初值为0。其同步关系描述如下： int mutex , empty[n2] , full [n2] ; int i ;