管程的界說
零碎中的各類硬件資本和軟件資本，均可用數據構造籠統地描繪其資本特徵，即用大批信息和對資本所履行的操作來表徵該資本，而疏忽了它們的外部構造和完成細節。管程是由一組數據以及界說在這組數據之上的對這組數據的操作構成的軟件模塊，這組操作能初始化並改動管程中的數據和同步過程。
管程的構成
1) 部分於管程的共享構造數聽說明。
2) 對該數據構造停止操作的一組進程。
3) 對部分於管程的共享數據設置初始值的語句。
管程的根本特徵
1) 部分於管程的數據只能被部分於管程內的進程所拜訪。
2) 一個過程只要經過挪用管程內的進程才幹進入管程拜訪共享數據。
3) 每次僅許可一個過程在管程內履行某個外部進程。
因爲管程是一個言語成分，所以管程的互斥拜訪完整由編譯程序在編譯時主動添加，無需程序員存眷，並且包管準確。