时间:2021-05-20
在原子性、可见性、有序性中,volatile关键字主要在可见性中发挥作用。
volatile声明的变量对所有线程来说是可见的,就是说当变量的值发生改变的时候,其他线程可以立马发现这个变化。
public class Main { private static boolean isRuning; private static int number; private static class ReaderThread extends Thread { public void run() { while (!isRuning) { System.out.println(number); } } } public static void main(String[] args) throws InterruptedException { new ReaderThread().start(); Thread.sleep(1000); number = 42; isRuning = true; Thread.sleep(1000); }}应该是由于编译器优化的存在,这里变量虽然没有被volatile修饰,但是仍然对其他线程可见。。。。。
那为啥Volatile修饰的变量i++却会有并发问题呢?
因为i++并不是原子操作,
i++是有两步操作的,比如 i=0; i++
1.读取i=0
2.计算i+1,然后赋值给i
那么可能存在2个线程同时读取到i=0,并计算出结果i=1然后赋值给I
那么就得不到预期结果i=2。
就是说虽然Volatile修饰的变量的变化可以被其他线程看到,但是如果同时去读这个变量,然后进行写操作,则仍会导致线程安全问题。
更底层的原因是什么呢?
首先要知道Volatile修饰的变量会做两件事(由lock指令完成):
其他缓存会失效,不正好可以保证Volatile的原子性吗?
然而并不是,
比如有T1 T2两个线程进行i++操作。
当T1将变量加载到缓存,但是还没进行i++运算,T2呢已经加载完缓存并且已经执行完运算,那这个时候T1缓存里的值就该变成无效的了。
但是Volatile并不是让其他线程缓存无效以后就去重新加载主内存中的值,如果这时候T2缓存的值已经被放到寄存器并且cpu进行计算了,那即使缓存无效也不会影响T2将计算的值回写到主内存中。
关于cpu执行指令的过程可以参考https://blog.csdn.net/jizhu4873/article/details/84393905
当一个变量定义为 volatile 之后,将具备两种特性:
1.保证此变量对所有的线程的可见性,这里的“可见性”,如本文开头所述,当一个线程修改了这个变量的值,volatile 保证了新值能立即同步到主内存,以及每次使用前立即从主内存刷新。但普通变量做不到这点,普通变量的值在线程间传递均需要通过主内存(详见:Java内存模型)来完成。
2.禁止指令重排序优化。有volatile修饰的变量,赋值后多执行了一个“load addl $0x0, (%esp)”操作,这个操作相当于一个内存屏障(指令重排序时不能把后面的指令重排序到内存屏障之前的位置),只有一个CPU访问内存时,并不需要内存屏障;(什么是指令重排序:是指CPU采用了允许将多条指令不按程序规定的顺序分开发送给各相应电路单元处理)。
volatile 变量的内存可见性是基于内存屏障(Memory Barrier)实现。
内存屏障则由lock指令实现
以上就是本次介绍的全部知识点内容,感谢大家对的支持。
声明:本页内容来源网络,仅供用户参考;我单位不保证亦不表示资料全面及准确无误,也不保证亦不表示这些资料为最新信息,如因任何原因,本网内容或者用户因倚赖本网内容造成任何损失或损害,我单位将不会负任何法律责任。如涉及版权问题,请提交至online#300.cn邮箱联系删除。
本文实例分析了java多线程中的volatile和synchronized用法。分享给大家供大家参考。具体实现方法如下:复制代码代码如下:packagecom.
java中静态导入机制用法实例详解这里主要讲解了如何使用Java中静态机制的用法,这里提供了简单实例大家可以参考下。静态常量类在java开发中,我们会经常用到一
java高并发中volatile的实现原理摘要:在多线程并发编程中synchronized和Volatile都扮演着重要的角色,Volatile是轻量级的syn
前言在Java中,Java中volatile关键字十分重要本文全面&详细解析volatile关键字,希望你们会喜欢目录1.定义Java中的1个关键字/修饰符2.
volatile关键字在java多线程中有着比较重要作用,volatile主要作用是可以保持变量在多线程中是实时可见的,是java中提供的最轻量的同步机制。可见