(十七)操作系统-进程同步、互斥

一、知识总览

请添加图片描述

二、进程同步

  同步亦称直接制约关系,他是指为完成某种任务而建立的两个或多个进程。这些进程因为需要在某些位置上协调它们的工作次序而产生的制约关系。进程间的直接制约关系就是源于它们之间的相互合作。
  例如:读进程和写进程并发地运行,由于并发必然导致异步性,因此“写数据”和“读数据”两个操作执行的先后顺序是不确定的。而实际应用中,又必须按照“写数据 —>读数据”的顺序来执行的。所以解决这种异步问题,就是进程同步所讨论的内容。
请添加图片描述

三、进程互斥

1. 临界资源

  我们把一个时间段内只允许一个进程使用的资源称为临界资源。许多物理设备(如摄像头、打印机)都属于临界资源。此外还有许多变量、数据、内存缓冲区等都属于临界资源。

2. 互斥

  对临界资源的访问,必须互斥地进行。互斥,亦称间接制约关系
  进程互斥指当一个进程访问某临界资源时,另一个想要访问该临界资源的进程必须等待。当前访问临界资源的进程访问结束,释放该资源之后,另一个进程才能去访问临界资源。

3. 对临界资源的互斥访问,在逻辑上分为四个部分

do{
	entry section;      //进入区
	critical section;   //临界区
	exit section;       //退出区
	remainder section;  //剩余区
}while(true)
  • 进入区:负责检查是否可以进入临界区,若可进入,则应设置正在访问临界资源的标志(可理解为“上锁”),以阻止其他进程同时进入临界区。
  • 临界区:访问临界资源的代码。
  • 退出区:负责解除正在访问临界资源的标志(可理解为“解锁”)
  • 剩余区:做其他的处理。

注意:

  • 临界区是进程中访问临界资源的代码段。
  • 进入区退出区是负责实现互斥的代码段。
  • 临界区也可称为“临界段”。

4. 为了实现对临界资源的互斥访问,同时保证系统整体性能,需要遵循的原则

  • 空闲让进。临界区空闲时,可以允许一个请求进入临界区的进程立即进入临界区。
  • 忙则等待。当已有进程进入临界区时,其他试图进入临界区的进程必须等地啊。
  • 有限等待。对请求访问的进程,应保证能在有限时间内进入临界区(保证不会饥饿)。
  • 让权等待。当进程不能进入临界区时,应立即释放处理机,防止进程忙等待。

五、总结

请添加图片描述

ps:欢迎评论区一起讨论,一起学习!o( ̄▽ ̄)ブ

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 打赏
    打赏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

孤傲倾城

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付:¥1
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值