C#笔试题之同线程Lock语句递归不会死锁
作者:森大科技
前几天在网上闲逛,无意中看到有这么一道题及其答案,如下:
根据线程安全的相关知识,分析以下代码,当调用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页,清华大学出版社
以上就是本文的全部内容,希望对大家的学习有所帮助,也希望大家多多支持脚本之家。