操作系统的进程同步与互斥主要是介绍了,由于多道程序设计带来的并发性,内存中运行多个进程并发运行。由于并发带来的异步性,进程的推进速度为止;但是有些进程的工作推进需要一定的先后顺序,所以需要同步来解决这种问题。而临界资源只能被这些进程互斥的访问。
主要的重点冷月做出了标识,知识点如下图(pdf版或xmind源文件请关注公众号:学长冷月,回复操作系统)。
冷月点睛
进程同步与互斥
同步
由于并发带来的异步性,进程的推进速度为止;但是有些进程的工作推进需要一定的先后顺序,所以需要同步来解决这种问题
互斥
临界资源:一次只允许一个进程使用的资源
临界区:访问临界资源的那段代码
临界资源的访问原则
空闲让进:临界资源空闲则运行进程使用
忙则等待:临界资源被暂用则其他请求该资源的进程等待
有限等待: 进程等待的时间必须有限,防止进程饥饿
让权等待: 需要等待的进程让出处理器资源,防止忙等
实现临界区互斥的基本方法
软件实现方法
单标志法 在进入区使用true变量来控制进程,只能交替进入 双标志先检查法 先检查,后上锁 双标志后检查法 先上锁,后检查 Peterson算法 主动争取-主动谦让-检查对方是否想要进入
硬件实现方法
中断屏蔽法 由于进程调度需要产生中断,直接屏蔽中断后,进程就不会产生调度,也就不会有其他进程来抢夺临界资源 只适合单处理器
硬件指令法 test and set swap
信号量
一种专门用来处理同步、互斥的工具
整型信号量 只采用一个整数变量来记录临界资源的数量
记录型信号量 s.value 表示临界资源的数量 s.L 表示等待队列
实现同步 找出前后关系 前者后面V ; 后者前排 P 信号量初值0
实现互斥 分析问题,确定临界区 信号量为1 将临界区夹在PV中间