多线程陷阱：Java内存模型与可见性问题全解析

最新推荐文章于 2025-09-25 23:34:25 发布

原创

最新推荐文章于 2025-09-25 23:34:25 发布 · 1k 阅读

22 ·

CC 4.0 BY-SA版权

文章标签：

#java #开发语言

1. 介绍并发编程中的可见性问题

并发编程是现代软件开发中不可或缺的一部分，它让我们能够在多核处理器上高效运行程序。然而，并发带来了一系列挑战，其中最微妙而又难以捉摸的就是可见性问题。

1.1 定义并发中的可见性

在并发编程中，可见性指的是在一个线程中对共享变量的修改，能够及时地被其他线程观察到。可见性问题发生时，一个线程的更改可能对其他线程不可见，导致程序运行出现错误行为。

1.2 可见性问题表现

一个典型的表现是，即使一个线程已经将某个共享变量的值修改，其他线程仍然看到的是修改前的值。这种问题不容易重现和预测，因此调试起来非常困难。

1.3 可见性问题的影响

可见性问题会导致程序状态不一致，增加系统的复杂度，并可能引起数据丢失或者错误输出。在某些严重的情况下，还可能引起系统崩溃或安全漏洞。

2. CPU和内存模型基础

在深入了解可见性问题之前，理解CPU和内存间是如何交互的，对于把握并发编程至关重要。

2.1 单核CPU的工作方式

在单核CPU系统中，尽管线程可以交替执行，但在任何时刻真正执行指令的只有一个线程。所有的变量都存储在同一个内存中，任何线程的变化都能被接下来执行的线程看到。

class SingleCoreExample {
   
   
    private int sharedVar = 0;
    
    public void updateVar() {
   
   
        sharedVar = 1; // 更改可以直接被其他线程看到
    }
    
    public int getVar() {
   
   
        return sharedVar; // 总是得到最新的值
    }
}

2.2 多核CPU的工作机制

多核处理器拥有多个执行单元，可以同时执行多个线程。每个核可能有自己的缓存，这就导致了可见性问题：一个核上的线程更改了数据，而这个数据的更新并没有立即反映到另一个核的缓存中。

class MultiCoreExample {
   
   
    private volatile int sharedVar = 0;
    
    public void updateVar() {
   
   
        sharedVar = 1; // 更改可能不会立即对其他核上的线程可见
    }
    
    public int getVar() {
   
   
        return sharedVar; // 可能得到的是旧值
    }
}

2.3 内存模型简介

内存模型定义了不同线程如何交互和访问内存，以及变量如何被更新和共享。它是理解多线程编程中可见性（以及其他并发问题）的基础。

3. 内存模型与Java可见性问题

Java内存模型（Java Memory Model, JMM）是Java多线程编程的基石。它决定了一个线程对共享变量的写入何时对其他线程可见，以及如何同步线程间的共享变量。

3.1 Java内存模型(JMM)简述

JMM为开发者定义了一系列规则，用以解释线程如何以及何时可以看到其他线程修改过的变量值。它确立了happens-before这一原则，是理解内存操作顺序的关键。

public class MemoryModelBasics {
   
   
    // JMM 中的happens-before规则示例
}

3.2 JMM中的可见性

在JMM中，如果一个线程修改了某个变量的值，JMM会确保后续的读取操作能够获取到这个新值，前提是符合happens-before原则。

public class VisibilityInJMM {
   
   
    // JMM 可见性示例
    private int sharedVar = 0;

    public synchronized void updateVar() {
   
   
        sharedVar = 1; // 同步块确保更新操作对其他线程可见
    }

    public synchronized int getVar() {
   
   
        return sharedVar; // 同步块确保读取操作能获取最新的值
    }
}