《操作系统》-进程同步和进程互斥的初识

进程同步和进程互斥

什么是进程同步

举个例子：进程通信—管道通信

读进程和写进程并发地运行，由于并发必然导致异步性，因此“写数据”和“读数据”两个操作执行的先后顺序是不确定的。而实际应用中，又必须按照“写数据->读数据”的顺序来执行的。如何解决这种异步问题，就是 “进程同步”所讨论的内容
同步亦称直接制约关系，它是指为完成某种任务而建立的两个或多个进程，这些进程因为需要在某些位置上协调它们的工作次序而产生的制约关系。进程之间的直接制约关系就是源于它们之间的相互合作。
我们把一个时间段内只允许一个进程使用的资源称为临界资源。许多物理设备（比如摄像头、打印机）都属于临界资源。此外还有许多变量、数据、内存缓冲区都属于临界资源。
对于临界资源的访问，必须是互斥地进行。互斥，亦称间接制约关系。进程互斥指当一个进程访问临界资源时，另一个想要访问该临界资源的进程必须等待。当前访问临界资源的进程访问临界资源结束，释放该资源之后，另一个进程才能去访问临界资源

对于临界资源的互斥访问，可在逻辑上分为如下四个部分：

进入区：负责检查是否可进入临界区，若可进入，则应该设置正在访问临界资源的标志(可理解为“上锁”)，以阻止其他进程同时进入临界区
临界区：访问临界资源的那段代码
退出区：负责解锁正在访问临界资源的标志（可理解为“解锁”）
剩余区：做其他处理

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

为了实现对临界资源的互斥访问，同时保证系统整体性能，需要遵循以下原则：
1、空闲让进。临界区空闲时，可以允许一个请求进入临界区的进程立刻进入临界区
2、忙则等待。当已有进程进入临界区是，其他试图进入临界区的进程必须等待
3、有限等待。对请求访问的进程，应保证能够在有限时间内进入临界区(保证不会饥饿)
4、让权等待。当进程不能进入临界区时，应立刻释放处理机，防止进程忙等待
总结：