标签：保证诸进程互斥地进入自己的对应于同一临界资源的临界区是实现它们对该临界资源的互斥访问的充要条件