進程互斥

兩個或兩個以上的進程，不能同時進入關於同一組共享變量的臨界區域，否則可能發生與時間有關的錯誤，這種現象被稱作進程互斥· 也就是説，一個進程正在訪問臨界資源，另一個要訪問該資源的進程必須等待。

在多道程序環境下，存在着臨界資源，它是指多進程存在時必須互斥訪問的資源。也就是某一時刻不允許多個進程同時訪問，只能單個進程的訪問。我們把這些程序的片段稱作臨界區或臨界段，它存在的目的是有效的防止競爭條件又能保證最大化使用共享數據。而這些併發進程必須有好的解決方案，才能防止出現以下情況：多個進程同時處於臨界區，臨界區外的進程阻塞其他的進程，有些進程在臨界區外無休止的等待。除此以外，這些方案還不能對CPU的速度和數目做出任何的假設。只有滿足了這些條件，才是一個好的解決方案。