多个线程读写同一共享变量是否存在并发问题？

一、经典问题

假设有一个共享变量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缓存。这可能导致以下情况：

1. 缓存一致性问题（Cache Coherence Problem）：由于每个CPU核心都有自己的缓存，当一个线程修改counter的值时，这个修改可能会仅反映在该核心的缓存中，并不会立即更新主内存。如果另一个线程在不同的核心上运行，并且读取了主内存中旧的counter值，就会导致不一致的结果。

2. 写缓冲区（Write Buffer）：现代CPU通常使用写缓冲区来优化写操作。这意味着写操作可能不会立即写入主内存，而是在写缓冲区中进行。这样可能导致其他线程读取到旧值，直到写缓冲区的内容被刷新到主内存。