同步与互斥的基本概念
临界资源
我们将一次仅允许一个进程使用的资源称为临界资源
什么是进程同步
直接制约关系,他是指为了完成某种任务而建立的两个或多个进程,这些进程因为需要某些位置上协调他们的工作次序而产生的制约关系。进程之间的直接制约关系就是源于他们的互相合作
什么是进程互斥
间接制约关系,当一个进程进入临界区使用临界资源时,另一个进程必须等待,当占用临界资源的进程推出临界区后,另一个进程才能进去访问此临界资源
为了禁止两个进程同时进入临界区,同步机制应该遵守以下原则
1.空闲让进。当临界区有空闲的时候,可以允许一个请求进入临界区的进程立即进入临界区
2.忙则等待。当已有进程进入临界区时,其他试图进入临界区的进程必须等待
3.优先等待。对请求访问的进程,应该保证能在有限时间内进入临界区(不让其饥饿
4.让权等待。当进程不能进入临界区时,应立即释放处理机,防止进程忙等待