（十七）操作系统-进程同步、互斥

一、知识总览

二、进程同步

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

三、进程互斥

1. 临界资源

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

2. 互斥

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

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

do{
	entry section;      //进入区
	critical section;   //临界区
	exit section;       //退出区
	remainder section;  //剩余区
}while(true)

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

注意：

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

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

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

五、总结

ps：欢迎评论区一起讨论，一起学习！o(￣▽￣)ブ