当一个变量定义为volatile后,它将具备两个特性:
1.保证此变量对所有线程的可见性,所谓“可见性”,,是指当一个线程修改了这个变量的值,新值对于其他线程来说是可以立即得知的。(通过主内存,一个线程修改了共享变量,新值立即同步到主内存,其他线程读取该值时从主内存中拉取)
由于volatile变量只能保证可见性,在不符合以下两条规则的运算场景中,我们仍然要通过加锁来保证原子性。
(1)运算结果并不依赖变量的当前值,或者能够确保只有单一的线程修改变量的值。
(2)变量不需要与其他的状态变量共同参与不变约束(if(a>b)这种形式)
2.禁止指令重排序,进而保证有序性。Java中天然的有序性可以总结为一句话:如果在本线程内观察,所有的操作都是有序的;如果在一个线程中观察另一个线程,所有的操作都是无序的。
3.保证long和double类型变量的原子性。
Volatile关键字详解
本文深入解析Java中Volatile关键字的两大特性:保证变量对所有线程的可见性及禁止指令重排序,阐述其如何实现线程间的即时通信,并强调在特定条件下仍需锁保证原子性。
871

被折叠的 条评论
为什么被折叠?



