说到线程安全，不要一下子就想到加锁，尤其是可能会调用频繁或者是要求高性能的场合。
对于性能要求不高或者同步的对象数量不多的时候，加锁是一个比较简单而且易于实现的选择。比方说.NET提供的一些基础类库，比如线程安全的堆栈和队列，如果使用加锁的方式那么会使性能大打折扣（速度可能会降低好几个数量级），而且如果设计得不好的话还有可能发生死锁。
现在通过查看微软的源代码来学习一些不直接lock（等价于Monitor类）的线程同步技巧吧。
这里我们主要用的是Interlocked类，这个类按照M$的描述，是“为多个线程共享的变量提供原子操作”，当然这个类是一个静态类。这个类的源代码看不到，因为是调用的CLR内部的方法，不过基本思想应该是通过硬件原语try and set来实现的。
该类提供的Add、Increment、Decrement能够完成简单的原子操作。
假如我们要提供一个计数器，每访问一次就递增地返回一个新的数值用于计数。在多线程环境下，s++这一条语句不是线程安全的。因为执行这个语句要经过：移到寄存器（读取）、运算、写入这几个步骤，在任何时候都可能会切换到其他线程，这样子s被多个线程访问值可能会在切换的过程中丢失。有了Interlocked提供的这几个原子操作的方法，就不用自己去加锁实现这些简单的运算了。由于是使用的硬件原语，其效率自然也比加锁高得多。
但是大多数情况下，问题并没有执行相加相减运算那么简单，这时如果不想用锁的话就要想想办法了。
以微软的ConcurrentStack提供的线程安全的堆栈为例，分析一下如何实现如果往栈头添加数据。
m_head是指向堆顶的指针，在定义的时候由于是多线程访问的，所以要加上volatile修饰符：
SpinOnce的说明很简单，就是执行单一自旋，可以理解为等待一个很短的时间。总的来说，当自旋此时达到5次时，会切换到同一处理器上的另一个线程，当达到20次时，会调用Thread的Sleep方法阻塞当前线程，此时可以切换到其他同优先级或更高优先级的线程上去。
这样，就可以避免加锁（lock free）的高昂代价来实现线程的同步。
但是有的时候我们不能保证线程安全。比如堆栈的Count属性，在程序调用这个属性后，我们并不能保证这个属性返回的时候是正确的，在返回到应用程序的线程前元素数量是有可能变化的，因此我们也就只能保证我们的返回值曾经正确。
不过显而易见，这是可以接受的。对于开发者来说，假如我们要访问一个多线程字典（ConcurrentDictionary）中的指定元素，我们不应该是先判断是否为空再取元素（因为元素可能在这两步操作之间被删掉），而是应该使用TryGetValue这种保证线程安全的方法来进行操作。