[经济学]第7章 进程同步.ppt

使用管程解决进程同步问题 1霍尔管程解决五个哲学家吃通心面问题(1) type dining_philosophers=monitor enum {thinking,hungry,eating} state[5]; semaphore self[5]; int self_count[5]; InterfaceModule IM; for (int i=0;i5;i++)//初始化，i为进程号 state[i]=thinking; define pickup,putdown; use enter,leave,wait,signal； 霍尔管程解决五个哲学家吃通心面问题(2) void pickup(int i) { //i=0,1,...,4 enter(IM); state[i]=hungry; test(i); if(state[i]!=eating) wait(self[i],self_count[i],IM); leave(IM); } void putdown(int i) { //i=0,1,2,..,4 enter(IM); state[i]=thinking; test((i-1)%5); test((i+1)%5); leave(IM); } 霍尔管程实现五个哲学家吃通心面问题(3) void test(int k) { //k=0,1,...,4 if((state[(k-1)%5]!=eating)(state[k]==hungry) (state[(k+1)%5]!=eating)) { state[k]=eating; signal(self[k],self_count[k],IM); } } } 2管程解决生产者-消费者问题(1) type producer_consumer=monitor item B[k]; //缓冲区个数 int in,out; //存取指针 int count; //缓冲中产品数 semaphore notfull,notempty; //条件变量 int notfull_count,notempty_count; InterfaceModule IM; define append,take; use enter,leave,wait,signal； 管程解决生产者-消费者问题(2) void append(item x) { enter(IM); if(count==k) //缓冲已满 wait(notfull,notfull_count,IM); B[in]=x; in=(in+1)%k; count++; //增加一个产品 signal(notempty,notempty_count,IM); //唤醒等待消费者 leave(IM); } 管程解决生产者-消费者问题(3) void take(item x) { enter(IM); if(count==0) wait(notempty,notempty_count,IM); //缓冲已空 x=B[out]; out=(out+1)%k; count--; //减少一个产品 signal(notfull,notfull_count,IM); //唤醒等待生产者 leave(IM); } * 生产者-消费者问题 见chapter 6 sourcecode.doc * 哲学家就餐问题的管程解法 见chapter 6 sourcecode.doc * 信号量解决理发师问题(3) cobegin process barber( ) { while(true) { P(customers);//有顾客吗？若无顾客，理发师睡眠 P(mutex); //若有顾客时，进入临界区 waiting--; //等候顾客数少一个