Java 中并发编程怎么保证共享变量的可见性与原子性-Java面试题-PHP中文网

java并发中可见性与原子性需区分：volatile仅保可见性，synchronized和atomic类兼顾两者；volatile不保证i++等复合操作原子性，long/double在32位jvm有非原子风险。

java 中并发编程怎么保证共享变量的可见性与原子性

Java 并发编程中，共享变量的可见性与原子性是两个独立但常被混淆的问题。可见性解决的是“改了别人能不能立刻看到”，原子性解决的是“操作会不会被中途打断”。两者都需要底层机制支撑，不能靠直觉或简单加锁一概而论。

可见性问题源于JMM中“主内存—工作内存”的分离结构：线程修改变量后未及时刷回主内存，或读取前未从主内存更新副本，导致其他线程看到旧值。

volatile 关键字：最轻量级方案。它强制每次读都从主内存加载最新值，每次写都立即刷新到主内存；同时禁止编译器和CPU对该变量的指令重排序。适用于单次读/写场景（如状态标志位），但不保证复合操作（如 i++）的原子性。
synchronized / ReentrantLock：进入同步块时，线程会清空本地工作内存中相关变量的副本，强制后续读取从主内存加载；退出时，将修改过的变量全部刷新回主内存。因此天然具备可见性保障，且比 volatile 更重，适合需要同步+可见双重保障的场景。
final 字段：对象构造完成时，final 字段的值会被安全发布到其他线程，确保可见性。适用于不可变对象设计。

原子性关注操作的完整性。例如 count++ 看似简单，实际包含“读取→计算→写入”三步，中间可能被其他线程插入执行，造成结果丢失。

在 Java 中初始化和管理阿里云 SDK客户端。包括单例模式、线程安全、endpoint 与 region 配置、VPC 终端节点、同步与异步等。

下载

synchronized 关键字：通过互斥锁确保同一时刻只有一个线程执行临界区代码，从根本上避免竞态。适合任意复杂逻辑、多变量协同更新等场景。
java.util.concurrent.atomic 包中的原子类：如 AtomicInteger、AtomicBoolean、AtomicReference。它们内部结合 volatile（保证可见）与 CAS（Compare-and-Swap）指令（保证无锁原子更新），适合高频、单变量的增减/设置操作，性能通常优于 synchronized。
显式 Lock（如 ReentrantLock）：提供比 synchronized 更灵活的锁控制（如可中断、超时、公平性），同样能保证临界区内所有操作的原子性与可见性。

volatile 只管可见，不管原子；synchronized 和原子类则两者兼顾，但适用粒度不同。

把 volatile 当成“线程安全万能药”——比如用 volatile int count; 配合 count++，依然会丢数据。
认为 synchronized 仅用于原子性——其实它同步进出的过程也强制刷新/加载变量，是可见性的重要保障机制。
忽略 long/double 在32位 JVM 上的非原子性风险——即使声明为 volatile，某些旧环境仍可能因分步读写导致读到“半个值”，建议统一使用 AtomicLong 或同步保护。