为禁止两个进程同时进入临界区，，同步机制应遵循以下准则：
空闲让进：临界区空闲时，允许进程进入临界区。
忙则等待：临界区被占用时，其他试图进入的进程必须等待。
有限等待：等待进入临界区的进程，应能在有限的时间内进入临界区。
让权等待：进程不能进入临界区时，应让出处理器。