为什么volatile保证可见而不是线程安全的

为什么保证了可见性而不能线程安全。

场景:

volatile修饰的x   

多线程进行x++

x++是非原子操作分三个步骤:

(1)读取x的值

(2)计算x值+1 

(3)写入x的值到内存

假设:线程一执行完(2)算出了值后被阻塞

线程二执行完三个操作后将结果写回内存,由于线程一已经算出结果不会再去读取x的值,

volatile导致缓存失效对线程一的计算结果已经无影响了,

所以线程一唤醒后接着写入,导致并发失败。

使用场景:

简单赋值和读取

禁止重排序

 提供什么保证:

1)可见性保证,一个线程的写优先另一个线程的读

2)禁止指令重排序volatile是屏障上面和下面的不能进行重排序

转载于:https://www.cnblogs.com/fastLearn/p/7965609.html

你可能感兴趣的:(为什么volatile保证可见而不是线程安全的)