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

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

  前面说过,每个线程都有自己的资源,但是代码区是共享的,即每个线程都可以执行相同的函数。但是多线程环境下,可能带来的问题就是几个线程同时执行一个函数,导致数据的混乱,产生不可预料的结果,因此我们必须避免这种情况的发生。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)
    {
    file://如果balance小于0则抛出异常
    throw new Exception("Negative Balance");
    }
    //下面的代码保证在当前线程修改balance的值完成之前
    //不会有其他线程也执行这段代码来修改balance的值
    //因此,balance的值是不可能小于0
    lock (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)
    {
      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;

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

  public class Cell
  {
  int cellContents; // Cell对象里边的内容
  bool readerFlag = false; // 状态标志,为true时可以读取,为false则正在写入
  public int ReadFromCell( )
  {
    lock(this) // Lock关键字保证了什么,请大家看前面对lock的介绍
    {
    if (!readerFlag)//如果现在不可读取
    {
      try
      {
      file://等待WriteToCell方法中调用Monitor.Pulse()方法
      Monitor.Wait(this);
      }
      catch (SynchronizationLockException e)
      {
      Console.WriteLine(e);
      }
      catch (ThreadInterruptedException e)
      {
      Console.WriteLine(e);
      }
    }
    Console.WriteLine("Consume: {0}",cellContents);
    readerFlag = false; file://重置readerFlag标志,表示消费行为已经完成
    Monitor.Pulse(this); file://通知WriteToCell()方法(该方法在另外一个线程中执行,等待中)
    }
    return cellContents;
  }

  public void WriteToCell(int n)
  {
    lock(this)
    {
    if (readerFlag)
    {
      try
      {
      Monitor.Wait(this);
      }
      catch (SynchronizationLockException e)
      {
      file://当同步方法(指Monitor类除Enter之外的方法)在非同步的代码区被调用
      Console.WriteLine(e);
      }
      catch (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代理对象,作为线程的入口。

  public class CellProd
  {
  Cell cell; // 被操作的Cell对象
  int quantity = 1; // 生产者生产次数,初始化为1

  public CellProd(Cell box, int request)
  {
    //构造函数
    cell = box;
    quantity = request;
  }
  public void ThreadRun( )
  {
    for(int looper=1; looper<=quantity; looper++)
    cell.WriteToCell(looper); file://生产者向操作对象写入信息
  }
   }


  public class CellCons
  {
  Cell cell;
  int quantity = 1;

  public CellCons(Cell box, int request)
  {
    cell = box;
    quantity = request;
  }
  public void ThreadRun( )
  {
    int valReturned;
    for(int looper=1; looper<=quantity; looper++)
    valReturned=cell.ReadFromCell( );//消费者从操作对象中读取信息
  }
   }

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

  public class MonitorSample
  {
  public static void Main(String[] args)
  {
    int result = 0; file://一个标志位,如果是0表示程序没有出错,如果是1表明有错误发生
    Cell cell = new Cell( );

    //下面使用cell初始化CellProdCellCons两个类,生产和消费次数均为20
    CellProd prod = new CellProd(cell, 20);
    CellCons cons = new CellCons(cell, 20);

    Thread producer = new Thread(new ThreadStart(prod.ThreadRun));
    Thread consumer = new Thread(new ThreadStart(cons.ThreadRun));
    //生产者线程和消费者线程都已经被创建,但是没有开始执行

    try
    {
    producer.Start( );
    consumer.Start( );

    producer.Join( );
    consumer.Join( );
    Console.ReadLine();
    }
    catch (ThreadStateException e)
    {
    file://当线程因为所处状态的原因而不能执行被请求的操作
    Console.WriteLine(e);
    result = 1;
    }
    catch (ThreadInterruptedException e)
    {
    file://当线程在等待状态的时候中止
    Console.WriteLine(e);
    result = 1;
    }
    //尽管Main()函数没有返回值,但下面这条语句可以向父进程返回执行结果
    Environment.ExitCode = result;
  }
   }

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

  Produce: 1
  Consume: 1
  Produce: 2
  Consume: 2
  Produce: 3
  Consume: 3
  ...
  ...
  Produce: 20
  Consume: 20


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

  四、线程池和定时器——多线程的自动管理
  在多线程的程序中,经常会出现两种情况。一种情况下,应用程序中的线程把大部分的时间花费在等待状态,等待某个事件发生,然后才能给予响应;而另外一种情况则是线程平常都处于休眠状态,只是周期性地被唤醒。在.net framework里边,我们使用ThreadPool来对付第一种情况,使用Timer来对付第二种情况。

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

  //将一个线程放进线程池,该线程的Start()方法将调用WaitCallback代理对象代表的函数
  public static bool QueueUserWorkItem(WaitCallback);
  //重载的方法如下,参数object将传递给WaitCallback所代表的方法
  public static bool QueueUserWorkItem(WaitCallback, object);


  要注意的是,ThreadPool类也是一个静态类,你不能也不必要生成它的对象,而且一旦使用该方法在线程池中添加了一个项目,那么该项目将是没有办法取消的。在这里你无需自己建立线程,只需把你要做的工作写成函数,然后作为参数传递给ThreadPool.QueueUserWorkItem()方法就行了,传递的方法就是依靠WaitCallback代理对象,而线程的建立、管理、运行等等工作都是由系统自动完成的,你无须考虑那些复杂的细节问题,线程池的优点也就在这里体现出来了,就好像你是公司老板——只需要安排工作,而不必亲自动手。

下面的例程演示了ThreadPool的用法。首先程序创建了一个ManualResetEvent对象,该对象就像一个信号灯,可以利用它的信号来通知其它线程,本例中当线程池中所有线程工作都完成以后,ManualResetEvent的对象将被设置为有信号,从而通知主线程继续运行。它有几个重要的方法:Reset()Set()WaitOne()。初始化该对象时,用户可以指定其默认的状态(有信号/无信号),在初始化以后,该对象将保持原来的状态不变直到它的Reset()或者Set()方法被调用,Reset()方法将其设置为无信号状态,Set()方法将其设置为有信号状态。WaitOne()方法使当前线程挂起直到ManualResetEvent对象处于有信号状态,此时该线程将被激活。然后,程序将向线程池中添加工作项,这些以函数形式提供的工作项被系统用来初始化自动建立的线程。当所有的线程都运行完了以后,ManualResetEvent.Set()方法被调用,因为调用了ManualResetEvent.WaitOne()方法而处在等待状态的主线程将接收到这个信号,于是它接着往下执行,完成后边的工作。


   using System;
   using System.Collections;

  using System.Threading;

  //这是用来保存信息的数据结构,将作为参数被传递
   public class SomeState

  {
  public int Cookie;
  public SomeState(int iCookie)
  {
    Cookie = iCookie;
  }
   }


  public class Alpha
  {
  public Hashtable HashCount;
  public ManualResetEvent eventX;
  public static int iCount = 0;
  public static int iMaxCount = 0;
  public Alpha(int MaxCount)
  {
    HashCount = new Hashtable(MaxCount);
    iMaxCount = MaxCount;
  }

  file://线程池里的线程将调用Beta()方法
  public void Beta(Object state)
  {
    //输出当前线程的hash编码值和Cookie的值
    Console.WriteLine(" {0} {1} :", Thread.CurrentThread.GetHashCode(),
    ((SomeState)state).Cookie);
    Console.WriteLine("HashCount.Count=={0}, Thread.CurrentThread.GetHashCode()=={1}", HashCount.Count, Thread.CurrentThread.GetHashCode());
    lock (HashCount)
    {
    file://如果当前的Hash表中没有当前线程的Hash值,则添加之
    if (!HashCount.ContainsKey(Thread.CurrentThread.GetHashCode()))
      HashCount.Add (Thread.CurrentThread.GetHashCode(), 0);
    HashCount[Thread.CurrentThread.GetHashCode()] =
((int)HashCount[Thread.CurrentThread.GetHashCode()])+1;
    }

    int iX = 2000;
    Thread.Sleep(iX);
    //Interlocked.Increment()操作是一个原子操作,具体请看下面说明
    Interlocked.Increment(ref iCount);
    if (iCount == iMaxCount)
    {
    Console.WriteLine();
    Console.WriteLine("Setting eventX ");
    eventX.Set();
    }
  }
   }


  public class SimplePool
  {
  public static int Main(string[] args)
  {
    Console.WriteLine("Thread Pool Sample:");
    bool W2K = false;
    int MaxCount = 10;//允许线程池中运行最多10个线程
    //新建ManualResetEvent对象并且初始化为无信号状态
    ManualResetEvent eventX = new ManualResetEvent(false);
    Console.WriteLine("Queuing {0} items to Thread Pool", MaxCount);
    Alpha oAlpha = new Alpha(MaxCount); file://创建工作项
    //注意初始化oAlpha对象的eventX属性
    oAlpha.eventX = eventX;
    Console.WriteLine("Queue to Thread Pool 0");
    try
    {
    file://将工作项装入线程池
    file://这里要用到Windows 2000以上版本才有的API,所以可能出现NotSupportException异常
    ThreadPool.QueueUserWorkItem(new WaitCallback(oAlpha.Beta),
    new SomeState(0));
    W2K = true;
    }
    catch (NotSupportedException)
    {
    Console.WriteLine("These API's may fail when called on a non-Windows 2000 system.");
    W2K = false;
    }
    if (W2K)//如果当前系统支持ThreadPool的方法.
    {
    for (int iItem=1;iItem < MaxCount;iItem++)
    {
      //插入队列元素
      Console.WriteLine("Queue to Thread Pool {0}", iItem);
      ThreadPool.QueueUserWorkItem(new WaitCallback(oAlpha.Beta),new SomeState(iItem));
    }
    Console.WriteLine("Waiting for Thread Pool to drain");
    file://等待事件的完成,即线程调用ManualResetEvent.Set()方法
    eventX.WaitOne(Timeout.Infinite,true);
    file://WaitOne()方法使调用它的线程等待直到eventX.Set()方法被调用
    Console.WriteLine("Thread Pool has been drained (Event fired)");
    Console.WriteLine();
    Console.WriteLine("Load across threads");
    foreach(object o in oAlpha.HashCount.Keys)
    Console.WriteLine("{0} {1}", o, oAlpha.HashCount[o]);
    }
    Console.ReadLine();
    return 0;

  }
   }


  程序中有些小地方应该引起我们的注意。SomeState类是一个保存信息的数据结构,在上面的程序中,它作为参数被传递给每一个线程,你很容易就能理解这个,因为你需要把一些有用的信息封装起来提供给线程,而这种方式是非常有效的。程序出现的InterLocked类也是专为多线程程序而存在的,它提供了一些有用的原子操作,所谓原子操作就是在多线程程序中,如果这个线程调用这个操作修改一个变量,那么其他线程就不能修改这个变量了,这跟lock关键字在本质上是一样的。

  我们应该彻底地分析上面的程序,把握住线程池的本质,理解它存在的意义是什么,这样我们才能得心应手地使用它。下面是该程序的输出结果:

  Thread Pool Sample:
  Queuing 10 items to Thread Pool
  Queue to Thread Pool 0
  Queue to Thread Pool 1
  ...
  ...
  Queue to Thread Pool 9
  Waiting for Thread Pool to drain
  98 0 :
  HashCount.Count==0, Thread.CurrentThread.GetHashCode()==98
   100 1 :

  HashCount.Count==1, Thread.CurrentThread.GetHashCode()==100
  98 2 :
  ...
  ...
  Setting eventX
  Thread Pool has been drained (Event fired)
  Load across threads
  101 2
  100 3
  98 4
  102 1


  ThreadPool类不同,Timer类的作用是设置一个定时器,定时执行用户指定的函数,而这个函数的传递是靠另外一个代理对象TimerCallback,它必须在创建Timer对象时就指定,并且不能更改。定时器启动后,系统将自动建立一个新的线程,并且在这个线程里执行用户指定的函数。下面的语句初始化了一个Timer对象:

  Timer timer = new Timer(timerDelegate, s,1000, 1000);


  第一个参数指定了TimerCallback代理对象;第二个参数的意义跟上面提到的WaitCallback代理对象的一样,作为一个传递数据的对象传递给要调用的方法;第三个参数是延迟时间——计时开始的时刻距现在的时间,单位是毫秒;第四个参数是定时器的时间间隔——计时开始以后,每隔这么长的一段时间,TimerCallback所代表的方法将被调用一次,单位也是毫秒。这句话的意思就是将定时器的延迟时间和时间间隔都设为1秒钟。

  定时器的设置是可以改变的,只要调用Timer.Change()方法,这是一个参数类型重载的方法,一般使用的原型如下:

   public bool Change(long, long);


  下面这段代码将前边设置的定时器修改了一下:

   timer.Change(10000,2000);


  很显然,定时器timer的时间间隔被重新设置为2秒,停止计时10秒后生效。

  下面这段程序演示了Timer类的用法。


   using System;

  using System.Threading;
  class TimerExampleState
  {
  public int counter = 0;
  public Timer tmr;
   }


  class App
  {
  public static void Main()
  {
    TimerExampleState s = new TimerExampleState();

    //创建代理对象TimerCallback,该代理将被定时调用
    TimerCallback timerDelegate = new TimerCallback(CheckStatus);

    //创建一个时间间隔为1s的定时器
    Timer timer = new Timer(timerDelegate, s,1000, 1000);
    s.tmr = timer;

    //主线程停下来等待Timer对象的终止
    while(s.tmr != null)
    Thread.Sleep(0);
    Console.WriteLine("Timer example done.");
    Console.ReadLine();
  }
  file://下面是被定时调用的方法

  static void CheckStatus(Object state)
  {
    TimerExampleState s =(TimerExampleState)state;
    s.counter++;
    Console.WriteLine("{0} Checking Status {1}.",DateTime.Now.TimeOfDay, s.counter);
    if(s.counter == 5)
    {
    file://使用Change方法改变了时间间隔
    (s.tmr).Change(10000,2000);
    Console.WriteLine("changed...");
    }
    if(s.counter == 10)
    {
    Console.WriteLine("disposing of timer...");
    s.tmr.Dispose();
    s.tmr = null;
    }
  }
   }


  程序首先创建了一个定时器,它将在创建1秒之后开始每隔1秒调用一次CheckStatus()方法,当调用5次以后,在CheckStatus()方法中修改了时间间隔为2秒,并且指定在10秒后重新开始。当计数达到10次,调用Timer.Dispose()方法删除了timer对象,主线程于是跳出循环,终止程序。程序执行的结果如下:


  上面就是对ThreadPoolTimer两个类的简单介绍,充分利用系统提供的功能,可以为我们省去很多时间和精力——特别是对很容易出错的多线程程序。同时我们也可以看到.net Framework强大的内置对象,这些将对我们的编程带来莫大的方便。

、互斥对象——更加灵活的同步方式

  有 时候你会觉得上面介绍的方法好像不够用,对,我们解决了代码和资源的同步问题,解决了多线程自动化管理和定时触发的问题,但是如何控制多个线程相互之间的 联系呢?例如我要到餐厅吃饭,在吃饭之前我先得等待厨师把饭菜做好,之后我开始吃饭,吃完我还得付款,付款方式可以是现金,也可以是信用卡,付款之后我才 能离开。分析一下这个过程,我吃饭可以看作是主线程,厨师做饭又是一个线程,服务员用信用卡收款和收现金可以看作另外两个线程,大家可以很清楚地看到其中 的关系——我吃饭必须等待厨师做饭,然后等待两个收款线程之中任意一个的完成,然后我吃饭这个线程可以执行离开这个步骤,于是我吃饭才算结束了。事实上,现实中有着比这更复杂的联系,我们怎样才能很好地控制它们而不产生冲突和重复呢?

  这种情况下,我们需要用到互斥对象,即System.Threading命名空间中的Mutex类。大家一定坐过出租车吧,事实上我们可以把Mutex看作一个出租车,那么乘客就是线程了,乘客首先得等车,然后上车,最后下车,当一个乘客在车上时,其他乘客就只有等他下车以后才可以上车。而线程与Mutex对象的关系也正是如此,线程使用Mutex.WaitOne()方法等待Mutex对象被释放,如果它等待的Mutex对象被释放了,它就自动拥有这个对象,直到它调用Mutex.ReleaseMutex()方法释放这个对象,而在此期间,其他想要获取这个Mutex对象的线程都只有等待。

  下面这个例子使用了Mutex对象来同步四个线程,主线程等待四个线程的结束,而这四个线程的运行又是与两个Mutex对象相关联的。其中还用到AutoResetEvent类的对象,如同上面提到的ManualResetEvent对象一样,大家可以把它简单地理解为一个信号灯,使用AutoResetEvent.Set()方法可以设置它为有信号状态,而使用AutoResetEvent.Reset()方法把它设置为无信号状态。这里用它的有信号状态来表示一个线程的结束。


   // Mutex.cs

  using System;
  using System.Threading;

  public class MutexSample
  {
  static Mutex gM1;
  static Mutex gM2;
  const int ITERS = 100;
  static AutoResetEvent Event1 = new AutoResetEvent(false);
  static AutoResetEvent Event2 = new AutoResetEvent(false);
  static AutoResetEvent Event3 = new AutoResetEvent(false);
  static AutoResetEvent Event4 = new AutoResetEvent(false);

  public static void Main(String[] args)
  {
    Console.WriteLine("Mutex Sample ...");
    //创建一个Mutex对象,并且命名为MyMutex
    gM1 = new Mutex(true,"MyMutex");
    //创建一个未命名的Mutex 对象.
    gM2 = new Mutex(true);
    Console.WriteLine(" - Main Owns gM1 and gM2");

    AutoResetEvent[] evs = new AutoResetEvent[4];
    evs[0] = Event1; file://为后面的线程t1,t2,t3,t4定义AutoResetEvent对象
    evs[1] = Event2;
    evs[2] = Event3;
    evs[3] = Event4;

    MutexSample tm = new MutexSample( );
    Thread t1 = new Thread(new ThreadStart(tm.t1Start));
    Thread t2 = new Thread(new ThreadStart(tm.t2Start));
    Thread t3 = new Thread(new ThreadStart(tm.t3Start));
    Thread t4 = new Thread(new ThreadStart(tm.t4Start));
    t1.Start( );// 使用Mutex.WaitAll()方法等待一个Mutex数组中的对象全部被释放
    t2.Start( );// 使用Mutex.WaitOne()方法等待gM1的释放
    t3.Start( );// 使用Mutex.WaitAny()方法等待一个Mutex数组中任意一个对象被释放
    t4.Start( );// 使用Mutex.WaitOne()方法等待gM2的释放


    Thread.Sleep(2000);
    Console.WriteLine(" - Main releases gM1");
    gM1.ReleaseMutex( ); file://线程t2,t3结束条件满足

    Thread.Sleep(1000);
    Console.WriteLine(" - Main releases gM2");
    gM2.ReleaseMutex( ); file://线程t1,t4结束条件满足

    //等待所有四个线程结束
    WaitHandle.WaitAll(evs);
    Console.WriteLine("... Mutex Sample");
    Console.ReadLine();
  }

  public void t1Start( )
  {
    Console.WriteLine("t1Start started, Mutex.WaitAll(Mutex[])");
    Mutex[] gMs = new Mutex[2];
    gMs[0] = gM1;//创建一个Mutex数组作为Mutex.WaitAll()方法的参数
    gMs[1] = gM2;
    Mutex.WaitAll(gMs);//等待gM1gM2都被释放
    Thread.Sleep(2000);
    Console.WriteLine("t1Start finished, Mutex.WaitAll(Mutex[]) satisfied");
    Event1.Set( ); file://线程结束,将Event1设置为有信号状态
  }

  public void t2Start( )
  {
    Console.WriteLine("t2Start started, gM1.WaitOne( )");
    gM1.WaitOne( );//等待gM1的释放
    Console.WriteLine("t2Start finished, gM1.WaitOne( ) satisfied");
    Event2.Set( );//线程结束,将Event2设置为有信号状态
  }

  public void t3Start( )
  {
    Console.WriteLine("t3Start started, Mutex.WaitAny(Mutex[])");
    Mutex[] gMs = new Mutex[2];
    gMs[0] = gM1;//创建一个Mutex数组作为Mutex.WaitAny()方法的参数
    gMs[1] = gM2;
    Mutex.WaitAny(gMs);//等待数组中任意一个Mutex对象被释放
    Console.WriteLine("t3Start finished, Mutex.WaitAny(Mutex[])");
    Event3.Set( );//线程结束,将Event3设置为有信号状态
  }

  public void t4Start( )
  {
    Console.WriteLine("t4Start started, gM2.WaitOne( )");
    gM2.WaitOne( );//等待gM2被释放
    Console.WriteLine("t4Start finished, gM2.WaitOne( )");
    Event4.Set( );//线程结束,将Event4设置为有信号状态
  }
   }


  下面是该程序的执行结果:


  从执行结果可以很清楚地看到,线程t2,t3的运行是以gM1的释放为条件的,而t4gM2释放后开始执行,t1则在gM1gM2都被释放了之后才执行。Main()函数最后,使用WaitHandle等待所有的AutoResetEvent对象的信号,这些对象的信号代表相应线程的结束。

  六、小结

  多线程程序设计是一个庞大的主题,而本文试图在.net Framework环境下,使用最新的C#语言来描述多线程程序的概貌。希望本文能有助于大家理解线程这种概念,理解多线程的用途,理解它的C#实现方法,理解线程将为我们带来的好处和麻烦。C#是一种新的语言,因此它的线程机制也有许多独特的地方,希望大家能通过本文清楚地看到这些,从而可以对线程进行更深入的理解和探索。

posted on 2006-11-08 20:59  沧海-重庆  阅读(451)  评论(0编辑  收藏  举报