锁定如何应对竞争条件？

Question

在以下场景中,线程等待竞争条件多长时间？

文件将添加到集合中:

 lock(mylock)
 {
     // add to collection
 }

然后以类似的方式将其从集合中移除.

如果一个线程试图在服务将其从集合中删除时尝试添加到集合中,谁赢了？

或者说是竞争条件的点,你无法预测谁获胜？

Answer 1

如果删除线程首先尝试锁定,则它拥有锁,删除该项(如果存在),释放锁,然后继续.然后添加线程抓取锁并添加项.最终结果:项目存在于集合中.

如果添加线程首先尝试锁定,则它拥有锁,添加项,释放锁,然后继续.然后删除线程抓取锁并删除(刚刚添加的)项.最终结果:项目不存在于集合中.

两个线程都不会等待超过从集合中添加或删除项目所需的时间.

Answer 2

顾名思义,竞争状态意味着有一场比赛,任何人都可以获胜!

使用lock(obj)正如您在此处所示将导致线程阻塞(等待),直到所有其他线程释放其锁定为止obj.这可能永远不会发生.

lock (obj)
{
    // stuff
}

......相当于......

Monitor.Enter(obj);
try
{
    // stuff
}
finally
{
    Monitor.Exit(obj);
}

如果要在锁定时强制执行超时,请使用此表单:

if (!Monitor.TryEnter(obj, timeout))
{
    // handle the fact that you couldn't lock
}
else
{
    try
    {
        // stuff
    }
    finally
    {
        Monitor.Exit(obj);
    }
}