java volatile的特性是什么

在对java变量进行修饰时,有一种修饰符专门负责这类操作,也不用担心它的用法出错,那就是volatile。和synchronized最明显的区别是只针对变量,其他的类型不修饰。相信大家对它的使用还不是很了解,下面我们就volatile的概念及其三个特性带来分析,弄清楚这些特性的原理。

1.volatile概念

volatile通常被比喻成"轻量级的synchronized",也是Java并发编程中比较重要的一个关键字。和synchronized不同,volatile是一个变量修饰符,只能用来修饰变量。无法修饰方法及代码块等。

2.volatile三个特性

(1)保证可见性

当一个变量被声明为volatile时,在编译成会变指令的时候,会多出下面一行:

0x00bbacde: lock add1 $0x0,(%esp);

这句指令的意思就是在寄存器执行一个加0的空操作。不过这条指令的前面有一个lock(锁)前缀。

(2)不保证原子性

volatile 变量的 i++,分三步:

读取 i 变量的值,如果之前有其它线程写入,则当前线程工作内存中的变量值会失效,要从主存重新读取;

在工作内存中执行 i+1;

i 的新值立刻写入主存,并使其它线程工作内存中的 i 变量失效。

volatile 保证变量 i 的写入为原子性,实际上前两步也是原子性,但多个原子性操作组合在一起就不是原子性了。所以 volatile 变量的 i++ 操作仍然是非原子性操作。

(3)保证有序性

例如:

a=1;
b=1;
x=1;
c=1;
d=1;

如果 x 是 volatile 变量,其它都不是,那么:

a,b 的操作可以被重排序,即 a 有可能在 b 后面,但 a,b 一定不会重排序到 x 的后面;

c,d 的操作可以被重排序,即 c 有可能在 d 后面,但 c,d 一定不会重排序到 x 的前面。

原文来自:https://www.py.cn

© 版权声明
THE END
喜欢就支持一下吧
点赞7 分享
评论 抢沙发
头像
欢迎您留下宝贵的见解!
提交
头像

昵称

取消
昵称表情代码图片

    暂无评论内容