Java 关键字 volatile

ops/2025/3/5 1:01:31/

volatile 是 Java 中的一个关键字,用于修饰变量,确保多线程环境下的可见性和有序性。它主要用于解决以下两个问题:

  1. 可见性问题:一个线程对 volatile 变量的修改对其他线程立即可见。
  2. 有序性问题:禁止指令重排序,确保代码的执行顺序符合预期。

1. 可见性问题

在多线程环境中,每个线程都有自己的工作内存(缓存),线程对变量的操作通常是在工作内存中进行的。如果没有同步机制,一个线程对变量的修改可能不会立即反映到主内存中,其他线程也就无法看到最新的值。

示例:非 volatile 变量的可见性问题
java">public class VisibilityProblem {private static boolean flag = false; // 非 volatile 变量public static void main(String[] args) {new Thread(() -> {while (!flag) {// 空循环}System.out.println("Flag is now true");}).start();try {Thread.sleep(1000); // 主线程休眠 1 秒} catch (InterruptedException e) {e.printStackTrace();}flag = true; // 修改 flag 的值System.out.println("Flag set to true");}
}

问题

  • 由于 flag 不是 volatile 变量,子线程可能无法看到主线程对 flag 的修改,导致子线程陷入死循环。
解决方案:使用 volatile
java">private static volatile boolean flag = false; // 使用 volatile 修饰

效果

  • volatile 确保对 flag 的修改立即写入主内存,其他线程也能立即看到最新的值。

2. 有序性问题

Java 编译器和处理器可能会对指令进行重排序以优化性能,但这可能导致多线程环境下的行为不符合预期。volatile 可以禁止指令重排序,确保代码的执行顺序符合程序员的意图。

示例:指令重排序问题
java">public class ReorderingProblem {private static int x = 0;private static int y = 0;private static boolean ready = false;public static void main(String[] args) {new Thread(() -> {while (!ready) {// 空循环}System.out.println("x: " + x + ", y: " + y);}).start();x = 1;y = 2;ready = true;}
}

问题

  • 由于指令重排序,ready = true 可能会在 x = 1y = 2 之前执行,导致子线程看到 readytrue,但 xy 的值仍然是 0。
解决方案:使用 volatile
java">private static volatile boolean ready = false; // 使用 volatile 修饰

效果

  • volatile 禁止指令重排序,确保 ready = truex = 1y = 2 之后执行。

volatile 的工作原理

  1. 内存可见性
    • volatile 变量的写操作会立即刷新到主内存。
    • volatile 变量的读操作会从主内存中读取最新的值。
  2. 禁止指令重排序
    • volatile 变量的读写操作前后会插入内存屏障(Memory Barrier),确保指令不会被重排序。

volatile 的局限性

  • 不保证原子性
    • volatile 只能保证单个读/写操作的原子性,但不能保证复合操作的原子性。
    • 例如,i++ 不是原子操作,即使 ivolatile 变量,多线程环境下仍然可能出现问题。
示例:volatile 不保证原子性
java">public class VolatileAtomicity {private static volatile int count = 0;public static void main(String[] args) throws InterruptedException {Runnable task = () -> {for (int i = 0; i < 1000; i++) {count++; // 非原子操作}};Thread t1 = new Thread(task);Thread t2 = new Thread(task);t1.start();t2.start();t1.join();t2.join();System.out.println("Final count: " + count); // 结果可能小于 2000}
}

解决方案

  • 使用 synchronizedjava.util.concurrent.atomic 包中的原子类(如 AtomicInteger)。

volatile 的使用场景

  1. 状态标志

    • 例如,一个线程修改标志变量,另一个线程读取标志变量。
    java">private volatile boolean running = true;public void stop() {running = false;
    }public void run() {while (running) {// 执行任务}
    }
    
  2. 双重检查锁定(Double-Checked Locking)

    • 用于单例模式中,确保实例的可见性。
    java">public class Singleton {private static volatile Singleton instance;public static Singleton getInstance() {if (instance == null) {synchronized (Singleton.class) {if (instance == null) {instance = new Singleton();}}}return instance;}
    }
    

总结

  • volatile 用于解决多线程环境下的可见性和有序性问题。
  • 它不能保证复合操作的原子性,适用于简单的状态标志或双重检查锁定等场景。
  • 如果需要更复杂的同步机制,可以结合 synchronized 或原子类使用。

http://www.ppmy.cn/ops/163169.html

相关文章

分布式锁—2.Redisson的可重入锁一

大纲 1.Redisson可重入锁RedissonLock概述 2.可重入锁源码之创建RedissonClient实例 3.可重入锁源码之lua脚本加锁逻辑 4.可重入锁源码之WatchDog维持加锁逻辑 5.可重入锁源码之可重入加锁逻辑 6.可重入锁源码之锁的互斥阻塞逻辑 7.可重入锁源码之释放锁逻辑 8.可重入锁…

本地部署 Traefik 的完整教程

Traefik 是一款现代化的反向代理和负载均衡工具,专为云原生环境设计。它支持自动服务发现、动态配置更新以及多种后端(如 Docker、Kubernetes、Consul 等)。本教程将指导你如何在本地部署 Traefik,并配置其作为反向代理和负载均衡器。 1. 准备工作 在开始之前,请确保你的…

常用的设计模式

设计模式是软件开发过程中针对反复出现的问题所总结归纳出的通用解决方案。以下为你介绍常见的设计模式&#xff0c;并结合常用框架给出相应示例。 创建型模式 创建型模式主要用于对象的创建过程&#xff0c;封装了对象创建的细节&#xff0c;提高了代码的灵活性和可维护性。…

PostgreSQL 创建表格

PostgreSQL 创建表格 在数据库管理中&#xff0c;表格&#xff08;Table&#xff09;是数据存储的基础。PostgreSQL作为一款强大的开源对象关系型数据库管理系统&#xff08;ORDBMS&#xff09;&#xff0c;创建表格是其最基本的功能之一。本文将详细讲解如何在PostgreSQL中创…

WebSocket相关技术

WebSocket 是一种网络通信协议&#xff0c;旨在通过单一的持久连接提供全双工、低延迟的通信。它与传统的 HTTP 协议不同&#xff0c;能够让客户端和服务器之间进行实时双向通信&#xff0c;而无需每次通信都重新建立连接。 WebSocket 的特点&#xff1a; 1. 全双工通信&#…

关于Hadoop集群部署打不开webUI界面问题

1.检查进程是否全部启动 在启动start-dfs.sh,start-yarn.sh等相关命令后&#xff0c;使用 jps 命令检查进程是否全部启动&#xff0c;比如&#xff1a; 确认进程全部启动后&#xff0c;看第2步 2.检查防火墙是否关闭&#xff0c;比如&#xff1a; 查看防火墙状态&#xff1…

扫描纸质文件转pdf---少页数+手机+电脑协作

针对手机上扫描软件扫描文件转pdf要收费的问题&#xff0c;提供一种在页数较少时的免费替代方案 。 实现方法&#xff1a;手机软件的免费功能将文件扫描并保存为图片电脑端在word中将图片拼成文档word转pdf 1.借助于“扫描全能王”APP可以免费扫描文件为图片的功能&#xff0…

Ubuntu 下 nginx-1.24.0 源码分析 - ngx_init_cycle 函数 - 详解(8)

详解&#xff08;8&#xff09; 初始化模块配置上下文&#xff08;conf_ctx&#xff09; cycle->conf_ctx ngx_pcalloc(pool, ngx_max_module * sizeof(void *));if (cycle->conf_ctx NULL) {ngx_destroy_pool(pool);return NULL;}1 分配模块配置上下文数组 cycle->…