C#的多线程机制探索

【 tulaoshi.com - 编程语言 】

　　注：本文中出现的代码均在.net Framework RC3环境中运行通过

　　一.多线程的概念

　　牐燱indows是一个多任务的系统，如果你使用的是windows 2000及其以上版本，你可以通过任务管理器查看当前系统运行的程序和进程。什么是进程呢？当一个程序开始运行时，它就是一个进程，进程所指包括运行中的程序和程序所使用到的内存和系统资源。而一个进程又是由多个线程所组成的，线程是程序中的一个执行流，每个线程都有自己的专有寄存器(栈指针、程序计数器等)，但代码区是共享的，即不同的线程可以执行同样的函数。多线程是指程序中包含多个执行流，即在一个程序中可以同时运行多个不同的线程来执行不同的任务，也就是说允许单个程序创建多个并行执行的线程来完成各自的任务。浏览器就是一个很好的多线程的例子,在浏览器中你可以在下载JAVA小应用程序或图象的同时滚动页面,在访问新页面时,播放动画和声音,打印文件等。

　　牐牰嘞叱痰暮么υ谟诳梢蕴岣逤PU的利用率任何一个程序员都不希望自己的程序很多时候没事可干，在多线程程序中，一个线程必须等待的时候，CPU可以运行其它的线程而不是等待，这样就大大提高了程序的效率。

　　牐犎欢我们也必须认识到线程本身可能影响系统性能的不利方面，以正确使用线程：

　　线程也是程序，所以线程需要占用内存，线程越多占用内存也越多 多线程需要协调和管理，所以需要CPU时间跟踪线程 线程之间对共享资源的访问会相互影响，必须解决竞用共享资源的问题 线程太多会导致控制太复杂，最终可能造成很多Bug

　　牐牷于以上认识，我们可以一个比喻来加深理解。假设有一个公司，公司里有很多各司其职的职员，那么我们可以认为这个正常运作的公司就是一个进程，而公司里的职员就是线程。一个公司至少得有一个职员吧，同理，一个进程至少包含一个线程。在公司里，你可以一个职员干所有的事，但是效率很显然是高不起来的，一个人的公司也不可能做大；一个程序中也可以只用一个线程去做事，事实上，一些过时的语言如fortune,basic都是如此，但是象一个人的公司一样，效率很低，如果做大程序，效率更低事实上现在几乎没有单线程的商业软件。公司的职员越多，老板就得发越多的薪水给他们，还得耗费大量精力去管理他们，协调他们之间的矛盾和利益；程序也是如此，线程越多耗费的资源也越多，需要CPU时间去跟踪线程，还得解决诸如死锁，同步等问题。总之，如果你不想你的公司被称为皮包公司，你就得多几个员工；如果你不想让你的程序显得稚气，就在你的程序里引入多线程吧！

　　牐牨疚慕对C#编程中的多线程机制进行探讨，通过一些实例解决对线程的控制，多线程间通讯等问题。为了省去创建GUI那些繁琐的步骤，更清晰地逼近线程的本质，下面所有的程序都是控制台程序，程序最后的Console.ReadLine()是为了使程序中途停下来，以便看清楚执行过程中的输出。

　　牐牶昧耍废话少说，让我们来体验一下多线程的C#吧！

　　二.操纵一个线程

　　牐犎魏纬绦蛟谥葱惺保至少有一个主线程，下面这段小程序可以给读者一个直观的印象：

//SystemThread.csusing System;using System.Threading;namespace ThreadTest{　　class RunIt　　{　　　　[STAThread]　　　　static void Main(string[] args)　　　　{　　　　　　Thread.CurrentThread.Name="System Thread";//给当前线程起名为"System Thread"Console.WriteLine(Thread.CurrentThread.Name+"'Status:"+Thread.CurrentThread.ThreadState);　　　　　　Console.ReadLine();　　　　}　　}} 

　　牐牨嘁胫葱泻竽憧吹搅耸裁矗渴堑模程序将产生如下输出：

　　牐燬ystem Thread's Status:Running

　　牐犜谡饫铮我们通过Thread类的静态属性CurrentThread获取了当前执行的线程，对其Name属性赋值System Thread，最后还输出了它的当前状态（ThreadState）。所谓静态属性，就是这个类所有对象所公有的属性，不管你创建了多少个这个类的实例，但是类的静态属性在内存中只有一个。很容易理解CurrentThread为什么是静态的虽然有多个线程同时存在，但是在某一个时刻，CPU只能执行其中一个。

　　牐牼拖裆厦娉绦蛩演示的，我们通过Thread类来创建和控制线程。注意到程序的头部，我们使用了如下命名空间：

牐爑sing System;牐爑sing System.Threading; 

　　牐犜.net framework class library中，所有与多线程机制应用相关的类都是放在System.Threading命名空间中的。其中提供Thread类用于创建线程，ThreadPool类用于管理线程池等等，此外还提供解决了线程执行安排，死锁，线程间通讯等实际问题的机制。如果你想在你的应用程序中使用多线程，就必须包含这个类。Thread类有几个至关重要的方法，描述如下：

　　Start():启动线程 Sleep(int):静态方法，暂停当前线程指定的毫秒数 Abort():通常使用该方法来终止一个线程 Suspend()：该方法并不终止未完成的线程，它仅仅挂起线程，以后还可恢复。 Resume():恢复被Suspend()方法挂起的线程的执行

　　下面我们就动手来创建一个线程，使用Thread类创建线程时，只需提供线程入口即可。线程入口使程序知道该让这个线程干什么事，在C#中，线程入口是通过ThreadStart代理（delegate）来提供的，你可以把ThreadStart理解为一个函数指针，指向线程要执行的函数，当调用Thread.Start()方法后，线程就开始执行ThreadStart所代表或者说指向的函数。

　　牐牬蚩你的VS.net，新建一个控制台应用程序（Console Application），下面这些代码将让你体味到完全控制一个线程的无穷乐趣！

牐//ThreadTest.cs牐爑sing System;牐爑sing System.Threading;牐爊amespace ThreadTest牐爗　　public class Alpha　　　　{　　　　　　public void Beta()　　　　　　{　　　　　　　　while (true)　　　　　　　　{　　　　　　　　　　Console.WriteLine("Alpha.Beta is running in its own thread.");　　　　　　　　}　　　　　　}　　　　};　　　　public class Simple　　　　{　　　　　　public static int Main()　　　　　　{　　　　　　　　Console.WriteLine("Thread Start/Stop/Join Sample");　　　　　　　　Alpha oAlpha = new Alpha();　　　　　　　　file://这里创建一个线程，使之执行Alpha类的Beta()方法　　　　　　　　Thread oThread = new Thread(new ThreadStart(oAlpha.Beta));　　　　　　　　oThread.Start();　　　　　　　　while (!oThread.IsAlive);　　　　　　　　牐燭hread.Sleep(1);　　　　　　　　oThread.Abort();　　　　　　　　oThread.Join();　　　　　　　　Console.WriteLine();　　　　　　　　Console.WriteLine("Alpha.Beta has finished");　　　　　　　　try　　　　　　　　{　　　　　　　　　　Console.WriteLine("Try to restart the Alpha.Beta thread");　　　　　　　　　　oThread.Start();　　　　　　　　}　　　　　　　　catch (ThreadStateException)　　　　　　　　{　　　　　　　　　　Console.Write("ThreadStateException trying to restart Alpha.Beta. ");　　　　　　　　　　Console.WriteLine("Expected since aborted threads cannot be restarted.");　　　　　　　　　　Console.ReadLine();　　　　　　　　}　　　　　　　　return 0;　　　　　　}　　　　}　　} 

　　牐犝舛纬绦虬含两个类Alpha和Simple，在创建线程oThread时我们用指向Alpha.Beta()方法的初始化了ThreadStart代理（delegate）对象，当我们创建的线程oThread调用oThread.Start()方法启动时，实际上程序运行的是Alpha.Beta()方法：

牐燗lpha oAlpha = new Alpha();　　Thread oThread = new Thread(new ThreadStart(oAlpha.Beta));　　oThread.Start(); 

　　牐犎缓笤贛ain()函数的while循环中，我们使用静态方法Thread.Sleep()让主线程停了1ms，这段时间CPU转向执行线程oThread。然后我们试图用Thread.Abort()方法终止线程oThread，注意后面的oThread.Join()，Thread.Join()方法使主线程等待，直到oThread线程结束。你可以给Thread.Join()方法指定一个int型的参数作为等待的最长时间。之后，我们试图用Thread.Start()方法重新启动线程oThread，但是显然Abort()方法带来的后果是不可恢复的终止线程，所以最后程序会抛出ThreadStateException异常。

　　牐牫绦蜃詈蟮玫降慕峁将如下图：

　　在这里我们要注意的是其它线程都是依附于Main()函数所在的线程的，Main()函数是C#程序的入口，起始线程可以称之为主线程，如果所有的前台线程都停止了，那么主线程可以终止，而所有的后台线程都将无条件终止。而所有的线程虽然在微观上是串行执行的，但是在宏观上你完全可以认为它们在并行执行。

　　牐牰琳咭欢ㄗ⒁獾搅薚hread.ThreadState这个属性，这个属性代表了线程运行时状态，在不同的情况下有不同的值，于是我们有时候可以通过对该值的判断来设计程序流程。ThreadState在各种情况下的可能取值如下：

　　牐犐厦嫣岬搅薆ackground状态表示该线程在后台运行，那么后台运行的线程有什么特别的地方呢？其实后台线程跟前台线程只有一个区别，那就是后台线程不妨碍程序的终止。一旦一个进程所有的前台线程都终止后，CLR（通用语言运行环境）将通过调用任意一个存活中的后台进程的Abort()方法来彻底终止进程。

　　牐牭毕叱讨间争夺CPU时间时，CPU按照是线程的优先级给予服务的。在C#应用程序中，用户可以设定5个不同的优先级，由高到低分别是Highest，AboveNormal，Normal，BelowNormal，Lowest，在创建线程时如果不指定优先级，那么系统默认为ThreadPriority.Normal。给一个线程指定优先级

　　，我们可以使用如下代码：

牐//设定优先级为最低牐爉yThread.Priority=ThreadPriority.Lowest;

　　牐犕ü设定线程的优先级，我们可以安排一些相对重要的线程优先执行，例如对用户的响应等等。

　　牐犗衷谖颐嵌栽跹创建和控制一个线程已经有了一个初步的了解，下面我们将深入研究线程实现中比较典型的的问题，并且探讨其解决方法。

　　三.线程的同步和通讯生产者和消费者

　　牐牸偕枵庋一种情况，两个线程同时维护一个队列，如果一个线程对队列中添加元素，而另外一个线程从队列中取用元素，那么我们称添加元素的线程为生产者，称取用元素的线程为消费者。生产者与消费者问题看起来很简单，但是却是多线程应用中一个必须解决的问题，它涉及到线程之间的同步和通讯问题。

　　牐犌懊嫠倒，每个线程都有自己的资源，但是代码区是共享的，即每个线程都可以执行相同的函数。但是多线程环境下，可能带来的问题就是几个线程同时执行一个函数，导致数据的混乱，产生不可预料的结果，因此我们必须避免这种情况的发生。C#提供了一个关键字lock，它可以把一段代码定义为互斥段（critical section），互斥段在一个时刻内只允许一个线程进入执行，而其他线程必须等待。在C#中，关键字lock定义如下：

牐爈ock(expression) statement_block

　　expression代表你希望跟踪的对象，通常是对象引用。一般地，如果你想保护一个类的实例，你可以使用this；如果你希望保护一个静态变量（如互斥代码段在一个静态方法内部），一般使用类名就可以了。而statement_block就是互斥段的代码，这段代码在一个时刻内只可能被一个线程执行。

　　下面是一个使用lock关键字的典型例子，我将在注释里向大家说明lock关键字的用法和用途：

牐//lock.cs牐爑sing System;牐爑sing System.Threading;牐爄nternal class Account牐爗　　int balance;　　Random r = new Random();　　internal Account(int initial)　　{　　牐燽alance = initial;　　}　　internal int Withdraw(int amount)　　{　　牐爄f (balance  0)　　牐爗　　　　file://如果balance小于0则抛出异常　　　　throw new Exception("Negative Balance");　　牐爙　　牐//下面的代码保证在当前线程修改balance的值完成之前　　牐//不会有其他线程也执行这段代码来修改balance的值　　牐//因此，balance的值是不可能小于0的　　牐爈ock (this)　　牐爗　　　　Console.WriteLine("Current Thread:"+Thread.CurrentThread.Name);　　　　file://如果没有lock关键字的保护，那么可能在执行完if的条件判断之后　　　　file://另外一个线程却执行了balance=balance-amount修改了balance的值　　　　file://而这个修改对这个线程是不可见的，所以可能导致这时if的条件已经不成立了　　　　file://但是，这个线程却继续执行balance=balance-amount，所以导致balance可能小于0　　　　if (balance = amount)　　　　{　　　　牐燭hread.Sleep(5);　　　　牐燽alance = balance - amount;　　　　牐爎eturn amount;　　　　}　　　　else　　　　{　　　　牐爎eturn 0; // transaction rejected　　　　}　　牐爙　　}　　internal void DoTransactions()　　{　　牐爁or (int i = 0; i  100; i++)　　　　Withdraw(r.Next(-50, 100));　　}牐爙牐爄nternal class Test牐爗　　static internal Thread[] threads = new Thread[10];　　public static void Main()　　{　　牐燗ccount acc = new Account (0);　　牐爁or (int i = 0; i  10; i++)　　牐爗　　　　Thread t = new Thread(new ThreadStart(acc.DoTransactions));　　　　threads[i] = t;　　牐爙　　牐爁or (int i = 0; i  10; i++)　　　　threads[i].Name=i.ToString();　　牐爁or (int i = 0; i  10; i++)　　　　threads[i].Start();　　牐燙onsole.ReadLine();　　}牐爙

　　牐牰多线程公用一个对象时，也会出现和公用代码类似的问题，这种问题就不应该使用lock关键字了，这里需要用到System.Threading中的一个类Monitor，我们可以称之为监视器，Monitor提供了使线程共享资源的方案。

　　Monitor类可以锁定一个对象，一个线程只有得到这把锁才可以对该对象进行操作。对象锁机制保证了在可能引起混乱的情况下一个时刻只有一个线程可以访问这个对象。Monitor必须和一个具体的对象相关联，但是由于它是一个静态的类，所以不能使用它来定义对象，而且它的所有方法都是静态的，不能使用对象来引用。下面代码说明了使用Monitor锁定一个对象的情形：

牐......牐燪ueue oQueue=new Queue();牐......牐燤onitor.Enter(oQueue);牐......//现在oQueue对象只能被当前线程操纵了牐燤onitor.Exit(oQueue);//释放锁

　　牐犎缟纤示，当一个线程调用Monitor.Enter()方法锁定一个对象时，这个对象就归它所有了，其它线程想要访问这个对象，只有等待它使用Monitor.Exit()方法释放锁。为了保证线程最终都能释放锁，你可以把Monitor.Exit()方法写在try-catch-finally结构中的finally代码块里。对于任何一个被Monitor锁定的对象，内存中都保存着与它相关的一些信息，其一是现在持有锁的线程的引用，其二是一个预备队列，队列中保存了已经准备好获取锁的线程，其三是一个等待队列，队列中保存着当前正在等待这个对象状态改变的队列的引用。当拥有对象锁的线程准备释放锁时，它使用Monitor.Pulse()方法通知等待队列中的第一个线程，于是该线程被转移到预备队列中，当对象锁被释放时，在预备队列中的线程可以立即获得对象锁。

　　牐犗旅媸且桓稣故救绾问褂胠ock关键字和Monitor类来实现线程的同步和通讯的例子，也是一个典型的生产者与消费者问题。这个例程中，生产者线程和消费者线程是交替进行的，生产者写入一个数，消费者立即读取并且显示，我将在注释中介绍该程序的精要所在。用到的系统命名空间如下：

牐爑sing System;牐爑sing System.Threading;

　　首先，我们定义一个被操作的对象的类Cell，在这个类里，有两个方法：ReadFromCell()和WriteToCell。消费者线程将调用ReadFromCell()读取cellContents的内容并且显示出来，生产者进程将调用WriteToCell()方法向cellContents写入数据。

牐爌ublic class Cell牐爗　　int cellContents; // Cell对象里边的内容　　bool readerFlag = false; // 状态标志，为true时可以读取，为false则正在写入　　public int ReadFromCell( )　　{　　牐爈ock(this) // Lock关键字保证了什么，请大家看前面对lock的介绍　　牐爗　　　　if (!readerFlag)//如果现在不可读取　　　　{　　　　牐爐ry　　　　牐爗　　　　　　file://等待WriteToCell方法中调用Monitor.Pulse()方法　　　　　　Monitor.Wait(this);　　　　牐爙　　　　牐燾atch (SynchronizationLockException e)　　　　牐爗　　　　　　Console.WriteLine(e);　　　　牐爙　　　　牐燾atch (ThreadInterruptedException e)　　　　牐爗　　　　　　Console.WriteLine(e);　　　　牐爙　　　　}　　　　Console.WriteLine("Consume: {0}",cellContents);　　　　readerFlag = false; file://重置readerFlag标志，表示消费行为已经完成　　　　Monitor.Pulse(this); file://通知WriteToCell()方法（该方法在另外一个线程中执行，等待中）　　牐爙　　牐爎eturn cellContents;　　}　　public void WriteToCell(int n)　　{　　牐爈ock(this)　　牐爗　　　　if (readerFlag)　　　　{　　　　牐爐ry　　　　牐爗　　　　　　Monitor.Wait(this);　　　　牐爙　　　　牐燾atch (SynchronizationLockException e)　　　　牐爗　　　　　　file://当同步方法（指Monitor类除Enter之外的方法）在非同步的代码区被调用　　　　　　Console.WriteLine(e);　　　　牐爙　　　　牐燾atch (ThreadInterruptedException e)　　　　牐爗　　　　　　file://当线程在等待状态的时候中止　　　　　　Console.WriteLine(e);　　　　牐爙　　　　}　　　　cellContents = n;　　　　Console.WriteLine("Produce: {0}",cellContents);　　　　readerFlag = true;　　　　Monitor.Pulse(this); file://通知另外一个线程中正在等待的ReadFromCell()方法　　牐爙　　}牐爙

　　牐犗旅娑ㄒ迳产者CellProd和消费者类CellCons，它们都只有一个方法ThreadRun()，以便在Main()函数中提供给线程的ThreadStart代理对象，作为线程的入口。

牐爌ublic class CellProd牐爗　　Cell cell; // 被操作的Cell对象　　int quantity = 1; // 生产者生产次数，初始化为1　　public CellProd(Cell box, int request)　　{　　牐//构造函数　　牐燾ell = box;　　牐爍uantity = request;　　}　　public void ThreadRun( )　　{　　牐爁or(int looper=1; looper=quantity; looper++)　　　　cell.WriteToCell(looper); file://生产者向操作对象写入信息　　}牐爙牐爌ublic class CellCons牐爗　　Cell cell;　　int quantity = 1;　　public CellCons(Cell box, int request)　　{　　牐燾ell = box;　　牐爍uantity = request;　　}　　public void ThreadRun( )　　{　　牐爄nt valReturned;　　牐爁or(int looper=1; looper=quantity; looper++)　　　　valReturned=cell.ReadFromCell( );//消费者从操作对象中读取信息　　}牐爙

　　然后在下面这个类MonitorSample的Main()函数中我们要做的就是创建两个线程分别作为生产者和消费者，使用CellProd.ThreadRun()方法和CellCons.ThreadRun()方法对同一个Cell对象进行操作。

牐爌ublic class MonitorSample牐爗　　public static void Main(String[] args)　　{　　牐爄nt result = 0; file://一个标志位，如果是0表示程序没有出错，如果是1表明有错误发生　　牐燙ell cell = new Cell( );　　牐//下面使用cell初始化CellProd和CellCons两个类，生产和消费次数均为20次　　牐燙ellProd prod = new CellProd(cell, 20);　　牐燙ellCons cons = new CellCons(cell, 20);　　牐燭hread producer = new Thread(new ThreadStart(prod.ThreadRun));　　牐燭hread consumer = new Thread(new ThreadStart(cons.ThreadRun));　　牐//生产者线程和消费者线程都已经被创建，但是没有开始执行　　牐爐ry　　牐爗　　　　producer.Start( );　　　　consumer.Start( );　　　　producer.Join( );　　　　consumer.Join( );　　　　Console.ReadLine();　　牐爙　　牐燾atch (ThreadStateException e)　　牐爗　　　　file://当线程因为所处状态的原因而不能执行被请求的操作　　　　Console.WriteLine(e);　　　　result = 1;　　牐爙　　牐燾atch (ThreadInterruptedException e)　　牐爗　　　　file://当线程在等待状态的时候中止　　　　Console.WriteLine(e);　　　　result = 1;　　牐爙　　牐//尽管Main()函数没有返回值，但下面这条语句可以向父进程返回执行结果　　牐燛nvironment.ExitCode = result;　　}牐爙

　　大家可以看到，在上面的例程中，同步是通过等待Monitor.Pulse()来完成的。首先生产者生产了一个值，而同一时刻消费者处于等待状态，直到收到生产者的脉冲(Pulse)通知它生产已经完成，此后消费者进入消费状态，而生产者开始等待消费者完成操作后将调用Monitor.Pulese()发出的脉冲。它的执行结果很简单：

牐燩roduce: 1牐燙onsume: 1牐燩roduce: 2牐燙onsume: 2牐燩roduce: 3牐燙onsume: 3牐...牐...牐燩roduce: 20牐燙onsume: 20

　　牐犑率瞪希这个简单的例子已经帮助我们解决了多线程应用程序中可能出现的大问题，只要领悟了解决线程间冲突的基本方法，很容易把它应用到比较复杂的程序中去。

　　四、线程池和定时器多线程的自动管理

　　牐犜诙嘞叱痰某绦蛑校经常会出现两种情况。一种情况下，应用程序中的线程把大部分的时间花费在等待状态，等待某个事件发生，然后才能给予响应；而另外一种情况则是线程平常都处于休眠状态，只是周期性地被唤醒。在.net framework里边，我们使用ThreadPool来对付第一种情况，使用Timer来对付第二种情况。

　　牐燭hreadPool类提供一个由系统维护的线程池可以看作一个线程的容器，该容器需要Windows 2000以上版本的系统支持，因为其中某些方法调用了只有高版本的Windows才有的API函数。你可以使用ThreadPool.QueueUserWorkItem()方法将线程安放在线程池里，该方法的原型如下：

　　牐//将一个线程放进线程池，该线程的Start()方法将调用WaitCallback代理对象代表的函数