3.1.2临界区 进程同步机制应遵循的原则 进程在并发执行时为了保证结果的可再现性,各进程执行序列必须加以限制 以保证互斥地使用临界资源,相互合作完成任务 多个相关进程在执行次序上的协调称为进程同步。用于保证多个进程在执行次 序上的协调关系的相应机制称为进程同步机制。所有的进程同步机制应遵循: 空闲让进。 当无进程进入临界区时,相应的临界资源处于空闲状态,因而允许一个请求进入 临界区的进程立即进入自己的临界区。 忙则等待 当已有进程进入自己的临界区时,即相应的临界资源正被访问,因而其它试图进 入临界区的进程必须等待,以保证进程互斥地访问临界资源 有限等待。 对要求访问临界资源的进程,应保证进程能在有限时间进入临界区,以 免陷入“饥饿”状态。 让权等待 当进程不能进入自己的临界区时,应立即释放处理机,以免进程陷入忙等 例:p1,p2并发工作,若P1先进入临界区,则先占用临界资源R。时间片到, P2想进入临界区,就需忙则等待(释放CPU),有限等待,若Pl退出,则空 闲让进P2。 2001年9月20日9时1分 计算机操作系统2001年9月20日9时1分 计算机操作系统 3.1.2 临界区 二、 进程同步机制应遵循的原则 进程在并发执行时为了保证结果的可再现性，各进程执行序列必须加以限制 以保证互斥地使用临界资源，相互合作完成任务。 多个相关进程在执行次序上的协调称为进程同步。用于保证多个进程在执行次 序上的协调关系的相应机制称为进程同步机制。所有的进程同步机制应遵循： ⚫ 空闲让进。 当无进程进入临界区时，相应的临界资源处于空闲状态，因而允许一个请求进入 临界区的进程立即进入自己的临界区。 ⚫ 忙则等待。 当已有进程进入自己的临界区时，即相应的临界资源正被访问，因而其它试图进 入临界区的进程必须等待，以保证进程互斥地访问临界资源。 ⚫ 有限等待。 对要求访问临界资源的进程，应保证进程能在有限时间进入临界区，以 免陷入“饥饿”状态。 ⚫ 让权等待。 当进程不能进入自己的临界区时，应立即释放处理机，以免进程陷入忙等。 例：p1,p2并发工作，若P1先进入临界区，则先占用临界资源R。时间片到， P2想进入临界区，就需忙则等待（释放CPU），有限等待，若P1退出，则空 闲让进P2