C#多线程编程实例实战

牐牭ジ鲂慈氤绦/多个阅读程序在.Net类库中其实已经提供了实现，即System.Threading.ReaderWriterLock类。本文通过对常见的单个写入/多个阅读程序的分析来探索c#的多线程编程。

　

牐问题的提出

　

牐犓谓单个写入程序/多个阅读程序的线程同步问题，是指任意数量的线程访问共享资源时，写入程序（线程）需要修改共享资源，而阅读程序（线程）需要读取数据。在这个同步问题中，很容易得到下面二个要求：

　

牐1） 当一个线程正在写入数据时，其他线程不能写，也不能读。

　

牐2） 当一个线程正在读入数据时，其他线程不能写，但能够读。

　

牐犜谑据库应用程序环境中经常遇到这样的问题。比如说，有n个最终用户，他们都要同时访问同一个数据库。其中有m个用户要将数据存入数据库，n-m个用户要读取数据库中的记录。

　

牐牶芟匀唬在这个环境中，我们不能让两个或两个以上的用户同时更新同一条记录，如果两个或两个以上的用户都试图同时修改同一记录，那么该记录中的信息就会被破坏。

　

牐犖颐且膊蝗靡桓鲇没Ц新数据库记录的同时，让另一用户读取记录的内容。因为读取的记录很有可能同时包含了更新和没有更新的信息，也就是说这条记录是无效的记录。

　

牐实现分析

　

牐牴娑ㄈ我幌叱桃对资源进行写或读操作前必须申请锁。根据操作的不同，分为阅读锁和写入锁，操作完成之后应释放相应的锁。将单个写入程序/多个阅读程序的要求改变一下，可以得到如下的形式：

　

牐犚桓鱿叱躺昵朐亩了的成功条件是：当前没有活动的写入线程。

　

牐犚桓鱿叱躺昵胄慈胨的成功条件是：当前没有任何活动（对锁而言）的线程。

　

牐犚虼耍为了标志是否有活动的线程，以及是写入还是阅读线程，引入一个变量m_nActive，如果m_nActive > 0，则表示当前活动阅读线程的数目，如果m_nActive=0，则表示没有任何活动线程，m_nActive <0，表示当前有写入线程在活动，注意m_nActive<0，时只能取-1的值，因为只允许有一个写入线程活动。

　

牐犖了判断当前活动线程拥有的锁的类型，我们采用了线程局部存储技术（请参阅其它参考书籍），将线程与特殊标志位关联起来。

　

牐犐昵朐亩了的函数原型为：public void AcquireReaderLock( int millisecondsTimeout )，其中的参数为线程等待调度的时间。函数定义如下：

　

牐爌ublic void AcquireReaderLock( int millisecondsTimeout )

　

牐爗

　

牐// m_mutext很快可以得到，以便进入临界区

　

牐爉_mutex.WaitOne( );

　

牐// 是否有写入线程存在

　

牐燽ool bExistingWriter = ( m_nActive < 0 );

　

牐爄f( bExistingWriter )

　

牐爗 //等待阅读线程数目加1,当有锁释放时，根据此数目来调度线程

　

牐爉_nWaitingReaders++;

　

牐爙

　

牐爀lse

　

牐爗 //当前活动线程加1

　

牐爉_nActive++;

　

牐爙

　

牐爉_mutex.ReleaseMutex();

　

牐//存储锁标志为Reader

　

牐燬ystem.LocalDataStoreSlot slot = Thread.GetNamedDataSlot(m_strThreadSlotName);

　

牐爋bject obj = Thread.GetData( slot );

　

牐燣ockFlags flag = LockFlags.None;

　

牐爄f( obj != null )

　

牐爁lag = (LockFlags)obj ;

　

牐爄f( flag == LockFlags.None )

　

牐爗

　

牐燭hread.SetData( slot, LockFlags.Reader );

　

牐爙

　

牐爀lse

　

牐爗

　

牐燭hread.SetData( slot, (LockFlags)((int)flag | (int)LockFlags.Reader ) );

　

牐爙

　

　

牐爄f( bExistingWriter )

　

牐爗 //等待指定的时间

　

牐爐his.m_aeReaders.WaitOne( millisecondsTimeout, true );

　

牐爙

　

牐爙

　

牐犓首先进入临界区（用以在多线程环境下保证活动线程数目的操作的正确性）判断当前活动线程的数目，如果有写线程(m_nActive<0)存在，则等待指定的时间并且等待的阅读线程数目加1。如果当前活动线程是读线程(m_nActive>=0)，则可以让读线程继续运行。



牐犐昵胄慈胨的函数原型为：public void AcquireWriterLock( int millisecondsTimeout )，其中的参数为等待调度的时间。函数定义如下：

　

牐爌ublic void AcquireWriterLock( int millisecondsTimeout )

　

牐爗

　

牐// m_mutext很快可以得到，以便进入临界区

　

牐爉_mutex.WaitOne( );

　

牐// 是否有活动线程存在

　

牐燽ool bNoActive = m_nActive == 0;

　

牐爄f( !bNoActive )

　

牐爗

　

牐爉_nWaitingWriters++;

　

牐爙

　

牐爀lse

　

牐爗

　

牐爉_nActive--;

　

牐爙

　

牐爉_mutex.ReleaseMutex();

　

牐//存储线程锁标志

　

牐燬ystem.LocalDataStoreSlot slot = Thread.GetNamedDataSlot( "myReaderWriterLockDataSlot" );

　

牐爋bject obj = Thread.GetData( slot );

　

牐燣ockFlags flag = LockFlags.None;

　

牐爄f( obj != null )

　

牐爁lag = (LockFlags)Thread.GetData( slot );

　

牐爄f( flag == LockFlags.None )

　

牐爗

　

牐燭hread.SetData( slot, LockFlags.Writer );

　

牐爙

　

牐爀lse

　

牐爗

　

牐燭hread.SetData( slot, (LockFlags)((int)flag | (int)LockFlags.Writer ) );

　

牐爙

　

牐//如果有活动线程，等待指定的时间

　

牐爄f( !bNoActive )

　

牐爐his.m_aeWriters.WaitOne( millisecondsTimeout, true );

　

牐爙

　

牐犓首先进入临界区判断当前活动线程的数目，如果当前有活动线程存在，不管是写线程还是读线程（m_nActive），线程将等待指定的时间并且等待的写入线程数目加1，否则线程拥有写的权限。

　

牐犑头旁亩了的函数原型为：public void ReleaseReaderLock()。函数定义如下：

　

牐爌ublic void ReleaseReaderLock()

　

牐爗

　

牐燬ystem.LocalDataStoreSlot slot = Thread.GetNamedDataSlot(m_strThreadSlotName );

　

牐燣ockFlags flag = (LockFlags)Thread.GetData( slot );

　

牐爄f( flag == LockFlags.None )

　

牐爗

牐爎eturn;

　

牐爙

　

牐燽ool bReader = true;

　

牐爏witch( flag )

　

牐爗

　

牐燾ase LockFlags.None:

　

牐燽reak;

　

牐燾ase LockFlags.Writer:

　

牐燽Reader = false;

　

牐燽reak;

　

牐爙

　

牐爄f( !bReader )

　

牐爎eturn;

　

牐燭hread.SetData( slot, LockFlags.None );

　

牐爉_mutex.WaitOne();

　

牐燗utoResetEvent autoresetevent = null;

　

牐爐his.m_nActive --;

　

牐爄f( this.m_nActive == 0 )

　

牐爗

　

牐爄f( this.m_nWaitingReaders > 0 )

　

牐爗

　

牐爉_nActive ++ ;

　

牐爉_nWaitingReaders --;

　

牐燼utoresetevent = this.m_aeReaders;

　

牐爙

　

牐爀lse if( this.m_nWaitingWriters > 0)

　

牐爗

　

牐爉_nWaitingWriters--;

　

牐爉_nActive --;

　

牐燼utoresetevent = this.m_aeWriters ;

　

牐爙

　

牐爙

　

牐爉_mutex.ReleaseMutex();

　

牐爄f( autoresetevent != null )

　

牐燼utoresetevent.Set();

　

牐爙

　

　

牐犑头旁亩了时，首先判断当前线程是否拥有阅读锁（通过线程局部存储的标志），然后判断是否有等待的阅读线程，如果有，先将当前活动线程加1，等待阅读线程数目减1，然后置事件为有信号。如果没有等待的阅读线程，判断是否有等待的写入线程，如果有则活动线程数目减1，等待的写入线程数目减1。释放写入锁与释放阅读锁的过程基本一致，可以参看源代码。

　

牐犠⒁庠诔绦蛑校释放锁时，只会唤醒一个阅读程序，这是因为使用AutoResetEvent的原历，读者可自行将其改成ManualResetEvent，同时唤醒多个阅读程序，此时应令m_nActive等于整个等待的阅读线程数目。



牐犐昵胄慈胨的函数原型为：public void AcquireWriterLock( int millisecondsTimeout )，其中的参数为等待调度的时间。函数定义如下：

　

牐爌ublic void AcquireWriterLock( int millisecondsTimeout )

　

牐爗

　

牐// m_mutext很快可以得到，以便进入临界区

　

牐爉_mutex.WaitOne( );

　

牐// 是否有活动线程存在

　

牐燽ool bNoActive = m_nActive == 0;

　

牐爄f( !bNoActive )

　

牐爗

　

牐爉_nWaitingWriters++;

　

牐爙

　

牐爀lse

　

牐爗

　

牐爉_nActive--;

　

牐爙

　

牐爉_mutex.ReleaseMutex();

　

牐//存储线程锁标志

　

牐燬ystem.LocalDataStoreSlot slot = Thread.GetNamedDataSlot( "myReaderWriterLockDataSlot" );

　

牐爋bject obj = Thread.GetData( slot );

　

牐燣ockFlags flag = LockFlags.None;

　

牐爄f( obj != null )

　

牐爁lag = (LockFlags)Thread.GetData( slot );

　

牐爄f( flag == LockFlags.None )

　

牐爗

　

牐燭hread.SetData( slot, LockFlags.Writer );

　

牐爙

　

牐爀lse

　

牐爗

　

牐燭hread.SetData( slot, (LockFlags)((int)flag | (int)LockFlags.Writer ) );

　

牐爙

　

牐//如果有活动线程，等待指定的时间

　

牐爄f( !bNoActive )

　

牐爐his.m_aeWriters.WaitOne( millisecondsTimeout, true );

　

牐爙

　

牐犓首先进入临界区判断当前活动线程的数目，如果当前有活动线程存在，不管是写线程还是读线程（m_nActive），线程将等待指定的时间并且等待的写入线程数目加1，否则线程拥有写的权限。

　

牐犑头旁亩了的函数原型为：public void ReleaseReaderLock()。函数定义如下：

　

牐爌ublic void ReleaseReaderLock()

　

牐爗

　

牐燬ystem.LocalDataStoreSlot slot = Thread.GetNamedDataSlot(m_strThreadSlotName );

　

牐燣ockFlags flag = (LockFlags)Thread.GetData( slot );

　

牐爄f( flag == LockFlags.None )

　

牐爗

牐爎eturn;

　

牐爙

　

牐燽ool bReader = true;

　

牐爏witch( flag )

　

牐爗

　

牐燾ase LockFlags.None:

　

牐燽reak;

　

牐燾ase LockFlags.Writer:

　

牐燽Reader = false;

　

牐燽reak;

　

牐爙

　

牐爄f( !bReader )

　

牐爎eturn;

　

牐燭hread.SetData( slot, LockFlags.None );

　

牐爉_mutex.WaitOne();

　

牐燗utoResetEvent autoresetevent = null;

　

牐爐his.m_nActive --;

　

牐爄f( this.m_nActive == 0 )

　

牐爗

　

牐爄f( this.m_nWaitingReaders > 0 )

　

牐爗

　

牐爉_nActive ++ ;

　

牐爉_nWaitingReaders --;

　

牐燼utoresetevent = this.m_aeReaders;

　

牐爙

　

牐爀lse if( this.m_nWaitingWriters > 0)

　

牐爗

　

牐爉_nWaitingWriters--;

　

牐爉_nActive --;

　

牐燼utoresetevent = this.m_aeWriters ;

　

牐爙

　

牐爙

　

牐爉_mutex.ReleaseMutex();

　

牐爄f( autoresetevent != null )

　

牐燼utoresetevent.Set();

　

牐爙

　

　

牐犑头旁亩了时，首先判断当前线程是否拥有阅读锁（通过线程局部存储的标志），然后判断是否有等待的阅读线程，如果有，先将当前活动线程加1，等待阅读线程数目减1，然后置事件为有信号。如果没有等待的阅读线程，判断是否有等待的写入线程，如果有则活动线程数目减1，等待的写入线程数目减1。释放写入锁与释放阅读锁的过程基本一致，可以参看源代码。

　

牐犠⒁庠诔绦蛑校释放锁时，只会唤醒一个阅读程序，这是因为使用AutoResetEvent的原历，读者可自行将其改成ManualResetEvent，同时唤醒多个阅读程序，此时应令m_nActive等于整个等待的阅读线程数目。