c# - 监视器似乎没有锁定对象

我正在尝试实现一个基本的Future类(是的，我知道Task，但这是出于教育目的)，并且遇到了Monitor类的奇怪行为。该类的实现是为了使其进入构造函数中的锁，将退出锁的操作排队到线程池中。结果 getter 检查实例变量以查看操作是否完成，如果尚未完成，则输入锁，然后返回结果。问题是实际上结果getter不会等待排队的操作完成并继续进行操作，从而导致错误的结果。这是代码。

// The class itself
public class Future<T>
{
    private readonly Func<T> _f;
    private volatile bool _complete = false;
    private T _result;
    private Exception _error = new Exception("WTF");
    private volatile bool _success = false;
    private readonly ConcurrentStack<Action<T>> _callbacks = new ConcurrentStack<Action<T>>();
    private readonly ConcurrentStack<Action<Exception>> _errbacks = new ConcurrentStack<Action<Exception>>();
    private readonly object _lock = new object();

    public Future(Func<T> f)
    {
        _f = f;
        Monitor.Enter(_lock);
        ThreadPool.QueueUserWorkItem(Run);
    }

    public void OnSuccess(Action<T> a)
    {
        _callbacks.Push(a);
        if (_complete && _success)
            a(_result);
    }

    public void OnError(Action<Exception> a)
    {
        _errbacks.Push(a);
        if (_complete && !_success)
            a(_error);
    }

    private void Run(object state)
    {
        try {
            _result = _f();
            _success = true;
            _complete = true;
            foreach (var cb in _callbacks) {
                cb(_result);
            }
        } catch (Exception e) {
            _error = e;
            _complete = true;
            foreach (var cb in _errbacks) {
                cb(e);
            }
        } finally {
            Monitor.Exit(_lock);
        }
    }

    public T Result {
        get {
            if (!_complete) {
                Monitor.Enter(_lock);
            }
            if (_success) {
                return _result;
            } else {
                Console.WriteLine("Throwing error complete={0} success={1}", _complete, _success);
                throw _error;
            }
        }
    }

        // Failing test
        public void TestResultSuccess() {
        var f = new Future<int>(() => 1);
        var x = f.Result;
        Assert.AreEqual (1, x);
    }

我在Mac OS X 10.9上使用Mono 3.2.3。

最佳答案

只有拥有锁的线程才能退出该锁。您不能在调用线程上的构造函数中对其进行Enter编码，然后在完成时从线程池对其进行Exit编码-线程池 worker 没有锁。

反过来说:大概是创建获取getter的 future 的那个线程:允许再次使用Enter:它是可重入的。另外，您需要将Exit的次数与Enter的次数相同，否则它实际上不会被释放。

基本上，我认为Monitor在这里不是正确的方法。