多任务和多线程

早期的计算硬件十分复杂,但是操作系统执行的功能确十分的简单。那个时候的操作系统在任一时间点只能执行一个任务,也就是同一时间只能执行一个程序。多个任务的执行必须得轮流执行,在系统里面进行排队等候。由于计算机的发展,要求系统功能越来越强大，这个时候出现了分时操作的概念：每个运行的程序占有一定的处理机时间,当这个占有时间结束后,在等待队列等待处理器资源的下一个程序就开始投入运行。注意这里的程序在占有一定的处理器时间后并没有运行完毕，可能需要再一次或多次分配处理器时间。那么从这里可以看出，这样的执行方式显然是多个程序的并行执行，但是在宏观上，我们感觉到多个任务是同时执行的，因此多任务的概念就诞生了。每个运行的程序都有自己的内存空间,自己的堆栈和环境变量设置。每一个程序对应一个进程，代表着执行一个大的任务。一个进程可以启动另外一个进程,这个被启动的进程称为子进程。父进程和子进程的执行只有逻辑上的先后关系，并没有其他的关系，也就是说他们的执行是独立的。但是，可能一个大的程序（代表着一个大的任务）,可以分割成很多的小任务，为了功能上的需要也有可能是为了加快运行的速度，可能需要同一时间执行多个任务(每个任务分配一个多线程来执行相应的任务)。举个例子来说,你正在通过你的web浏览器查看一些精彩的文章，你需要把好的文章给下载下来，可能有些非常精彩的文章你需要收藏起来，你就用你的打印机打印这些在线的文章。在这里，浏览器一边下载HTML格式的文章，一边还要打印文章。这就是一个程序同时执行多个任务，每个任务分配一个线程来完成。因此我们可以看出一个程序同时执行多个任务的能力是通过多线程来实现的。


多线程VS多任务

　　正如上面所说的,多任务是相对与操作系统而言,指的是同一时间执行多个程序的能力,虽然这么说,但是实际上在只有一个CPU的条件下不可能同时执行两个以上的程序。CPU在程序之间做高速的切换,使得所有的程序在很短的时间之内可以得到更小的CPU时间,这样从用户的角度来看就好象是同时在执行多个程序。多线程相对于操作系统而言,指的是可以同时执行同一个程序的不同部分的能力,每个执行的部分被成为线程。所以在编写应用程序时,我们必须得很好的设计以 避免不同的线程执行时的相互干扰。这样有助于我们设计健壮的程序,使得我们可以在随时需要的时候添加线程。


线程的概念

　　线程可以被描述为一个微进程,它拥有起点,执行的顺序系列和一个终点。它负责维护自己的堆栈,这些堆栈用于异常处理,优先级调度和其他一些系统重新恢复线程执行时需要的信息。从这个概念看来，好像线程与进程没有任何的区别，实际上线程与进程是肯定有区别的：

　　一个完整的进程拥有自己独立的内存空间和数据,但是同一个进程内的线程是共享内存空间和数据的。一个进程对应着一段程序,它是由一些在同一个程序里面独立的同时的运行的线程组成的。线程有时也被称为并行运行在程序里的轻量级进程,线程被称为是轻量级进程是因为它的运行依赖与进程提供的上下文环境,并且使用的是进程的资源。

　　在一个进程里,线程的调度有抢占式或者非抢占的模式。

　　在抢占模式下，操作系统负责分配ＣＰＵ时间给各个进程，一旦当前的进程使用完分配给自己的ＣＰＵ时间，操作系统将决定下一个占用ＣＰＵ时间的是哪一个线程。因此操作系统将定期的中断当前正在执行的线程，将ＣＰＵ分配给在等待队列的下一个线程。所以任何一个线程都不能独占ＣＰＵ。每个线程占用ＣＰＵ的时间取决于进程和操作系统。进程分配给每个线程的时间很短,以至于我们感觉所有的线程是同时执行的。实际上,系统运行每个进程的时间有2毫秒,然后调度其他的线程。它同时他维持着所有的线程和循环,分配很少量的ＣＰＵ时间给线程。 线程的的切换和调度是如此之快,以至于感觉是所有的线程是同步执行的。

　　调度是什么意思?调度意味着处理器存储着将要执行完ＣＰＵ时间的进程的状态和将来某个时间装载这个进程的状态而恢复其运行。然而这种方式也有不足之处,一个线程可以在任何给定的时间中断另外一个线程的执行。假设一个线程正在向一个文件做写操作,而另外一个线程中断其运行,也向同一个文件做写操作。 Windows 95/NT, UNIX使用的就是这种线程调度方式。

　　在非抢占的调度模式下,每个线程可以需要ＣＰＵ多少时间就占用ＣＰＵ多少时间。在这种调度方式下,可能一个执行时间很长的线程使得其他所有需要ＣＰＵ的线程”饿死”。在处理机空闲，即该进程没有使用ＣＰＵ时，系统可以允许其他的进程暂时使用ＣＰＵ。占用ＣＰＵ的线程拥有对ＣＰＵ的控制权，只有它自己主动释放ＣＰＵ时，其他的线程才可以使用ＣＰＵ。一些I/O和Windows 3。x就是使用这种调度策略。

　　在有些操作系统里面，这两种调度策略都会用到。非抢占的调度策略在线程运行优先级一般时用到，而对于高优先级的线程调度则多采用抢占式的调度策略。如果你不确定系统采用的是那种调度策略，假设抢占的调度策略不可用是比较安全的。在设计应用程序的时候，我们认为那些占用ＣＰＵ时间比较多的线程在一定的间隔是会释放ＣＰＵ的控制权的，这时候系统会查看那些在等待队列里面的与当前运行的线程同一优先级或者更高的优先级的线程，而让这些线程得以使用ＣＰＵ。如果系统找到一个这样的线程，就立即暂停当前执行的线程和激活满足条件的线程。如果没有找到同一优先级或更高级的线程，当前线程还 继续占有ＣＰＵ。当正在执行的线程想释放ＣＰＵ的控制权给一个低优先级的线程，当前线程就转入睡眠状态而让低优先级的线程占有ＣＰＵ。

　　在多处理器系统，操作系统会将这些独立的线程分配给不同的处理器执行，这样将会大大的加快程序的运行。线程执行的效率也会得到很大的提高，因为将线程的分时共享单处理器变成了分布式的多处理器执行。这种多处理器在三维建模和图形处理是非常有用的。


需要多线程吗

　　我们发出了一个打印的命令，要求打印机进行打印任务，假设这时候计算机停止了响应而打印机还在工作，那岂不是我们的停止手上的事情就等着这慢速的打印机打印？所幸的是，这种情况不会发生，我们在打印机工作的时候还可以同时听音乐或者画图。因为我们使用了独立的多线程来执行这些任务。你可能会对多个用户同时访问数据库或者web服务器感到吃惊，他们是怎么工作的？这是因为为每个连接到数据库或者web服务器的用户建立了独立的线程来维护用户的状态。如果一个程序的运行有一定的顺序，这时候采用这种方式可能会出现问题，甚至导致整个程序崩溃。如果程序可以分成独立的不同的任务，使用多线程，即使某一部分任务失败了，对其他的也没有影响，不会导致整个程序崩溃。

　　毫无疑问的是，编写多线程程序使得你有了一个利器可以驾奴非多线程的程序，但是多线程也可能成为一个负担或者需要不小的代价。如果使用的不当，会带来更多的坏处。如果一个程序有很多的线程，那么其他程序的线程必然只能占用更少的ＣＰＵ时间；而且大量的ＣＰＵ时间是用于线程调度的；操作系统也需要足够的内存空间来维护每个线程的上下文信息；因此，大量的线程会降低系统的运行效率。因此，如果使用多线程的话，程序的多线程必须设计的很好，否则带来的好处将远小于坏处。因此使用多线程我们必须小心的处理这些线程的创建，调度和释放工作。


多线程程序设计提示

　　有多种方法可以设计多线程的应用程序。正如后面的文章所示，我将给出详细的编程示例，通过这些例子，你将可以更好的理解多线程。线程可以有不同的优先级，举例子来说，在我们的应用程序里面，绘制图形或者做大量运算的同时要接受用户的输入，显然用户的输入需要得到第一时间的响应，而图形绘制或者运算则需要大量的时间，暂停一下问题不大，因此用户输入线程将需要高的悠闲级，而图形绘制或者运算低优先级即可。这些线程之间相互独立，相互不影响。

　　在上面的例子中，图形绘制或者大量的运算显然是需要站用很多的ＣＰＵ时间的，在这段时间，用户没有必要等着他们执行完毕再输入信息，因此我们将程序设计成独立的两个线程，一个负责用户的输入，一个负责处理那些耗时很长的任务。这将使得程序更加灵活，能够快速响应。同时也可以使得用户在运行的任何时候取消任务的可能。在这个绘制图形的例子中，程序应该始终负责接收系统发来的消息。如果由于程序忙于一个任务，有可能会导致屏幕变成空白，这显然需要我们的程序来处理这样的事件。所以我必须得有一个线程负责来处理这些消息，正如刚才所说的应该触发重画屏幕的工作。

　　我们应该把握一个原则，对于那些对时间要求比较紧迫需要立即得到相应的任务，我们因该给予高的优先级，而其他的线程优先级应该低于她的优先级。侦听客户端请求的线程应该始终是高的优先级，对于一个与用户交互的用户界面的任务来说，它需要得到第一时间的响应，其优先级因该高优先级

 线程优先级 

  一旦一个线程开始运行，线程调度程序就可以控制其所获得的CPU时间。如果一个托管的应用程序运行在Windows机器上，则线程调度程序是由Windows所提供的。在其他的平台上，线程调度程序可能是操作系统的一部分，也自然可能是.Net框架的一部分。不过我们这里不必考虑线程的调度程序是如何产生的，我们只要知道通过设置线程的优先级我们就可以使该线程获得不同的CPU时间。 

  线程的优先级是由Thread.Priority属性控制的，其值包含：ThreadPriority.Highest、ThreadPriority.AboveNormal、ThreadPriority.Normal、ThreadPriority.BelowNormal和ThreadPriority.Lowest。从它们的名称上我们自然可以知道它们的优先程度，所以这里就不多作介绍了。 
   
  线程的默认优先级为ThreadPriority.Normal。理论上，具有相同优先级的线程会获得相同的CPU时间，不过在实际执行时，消息队列中的线程阻塞或是操作系统的优先级的提高等原因会导致具有相同优先级的线程会获得不同的CPU时间。不过从总体上来考虑仍可以忽略这种差异。你可以通过以下的方法来改变一个线程的优先级。 

  thread.Priority = ThreadPriority.AboveNormal; 

  或是： 

  thread.Priority = ThreadPriority.BelowNormal; 

  通过上面的第一句语句你可以提高一个线程的优先级，那么该线程就会相应的获得更多的CPU时间；通过第二句语句你便降低了那个线程的优先级，于是它就会被分配到比原来少的CPU时间了。你可以在一个线程开始运行前或是在它的运行过程中的任何时候改变它的优先级。理论上你还可以任意的设置每个线程的优先级，不过一个优先级过高的线程往往会影响到其他线程的运行，甚至影响到其他程序的运行，所以最好不要随意的设置线程的优先级。  
   
  挂起线程和重新开始线程 

  Thread类分别提供了两个方法来挂起线程和重新开始线程，也就是Thread.Suspend能暂停一个正在运行的线程，而Thread.Resume又能让那个线程继续运行。不像Windows内核，.Net框架是不记录线程的挂起次数的，所以不管你挂起线程过几次，只要一次调用Thread.Resume就可以让挂起的线程重新开始运行。 

  Thread类还提供了一个静态的Thread.Sleep方法，它能使一个线程自动的挂起一定的时间，然后自动的重新开始。一个线程能在它自身内部调用Thread.Sleep方法，也能在自身内部调用Thread.Suspend方法，可是一定要别的线程来调用它的Thread.Resume方法才可以重新开始。这一点是不是很容易想通的啊？下面的例子显示了如何运用Thread.Sleep方法： 

  while (ContinueDrawing) {   
  DrawNextSlide ();  
  Thread.Sleep (5000);  
  } 

  终止线程 
   在托管的代码中，你可以通过以下的语句在一个线程中将另一个线程终止掉： 
  thread.Abort (); 
  下面我们来解释一下Abort（）方法是如何工作的。因为公用语言运行时管理了所有的托管的线程，同样它能在每个线程内抛出异常。Abort（）方法能在目标线程中抛出一个ThreadAbortException异常从而导致目标线程的终止。不过Abort（）方法被调用后，目标线程可能并不是马上就终止了。因为只要目标线程正在调用非托管的代码而且还没有返回的话，该线程就不会立即终止。而如果目标线程在调用非托管的代码而且陷入了一个死循环的话，该目标线程就根本不会终止。不过这种情况只是一些特例，更多的情况是目标线程在调用托管的代码，一旦Abort（）被调用那么该线程就立即终止了。 

  在实际应用中，一个线程终止了另一个线程，不过往往要等那个线程完全终止了它才可以继续运行，这样的话我们就应该用到它的Join（）方法。示例代码如下： 

  thread.Abort (); // 要求终止另一个线程   
   thread.Join (); // 只到另一个线程完全终止了，它才继续运行 

  但是如果另一个线程一直不能终止的话（原因如前所述），我们就需要给Join（）方法设置一个时间限制，方法如下： 

  thread.Join (5000); // 暂停5秒 
  
  这样，在5秒后，不管那个线程有没有完全终止，本线程就强行运行了。该方法还返回一个布尔型的值，如果是true则表明那个线程已经完全终止了，而如果是false的话，则表明已经超过了时间限制了。 
   
  时钟线程 
  
  .Net框架中的Timer类可以让你使用时钟线程，它是包含在System.Threading名字空间中的，它的作用就是在一定的时间间隔后调用一个线程的方法。下面我给大家展示一个具体的实例，该实例以1秒为时间间隔，在控制台中输出不同的字符串，代码如下： 
  
  using System;  
  using System.Threading;  
  class MyApp  
  { 
  private static bool TickNext = true;  
  public static void Main ()  
  {  
  Console.WriteLine ("Press Enter to terminate...");  
  TimerCallback callback = new TimerCallback (TickTock);  
  Timer timer = new Timer (callback, null, 1000, 1000);   
  Console.ReadLine ();   
  }   
  private static void TickTock (object state)    
  {   
  Console.WriteLine (TickNext ? "Tick" : "Tock");   
  TickNext = ! TickNext;    
  }    
  }  
  从上面的代码中，我们知道第一个函数回调是在1000毫秒后才发生的，以后的函数回调也是在每隔1000毫秒之后发生的，这是由Timer对象的构造函数中的第三个参数所决定的。程序会在1000毫秒的时间间隔后不断的产生新线程，只到用户输入回车才结束运行。不过值得注意的是，虽然我们设置了时间间隔为1000毫秒，但是实际运行的时候往往并不能非常精确。因为Windows操作系统并不是一个实时系统，而公用语言运行时也不是实时的，所以由于线程调度的千变万化，实际的运行效果往往是不能精确到毫秒级的，但是对于一般的应用来说那已经是足够的了，所以你也不必十分苛求。 

  小结  
  本文介绍了在.Net下进行多线程编程所需要掌握的一些基本知识。从文章中我们可以知道在.Net下进行多线程编程相对以前是有了大大的简化，但是其功能并没有被削弱。使用以上的一些基本知识，读者就可以试着编写.Net下的多线程程序了。不过要编写出功能更加强大而且Bug少的多线程应用程序，读者需要掌握诸如线程同步、线程池等高级的多线程编程技术。读者不妨参考一些操作系统方面或是多线程编程方面的技术丛书。