进程调度 基本概念 临界资源同步互斥 实现临界区互斥方法 软件算法 单标志法 违背“空闲让进”原则 双标志法先检查 违背“忙则等待”原则 双标志法后检查 会导致“饥饿”现象 Peterson‘sAlgorithm 单标志法和双标志法后检查的结合 硬件实现 中断屏蔽方法硬件指令方法 信号量 整型信号量记录型信号量利用信号量实现同步利用信号量实现进程互斥利用信号量实现前驱关系分析进程同步和互斥问题的方法步骤 管程 定义 组成 局部于管程的共享结构数据说明对该数据结构进行操作的一组过程对局部管程的共享数据结构设置初始值的语句 经典问题 生产者消费者问题读者写者问题哲学家就餐问题吸烟者问题