.Net 线程中的关键区域未按预期工作

Question

我正在尝试运行涉及线程和关键区域的示例代码（非常基本的代码）。

这是我的代码：

public static void DoCriticalWork(object o)
        {
            SomeClass instance = o as SomeClass;

            Thread.BeginCriticalRegion();
            instance.IsValid = true;
            Thread.Sleep(2);
            instance.IsComplete = true;
            Thread.EndCriticalRegion();

            instance.Print();
        }

我按如下方式调用它：

private static void CriticalHandled()
        {
            SomeClass instance = new SomeClass();
            ParameterizedThreadStart operation = new ParameterizedThreadStart(CriticalRegion.DoCriticalWork);
            Thread t = new Thread(operation);
            Console.WriteLine("Start thread");
            t.Start(instance);
            Thread.Sleep(1);
            Console.WriteLine("Abort thread");
            t.Abort();

            Console.WriteLine("In main");
            instance.Print();
        }

但是，我得到的输出是：

**

Start thread
Abort thread
In main
IsValid: True
IsComplete: False

**

由于定义了临界区域，IsComplete 应该为 true 而不是 false。

有人可以解释一下为什么它不起作用吗？

以下是 SomeClass 供参考：

public class SomeClass
    {
        private bool _isValid;

        public bool IsValid
        {
            get { return _isValid; }
            set { _isValid = value; }
        }

        private bool _isComplete;

        public bool IsComplete
        {
            get { return _isComplete; }
            set { _isComplete = value; }
        }

        public void Print()
        {
            Console.WriteLine("IsValid: {0}", IsValid);
            Console.WriteLine("IsComplete: {0}", IsComplete);
            Console.WriteLine();
        }
    }

Edit

Expln from MCTS Notes: 关键区域背后的想法是提供一个必须像单行一样执行的代码区域。当线程位于临界区域内时，任何中止线程的尝试都必须等到临界区域完成之后。此时，线程将被中止，并抛出 ThreadAbortException。有和没有临界区的线程的区别如下图所示：

临界区 http: //www.freeimagehosting.net/uploads/9dd3bb5445.gif

Answer 1

Thread.BeginCriticalRegion 不会阻止线程中止。我相信它是用来通知运行时，如果线程在关键部分中止，继续运行应用程序/AppDomain不一定安全。

MSDN 文档有更完整的解释： http:// msdn.microsoft.com/en-us/library/system.threading.thread.beginriticregion.aspx

Answer 2

这是一个睡眠时间问题。只要拉大两次睡眠之间的差距，你就会得到答案。

有两个线程：主线程和执行关键工作的线程。现在，当调用 abort 时，线程“t”将立即中止，即使它尚未完成临界区域。

现在，当您让主线程休眠 2 毫秒，线程 t 休眠 1 毫秒时，有时 t 会完成关键部分，有时则不会。这就是为什么 IsComplete 的值有时为假、有时为真的原因。

现在只需让主线程休眠 100 毫秒，您就会发现 IsComplete 始终为 true。
反之亦然，让线程“t”休眠 100 毫秒，你会发现 IsComplete 始终为 false。

编辑

来自 MSDN

通知主机执行即将进入一个代码区域，在该区域中线程中止或未处理的异常的影响可能会危及应用程序域中的其他任务。

例如，考虑一个在持有锁的情况下尝试分配内存的任务。如果内存分配失败，中止当前任务不足以确保 AppDomain 的稳定性，因为域中可能有其他任务在等待同一锁。如果当前任务终止，其他任务可能会陷入死锁。

当关键区域发生故障时，主机可能决定卸载整个 AppDomain，而不是冒着在潜在不稳定状态下继续执行的风险。要通知主机您的代码正在进入关键区域，请调用 BeginCriticalRegion。当执行返回到代码的非关键区域时调用 EndCriticalRegion。

---

来自CLR 全面深入：编写可靠的代码

状态损坏
国家腐败可能分为三类。第一个是本地状态，其中包括仅由特定线程使用的本地变量和堆对象。第二个是共享状态，其中包括 AppDomain 内线程之间共享的任何内容，例如存储在静态变量中的对象。缓存通常属于这一类。第三个是进程范围、机器范围和跨机器共享状态——文件、套接字、共享内存和分布式锁管理器都属于这个阵营。

异步异常可能破坏的状态量是线程当前正在修改的最大状态量。如果一个线程分配了一些临时对象并且不将它们公开给其他线程，则只有这些临时对象可能会被损坏。 但是，如果线程正在写入共享状态，则该共享资源可能会损坏，并且其他线程可能会遇到此损坏的状态。你一定不能让这种事发生。在这种情况下，您将中止 AppDomain 中的所有其他线程，然后卸载 AppDomain。通过这种方式，异步异常会升级到 AppDomain，导致其卸载并确保丢弃任何可能损坏的状态。给定像数据库这样的事务存储，这种 AppDomain 回收提供了对本地和共享状态损坏的弹性。

关键区域允许您处理某些代码可能会破坏其他应用程序域并对系统造成无法修复的损坏的情况。

Answer 3

封装 DoCriticalWork() 中的代码，

---

一个好的解决方案是使用try { ... } catch(ThreadAbortedException) {...}

---

您应该按照自己的意愿行事（也许设置IsComplete = true？）

您可以阅读有关ThreadAbortException，并确保检查 Thread.ResetAbort 和 finally 块在这种情况下的使用情况。

正如Andy提到并引用Thread.BeginCriticalRegion：

通知主机执行即将进入一个代码区域，其中线程中止或未处理的异常的影响可能会危及应用程序域中的其他任务。