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

来自森大科技官方博客
http://www.cnsendblog.com/index.php/?p=387
GPS平台、网站建设、软件开发、系统运维,找森大网络科技!
http://cnsendnet.taobao.com

 

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

前几天在网上闲逛,无意中看到有这么一道题及其答案,如下:

根据线程安全的相关知识,分析以下代码,当调用test方法时i>10时是否会引起死锁?并简要说明理由。

1
2
3
4
5
6
7
8
9
10
11
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语句。

  以上只讨论了单线程的情况,下面的代码给出的两个线程的情况:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
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页,清华大学出版社

 

 

来自森大科技官方博客
http://www.cnsendblog.com/index.php/?p=387
GPS平台、网站建设、软件开发、系统运维,找森大网络科技!
http://cnsendnet.taobao.com

posted on   森大科技  阅读(514)  评论(0编辑  收藏  举报

编辑推荐:
· AI与.NET技术实操系列(二):开始使用ML.NET
· 记一次.NET内存居高不下排查解决与启示
· 探究高空视频全景AR技术的实现原理
· 理解Rust引用及其生命周期标识(上)
· 浏览器原生「磁吸」效果!Anchor Positioning 锚点定位神器解析
阅读排行:
· DeepSeek 开源周回顾「GitHub 热点速览」
· 物流快递公司核心技术能力-地址解析分单基础技术分享
· .NET 10首个预览版发布:重大改进与新特性概览!
· AI与.NET技术实操系列(二):开始使用ML.NET
· 单线程的Redis速度为什么快?

导航

< 2025年3月 >
23 24 25 26 27 28 1
2 3 4 5 6 7 8
9 10 11 12 13 14 15
16 17 18 19 20 21 22
23 24 25 26 27 28 29
30 31 1 2 3 4 5
点击右上角即可分享
微信分享提示