同步處理原始物件概觀

發行項
08/21/2008

更新：2007 年 11 月

.NET Framework 提供了各種同步處理原始物件，可用來控制執行緒的互動以及避免競爭情形。這些可大略分為三種：鎖定、信號及連鎖作業。

這些分類並未清楚地定義：某些同步處理機制具有多個分類的特性、一次釋放單一執行緒的事件之作用就像是鎖定、任何鎖定的釋放都可視為信號、連鎖作業可用來建構鎖定。但是，這些分類仍然相當實用。

請牢記執行緒同步處理是合作性質的，這一點很重要。如果有一個執行緒略過同步處理機制，並直接存取受保護的資源，則該同步處理機制就不會是有效的。

鎖定

鎖定一次會為一個執行緒或指定數目的執行緒提供資源的控制權；當鎖定在使用中時，要求獨佔鎖定的執行緒會封鎖，一直到可使用該鎖定為止。

獨佔鎖定

鎖定的最簡單之形式就是 C# lock 陳述式 (Visual Basic 中為 SyncLock)，它可控制對程式碼區塊的存取權；這類區塊通常稱為關鍵區段。lock 陳述式的實作方式，是利用 Monitor 類別的 Enter 和 Exit 方法，且它會使用 try…catch…finally 來確定鎖定已釋放。

一般來說，使用 lock 陳述式來保護小型程式碼區塊，而絕對不要擴展超過一個以上的方法，是使用 Monitor 類別的最佳方法。Monitor 類別雖然功能強大，但卻容易使鎖定和死結變為孤立。

Monitor 類別

Monitor 類別可提供可以與 lock 陳述式一起搭配使用的額外功能。

TryEnter 方法可讓被封鎖的執行緒等候資源在指定之間隔時間之後放棄，它會傳回指出成功或失敗的布林值 (Boolean)，這個值可用來偵測及避免可能的死結。
Wait 方法是由關鍵區段中的執行緒所呼叫，它會放棄資源的控制權並封鎖，一直到資源再次可用為止。
Pulse 和 PulseAll 方法可讓即將要釋放鎖定或呼叫 Wait 的一個執行緒將一或多個執行緒置入備妥的佇列中，讓它們可以取得鎖定。

Wait 方法多載上的逾時可讓等候中的執行緒離開備妥的佇列。

Monitor 類別可以在多個應用程式定義域中提供鎖定，但前提是用於該鎖定的物件要衍生自 MarshalByRefObject。

Monitor 具有執行緒相似性；也就是說，進入 Monitor 的執行緒必須藉由呼叫 Exit 或 Wait 來離開。

Monitor 類別無法執行個體化，它的方法為靜態 (Visual Basic 中為 Shared)，且會在可執行個體化的鎖定物件上運作。

如需概觀說明，請參閱監視器。

Mutex 類別

執行緒要求 Mutex 的方式，是藉由呼叫它的 WaitOne 方法之多載。會提供具有逾時的多載，好讓執行緒可以放棄等候。Mutex 不像 Monitor 類別，它可以是區域或全域。全域 Mutex (也稱為具名 Mutex) 在整個作業系統中都可以看到，且可用來在多個應用程式定義域或處理序中同步處理執行緒。區域 Mutex 衍生自 MarshalByRefObject，且可用在跨應用程式定義域的界限上。

此外，Mutex 衍生自 WaitHandle，這表示它可以與 WaitHandle 提供的信號機制一起搭配使用，例如 WaitAll、WaitAny 和 SignalAndWait 方法。

就像 Monitor 一樣，Mutex 也有執行緒相似性。Mutex 是可執行個體化的物件，與 Monitor 不同。

如需概觀說明，請參閱 Mutex。

其他鎖定

鎖定不需要是獨佔的；讓有限數目的執行緒同時存取一個資源時，鎖定會相當實用。號誌 (Semaphore) 和 Reader-Writer 鎖定的設計目的，是要控制這種類型的集區資源存取。

ReaderWriterLock 類別

ReaderWriterLockSlim 類別所針對的情況，是變更資料的執行緒 (亦即寫入器) 必須有資源的獨佔存取權。當寫入器不在使用中時，任何數目的讀取器都可以存取此資源 (例如，藉由呼叫 EnterReadLock 方法)。當執行緒要求獨佔存取權時 (例如，藉由呼叫 EnterWriteLock 方法)，之後的讀取器要求就會封鎖，直到所有現有的讀取器都結束鎖定，以及該寫入器已進入並結束鎖定為止。

ReaderWriterLockSlim 具有執行緒相似性。

如需概觀說明，請參閱 Reader-Writer 鎖定。

Semaphore 類別

Semaphore 類別可允許指定數目的執行緒存取某個資源；其他要求此資源的執行緒會封鎖，一直到執行緒釋放號誌為止。

Semaphore 衍生自 WaitHandle，和 Mutex 類別一樣。Semaphore 可以是區域或全域，這一點也和 Mutex 一樣；它可用在跨應用程式定義域的界限內。

Semaphore 沒有執行緒相似性，與 Monitor、Mutex 和 ReaderWriterLock 不同。這表示，它可用於以下情況：一個執行緒取得號誌，然後另一個執行緒釋放此號誌。

如需概觀說明，請參閱號誌。

信號

等候來自另一個執行緒的信號之最簡單的方式，就是呼叫 Join 方法，此方法會一直封鎖到其他執行緒完成為止；Join 有兩個多載，可讓被封鎖的執行緒在經過指定的間隔時間之後中斷等候。

等候控制代碼可提供更多、更豐富的等候和信號功能。

等候控制代碼

等候控制代碼衍生自 WaitHandle 類別，而此類別則衍生自 MarshalByRefObject。因此，等候控制代碼可用在跨應用程式定義域的界限內，同步處理執行緒的活動。

執行緒在等候控制代碼上封鎖的方式，是藉由呼叫執行個體方法 WaitOne 或 WaitAll、WaitAny 或 SignalAndWait 的一個靜態方法；而釋放的方式，需視所呼叫的方法以及等候控制代碼的類型而定。

如需概觀說明，請參閱等候控制代碼。

事件等候控制代碼

事件等候控制代碼包括 EventWaitHandle 類別和它的衍生類別 AutoResetEvent 和 ManualResetEvent。當事件等候控制代碼藉由呼叫它的 Set 方法或使用 SignalAndWait 方法而收到信號時，即會從此事件等候控制代碼中釋放執行緒。

事件等候控制代碼不是會自動將自己重設 (就像轉門，在每次收到信號時，只能讓一個執行緒通過)，就是必須以手動方式重設 (就像是閘門，在收到信號之前都是關閉的，然後會開啟到有人將它關閉為止)。AutoResetEvent 和 ManualResetEvent 分別表示前者和後者，就像是其名稱所指的一樣。

EventWaitHandle 可以表示任一事件類型，也可以是區域或全域。衍生類別 AutoResetEvent 和 ManualResetEvent 一定都是區域的。

事件等候控制代碼沒有執行緒相似性；任何執行緒都可以發出事件等候控制代碼信號。

如需概觀說明，請參閱 EventWaitHandle、AutoResetEvent 和 ManualResetEvent。

Mutex 和 Semaphore 類別

因為 Mutex 和 Semaphore 類別是衍生自 WaitHandle，所以可以與 WaitHandle 的靜態方法一起使用。例如，執行緒可以使用 WaitAll 方法來等候，直到下列三個條件都成立為止：EventWaitHandle 已收到信號、已釋放 Mutex，以及已釋放 Semaphore。同樣地，執行緒可以使用 WaitAny 方法來等候，直到上面其中任一個條件成立為止。

如果是 Mutex 或 Semaphore，正收到信號表示正被釋放。如果任一型別當做 SignalAndWait 方法的第一個引數使用，則會將它釋放。如果是具有執行緒相似性的 Mutex，則在呼叫執行緒未主控 Mutex 時，會擲回例外狀況。如上面所提及，號誌並沒有執行緒相似性。

連鎖的作業

連鎖的作業是在記憶體位置上由 Interlocked 類別的靜態方法所執行的簡單且不可部分完成的作業 (Atomic Operation)。這些不可部分完成的作業包括加法、遞增和遞減、交換、視比較結果而定的條件式交換，32 位元平台上的 64 位元值之讀取作業。

注意事項：
單元性 (Atomicity) 的保證限制為個別的作業；當多個作業必須以一個單位的形式執行時，必須使用比較鬆散的同步處理機制。