笔试题-同线程Lock语句递归不会死锁

时间 2020-02-13

原文原文链接

笔试题-同线程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