一、经典问题
假设有一个共享变量counter
,初始值为0。我们将创建两个线程,一个线程负责增加counter
的值,另一个线程负责减少counter
的值。这两个线程将并发地对counter
进行读写。
public class ConcurrencyExample {
private static int counter = 0;public static void main(String[] args) {
Thread incrementThread = new Thread(() -> {
for (int i = 0; i < 10000; i++) {
// 读取共享变量并进行写操作
counter++;
}
});Thread decrementThread = new Thread(() -> {
for (int i = 0; i < 10000; i++) {
// 读取共享变量并进行写操作
counter--;
}
});incrementThread.start();
decrementThread.start();// 等待两个线程执行完成
try {
incrementThread.join();
decrementThread.join();
} catch (InterruptedException e) {
e.printStackTrace();
}// 输出结果
System.out.println("Final counter value: " + counter);
}
}
在上述示例中,两个线程并发地增加和减少counter
的值各执行10000次。由于这两个线程同时访问并修改counter
,可能会导致竞态条件和数据竞争。因此,最后输出的结果可能不是我们期望的0。
例如,正常情况下,counter
应该为0,但由于竞态条件,最终结果可能会是一个随机值,因为两个线程可能会同时读取和写入counter
,并且线程执行顺序不确定。
二、内存模型
Java内存模型(Java Memory Model,JMM)定义了Java程序中多线程之间如何进行通信以及对共享内存的访问。在JMM中,每个线程都有自己的线程栈,线程间的共享变量存储在主内存中。
现代计算机通常具有多层内存结构,其中高速缓存(CPU Cache)是其中一层。CPU缓存是为了加快处理器对内存的访问速度而引入的,它位于CPU内部,速度比主内存快得多。每个CPU核心都有自己的缓存,这意味着每个线程在不同的核心上运行时可能访问不同的缓存。
在上面的Java示例中,两个线程并发地增加和减少counter
的值。由于线程具有各自的线程栈,它们可能会在不同的CPU核心上运行,并且每个核心有自己的CPU缓存。这可能导致以下情况:
-
缓存一致性问题(Cache Coherence Problem):由于每个CPU核心都有自己的缓存,当一个线程修改
counter
的值时,这个修改可能会仅反映在该核心的缓存中,并不会立即更新主内存。如果另一个线程在不同的核心上运行,并且读取了主内存中旧的counter
值,就会导致不一致的结果。 -
写缓冲区(Write Buffer):现代CPU通常使用写缓冲区来优化写操作。这意味着写操作可能不会立即写入主内存,而是在写缓冲区中进行。这样可能导致其他线程读取到旧值,直到写缓冲区的内容被刷新到主内存。