第8章 用户方式中线程的同步.PDFVIP

下载 第8章 用户方式中线程的同步 当所有的线程在互相之间不需要进行通信的情况下就能够顺利地运行时， M i c r o s o f t Wi n d o w s 的运行性能最好。但是，线程很少能够在所有的时间都独立地进行操作。通常情况下， 要生成一些线程来处理某个任务。当这个任务完成时，另一个线程必须了解这个情况。 系统中的所有线程都必须拥有对各种系统资源的访问权，这些资源包括内存堆栈，串口， 文件，窗口和许多其他资源。如果一个线程需要独占对资源的访问权，那么其他线程就无法完 成它们的工作。反过来说，也不能让任何一个线程在任何时间都能访问所有的资源。如果在一 个线程从内存块中读取数据时，另一个线程却想要将数据写入同一个内存块，那么这就像你在 读一本书时另一个人却在修改书中的内容一样。这样，书中的内容就会被搞得乱七八糟，结果 什么也看不清楚。 线程需要在下面两种情况下互相进行通信： • 当有多个线程访问共享资源而不使资源被破坏时。 • 当一个线程需要将某个任务已经完成的情况通知另外一个或多个线程时。 线程的同步包括许多方面的内容，下面几章将分别对它们进行介绍。值得高兴的是， Wi n d o w s提供了许多方法，可以非常容易地实现线程的同步。但是，要想随时了解一连串的线 程想要做什么，那是非常困难的。我们的头脑的工作不是异步的，我们希望以一种有序的方式 来思考许多事情，每次前进一步。不过多线程环境不是这样运行的。 我是在大约 1 9 9 2年的时候开始从事多线程的编程工作的。最初，我犯过许多编程错误，在 我出版的书籍和杂志文章中实际上都存在着与线程同步相关的错误。现在我的编程工作熟练了 许多，但是并未做到完美无缺。希望本书中的全部内容不存在任何错误（尽管现在我知道我可 以做得更好些）。要搞好线程的同步，唯一的办法是通过实践。下面几章将要介绍系统是如何 运行的，并展示如何实现线程的正确同步，不过应该面对这样一个问题：即取得经验的同时， 难免要犯错误。 8.1 原子访问：互锁的函数家族 线程同步问题在很大程度上与原子访问有关，所谓原子访问，是指线程在访问资源时能够 确保所有其他线程都不在同一时间内访问相同的资源。让我们来看一看下面这个简单例子： 第 8章 用户方式中线程的同步计计173 下载 在这个代码中，声明了一个全局变量 g _ x ，并将它初始化为0 。现在，假设创建两个线程， 一个线程执行T h r e a d F u n c 1 ，另一个线程执行T h r e a d F u n c 2 。这两个函数中的代码是相同的，它 们都将1添加给全局变量g _ x 。因此，当两个线程都停止运行时，你可能希望在g _ x 中看到2这个 值。但是你真的看到了吗？回答是，也许看到了。根据代码的编写方法，你无法说明 g _ x 中最 终包含了什么东西。下面我们来说明为什么会出现这种情况。假设编译器生成了下面这行代码， 以便将g _ x递增1： 两个线程不可能在完全相同的时间内执行这个代码。因此，如果一个线程在另一个线程的 后面执行这个代码，那么下面就是实际的执行情况： 当两个线程都将g _ x 的值递增之后，g _ x 中的值就变成了2 。这很好，并且正是我们希望的： 即取出零（0 ），两次将它递增1，得出的值为2 。太好了。不过不要急，Wi n d o w s是个抢占式多 线程环境。一个线程可以随时中断运行，而另一个线程则可以随时继续执行。这样，上面的代 码就无法完全按编写的那样来运行。它可能按下面的形式运行： 如果代码按这种形式来运行， g _ x 中的最后值就不是2 ，而是你预期的1。这使人感到非常 担心，因为你对调度程序的控制能力非常小。实际上，如果有 1 0 0个线程在执行相同的线程函 数，当它们全部退出之后，g _ x 中的值可能仍然是1。显然，软件开发人员无法在这种环境中工 作。我们希望在所有情况下两次递增 0产生的结果都是2 。另外，不要忘记，编译器生成代码的 方法，哪个C P U在执行这个代码，以及主计算机中安装了多少个 C P U等因素，决定了产生的结 果可能是不同的。这就是该环境的运行情况，我们对此无能为力。