多线程编程需要在编程时倍加注意。对于多数任务,通过将执行请求以线程池线程的方式排队,可以降低复杂性。本主题将探讨更复杂的情形,比如协调多个线程的工作或处理造成阻止的线程。
死锁和争用条件
多线程编程解决了吞吐量和响应性问题,但引入此功能会带来新的问题:死锁和争用条件。
死锁
当两个线程中的每一个线程都在试图锁定另外一个线程已锁定的资源时,就会发生死锁。其中任何一个线程都不能继续执行。
托管线程处理类的许多方法都提供了超时设定,可帮您检测到死锁。例如,下面的代码试图获取对当前实例的锁定。如果在 300 毫秒内未能锁定,Monitor.TryEnter 将返回 false。
争用条件
争用条件是当程序的结果取决于两个或更多个线程中的哪一个先到达某一特定代码块时出现的一种 Bug。多次运行程序将产生不同的结果,而且给定的任何一次运行的结果都不可预知。
争用条件的一个简单例子是递增一个字段。假定某个类有一个私有 static 字段(在 Visual Basic 中为 Shared),每创建该类的一个实例时它都递增一次,使用的代码是 objCt++; (C#) 或 objCt += 1 (Visual Basic)。此操作要求将 objCt 中的值加载到一个寄存器中,使该值递增,然后将其存储到 objCt 中。
在多线程应用程序中,一个已加载并递增该值的线程可能会被另一个线程抢先,抢先的线程执行全部的三个步骤;当第一个线程继续执行并存储其值时,它改写 objCt,但不考虑该值在它暂停执行期间已更改这一事实。
这种争用条件通过使用 Interlocked 类的方法,如 Interlocked.Increment,即可轻松避免。若要了解在多个线程间同步数据的其他技巧,请参见为多线程处理同步数据。
争用条件也可能会在同步多个线程的活动时发生。编写每一行代码,都必须考虑出现以下特殊情况时会发生什么情况,这里的特殊情况是指:一个线程在执行该行代码(或构成该行的任何机器指令)前,其他线程抢先执行了该代码。
处理器数目
多线程编程技术能够解决单处理器计算机和多处理器计算机的诸多问题,单处理器计算机大多用来运行最终用户软件,多处理器计算机通常用作服务器。
单处理器计算机
多线程编程为计算机用户提供了更好的响应能力,并且使用空闲时间处理后台任务。如果在单处理器计算机上使用多线程编程,那么:
-
在任何时刻都只有一个线程在运行。
-
后台线程仅在主用户线程空闲时才执行。连续运行的前台线程将使后台线程得不到处理器时间。
-
对一个线程调用 Thread.Start 方法时,此线程只有等到当前线程结束或被操作系统抢占后才会执行。
-
出现争用条件的原因通常是,程序员未预见到一个线程可能会在一个难以控制的时刻被抢占这一事实,有时就会出现另一线