volatile不保证原子性

什么是原子性

原子性是指一个操作是不可中断的，要么全部执行成功要么全部执行失败，有着“同生共死”的感觉。及时在多个线程一起执行的时候，一个操作一旦开始，就不会被其他线程所干扰。

让大家看一个直观的例子：

int a = 10;    //1
a++;           //2
int b=a;       //3
a = a+1;       //4 

上面这四个语句中只有第1个语句是原子操作，将10赋值给线程工作内存的变量a,而语句2（a++），实际上包含了三个操作：1. 读取变量a的值；2：对a进行加一的操作；3.将计算后的值再赋值给变量a，而这三个操作无法构成原子操作。对语句3,4的分析同理可得这两条语句不具备原子性。

为什么volatile不保证原子性

先让大家看一个例子

public class test {
    private static volatile int counter = 0;
    public static void main(String[] args) {
        for (int i = 0; i < 5; i++) {
            Thread thread = new Thread(new Runnable() {
                @Override
                public void run() {
                    for (int i = 0; i < 100; i++)
                        counter++;
                }
            });
            thread.start();
        }
        try {
            Thread.sleep(10);
        } catch (InterruptedException e) {
            e.printStackTrace();
        }
        System.out.println(counter);
    }
}

运行结果：400

开启5个线程，每个线程都自加100次，如果不出现线程安全的问题最终的结果应该就是：5*100 = 500;可是运行多次都是小于500的结果，问题在于 volatile并不能保证原子性，在前面说过counter++这并不是一个原子操作，包含了三个步骤：1.读取变量counter的值；2.对counter加一；3.将新值赋值给变量counter。如果线程A读取counter到工作内存后，其他线程对这个值已经做了自增操作后，根据可见性原则，这个自增长的值可以被其他线程可见，问题来了，A已经读到了自增长之前的值，那么线程A的这个值自然而然就是一个过期的值，因此，结果必然会是小于500的。

这是小编对volatile不保证原子性的理解，如果有更好的理解，欢迎找小编交流。