.NET基础扩展系列-事件的实现原理(2)

　　此时的NewMail 为null, newHandler 为FunctionA. 线程A停止.
 
第二步：线程B开始执行,将整个函数执行完,
　　此时NewMail 为FunctionB
 
第三步：线程A继续执行, 会执行这一句: tmp = Interlocked.CompareExchange<EventHandler<EventArgs>>(ref NewMail, newHandler, prevHandler);
由于此时NewMail =FunctionB , 所以tmp 会=FunctionB ,
但由于prevHandler= FunctionA, 所以NewMail!=prevHandler, 所以NewMail保持值不变.
往下执行while (tmp != prevHandler)的判断, 就会发现tmp!=prevHandler, 就会继续循环, 直到NewMail 和prevHandler 值一样了,才会退出循环.
这样看就比较清楚, 为什么不能用Exchange了, 如果使用Exchange,那么在第三步的时候, 就会直接执行赋值, 将NewMail设置为FunctionA,那么FucntionB就不会出现在时间相应函数的委托链表中.
 
为什么CompareExchange, 就可以呢?
其实是用CompareExchange去验证线程并发控制的一个最根本的原则: 如果一个操作要被看做是不可打断的, 那么从开始到完成的真个环节中, 操作的环境不能改变.
我们随使用CompareExchange, 就可以验证NewMail 是不是我们最开始操作时候的prevHandler, 如果不是, 说明操作的基本环境已经改变, 这次操作就是无效的.
这种方式, 可以在不适用lock的情况下, 实现并发控制, 相当精妙.

摘自  Dunnice