【我的笔记】进程管理(四)锁、信号量

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( )唤醒一个正在睡眠的进程,可以带一个参数指出要唤醒的进程。

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

最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
平台声明:文章内容(如有图片或视频亦包括在内)由作者上传并发布,文章内容仅代表作者本人观点,简书系信息发布平台,仅提供信息存储服务。

推荐阅读更多精彩内容

  • ** 本文摘自汤小丹主编《计算机操作系统》(第三版)2.3 进程同步 ** 在 OS 中引入进程后,虽然提高了资源...
    刘帅_阅读 3,148评论 0 0
  • 一、 【例3-1-4】在操作系统中,要对并发进程进行同步的原因是 。 A. 进程必须在有限的时间内完成 B. 进程...
    ZoeyeoZ阅读 5,093评论 0 9
  • 又来到了一个老生常谈的问题,应用层软件开发的程序员要不要了解和深入学习操作系统呢? 今天就这个问题开始,来谈谈操...
    tangsl阅读 4,195评论 0 23
  • 不知道你是不是也有这样的想法,总会在某个瞬间想起那些曾经特别想念或者讨厌的人。一个故事一段话一个场景,总会多少的勾...
    小溪妹妹阅读 338评论 0 1
  • 因为这部小说写的是当下拍卖业内幕且涉及湖南前法院院长“窝案”,加上又改编并上映了同名电视剧,我便凑热闹好奇地...
    耕读老吕阅读 2,941评论 2 0