并发进程中与共享变量有关的程序段叫做「临界区」,共享变量代表的资源叫「临界资源」。
与同一变量有关的临界区分散在各进程的程序段中,而各进程的执行速度不可预知。如果保证进程在临界区执行时,不让另一个进程进入临界区,即各进程对共享变量的访问是互斥的,就不会造成与时间有关的错误。