进程同步、进程互斥 什么是进程同步 什么是进程互斥 概念 软件实现方法 单标志法 双标志先检查法 双标志后检查法 Peterson 算法 硬件实现方法 中断屏蔽方法 TestAndSet 指令 swap 指令 回顾 信号量机制 概念 整型信号量 记录型信号量 信号量机制 信号量机制实现进程互斥 信号量机制实现进程同步 信号量机制实现前驱关系 回顾