筆試題-同線程Lock語句遞歸不會死鎖
前幾天在網上閒逛,無心中看到有這麼一道題及其答案,以下:
根據線程安全的相關知識,分析如下代碼,當調用test方法時i>10時是否會引發死鎖?並簡要說明理由。安全
public void test(int i) { lock(this) { if (i > 10) { i--; test(i); } } }
答:不會發生死鎖,(但有一點int是按值傳遞的,因此每次改變的都只是一個副本,所以不會出現死鎖。但若是把int換作一個object,那麼死鎖會發生)
當我看到這道題時,我內心只有兩個答案,一、會發生死鎖,二、不會。^_^說了當沒說。我以爲會發生死鎖的理由是:同一線程只能進入lock語句一次,若是這個線程沒有退出lock語句就不能再次進入lock語句。而不會發生死鎖的理由是,同一線程能夠屢次進入到lock語句中。
我將這段代碼拷入VS中運行,發現沒有進入死鎖,因而想找個權威的理由來解釋它,終於在《CLR via C#》第二版(中文版,清華大學出版社出版)的第530頁中第7行找到了這樣的描述:「一樣須要引發注意的是線程能夠遞歸擁有同步塊」。即同一線程能夠遞歸調用lock語句。
以上只討論了單線程的狀況,下面的代碼給出的兩個線程的狀況:ide
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> /// 將一個值類型封裝在一個類中,以便多個線程調用方便 /// </summary> public class MyObj { public int value; public MyObj() { //將初始值賦爲20 value = 20; } } }
下面是運行結果:
因爲thread1先進入lock語句,因此鎖一直由thread1佔有,遞歸調用直到不知足條件爲止,thread1釋放鎖後,thread2進入lock語句時,發現當前已經不知足遞歸條件了,即:i < 10了,因此直接退出。
讓我以爲奇怪的是網上給出的答案,即括號中的文字說明,明明代碼中是對this對象加的鎖,與傳遞的參數何關?找個int是按值傳遞的理由解釋不會發生死鎖讓我以爲很奇怪。
注:若有不明白lock的背後技術原理的,請參考《CLR via C#》一書。this
參考文獻:《CLR Via C#》第二版,第530頁,清華大學出版社
spa