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

最近在看.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有可能打斷線程內的靜態構構函數執行.