C#筆試題之同線程Lock語(yǔ)句遞歸不會(huì)死鎖

更新時(shí)間：2020年02月13日 09:38:44 作者：森大科技

這篇文章主要介紹了C$ 筆試題之同線程Lock語(yǔ)句遞歸不會(huì)死鎖，文中通過(guò)示例代碼介紹的非常詳細(xì)，對(duì)大家的學(xué)習(xí)或者工作具有一定的參考學(xué)習(xí)價(jià)值，需要的朋友們下面隨著小編來(lái)一起學(xué)習(xí)學(xué)習(xí)吧

前幾天在網(wǎng)上閑逛，無(wú)意中看到有這么一道題及其答案，如下：

根據(jù)線程安全的相關(guān)知識(shí)，分析以下代碼，當(dāng)調(diào)用test方法時(shí)i>10時(shí)是否會(huì)引起死鎖?并簡(jiǎn)要說(shuō)明理由。

public void test(int i) 
 { 
  lock(this) 
  { 
   if (i > 10) 
   { 
     i--; 
     test(i); 
   } 
  } 
 }

答：不會(huì)發(fā)生死鎖，（但有一點(diǎn)int是按值傳遞的，所以每次改變的都只是一個(gè)副本，因此不會(huì)出現(xiàn)死鎖。但如果把int換做一個(gè)object，那么死鎖會(huì)發(fā)生）

當(dāng)我看到這道題時(shí)，我心里只有兩個(gè)答案，1、會(huì)發(fā)生死鎖，2、不會(huì)。^_^說(shuō)了當(dāng)沒(méi)說(shuō)。我覺(jué)得會(huì)發(fā)生死鎖的理由是：同一線程只能進(jìn)入lock語(yǔ)句一次，如果這個(gè)線程沒(méi)有退出lock語(yǔ)句就不能再次進(jìn)入lock語(yǔ)句。而不會(huì)發(fā)生死鎖的理由是，同一線程可以多次進(jìn)入到lock語(yǔ)句中。

我將這段代碼拷入VS中運(yùn)行，發(fā)現(xiàn)沒(méi)有進(jìn)入死鎖，于是想找個(gè)權(quán)威的理由來(lái)解釋它，終于在《CLR via C#》第二版（中文版，清華大學(xué)出版社出版）的第530頁(yè)中第7行找到了這樣的描述：“同樣需要引起注意的是線程可以遞歸擁有同步塊”。即同一線程可以遞歸調(diào)用lock語(yǔ)句。

以上只討論了單線程的情況，下面的代碼給出的兩個(gè)線程的情況：

using System;
using System.Threading;

namespace LockDemo
{
  class Program
  {
    static void Main(string[] args)
    {
      Program p = new Program();
      MyObj obj = new MyObj();
      //第一個(gè)線程
      Thread thread1 = new Thread(p.test);
      thread1.Name = "thread1";
      //第一個(gè)線程
      Thread thread2 = new Thread(p.test);
      thread2.Name = "thread2";
      //啟動(dòng)線程
      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>
  /// 將一個(gè)值類(lèi)型封裝在一個(gè)類(lèi)中，以便多個(gè)線程調(diào)用方便
  /// </summary>
  public class MyObj
  {
    public int value;

    public MyObj()
    {
      //將初始值賦為20
      value = 20;
    }
  }
}

下面是運(yùn)行結(jié)果：

由于thread1先進(jìn)入lock語(yǔ)句，所以鎖一直由thread1占有，遞歸調(diào)用直到不滿(mǎn)足條件為止，thread1釋放鎖后，thread2進(jìn)入lock語(yǔ)句時(shí)，發(fā)現(xiàn)當(dāng)前已經(jīng)不滿(mǎn)足遞歸條件了，即：i < 10了，所以直接退出。

讓我覺(jué)得奇怪的是網(wǎng)上給出的答案，即括號(hào)中的文字說(shuō)明，明明代碼中是對(duì)this對(duì)象加的鎖，與傳遞的參數(shù)何關(guān)？找個(gè)int是按值傳遞的理由解釋不會(huì)發(fā)生死鎖讓我覺(jué)得很奇怪。

注：如有不明白lock的背后技術(shù)原理的，請(qǐng)參考《CLR via C#》一書(shū)。