并发进程同步算法的设计方法 关键 资源信号量初值原语位置 传统的设计步骤 分析进程间的制约关系(找出制约资源) 困难 定义信号量确定信号初值 编程安排pv位置 位置错功能错死锁 信号量描述前趋关系 方法(规则)每条边设一信号量初值为0 任一操作前加指向边上信号量的wait 后加离开边上信号量的signal 相邻wait signal 次序无关 Program exam(input,output)