美文网首页操作系统学习笔记
进程管理(四)锁、信号量

进程管理(四)锁、信号量

作者: minlover | 来源:发表于2017-06-08 21:17 被阅读28次

    1、进程的相互作用

    (1)① 独占式竞争 —— 所竞争的资源通常需要独占,eg:CPU、打印机。

    ② 协作式竞争 —— 进程间对共享对象使用权的竞争,能够遗失到对方的存在。

    必须限制对共享对象的使用,保证对a、b修改的原子性。

    ③ 协作 —— 知道对方的存在,且通过相互通信来交换信息、协调工作

    ④ 组合式作用 —— 有协作、有通信、有共享、有竞争。

    (2)归纳:进程间的作用 —— 互斥(独占、竞争) 、同步(协作)

    ① 互斥:需保证独爱独占式资源的互斥使用。保护资源,需封闭,用锁

    ② 具有同步关系的进程在执行时间上有明确要求的顺序。合作,需开放,用信号量。

    生产者和消费者问题。

    (3)临界资源(互斥资源):一次只允许一个进程使用的资源。

    临界区:进程中访问临界资源的程序片段。


    2、纯软件实现(略,见ppt)

    五个例子。

    为保证对临界资源的互斥访问,在进入临界区前需:检查(是否有别的进程在临界区)、设置(自己即将进入临界区)

    这两个操作应该是原子的。 --> ①关中断 ; ② 在一条指令中完成检测与设置操作  (均需硬件支持)


    3、硬件辅助实现

    (1)关中断

    异常无法关闭,可尽量避免;陷入是进程自己请求的,不存在插入其他指令的问题;主要关外部中断。

    进临界区时保存中断状态,然后关中断;出临界区时恢复中断状态。

    (2)特殊指令


    4、锁🔐

    锁是一种最简洁的互斥手段,通常用于保护时间很短的临界资源。

    用简单的忙等测试实现的锁叫自旋锁

    临界区不应允许中断,不应出现进程切换、自旋锁不能嵌套使用。


    5、信号量/灯(分析实例见 ppt,只记录一点知识点)

    (1)锁保护的临界区必须很小,针对因资源竞争造成的长等待问题 --> 信号量

    为临界资源建立状态标识和等待队列;为临界区建立入口P操作和出口V操作。

    对信号量和等待队列的修改也需要保护(因为也是临街资源),一般用锁

    (2)P 中,count 代表资源区剩的位置;V 中,count代表临界区中有的进程数。

    若将信号量初值设为1,可以实现互斥:(P1进去,P2、P3等待,P1出,V 操作加1,count 为负,就换一个进去)

    一个信号量可以保护多个临界资源,将信号量的初值设为临界资源的个数。若信号量为 n,则前 n 个 P 操作会成功,后面的P 操作会将进程挂起,直到被其他 V 操作唤醒。

    (3)进程同步:控制两个进程的执行顺序,确保只有一个进程完成动作 A 之后,另一个进程才开始动作 B。

    将信号量初值设为0,V 执行了,加过了,P2中进行 P 操作,减之后仍>=0,可以执行(P1执行后 P2可以执行)。若 P2先执行了 P 操作,S2进入等待,等 P1中S1做完后进行 V 操作,加了,P2中的 P 就可以成功了。(P2之前必须 P1)。

    初值 n(n>0),也可以进程同步,动作 A 最多比动作 B 多做 n次。

    (4)总结:

    互斥使用时,P、V 操作在同一个进程中;同步使用时,P、V 在不同进程汇总。

    信号量——初值1,可以实现互斥;初值为0,尅实现同步;初值大于1,可以实现进程间的计数同步。

    信号 量规定了可以超前完成的动作数或者同时使用资源的进程数。

    信号量  >0,表示当前可用的资源个数;<0,绝对值表示等待资源的进程数;=0,表示无可用资源,也无等待资源的进程。

    PPT 上一堆例子🌰

    信号量 ucore 实现。


    信号量题型方法:

    首先分析几个生产者(进程),几个消费者(进程),几个缓冲区,几个信号量。

    首先解决互斥问题 --> 设疑个信号量初值为1,然后两个进程均为 P -> S -> V 的结构。然后解决同步问题,几个P 和 V 子啊两个进程中分别放一个,且 V 在下面,P在上面,都在互斥的 PV 外面,找准信号量设成多少。把 V 到 P 的箭头画出来进行分析。

    信号量 为 n —— 进程计数同步,A 比 B 最多多做 n 次。


    6、睡眠与唤醒

    sleep( )将进程设置为睡眠状态,请求调度,让出 CPU,可以带一个参数,指定最长睡眠时间,到时间进程会自动醒来。

    wakeup( )唤醒一个正在睡眠的进程,可以带一个参数指出要唤醒的进程。

    若将等待队列与睡眠条件包装在一起,就形成了一种新的同步机制 --> 条件变量

    相关文章

      网友评论

        本文标题:进程管理(四)锁、信号量

        本文链接:https://www.haomeiwen.com/subject/twgtqxtx.html