当所有线程在相互不需要通信的情况下,就能顺利的运行时,系统能够运行的最好。但是,这种情况并不多,往往多个线程需要共同访问一些有限的资源,或者线程之间的工作本身就是有联系的,需要一些线程完成以后,通知其他的线程。
为了是共享的资源不被破快,需要线程之间进行同步。
Windows系统提供了一些同步的方法,在《Windows核心编程》中进行了描述。在.net中的线程同步也是按照这个思路体现的。
1.原子访问:互锁的函数家族
当多个线程访问共享数据时,必须以线程安全的方式访问。System.Threading.Interlocked类定义了一套静态方法来修改变量。
Add 已重载。 以原子操作的形式,添加两个整数并用两者的和替换第一个整数。
CompareExchange 已重载。 比较两个值是否相等,如果相等,则替换其中一个值。
Decrement 已重载。 以原子操作的形式递减指定变量的值并存储结果。
Exchange 已重载。 以原子操作的形式将变量设置为指定的值。
Increment 已重载。 以原子操作的形式递增指定变量的值并存储结果。
Read 返回一个以原子操作形式加载的 64 位值。
原子访问只能对单值的类型进行简单的操作,特点是运行的速度比较快,因为这些代码的实现都是与硬件直接相关的,比如x86与其他内核的实现可能不同。
2.关键代码段
关键代码段是能够让若干行代码以“原子访问”的形式访问一些资源的方法。
在.net中以Monitor的形式实现。而lock语句,实际上是调用Monitor.Enter和Monitor.Exit实现的。
如:
- class ThreadSafe {
- static object locker = new object();
- static int val1, val2;
- static void Go() {
- lock (locker) {
- if (val2 != 0) Console.WriteLine (val1 / val2);
- val2 = 0;
- }
- }
- }
3.基于内核对象的线程同步
原子访问模式只能在单值上实现,根本无法使线程进入等待状态。而关键代码段能够使线程进入等待状态,但是要求这些线程必须属于同一个进程,同时使用不当容易产生死锁,在使用Monitor时TryEnter可是设定超时,而Enter以及Lock语句都没有超时的概念容易产生死锁。
而内和对象同步则具有很好的适应性,唯一的缺点是速度比较慢。
System.Threading命名空间提供了一个称为WaitHandle的抽象基类,它的唯一目的是包装Windows内核对象句柄。