C#筆試題之同線程Lock語句遞歸不會死鎖
前幾天在網(wǎng)上閑逛,無意中看到有這么一道題及其答案,如下:
根據(jù)線程安全的相關知識,分析以下代碼,當調(diào)用test方法時i>10時是否會引起死鎖?并簡要說明理由。
public void test(int i) { lock(this) { if (i > 10) { i--; test(i); } } }
答:不會發(fā)生死鎖,(但有一點int是按值傳遞的,所以每次改變的都只是一個副本,因此不會出現(xiàn)死鎖。但如果把int換做一個object,那么死鎖會發(fā)生)
當我看到這道題時,我心里只有兩個答案,1、會發(fā)生死鎖,2、不會。^_^說了當沒說。我覺得會發(fā)生死鎖的理由是:同一線程只能進入lock語句一次,如果這個線程沒有退出lock語句就不能再次進入lock語句。而不會發(fā)生死鎖的理由是,同一線程可以多次進入到lock語句中。
我將這段代碼拷入VS中運行,發(fā)現(xiàn)沒有進入死鎖,于是想找個權威的理由來解釋它,終于在《CLR via C#》第二版(中文版,清華大學出版社出版)的第530頁中第7行找到了這樣的描述:“同樣需要引起注意的是線程可以遞歸擁有同步塊”。即同一線程可以遞歸調(diào)用lock語句。
以上只討論了單線程的情況,下面的代碼給出的兩個線程的情況:
using System; using System.Threading; namespace LockDemo { class Program { static void Main(string[] args) { Program p = new Program(); MyObj obj = new MyObj(); //第一個線程 Thread thread1 = new Thread(p.test); thread1.Name = "thread1"; //第一個線程 Thread thread2 = new Thread(p.test); thread2.Name = "thread2"; //啟動線程 thread1.Start(obj); thread2.Start(obj); Console.Read(); } public void test(object obj) { lock (this) { if (((MyObj)obj).value > 10) { ((MyObj)obj).value--; Console.Write(Thread.CurrentThread.Name + ":"); Console.WriteLine(((MyObj)obj).value); Thread.Sleep(10); test(obj); } else { Console.WriteLine(Thread.CurrentThread.Name); } } } } /// <summary> /// 將一個值類型封裝在一個類中,以便多個線程調(diào)用方便 /// </summary> public class MyObj { public int value; public MyObj() { //將初始值賦為20 value = 20; } } }
下面是運行結果:
由于thread1先進入lock語句,所以鎖一直由thread1占有,遞歸調(diào)用直到不滿足條件為止,thread1釋放鎖后,thread2進入lock語句時,發(fā)現(xiàn)當前已經(jīng)不滿足遞歸條件了,即:i < 10了,所以直接退出。
讓我覺得奇怪的是網(wǎng)上給出的答案,即括號中的文字說明,明明代碼中是對this對象加的鎖,與傳遞的參數(shù)何關?找個int是按值傳遞的理由解釋不會發(fā)生死鎖讓我覺得很奇怪。
注:如有不明白lock的背后技術原理的,請參考《CLR via C#》一書。
參考文獻:《CLR Via C#》第二版,第530頁,清華大學出版社
以上就是本文的全部內(nèi)容,希望對大家的學習有所幫助,也希望大家多多支持腳本之家。
相關文章
C#中使用Lambda表達式自定義比較器實現(xiàn)兩個列表合并實例
這篇文章主要介紹了C#中使用Lambda表達式自定義比較器實現(xiàn)兩個列表的合并實例,本文給出示例代碼和運行效果,需要的朋友可以參考下2014-10-10C#實現(xiàn)將一個矩陣分解為對稱矩陣與反稱矩陣之和的方法
這篇文章主要介紹了C#實現(xiàn)將一個矩陣分解為對稱矩陣與反稱矩陣之和的方法,較為詳細的分析了矩陣分解運算的原理與C#實現(xiàn)技巧,需要的朋友可以參考下2015-08-08