前幾天在網上閒逛，無意中看到有這麼一道題及其答案，如下：

根據執行緒安全的相關知識，分析以下程式碼，當呼叫test方法時i>10時是否會引起死鎖?並簡要說明理由。

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

答：不會發生死鎖，（但有一點int是按值傳遞的，所以每次改變的都只是一個副本，因此不會出現死鎖。但如果把int換做一個object，那麼死鎖會發生）

當我看到這道題時，我心裡只有兩個答案，1、會發生死鎖，2、不會。^_^說了當沒說。我覺得會發生死鎖的理由是：同一執行緒只能進入lock語句一次，如果這個執行緒沒有退出lock語句就不能再次進入lock語句。而不會發生死鎖的理由是，同一執行緒可以多次進入到lock語句中。

我將這段程式碼拷入VS中執行，發現沒有進入死鎖，於是想找個權威的理由來解釋它，終於在《CLR via C#》第二版（中文版，清華大學出版社出版）的第530頁中第7行找到了這樣的描述：“同樣需要引起注意的是執行緒可以遞迴擁有同步塊”。即同一執行緒可以遞迴呼叫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>
  /// 將一個值型別封裝在一個類中，以便多個執行緒呼叫方便
  /// </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#》一書。

參考文獻：《CLR Via C#》第二版，第530頁，清華大學出版社

以上就是本文的全部內容，希望對大家的學習有所幫助，也希望大家多多支援我們。