Volatile

参考文献：http://www.iteye.com/topic/109150

volatile的有什么优势? 
1, 更大的程序吞吐量
2, 更少的代码实现多线程
3, 程序的伸缩性较好
4, 比较好理解, 无需太高的学习成本

 

volatile有什么劣势? 
1, 容易出问题
2, 比较难设计

volatile运算存在脏数据问题

 

实现的原理是volatile不再采用工作内存的形式，而是直接写到主内存中去，因此其它线程可以马上看到更改。

（

关于java的内存模型参见http://hllvm.group.iteye.com/group/wiki/2877-synchronized-volatile

执行顺序为：

 (1) 从主存复制变量到当前工作内存 (read and load)
 (2) 执行代码，改变共享变量值 (use and assign)
 (3) 用工作内存数据刷新主存相关内容 (store and write)

）

至于为何会出现脏数据是因为volatile不能保证有序性。举个例子，i++，因为程序会去i到寄存器中去执行，当在执行的过程中i的值发生改变了，那么计算的结果就会不正确。在单核的机器上实验，可能结果还是正确的，因为执行i++的时间非常短，而且线程在读i到寄存器和执行i+1写回到主存之间被切换出去的概率很小。

为了解决有序性的问题，引入了CAS。Compare and Swap

CAS有3个操作数，内存值V，旧的预期值A，要修改的新值B。当且仅当预期值A和内存值V相同时，将内存值V修改为B，否则什么都不做。

 以AtomicIntegerArray的getAndIncrement为例，先拿到当前值。然后加一，然后判断当前的值是不是已经变了，如果变了，那么就不更新。继续以上步骤。如果没变，就用next更新。因为这个没有ＡＢＡ的问题，所以此类没有问题。

public class AtomicIntegerArray implements java.io.Serializable {
/**
     * Atomically increments by one the element at index {@code i}.
     *
     * @param i the index
     * @return the previous value
     */
    public final int getAndIncrement(int i) {
        while (true) {
            int current = get(i);
            int next = current + 1;
            if (compareAndSet(i, current, next))
                return current;
        }
    }
}

 关于ＣＡＳ的文章可以参考http://www.blogjava.net/syniii/archive/2010/11/18/338387.html?opt=admin