1.某个线程修改了被volatile关键字修饰变量是,根据数据一致性的协议,
通过信号量,更改其他线程的高速缓存中volatile关键字修饰变量状态为无效状态,
其他线程如果需要重写读取该变量会再次从主内存中读取,而不是读取自己的高速缓存中的。
2.被volatile关键字修饰变量不会指令重排序。
注意:volatile 不是原子性的,所以不能保证并发问题
如:volatile 修饰一个变量 i = ,0,开辟十个线程,执行1000次i++,结果是不能保证值为1000,
public class VolatileTest {
public volatile int inc = 0;
public void increase() {
inc++;
}
public static void main(String[] args) throws InterruptedException {
final VolatileTest test = new VolatileTest();
for (int i = 0; i < 10; i++) {
new Thread(() -> {
for (int j = 0; j < 1000; j++)
test.increase();
}).start();
}
//保证前面的线程都执行完
Thread.sleep(3000);
System.out.println(test.inc);
}
}
多次运行main函数,你会发现结果永远都不会为10000,都是小于10000。可能有这样的疑问,volatile保证了共享数据的可见性,线程1修改了inc变量线程2会重新从主内存中重新读,这样就能保证inc++的正确性了啊,可为什么没有得到我们预期的结果呢?
在之前已经讲述过inc++这样的操作不是一个原子性操作,它分为读、加加、写。一种情况,当线程1读取了inc的值,还没有修改,线程2也读取了,线程1修改完了,通知线程2将线程的缓存的 inc的值无效需要重读,可这时它不需要读取inc ,它仍执行写操作,然后赋值给主线程,这时数据就会出现问题。
所以volatile不能保证原子性 。这时需要用锁来保证,在increase方法加上synchronized,重新运行打印的结果为10000 。
public synchronized void increase() {
inc++;
}
网友评论