C#的多线程机制探索(3.1)

 

C#的多线程机制探索(3.1)

2007-04-03 15:51

三 . 线程的同步和通讯 —— 生产者和消费者 　　 假 设这样一种情况，两个线程同时维护一个队列，如果一个线程对队列中添加元素，而另外一个线程从队列中取用元素，那么我们称添加元素的线程为生产者，称取用 元素的线程为消费者。生产者与消费者问题看起来很简单，但是却是多线程应用中一个必须解决的问题，它涉及到线程之间的同步和通讯问题。 　　 前面说过，每个线程都有自己的资源，但是代码区是共享的，即每个线程都可以执行相同的函数。但是多线程环境下，可能带来的问题就是几个线程同时执行一个函数，导致数据的混乱，产生不可预料的结果，因此我们必须避免这种情况的发生。 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() 方法通知等待队列中的第一个线程，于是该线程被转移到预备队列中，当对象锁被释放时，在预备队列中的线程可以立即获得对象锁。