1、并发进程同步算法的设计方法关键：资源，信号量，初值，原语位置传统的设计步骤 分析 进程间的制约关系 (找出制约资源 ) 困难 定义 信号量、确定信号 初值 编程 （安排 p、 v位置 ） 位置错 功能错、死锁信号量描述前趋关系方法 (规则 )： 每条边设一信号量，初值为 0任一操作：前加指向边上信号量的 wait；后加离开边上信号量的 signal；相邻 wait、 signal 次序无关Program exam(input,output) Var a,b,c,d,e,f,g; semaphore = 0,0,0,0,0,0,0;beginparbeginbegin S1; signal(a)
2、; signal(b); end;begin wait(a); S2; signal(c); signal(d); end;begin wait(b); S3; signal(e); end;begin wait(c); S4; signal(f); end;begin wait(d); S5; signal(g); end;begin wait(e); wait(f); wait(g); S6; end;parendend 引入前趋图的设计方法：制约关系 前趋关系 p、 v位置确定（不用找资源）1、不考虑同步关系，写出每个进程独立的活动描述。2、同步的解决1）、分析问题，按功能的逻辑要求，找出进程间的前趋关系，画出前趋图。2）、设置信号量及 p， v操作：每条前趋线设一个信号量，箭头前插入其 p， 箭尾后插入其 v。 3） 确定信号量之初值：不能率先执行的 p其信号量初值为 0，否则为 n（ 正整数，为 p处申请资源的初始单位数）3、互斥的解决分析问题 -找出临界资源； 1个临界资源设 1个信号量 ,初始值为 1；在临界区的前后加上 p、 v。说明事例：并发进程同步问题实例生产者消费者问题变种23 1P对 3C问题4 取水果问题取水果问题父亲一次放一个水果（橘子或苹果），女儿取食橘子，儿子取食苹果5 取齐偶数问题取齐偶数问题
