C#中Finally的一個不太常見的用法

Yunanw發表於2014-04-14
C#

最近在看.net BCL 傳送門 的原始碼. 在

System.Collections.Concurrent.ConcurrentQueue

中看到一段有意思的程式碼.注意這段程式碼是寫在ConcurrentQueue這個用於併發中的佇列. 注意,這是一個無鎖佇列的實現.

   try
    { }
    finally
    {
        newhigh = Interlocked.Increment(ref m_high);
        if (newhigh <= SEGMENT_SIZE - 1)
        {
            m_array[newhigh] = value;
            m_state[newhigh].m_value = true;
        }
        if (newhigh == SEGMENT_SIZE - 1)
        {
            Grow();
        }
    }

　　

 
有意思嗎?程式碼中使用了一個空的Try程式碼塊.然後把程式碼全都寫在了Finally塊.這麼做的目地何在呢?

這其實是一個小的技巧:放在Finally中的程式碼可以防止執行執行緒在執行過程中被另一個執行緒用呼叫了Thread.Abort()或Thread. Interrupt()打斷.從而保證這段程式碼執行的完整性.

舉個例子: 如果不將上面程式碼放到Finally中執行.假如正好有一個執行緒A執行到 m_array[newhigh] = value;而另外一個執行緒B呼叫了執行緒A的Thread.Abort() 那麼m_array[newhigh] = value; 以後的程式碼可能沒有機會得到執行.那麼將引起ConcurrentQueue的不完整.

而放到Finally中的程式碼,即使執行緒B線上程A執行時呼叫了Thread.Abort()或Thread. Interrupt()方法時也能保證Finally塊中的程式碼被完整的執行.

事實上,這個特性是在.net framework2.0中引入的.在.net 1.1時Finally沒有這個作用.另外 Tread.Abort有可能打斷執行緒內的靜態構構函式執行.

另外我認為同樣的功能也可以用這個Thread.BeginCriticalRegion 和Thread.EndCriticalRegion(); 來實現.

 

相關文章