[Thread] 執行緒同步資源鎖定 – Mutex

http://www.dotblogs.com.tw/yc421206/archive/2011/01/09/20683.aspx

Metux類別的用法很像Semaphore，它同樣是繼承WaitHandle來的Mutex.WaitOne方法會使執緒進入WaiySleepJoin狀態，Mutex.ReleaseMutex方法會使執行緒進入Running狀態

Semaphore與Mutex都提供了具名與不具名的號誌機制，不同的是Semaphore沒有提供執行緒釋別的功能，擁有識別的執行緒才能呼叫ReleaseMutex方法；擁有權限鎖定的執行緒可以使用WaitOne來鎖定資源，當然也要呼叫與WaitOne相同次數的ReleaseMutex，為了確保一定會呼叫到ReleaseMutex方法，建議將ReleaseMutex方法寫在finally區段裡

 

鎖定機制：

接下來我們來用程式碼演練，觀察Mutex的鎖定機制，我在DoWorker裡寫了一個迴圈，模擬這個方法花了很多的時間，主要是用來觀察鎖定機制是否有如期運行。

 

運行結果，果然如預期的樣子運行Mutex確實的將資源鎖住了，Thread[9]先進入資源狀態為Running，其餘為WaitSleepJoin，待Thread[9]呼叫ReleaseMutex方法喚醒後，才輪到下一個執行緒Thread[13]進入資源。

 

把DoWorker方法裡的WaitOne及ReleaseMutex註解起來觀察看看，執行緒同時湧入同一個資源，這將會造成不可預期的答案，這樣運算出來的結果肯定是錯的。

 

識別機制：

有了上面的範例便可以很清楚的知道Mutex怎麼使用了，接下來再來演練Mutex多載裡第一個Boolean參數的用法，MSDN上面寫著：

Mutex(Boolean)：使用布林值 (Boolean)，初始化 Mutex 類別的新執行個體，指出呼叫執行緒是否應該具有 Mutex 的初始擁有權。

這表示若使用true表示主執行緒擁有了初始控制權，解開上面範例Main方法裡的_Mutex=new Mutex(true);以及_Mutex.ReleaseMutex();，如下所述：

 

運行觀察結果，我們可以看到主執行緒也來淌渾水，所有的子執行緒Thread[11]~[15]的狀態都是WaitSleepJoin，直到執行第28行，才開始子執行緒的工作。

不過這樣先執行完主執行緒後才能執行子執行緒的邏輯，目前還想不到在哪可以應用上。

 

具名機制：

Mutex也像Semaphore一樣有具名機制，都是用OpenExisting方法來開啟存在的具名機制，既然用法一樣，就不再重覆寫了，請參考[Thread] 執行緒資源存取限制的同步機制 - Semaphore