多线程基础总结五－－atomic

核心提示： 这个例子实现了原子计数器的两个版本：AtomicCounter，AtomicCounter2，多线程基础总结五－－atomic(3)，AtomicCounterSample作为 Thread的子类对共享变量AtomicCounter或者AtomicCounter2内的counter变量进行增幅为

这个例子实现了原子计数器的两个版本：AtomicCounter，AtomicCounter2。AtomicCounterSample作为 Thread的子类对共享变量AtomicCounter或者AtomicCounter2内的counter变量进行增幅为1的递增。主函数的过程是开启5000线程，并且每个线程随机睡眠极短时间后执行递增。所以线程安全的执行结果应该是5000。

首先看版本1：AtomicCounter内的共享变量使用了Integer的原子类代替，在get()方法中不使用锁，也不用担心获取的过程中别的线程去改变counter的值，因为这些原子类可以看成volatile的范化扩展，可见性能够保证。而在counterIncrement()方法中揭示了使用原子类的重要技巧：循环结合CAS。这个技巧可以帮助我们实现复杂的非阻塞并发集合。方法中的 counter.compareAndSet(current, next)就是原子类使用的精髓－－CAS操作。compareAndSet(...)可以说是原子类搭积木的原材料，在循环中使用它可以让我们的并发程序昂首挺胸。

再看版本2：AtomicCounter2内有个volatile的共享变量counter，并且有个类变量counterUpdater作为 counter的更新器。在counterIncrement()里注释掉的代码是非线程安全的。而 counterUpdater.getAndIncrement(this)的内部实现其实和版本1的几乎一样。唯一不同的是通过反射找到要原子操作更新的变量counter，但是“循环+CAS”的精髓是一样的。

最后看看结果吧：版本1和版本2的无锁同步的执行分别20次均是5000，正确。版本2把无锁同步的代码注释，把已注释的非线程安全的代码还原执行，平均每10次大概有1～2次出现<5000的数字。这个例子侧面证明了++的原子性操作非线程安全是保证不了的。因为“读－修改－写”的操作碰到如下场景：线程A“读－修改”后“写”之前，线程B完成“读－修改－写”。这时候A,B的写值是重复的，这就造成了结果<5000，又杯具了...

多线程的基础总结到这儿也算给自己一个交代了(可能还有lock)，在尝试用文字和代码解释的过程是一个可以获得更深体会的机会。在写这个系列总结的 blog时，通常为了用简单的例子解释一个简单的内容要理解的更加的透彻深入(理解的有可能不对)。所以越想写的简单，想的就越多，这算是一个可以分享的体会吧。对于并发的集合和执行器，线程池的知识整理虽然有个基本的概念，但是这一块毕竟还是以性能说话，所以暂时不知从何说起了，呵呵。