操作系统之进程同步和死锁
L16 进程同步和信号量
- 进程同步之前讲过用上锁的方式
两个合作的进程都要修改counter
- 进程合作:多进程共同完成一个任务
- 示例1:司机和售票员相互合作,等信号和发信号
信号–>信号量,等待是进程同步的核心
信号量分析视频
- 信号同步,等待,唤醒
- P1,P2都是休眠的进程
- 根据程序,P2是不会唤醒的,这样就有问题了?
- 不仅要知道缓冲区的大小counter,而且要记录休眠的进程个数
不能根据counter决定是不是发信号,而是根据信号量来决定是否发信号
- 信号量分析
根据信号量来分析
sem
负数表示有多少个进程阻塞,正数表示还有多少个空闲的缓冲区
信号量是负数,(生产者)进程来时阻塞等待,消费者来时唤醒;信号量为正数,(生产者)进程来时,执行即可,消费者来时,执行.[12分钟处]
- 信号量的实现
- P操作,申请资源才能阻塞;V操作:生产资源
- P,V操作要做成内核态,系统调用;上层应用再调用P,V.
V(semaphire s)
{
s.value++;
if(s.value<=0) //等于符号
wakeup(s.queue);
}
- 用信号量解生产者和消费者
- 关键在什么是停…
- 消费者先test(P)是否阻塞
- mutex是互斥信号量
- 信号量的含义:
L17 对信号量的临界区保护
- 确保信号量必须正确
共同修改信号量引出问题
临界区概念
临界区代码保护的原则
- 轮换法(值日法)
不满足有空让进
- 标记法
不满足有限等待
- 非对称标记
Peterson算法
结合标记和轮转两种思想
多进程-面包店算法
- 保护临界区的另一类解法–从硬件层处理
开关中断
硬件原子指令法
L18 信号量的代码实现
- 中断保护临界区
根据信号量的值判断是否进程切换
if 或者 while
实现信号量
L19 死锁处理
概念
死锁的必要条件
- 死锁处理方法概述
死锁预防,死锁避免,死锁检测+恢复,死锁忽略
- 死锁预防:1.一次性申请所有需要的资源,2.资源申请必须按序进行
死锁避免:银行家算法,每次申请都执行,时间效率低
死锁检测+恢复