C#的多线程机制初探
2024-07-21 02:19:01
供稿：网友
注册会员，创建你的web开发资料库，注：本文中出现的代码均在.net framework rc3环境中运行通过
一.多线程的概念
windows是一个多任务的系统，如果你使用的是windows 2000及其以上版本，你可以通过任务管理器查看当前系统运行的程序和进程。什么是进程呢？当一个程序开始运行时，它就是一个进程，进程所指包括运行中的程序和程序所使用到的内存和系统资源。而一个进程又是由多个线程所组成的，线程是程序中的一个执行流，每个线程都有自己的专有寄存器(栈指针、程序计数器等)，但代码区是共享的，即不同的线程可以执行同样的函数。多线程是指程序中包含多个执行流，即在一个程序中可以同时运行多个不同的线程来执行不同的任务，也就是说允许单个程序创建多个并行执行的线程来完成各自的任务。浏览器就是一个很好的多线程的例子,在浏览器中你可以在下载java小应用程序或图象的同时滚动页面,在访问新页面时,播放动画和声音,打印文件等。
多线程的好处在于可以提高cpu的利用率——任何一个程序员都不希望自己的程序很多时候没事可干，在多线程程序中，一个线程必须等待的时候，cpu可以运行其它的线程而不是等待，这样就大大提高了程序的效率。
然而我们也必须认识到线程本身可能影响系统性能的不利方面，以正确使用线程：
线程也是程序，所以线程需要占用内存，线程越多占用内存也越多
多线程需要协调和管理，所以需要cpu时间跟踪线程
线程之间对共享资源的访问会相互影响，必须解决竞用共享资源的问题
线程太多会导致控制太复杂，最终可能造成很多bug
基于以上认识，我们可以一个比喻来加深理解。假设有一个公司，公司里有很多各司其职的职员，那么我们可以认为这个正常运作的公司就是一个进程，而公司里的职员就是线程。一个公司至少得有一个职员吧，同理，一个进程至少包含一个线程。在公司里，你可以一个职员干所有的事，但是效率很显然是高不起来的，一个人的公司也不可能做大；一个程序中也可以只用一个线程去做事，事实上，一些过时的语言如fortune,basic都是如此，但是象一个人的公司一样，效率很低，如果做大程序，效率更低——事实上现在几乎没有单线程的商业软件。公司的职员越多，老板就得发越多的薪水给他们，还得耗费大量精力去管理他们，协调他们之间的矛盾和利益；程序也是如此，线程越多耗费的资源也越多，需要cpu时间去跟踪线程，还得解决诸如死锁，同步等问题。总之，如果你不想你的公司被称为“皮包公司”，你就得多几个员工；如果你不想让你的程序显得稚气，就在你的程序里引入多线程吧！
本文将对c#编程中的多线程机制进行探讨，通过一些实例解决对线程的控制，多线程间通讯等问题。为了省去创建gui那些繁琐的步骤，更清晰地逼近线程的本质，下面所有的程序都是控制台程序，程序最后的console.readline()是为了使程序中途停下来，以便看清楚执行过程中的输出。
好了，废话少说，让我们来体验一下多线程的c#吧！
二.操纵一个线程
任何程序在执行时，至少有一个主线程，下面这段小程序可以给读者一个直观的印象：
[code]
//systemthread.cs
using 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();
}
}
}
[/code]
编译执行后你看到了什么？是的，程序将产生如下输出：
system thread's status:running
在这里，我们通过thread类的静态属性currentthread获取了当前执行的线程，对其name属性赋值“system thread”，最后还输出了它的当前状态（threadstate）。所谓静态属性，就是这个类所有对象所公有的属性，不管你创建了多少个这个类的实例，但是类的静态属性在内存中只有一个。很容易理解currentthread为什么是静态的——虽然有多个线程同时存在，但是在某一个时刻，cpu只能执行其中一个。
就像上面程序所演示的，我们通过thread类来创建和控制线程。注意到程序的头部，我们使用了如下命名空间：
以下内容为程序代码:
using system;
using 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
using system;
using system.threading;
namespace 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();
//这里创建一个线程，使之执行alpha类的beta()方法
thread othread = new thread(new threadstart(oalpha.beta));
othread.start();
while (!othread.isalive);
thread.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()方法：
alpha oalpha = new alpha();
thread othread = new thread(new threadstart(oalpha.beta));
othread.start();
然后在main()函数的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#程序的入口，起始线程可以称之为主线程，如果所有的前台线程都停止了，那么主线程可以终止，而所有的后台线程都将无条件终止。而所有的线程虽然在微观上是串行执行的，但是在宏观上你完全可以认为它们在并行执行。
读者一定注意到了thread.threadstate这个属性，这个属性代表了线程运行时状态，在不同的情况下有不同的值，于是我们有时候可以通过对该值的判断来设计程序流程。threadstate在各种情况下的可能取值如下：
aborted：线程已停止
abortrequested：线程的thread.abort()方法已被调用，但是线程还未停止
background：线程在后台执行，与属性thread.isbackground有关
running：线程正在正常运行
stopped：线程已经被停止
stoprequested：线程正在被要求停止
suspended：线程已经被挂起（此状态下，可以通过调用resume()方法重新运行）
suspendrequested：线程正在要求被挂起，但是未来得及响应
unstarted：未调用thread.start()开始线程的运行
waitsleepjoin：线程因为调用了wait(),sleep()或join()等方法处于封锁状态
上面提到了background状态表示该线程在后台运行，那么后台运行的线程有什么特别的地方呢？其实后台线程跟前台线程只有一个区别，那就是后台线程不妨碍程序的终止。一旦一个进程所有的前台线程都终止后，clr（通用语言运行环境）将通过调用任意一个存活中的后台进程的abort()方法来彻底终止进程。
当线程之间争夺cpu时间时，cpu按照是线程的优先级给予服务的。在c#应用程序中，用户可以设定5个不同的优先级，由高到低分别是highest，abovenormal，normal，belownormal，lowest，在创建线程时如果不指定优先级，那么系统默认为threadpriority.normal。给一个线程指定优先级
，我们可以使用如下代码：
//设定优先级为最低
mythread.priority=threadpriority.lowest;
通过设定线程的优先级，我们可以安排一些相对重要的线程优先执行，例如对用户的响应等等。
现在我们对怎样创建和控制一个线程已经有了一个初步的了解，下面我们将深入研究线程实现中比较典型的的问题，并且探讨其解决方法。
三.线程的同步和通讯——生产者和消费者
假设这样一种情况，两个线程同时维护一个队列，如果一个线程对队列中添加元素，而另外一个线程从队列中取用元素，那么我们称添加元素的线程为生产者，称取用元素的线程为消费者。生产者与消费者问题看起来很简单，但是却是多线程应用中一个必须解决的问题，它涉及到线程之间的同步和通讯问题。
前面说过，每个线程都有自己的资源，但是代码区是共享的，即每个线程都可以执行相同的函数。但是多线程环境下，可能带来的问题就是几个线程同时执行一个函数，导致数据的混乱，产生不可预料的结果，因此我们必须避免这种情况的发生。c#提供了一个关键字lock，它可以把一段代码定义为互斥段（critical section），互斥段在一个时刻内只允许一个线程进入执行，而其他线程必须等待。在c#中，关键字lock定义如下：
lock(expression) statement_block
expression代表你希望跟踪的对象，通常是对象引用。一般地，如果你想保护一个类的实例，你可以使用this；如果你希望保护一个静态变量（如互斥代码段在一个静态方法内部），一般使用类名就可以了。而statement_block就是互斥段的代码，这段代码在一个时刻内只可能被一个线程执行。
下面是一个使用lock关键字的典型例子，我将在注释里向大家说明lock关键字的用法和用途：
//lock.cs
using system;
using system.threading;
internal class account
{
int balance;
random r = new random();
internal account(int initial)
{
balance = initial;
}
internal int withdraw(int amount)
{
if (balance < 0)
{
//如果balance小于0则抛出异常
throw new exception("negative balance");
}
//下面的代码保证在当前线程修改balance的值完成之前
//不会有其他线程也执行这段代码来修改balance的值
//因此，balance的值是不可能小于0的
lock (this)
{
console.writeline("current thread:"+thread.currentthread.name);
//如果没有lock关键字的保护，那么可能在执行完if的条件判断之后
//另外一个线程却执行了balance=balance-amount修改了balance的值
//而这个修改对这个线程是不可见的，所以可能导致这时if的条件已经不成立了
//但是，这个线程却继续执行balance=balance-amount，所以导致balance可能小于0
if (balance >= amount)
{
thread.sleep(5);
balance = balance - amount;
return amount;
}
else
{
return 0; // transaction rejected
}
}
}
internal void dotransactions()
{
for (int i = 0; i < 100; i++)
withdraw(r.next(-50, 100));
}
}
internal class test
{
static internal thread[] threads = new thread[10];
public static void main()
{
account acc = new account (0);
for (int i = 0; i < 10; i++)
{
thread t = new thread(new threadstart(acc.dotransactions));
threads[i] = t;
}
for (int i = 0; i < 10; i++)
threads[i].name=i.tostring();
for (int i = 0; i < 10; i++)
threads[i].start();
console.readline();
}
}
而多线程公用一个对象时，也会出现和公用代码类似的问题，这种问题就不应该使用lock关键字了，这里需要用到system.threading中的一个类monitor，我们可以称之为监视器，monitor提供了使线程共享资源的方案。
monitor类可以锁定一个对象，一个线程只有得到这把锁才可以对该对象进行操作。对象锁机制保证了在可能引起混乱的情况下一个时刻只有一个线程可以访问这个对象。monitor必须和一个具体的对象相关联，但是由于它是一个静态的类，所以不能使用它来定义对象，而且它的所有方法都是静态的，不能使用对象来引用。下面代码说明了使用monitor锁定一个对象的情形：
......
queue oqueue=new queue();
......
monitor.enter(oqueue);
......//现在oqueue对象只能被当前线程操纵了
monitor.exit(oqueue);//释放锁
如上所示，当一个线程调用monitor.enter()方法锁定一个对象时，这个对象就归它所有了，其它线程想要访问这个对象，只有等待它使用monitor.exit()方法释放锁。为了保证线程最终都能释放锁，你可以把monitor.exit()方法写在try-catch-finally结构中的finally代码块里。对于任何一个被monitor锁定的对象，内存中都保存着与它相关的一些信息，其一是现在持有锁的线程的引用，其二是一个预备队列，队列中保存了已经准备好获取锁的线程，其三是一个等待队列，队列中保存着当前正在等待这个对象状态改变的队列的引用。当拥有对象锁的线程准备释放锁时，它使用monitor.pulse()方法通知等待队列中的第一个线程，于是该线程被转移到预备队列中，当对象锁被释放时，在预备队列中的线程可以立即获得对象锁。
下面是一个展示如何使用lock关键字和monitor类来实现线程的同步和通讯的例子，也是一个典型的生产者与消费者问题。这个例程中，生产者线程和消费者线程是交替进行的，生产者写入一个数，消费者立即读取并且显示，我将在注释中介绍该程序的精要所在。用到的系统命名空间如下：
using system;
using system.threading;
