過程同步的根本概念：臨界資本、同步和互斥

在多道程序情況下，過程是并發履行的，分歧過程之間存在著分歧的互相制約關系。為了調和過程之間的互相制約關系，引入了過程同步的概念。

臨界資本

固然多個過程可以共享零碎中的各類資本，但個中很多資本一次只能為一個過程所運用，我們把一次僅許可一個過程運用的資本稱為臨界資本。很多物理裝備都屬于臨界資本，如打印機等。此外，還有很多變量、數據等都可以被若干過程共享，也屬于臨界資本。
對臨界資本的拜訪，必需互斥地停止，在每一個過程中，拜訪臨界資本的那段代碼稱為臨界區。為了包管臨界資本的準確運用，可以把臨界資本的拜訪進程分紅四個局部：

• 進入區。為了進入臨界區運用臨界資本，在進入區要反省能否進入臨界區，假如可以進入臨界區，則應設置正在拜訪臨界區的標記，以阻攔其他過程同時進入臨界區。

• 臨界區。過程中拜訪臨界資本的那段代碼，又稱臨界段。

• 加入區。將正在拜訪臨界區的標記肅清。

• 殘剩區。代碼中的其他局部。

			do { entry section; //進入區 critical section; //臨界區 exit section; //加入區 remainder section; //殘剩區 } while (true)

同步

同步亦稱直接制約關系，它是指為完成某種義務而樹立的兩個或多個過程，這些過程由于需求在某些地位上調和它們的任務次第而等候、傳遞信息所發生的制約關系。過程間的直接制約關系就是源于它們之間的互相協作。
例如，輸出過程A經過單緩沖向過程B供給數據。當該緩沖區空時，過程B不克不及取得所需數據而壅塞，一旦過程A將數據送入緩沖區，過程B被叫醒。反之，當緩沖區滿時，過程A被壅塞，僅當過程B取走緩沖數據時，才叫醒過程A。

互斥

互斥亦稱直接制約關系。當一個過程進入臨界區運用臨界資本時，另一個過程必需等候, 當占用臨界資本的過程加入臨界區后，另一過程才許可去拜訪此臨界資本。
例如，在僅有一臺打印機的零碎中，有兩個過程A和過程B，假如過程A需求打印時, 零碎已將打印機分派給過程B,則過程A必需壅塞。一旦過程B將打印機釋放，零碎便將過程A叫醒，并將其由壅塞形態變為停當形態。
為制止兩個過程同時進入臨界區，同步機制應遵照以下原則：

• 閑暇讓進。臨界區閑暇時，可以許可一個懇求進入臨界區的過程立刻進入臨界區。

• 忙則等候。當已有過程進入臨界區時，其他試圖進入臨界區的過程必需等候。

• 無限等候。對懇求拜訪的過程，應包管能在無限工夫內進入臨界區。

• 讓權等候。當過程不克不及進入臨界區時，應立刻釋放處置器，避免過程忙等候。