【高并发程序设计】无锁

并发控制中， 加锁的策略是悲观的， 其总是假设每次临界区操作都会产生冲突，因此每次都小心翼翼的。 当多个线程同时访问临界区资源时， 即便操作过程不会冲突， 程序也依然加锁让单一线程独享临界区资源， 同时挂起其他要访问的线程让它们等待， 这会牺牲系统性能。 而另一种无锁策略， 假设所有资源的访问都没有冲突， 因此也就不需要挂起等待， 所有线程均可以在不停顿的情况下执行。 多线程情况下的冲突是难免的， 那么真的发生了冲突， 无锁策略要怎么发现并处理呢？  这就引出了比较交换技术(CAS).

1. 比较交换(CAS)--乐观锁

CAS不存在阻塞， 故其对死锁问题天然免疫； 由于不需要线程间切换与同步， 也就没有了线程调度所需要的系统开销， 因此无锁策略的性能相较锁策略会更有优。

CAS算法的过程是这样的:  实际上其可以理解为含有三个参数的方法CAS(V, E, N), 其中V表示要更新的变量，E表示预期值， N表示新值。当且仅当E与变量V的值相等时， 才会将N设置给V； 否则，说明在本线程更新前已经有其他线程做过了更新， 那么当前线程什么都不做。最后， CAS返回变量V当前的真实值。当多个线程同时使用CAS操作一个变量时， 只会有一个胜出并更新成功， 其他线程都会失败。 失败的线程并不会被挂起， 仅是被告知失败了， 那么接下来要执行什么动作(重试或放弃)， 由调用代码来决定。 JAVA的CAS，是基于处理器(CPU)支持的原子化CAS指令来进行的， 从而实现并发操作和并发数据结构。  

2. juc中的CAS类型

2.1. AtomicInteger-无锁的线程安全整数

2.2. AtomicLong

2.3. AtomicBoolean

2.4. AtomicReference

2.5. AtomicStampedReference 解决无锁中的ABA问题 

2.6. AtomicIntegerArray， AtomicLongArray、AtomicReferenceArray 无锁数组

2.7. AtomicIntegerFiledUpdater， AtomicLongFiledUpdater， AtomicReferenceFiledUpdater