筆試題-同線程Lock語句遞歸不會死鎖

筆試題-同線程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;
        }
    }
}

下面是運行結果:
筆試題-同線程Lock語句遞歸不會死鎖
因爲thread1先進入lock語句,因此鎖一直由thread1佔有,遞歸調用直到不知足條件爲止,thread1釋放鎖後,thread2進入lock語句時,發現當前已經不知足遞歸條件了,即:i < 10了,因此直接退出。
  讓我以爲奇怪的是網上給出的答案,即括號中的文字說明,明明代碼中是對this對象加的鎖,與傳遞的參數何關?找個int是按值傳遞的理由解釋不會發生死鎖讓我以爲很奇怪。
  注:若有不明白lock的背後技術原理的,請參考《CLR via C#》一書。this

  參考文獻:《CLR Via C#》第二版,第530頁,清華大學出版社
筆試題-同線程Lock語句遞歸不會死鎖spa

相關文章
相關標籤/搜索