标签：bsp strong 有序性 指令重排序 程序 一个 vol syn 另一个
原文地址：https://www.cnblogs.com/guanghe/p/9206635.html
1. 要想并发程序正确地执行，必须要保证原子性、可见性以及有序性。只要有一个没有被保证，就有可能会导致程序运行不正确。
2. volatile关键字只能保证可见性和有序性，且会禁止指令重排序，volatile本身不保证获取和设置操作的原子性，仅仅保持修改的可见性。但是java的内存模型保证声明为volatile的long和double变量的get和set操作是原子的。
原子性：一个操作是不可中断的。即使多个线程一起执行的时候，一个操作一旦开始，就不会被其他线程干扰，中间不会有任何线程切换。
可见性：必须确保释放锁之前对共享数据做出的更改对于随后获得该锁的另一个线程是可见的，volatile、synchronized、final，Lock都可以解决可见性问题；
有序性：程序在执行时，可能会进行指令重排，重拍后的指令与原指令顺序未必一致，synchronized和volatile可以保证多线程之间操作的有序性，volatile会禁止指令重排序；
标签：bsp strong 有序性 指令重排序 程序 一个 vol syn 另一个
原文地址：https://www.cnblogs.com/yerikm/p/11125559.html
