public class VolatileDemo {
// volatile 变量
private volatile static int count = 0;
public static void main(String[] args) throws InterruptedException {
Thread thread1 = new Thread(() -> {
for (int i = 0; i < 1000; i++) {
count++;
}
});
Thread thread2 = new Thread(() -> {
for (int i = 0; i < 1000; i++) {
count++;
}
});
thread1.start();
thread2.start();
thread1.join();
thread2.join();
System.out.println(count);
}
}
以上是 volatile 不能保证并发安全的经典代码了,最终 count 结果不是 2000 。 count ++ 有三步,从主存读 count 到线程缓存,线程让 count + 1,线程写回 count 到主存
volatile 保证了 线程让 count + 1,线程写回 count 到主存 这两个操作是原子的,但没有保证三个操作是原子的,所以导致
thread1 读到 count
thread2 读到 count
thread2 让 count + 1
thread2 写回 count
thread1 让 count+1
thead1 写回 count
这种情况可能发生。而一旦发生的话,count 就少加了一次 1,所以最终结果不是 2000 。
这样理解对吗?谢谢
1
tuzhis 2020-08-25 00:26:08 +08:00 via iPhone
volatile 保证的是可见性,每次修改后必然读取到新的值,多线程情况下,假设原来是 1,同一时刻两个线程都读到了 1,那么加 1 后两个先后都去赋值 2,并不会变成 3 。可以去对比下 cas 的流程就会比较清晰,cas 中是发现值与一开始取值的不同,那么重新取值再计算
|
2
vk42 2020-08-25 00:35:56 +08:00
volatile 和原子性没有关系,如其字面意思它代表变量值可变(多线程只是一种场景,硬件相关代码也很常见)。lz 的问题随便找个原子操作和锁相关的教程就能搞懂了
|
3
taogen 2020-08-25 00:36:06 +08:00 via Android
并没有保证任何操作的原子性。只是保证可见性,一个线程每次读取时都去主内存去读,不会缓存到当前线程内存中,保证读取到最新值。
保证原子性用 lock 。 |
4
silencelixing 2021-01-13 16:31:57 +08:00
volidate 保证的「可见性」,可以理解为「一个线程写,多个线程读」是安全的,多个线程能同时读取到正确的值。
楼主的 case 里面,场景为「多个线程写,多个线程读」,所以不能保证线程安全 |