遇到意外的联锁行为？

Question

我正在编写一个网络链接检查程序，并遇到了我无法解释的 Interlocked 行为。首先，这是代码的删节版本：

public class LinkCheckProcessor
{
    private long _remainingLinks;

    public event EventHandler<LinksCheckedEventArgs> AllLinksChecked;

    private void ProcessLinks(List<Link> links)
    {
        foreach (Link link in links)
        {
            ProcessLink(link);
        }
    }

    private void ProcessLink(Link link)
    {
        var linkChecker = new LinkChecker(link);
        linkChecker.LinkChecked += LinkChecked;
        Interlocked.Increment(ref _remainingLinks);
#if DEBUG
        System.Diagnostics.Debug.WriteLine(String.Format("LinkChecker: Checking link '{0}', remaining: {1}", link, Interlocked.Read(ref _remainingLinks)));
#endif
        linkChecker.Check();
    }

    void LinkChecked(object sender, LinkCheckedEventArgs e)
    {
        var linkChecker = (LinkChecker)sender;

        Interlocked.Decrement(ref _remainingLinks);
#if DEBUG
        System.Diagnostics.Debug.WriteLine(String.Format("LinkChecker: Checked link '{0}', remaining: {1}", linkChecker.Link, Interlocked.Read(ref _remainingLinks)));
#endif
        if (Interlocked.Read(ref _remainingLinks) == 0)
        {
            OnAllLinksChecked(new LinksCheckedEventArgs(this.BatchId, this.Web.Url));
        }
    }
}

我在调试输出中看到的是这样的内容：

• LinkChecker: Checked link 'http://serverfault.com', left: 1
• LinkChecker: Checked link 'http://superuser .com'，剩余：0
• LinkChecker：检查链接“http://stackoverflow.com”，剩余：-1

我不明白为什么（在某些代码运行中）_remainingLinks是变得消极。这还会产生副作用，导致过早触发 AllLinksChecked 事件。 （顺便说一句，上面的代码包含 _remainingLinks 唯一被触及的地方。）

我做错了什么？

Answer 1

您的 AllLinksChecked 逻辑肯定是错误的，因为计数器可能会变为 0->1、1->0、0- >1、1->0、0->1、1->0 从而达到零多次。

但我不明白计数怎么会变成负数。这些是 _remainingLinks 出现在您的代码中的唯一位置吗？

---

第一个问题可以通过从 ProcessLink 中删除增量代码并在开始循环之前让 ProcessLinks 将计数初始化为 links.Count 来解决：

Interlocked.Exchange(ref _remainingLinks, links.Count)`

---

当 ProcessLinks 运行时，links 参数不是从其他线程写入的，是吗？

Answer 2

我将冒险提出，LinkChecker 会为调用 Check() 触发多个事件。除此之外，我看不出该值怎么可能变成负值。