c# – ReaderWriterLockSlim.EnterUpgradeableReadLock()始终是
我对ReaderWriterLockSlim非常熟悉,但我最近尝试在类中实现了EnterUpgradeableReadLock()……很快我意识到当2个或更多线程运行代码时,这几乎肯定是一个保证死锁:
Thread A --> enter upgradeable read lock Thread B --> enter upgradeable read lock Thread A --> tries to enter write lock,blocks for B to leave read Thread B --> tries to enter write lock,blocks for A to leave read Thread A --> waiting for B to exit read lock Thread B --> waiting for A to exit read lock 我在这里错过了什么? 编辑 添加了我的场景的代码示例. Run()方法将由两个或多个线程同时调用. public class Deadlocker { private readonly ReaderWriterLockSlim _lock = new ReaderWriterLockSlim(LockRecursionPolicy.SupportsRecursion); public void Run() { _lock.EnterUpgradeableReadLock(); try { _lock.EnterWriteLock(); try { // Do something } finally { _lock.ExitWriteLock(); } } finally { _lock.ExitUpgradeableReadLock(); } } } 解决方法
OP之后很长一段时间,但我不同意目前接受的答案.
声明线程B – >输入可升级的读锁定不正确.从the docs起
并回应您的意见:它旨在用于读写模式的非常不同的用法. TL; DR.可升级模式很有用: >如果作者必须在写入之前检查共享资源,并且(可选)需要避免与其他作者的竞争条件; 或者,在伪代码中,这里: // no other writers or upgradeables allowed in here => no race conditions EnterUpgradeableLock(); if (isWriteRequired()) { EnterWriteLock(); DoWrite(); ExitWriteLock(); } ExitUpgradeableLock(); 给予“更好的表现”÷比这: EnterWriteLock(); if (isWriteRequired()) { DoWrite(); } ExitWriteLock(); 如果独占锁定部分由于使用SpinLock而需要很长时间,则应小心使用. 类似的锁构造 可升级锁与SQL服务器SIX lock(与Intent共享以获得eXclusive)惊人相似?. >要在这些术语中重写上述语句,可升级锁定说“作者打算写入资源,但希望与其他读者共享,同时[双]检查条件,看它是否应该独立锁定并执行写“?. 如果没有Intent锁,您必须在eXclusive锁中执行“我应该进行此更改”检查,这会损害并发性. 为什么你不能共享可升级? 如果可升级锁可与其他可升级锁共享,则可能与其他可升级锁所有者具有竞争条件.因此,您需要在写锁定内部进行一次检查,从而消除了检查的好处,而不会阻止其他读取操作. 例 如果我们将所有锁定等待/进入/退出事件视为顺序,并且锁定内部的工作是并行的,那么我们可以用“大理石”形式编写一个场景(e enter; w wait; x exit; cr check resource; mr mutate资源; R共享/读取; U意图/可升级; W eXclusive / Write): 1--eU--cr--wW----eW--mr--xWxU-------------- 2------eR----xR----------------eR--xR------ 3--------eR----xR-------------------------- 4----wU----------------------eU--cr--xU---- 用语言:T1进入Upgradeable / Intent锁. T4等待Upgradeable / Intent锁定. T2和T3输入读锁. T1同时检查资源,赢得比赛并等待eXclusive / Write锁定. T2& T3退出锁. T1进入eXclusive / Write锁定并进行更改. T4进入可升级/意图锁定,不需要进行更改并退出,而不阻止T2,同时执行另一次读取. 在8个要点…… 可升级锁是: >任何作家使用; 如果下列之一适用(包括但不限于),则不需要升级: > writelock-check-nowrite-exit的读者和作者之间的争用率大约为零(写入条件检查超快) – 即可升级的构造对读者吞吐量没有帮助; > ReadLock-Check-WriteLock-DoubleCheck是如此之快,它只会导致每万亿次写入失败者; 如果锁(…){…}更合适,也不是必需的,即: >重叠读取和/或写入窗口的概率很低(锁定可以同样防止非常罕见的事件,因为保护极有可能的事件,更不用说简单的内存屏障要求) ÷“性能”由您来定义 ?如果您将锁定对象视为表,并将受保护资源视为层次结构中较低的资源,则此类比近似成立 ?读取锁定中的初始检查是可选的,可升级锁定内的检查是强制性的,因此可以单个或双重检查模式使用. (编辑:李大同) 【声明】本站内容均来自网络,其相关言论仅代表作者个人观点,不代表本站立场。若无意侵犯到您的权利,请及时与联系站长删除相关内容! |