同步机构应遵循的基本准则是:空闲让进、忙则等待、有限等待、让权等待原因:为实现进程互斥进入自己的临界区。
所有的同步机制都应遵循以下四条准则:
(
1
)空闲让进:因为,当无
进程处于临界区时,
表明临界资源处于空闲状态,
应允许一个请求进入临界区的进程立即进
入自己的临界区,
以有效地利用临界资源。
(
2
)
忙则等待:
因为,
当已有进程进入临界区时,
表明临界资源正在被访问,
因而其它试图进入临界区的进程必须等待,
以保证对临界资源的
互斥访问。
(
3
)有限等待:因为,对要求访问的临界资源的进程,应保证在有限时间内能进
入自己的临界区,以免陷入“死等”状态。
(
4
)让权等待:因为,当进程不能进入自己的临
界区时,应立即释放处理机,以免进程陷入“忙等”状态