同一对象上的多个锁是否存在死锁情况? - c#

我们有一个带有两个锁的代码,它们以不同的方法锁定同一对象。可以从不同的线程调用这两种方法。

这会陷入僵局吗?
我们应该在两种方法中使用相同的lock1吗?

使用两个不同锁的原因是,删除是从并行运行的各种任务中发生的,而更新列表是从每隔几秒钟运行的新线程发生的。

private static Object Lock1 = new Object();
private static Object Lock2 = new Object();
private static List<string> list = new List<string>();

public void Method1()
{
  lock(Lock1)
  {
   //update list
  }
}

public void Method2()
{
  lock(Lock2)
  {
    //remove from list
  }   
}

更新资料

感谢您的健康讨论,我更新了代码,以使用.net提供的线程安全集合BlockingCollection。我继续使用lock1,因为我需要控制列表可以包含多少个对象。我现在已经删除了lock2,因为它不需要线程安全列表。

参考方案

这会陷入僵局吗?

没有。

我们应该在两种方法中使用相同的lock1吗?

是。访问多个线程上的特定对象时,应始终锁定同一锁定对象。在您的特定情况下,您显示的代码完全错误且已损坏。您应该为每个列表设置一个锁,并且每次访问该列表时都必须将其锁定。

如果要更新列表变量,则需要进行同样的操作-应该为列表变量设置一个锁,并且由于任何原因每次访问该变量都必须位于该锁之下。

使用两个不同锁的原因是,删除是从并行运行的各种任务中发生的,而更新列表是从每隔几秒钟运行的新线程发生的。

没关系所有更新,无论是删除还是其他删除,都必须在同一锁定下进行。

如果您遇到的读者很多而作者很少的情况,则有针对这些情况的专用锁。但这不是您的情况。

您没有提出的一些问题:

是什么导致死锁?

void Transfer(Account a1, Account a2, decimal amount)
{
  lock(a1)
  {
    lock(a2)
    {
      // do the transfer
    }
  }
}

假设线程X调用Transfer(savings, checking, 100)并达到锁定savings的程度。然后我们切换到调用Transfer(checking, savings, 50)的线程Y。我们锁定checking,然后尝试锁定savings,但是不能,因为X有它。然后,我们切换回X,它试图锁定checking,但是不能锁定,因为Y拥有它。然后我们永远等待。那是一个僵局。

将同一对象“嵌套”锁定在同一线程上是否会导致死锁?

否。答案是错误的。锁定您已经在线程上的锁会自动成功。

我应该使用更好的技术吗?

是。多线程程序很难正确编写。如果需要,请使用高级对象,例如多线程集合或不可变集合,这些对象旨在有效地解决这些问题而无需显式锁定。

您还应该阅读

Confusion about the lock statement in C#

LeetCode题解计算机为什么是基于二进制的?

可以是三进制么?二进制有什么好处?题解:为什么叫电子计算机?算盘应该没有二进制

LeetCode题解统计城市的所有灯泡

这个是我刚毕业的时候,一个真实的面试题,这是一个开放题。题目描述:想办法,将一个城市的所有灯泡数量统计出来。题解:费米估算法1、如果某个城市常驻人口有1000万2、假设每5人居住在一套房里,每套房有灯泡5只,那么住宅灯泡共有1000万只3、假设公众场所每10人共享一只灯泡,那么共有100万只4、主要的这两者相加就得出了1100万只当然实际上这是估算的,具体应…

LeetCode题解黑白圆盘

一个圆盘被涂上了黑白二色,两种颜色各占一个半圆。圆盘以一个未知的速度、按一个未知的方向旋转。你有一种特殊的相机可以让你即时观察到圆上的一个点的颜色。你需要多少个相机才能确定圆盘旋转的方向?题解:可以用一个相机即可

LeetCode题解圆上任取三点构成锐角三角形的概率

来自字节跳动的一道几何题题解:1/4

LeetCode题解深度优先遍历和回溯的关系?

深度优先遍历的范围更大还是回溯的范围更大?为什么?题解:我的理解是:dfs是回溯思想的一种体现- 回溯:是在整个搜索空间中搜索出可行解,在搜索过程中不断剪枝回退,这是回溯的思想,这个搜索空间并没有限制于特定的数据结构。- dfs:dfs是指特定的数据结构中如图,树(特殊的图)中搜索答案,范围限制在了特定的数据结构。个人拙见。