并发编程（3）volatile

一.并发编程的特性

原子性，可见性，有序性。只要有一个不能保证，就有可能导致程序的运行错误

二.synchronized

synchronized就能保障原子性，可见性，有序性，

1.因为synchronized能保障任意一个时刻只有一个线程执行该代码块，自然就不存在原子性的问题

2.在释放锁之前会将变量的修改刷新到主存中，因此保证可见性

3.又因为每一时刻只有一个线程在执行代码，相当于让线程顺序执行同步代码，所以也可以保证有序性。

所以synchronized可保证原子性，可见性（一个线程修改了这个变量的值，在另一个线程中能读到这个修改后的值），有序性

一.volatile    

    volatile可以说是一个稍弱的同步机制，因为它可以保障可见性和有序性，不能保障原子性

    1.为什么？——因为内存屏障的存在，例如你让一个volatile的integer自增（i++），其实要分成3步：1）读取volatile变量值到local； 2）增加变量的值；3）把local的值写回，让其它的线程可见。这3步的jvm指令为：

mov    0xc(%r10),%r8d ; Load
inc    %r8d           ; Increment
mov    %r8d,0xc(%r10) ; Store
lock addl $0x0,(%rsp) ; StoreLoad Barrier

    2.什么是内存屏障？

        内存屏障是一条CPU指令，作用 a) 确保一些特定操作执行的顺序——插入一个内存屏障，相当于告诉编译器和CPU先于这个命令的必须先执行，后于这个命令的必须后执行 b）某线程处理器缓存行中的内容写回到内存，会使其它CPU里缓存了该地址的数据失效，保证可见性

    3.volatile为什么没有原子性？

       因为数据的修改涉及到（1）将变量加载到工作内存（2）修改变量 （3）写回到主内存（4）内存屏障指令使其它CPU里缓存了该地址的数据失效  。这四步操作，但这不能看作一个原子操作，因为只有第四步是线程安全的，其它不是