【问题标题】:Locking with timeout pattern使用超时模式锁定
【发布时间】:2019-07-19 22:50:41
【问题描述】:

lock 使用这种模式

if(Monitor.Enter(lock))
    try
    {
        ...
    }
    finally { Monitor.Exit(lock); } // using this style to reduce post "height"

如果我们不想无限等待,我们可以提供超时

if(!Monitor.TryEnter(lock, timeout))
    throw new TimeoutException();
try
{
    ...
}
finally { Monitor.Exit(lock); }

我有一个场景,即方法在开始做任何事情之前必须获得多个锁。这看起来很糟糕:

if(!Monitor.TryEnter(lockA, timeout))
    throw new TimeoutException();
try
{
    if(!Monitor.TryEnter(lockB, timeout))
        throw new TimeoutException();
    try
    {
        if(!Monitor.TryEnter(lockC, timeout))
            throw new TimeoutException();
        try
        {
            ... // more of such constructions
        }
        finally { Monitor.Exit(lockC); }
    }
    finally { Monitor.Exit(lockB); }
}
finally { Monitor.Exit(lockA); }

有问题:

  • 看起来很难看(方法代码是缩进的,想象一下它会如何查找lockZ),可以通过将方法代码放入另一个方法来解决。

  • 锁定是同步发生的,因此最坏的成功情况可能需要的时间略少于所有超时的总和。

有没有办法改进这种超时模式?

我正在考虑创建一个带有委托参数和锁的方法来实现类似 linq 链接(但也要并行运行锁,这是一个挑战):

Lock(lockA).Lock(lockB).Lock(lockC).Run( () => ...);

或者也许还有其他方法?

【问题讨论】:

    标签: c# design-patterns timeout locking


    【解决方案1】:

    我会选择使用同步锁:

    using System;
    using System.Threading; 
    
    public class MyLock : IDisposable
    {
        private object lockObj;
    
        public MyLock(object lockObj, TimeSpan timeout)
        {
            this.lockObj = lockObj;
            if (!Monitor.TryEnter(this.lockObj, timeout))
                throw new TimeoutException();
        }
    
        public void Dispose()
        {
            Monitor.Exit(lockObj);
        }
    }
    

    用法:

    using(new MyLock(lockA, new TimeSpan.FromSeconds(1)))
    using(new MyLock(lockB, new TimeSpan.FromSeconds(2)))
    using(new MyLock(lockC, new TimeSpan.FromSeconds(3)))
    {
        // your code
    }
    

    不知道 ctor 中的“锁定”是否是好的模式/设计,但它会起作用;)

    对于异步。并行化不是一个好主意。为什么? 如果某个线程将进入监视器,则同一线程必须离开它(带锁退出)。因此,如果您在Parallel.ForEach(例如)内锁定objA,您将不知道哪个线程完成了它。所以你将无法释放它。

    【讨论】:

    • 锁定 ctor 绝对是一种很好的传播模式,尤其是在 C++ 中。它被称为 RAII。
    猜你喜欢
    • 2016-07-24
    • 2015-07-16
    • 1970-01-01
    • 1970-01-01
    • 1970-01-01
    • 2016-12-16
    • 2011-01-07
    • 1970-01-01
    • 1970-01-01
    相关资源
    最近更新 更多