Volatile关键词原理

轻量级的synchronized,成员变量使用volatile修饰表明该共享变量在多线程访问时对其他线程具有可见性.

多核处理器下,线程执行语句会把主内存中的数据拷贝到相对应的cpu高速缓存区中,cpu高速缓存解决了效率问题,但是带来了数据一致性的问题,程序在cpu缓存区中运行,运行结束才会运行完的数据写入到主内存中,这样多线程的情况下,数据的一致性就是一个问题.

Java内存模型:

原子性:即一个操作要么全部执行得到预期值,要么就不执行.

              i = 0(原子性),i=i+1(非原子性),j=i(非原子性),i++(非原子性),i=j++(非原子性)

         volatile只保证基本数据类型的赋值操作是原子性,但是double,long 64位需要通过锁来实现赋值操作的原子性 http://docs.oracle.com/javase/specs/jls/se8/html/jls-17.html#jls-17.7

              volatile无法保证复合操作的原子性

可见性: volatile修饰后,一个线程修改共享变量后会被更新到主内存中,其他线程也直接从主内存中读取

有序性: Java虚拟机为了提升性能会对程序编码重排序,jvm使用内存屏障实现volatile字段的有序性


             


阅读更多

没有更多推荐了,返回首页