内存模型的volatile和longdoule特殊规则
volatile类型特殊规则
volatile可以说Java虚拟机提供的最轻量级额同步机制 并不被正确的理解
第一个语义:
第一保证了此变量对所有线程的可见性 是指当一条线程改变了该变量的值 新值对他其线程来说就是立即得知的
第二个语义:
禁止指令重排序 普通的变量只会保证该方法执行过程中所有的依赖赋值结果都能获取到正确的结果而不能保证变量赋值操作的顺序与程序代码的执行顺序的一致性
安全
一个变量被定义成 volatile之后 将具备两项特性:第一保证了此变量对所有线程的可见性 是指当一条线程改变了该变量的值 新值对他其线程来说就是立即得知的 但是普通变量的值在该线程时均需要通过主内存来完成
不安全:并发情况下的运算操作
volatile变量在工作内存中是不存在一致性问题 但由于每次使用前都要先刷新 执行引擎看不到一致的情况 java运算符并不是原子操作 导致
解决方法 :在以下两个场景中通过加锁来保证原子性
运算结果并不依赖变量当前的值 确保只有一个单一的线程修改变量的值
变量不需要与其他状态变量共同参与不变约束
补充针对long double类型变量的特殊规则
Java内存操作都具有原子性 对于64位的数据 允许虚拟机没有被volatile修饰的64位数据的读写操作划分为两个32位操作来进允许虚拟机实现自行选择
如果多个线程共享一个并未声明的volatile 的long或double 类型的值 并同时对他们进行读取和修改操作 某个线程读取的可能不是原值,也不是其他线程修改值,目前主流平台下商用的64位虚拟机并不会出现非原子性访问