同步与互斥的基本概念
进程同步的概念
知识点回顾:进程具有异步性,异步性是指,各并发执行的进程以各自独立的、不可预知的速度向前推进
并发性带来了异步性,有时需要通过进程同步解决这种异步问题,有的进程之间需要相互配合地完成工作,各进程的工作推进需要遵循一定的先后顺序
同步亦称直接制约关系,它是指为完成某种任务而建立的两个或多个进程,这些进程因为需要在某些位置上协调它们的工作次序而产生的制约关系(进程间的直接制约关系就是源于它们之间的相互合作)
进程互斥的概念
互斥亦称间接制约关系,进程互斥指当一个进程访问某临界资源时,另一个想要访问该临界资源的进程必须等待,当前访问临界资源的进程访问结束,释放该资源之后,另一个进程才能去访问临界资源
临界资源:一个时间段内只允许一个进程使用的资源(许多物理设备(比如摄像头、打印机)都属于临界资源,此外还有许多变量、数据、内存缓冲区等都属于临界资源),对临界资源的访问,必须互斥地进行
对临界资源的互斥访问,可以在逻辑上分为四个部分:
注意:
临界区是进程中访问临界资源的代码段
进入区和退出区是负责实现互斥的代码段
临界区也可称为“临界段”
为了实现对临界资源的互斥访问,同时保证系统整体性能,需要遵循以下原则:
- 空闲让进,临界区空闲时,可以允许一个请求进入临界区的进程立即进入临界区
- 忙则等待,当已有进程进入临界区时,其他试图进入临界区的进程必须等待
- 有限等待,对请求访问的进程,应保证能在有限时间内进入临界区(保证不会饥饿)
- 让权等待,当进程不能进入临界区时,应立即释放处理机,防止进程忙等待
总结(思维导图)
【计算机操作系统】 专栏的文章 均有参考 《王道计算机考研 操作系统》 课程视频