volatile关键字解析

本文详细解析了Java中的volatile关键字,包括其在多线程环境下的作用原理、如何保证内存可见性和有序性,以及在实际编程中的应用案例。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

volatile关键字在jdk1.5 之前都是充满争议性的的,在jdk1.5 之后才算是焕发出了新的生命,volatile关键字的意思很简单:即通知内存其所修饰的最新变化,防止出现内存不一致的情况。

volatile关键字的实现原理和数据的存储原理分不开。大概可以从以下3个方面来进行解释:首先是内存模型,其次是并发编程的三个基本概念,最后Java的内存模型。理解了这三个之后,才能明白volatile的实现原理和使用场景。

首先是内存模型:计算机的指令是CPU来执行的,CPU的数据是从内存里获得的,但是CPU和内存之间还有一个缓存,也就是说CPU执行所需的数据最直接是从缓存中获得的。执行结果也会进入到缓存里,然后再写入内存里。这样基本上就可以明白使用多线程时可能会出现什么问题了:内存不一致。即程序指令运行完的结果没有及时存储到内存中,导致其他指令取得的数据不是该指令运算出来的最新数据所产生的错误。

并发编程的三个基本概念:1)、原子性:即不可分割,指令进程不可中断,要不然就直接不执行,比如说银行账户转钱的问题,A向B中转1000元,操作流程不外乎是A账户中减少1000元,B账户增加1000元,相信大家都能看出来这两个指令绝对不能断开运行,更不能中断。2)、可见性:即多线程访问同一个变量时,一个线程修改了当前的变量的值,其他线程必须能够立即看见(大部分的线程问题多处在这个上边),变量的时效性问题。3)、有序性:处理器在执行指令的时候,为了提高效率会在考虑数据的依赖性的情况下将指令指令从新进行排序,最后会保证结果和顺序执行结果是一样的。但是效果是一样的,这个保证对单线程是有效的,但是对于多线程就呵呵了看下边的栗子:

1
2
3
4
5
6
7
8
9
//线程1:
context = loadContext();   //语句1
inited = true;            //语句2
 
//线程2:
while(!inited ){
  sleep()
}
doSomethingwithconfig(context);

由于语句1和语句2没有数据依赖性,因此可能会被重排序。假如发生了重排序,在线程1执行过程中先执行语句2,而此是线程2会以为初始化工作已经完成,那么就会跳出while循环,去执行doSomethingwithconfig(context)方法,而此时context并没有被初始化,就会导致程序出错。也就是说,要想并发程序正确地执行,必须要保证原子性、可见性以及有序性。只要有一个没有被保证,就有可能会导致程序运行不正确。

Java的内存模型:在Java虚拟机规范中试图定义一种Java内存模型(Java Memory Model,JMM)来屏蔽各个硬件平台和操作系统的内存访问差异,以实现让Java程序在各种平台下都能达到一致的内存访问效果。那么Java内存模型规定了哪些东西呢,它定义了程序中变量的访问规则,往大一点说是定义了程序执行的次序。注意,为了获得较好的执行性能,Java内存模型并没有限制执行引擎使用处理器的寄存器或者高速缓存来提升指令执行速度,也没有限制编译器对指令进行重排序。也就是说,在java内存模型中,也会存在缓存一致性问题和指令重排序的问题。Java内存模型规定所有的变量都是存在主存当中(类似于前面说的物理内存),每个线程都有自己的工作内存(类似于前面的高速缓存)。线程对变量的所有操作都必须在工作内存中进行,而不能直接对主存进行操作。并且每个线程不能访问其他线程的工作内存。

Java本身对原子性、可见性以及有序性提供的保证。1)、首先是原子性:Java对基本数据变量的读取和赋值是原子性的,即不可中断,不可分割。2)、可见性:对于可见性,Java提供了volatile关键字来保证可见性。当一个共享变量被volatile修饰时,它会保证修改的值会立即被更新到主存,当有其他线程需要读取时,它会去内存中读取新值。而普通的共享变量不能保证可见性,因为普通共享变量被修改之后,什么时候被写入主存是不确定的,当其他线程去读取时,此时内存中可能还是原来的旧值,因此无法保证可见性。另外,通过synchronized和Lock也能够保证可见性,synchronized和Lock能保证同一时刻只有一个线程获取锁然后执行同步代码,并且在释放锁之前会将对变量的修改刷新到主存当中。因此可以保证可见性。3)、有序性:在Java内存模型中,允许编译器和处理器对指令进行重排序,但是重排序过程不会影响到单线程程序的执行,却会影响到多线程并发执行的正确性。在Java里面,可以通过volatile关键字来保证一定的“有序性”(具体原理在下一节讲述)。另外可以通过synchronized和Lock来保证有序性,很显然,synchronized和Lock保证每个时刻是有一个线程执行同步代码,相当于是让线程顺序执行同步代码,自然就保证了有序性。

开始解析关键字volatile对变量:1、保证不同线程对这个变量操作时的可见性,即一个线程改变了由volatile修饰的变量,那么当这个变量的值发生改变时对其他线程来说这是立即能知道的。2、禁止指令重排。

原理是:1)、在volatile修饰是会将变量修改的值强制写入到主存里。2)、当变量法生改变时会导致其他线程缓存里的变量值无效,导致其他线程重新去主存里读取变量值,解决变量不一致的问题。

需要注意的问题: volatile是不保证指令的原子性的,即当指令出现非原子性操作的时候,如果不注意控制的话就会出现并发性问题。下边就是一个栗子

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
publicclass Test {
    publicvolatile int inc = 0;
 
    publicvoid increase() {
        inc++;
    }
 
    publicstatic void main(String[] args) {
        finalTest test = newTest();
        for(inti=0;i<10;i++){
            newThread(){
                publicvoid run() {
                    for(intj=0;j<1000;j++)
                        test.increase();
                };
            }.start();
        }
 
        while(Thread.activeCount()>1//保证前面的线程都执行完
            Thread.yield();
        System.out.println(test.inc);
    }
}
因为Inc++不是一个原子性操作:其中包括了三个操作:先取得Inc的值,然后在进行+1的操作,最后得到Inc的值,陷入原子性操作的时候,多线程就会出现问题了。比如:当一个线程执行Inc=3操作时,线程暂时停在那,另外一个线程开始进行运行,因为此时只是对线程进行读取,所以volatile并不会发动,当另外一个线程走完流程时,Inc出现了+1的效果,此时暂停的那个线程开始启动,但是他手里的值还是没有+1的效果。当运行完时,结果还是运行了两次Inc++的操作但是只得到一次增加的效果。解决方法也很简单,只需要在Inc++那个方法上加个锁就可以了。

volatile有禁止从新排列的效果,所以基本上是可以保证有序性的,其效果是:volatile修饰的关键字不会进行排序,且会保证其前面的语句运行完成。

Java的编译原理:下面这段话摘自《深入理解Java虚拟机》:

“观察加入volatile关键字和没有加入volatile关键字时所生成的汇编代码发现,加入volatile关键字时,会多出一个lock前缀指令”lock前缀指令实际上相当于一个内存屏障(也成内存栅栏),内存屏障会提供3个功能:1)它确保指令重排序时不会把其后面的指令排到内存屏障之前的位置,也不会把前面的指令排到内存屏障的后面;即在执行到内存屏障这句指令时,在它前面的操作已经全部完成;2)它会强制将对缓存的修改操作立即写入主存;3)如果是写操作,它会导致其他CPU中对应的缓存行无效。

应用场景:其实一句话:volatile是不能保证原子性操作的,所以,如果能保证指令原子性操作的情况下,就可以随意使用volatile关键字了。用官方术语来解释就是:

1)对变量的写操作不依赖于当前值

2)该变量没有包含在具有其他变量的不变式中

1. 用户与身体信息管理模块 用户信息管理: 注册登录:支持手机号 / 邮箱注册,密码加密存储,提供第三方快捷登录(模拟) 个人资料:记录基本信息(姓名、年龄、性别、身高、体重、职业) 健康目标:用户设置目标(如 “减重 5kg”“增肌”“维持健康”)及期望周期 身体状态跟踪: 体重记录:定期录入体重数据,生成体重变化曲线(折线图) 身体指标:记录 BMI(自动计算)、体脂率(可选)、基础代谢率(根据身高体重估算) 健康状况:用户可填写特殊情况(如糖尿病、过敏食物、素食偏好),系统据此调整推荐 2. 膳食记录与食物数据库模块 食物数据库: 基础信息:包含常见食物(如米饭、鸡蛋、牛肉)的名称、类别(主食 / 肉类 / 蔬菜等)、每份重量 营养成分:记录每 100g 食物的热量(kcal)、蛋白质、脂肪、碳水化合物、维生素、矿物质含量 数据库维护:管理员可添加新食物、更新营养数据,支持按名称 / 类别检索 膳食记录功能: 快速记录:用户选择食物、输入食用量(克 / 份),系统自动计算摄入的营养成分 餐次分类:按早餐 / 午餐 / 晚餐 / 加餐分类记录,支持上传餐食照片(可选) 批量操作:提供常见套餐模板(如 “三明治 + 牛奶”),一键添加到记录 历史记录:按日期查看过往膳食记录,支持编辑 / 删除错误记录 3. 营养分析模块 每日营养摄入分析: 核心指标计算:统计当日摄入的总热量、蛋白质 / 脂肪 / 碳水化合物占比(按每日推荐量对比) 微量营养素分析:检查维生素(如维生素 C、钙、铁)的摄入是否达标 平衡评估:生成 “营养平衡度” 评分(0-100 分),指出摄入过剩或不足的营养素 趋势分析: 周 / 月营养趋势:用折线图展示近 7 天 / 30 天的热量、三大营养素摄入变化 对比分析:将实际摄入与推荐量对比(如 “蛋白质摄入仅达到推荐量的 70%”) 目标达成率:针对健
1. 用户管理模块 用户注册与认证: 注册:用户填写身份信息(姓名、身份证号、手机号)、设置登录密码(需符合复杂度要求),系统生成唯一客户号 登录:支持账号(客户号 / 手机号)+ 密码登录,提供验证码登录、忘记密码(通过手机验证码重置)功能 身份验证:注册后需完成实名认证(模拟上传身份证照片,系统标记认证状态) 个人信息管理: 基本信息:查看 / 修改联系地址、紧急联系人、邮箱等非核心信息(身份证号等关键信息不可修改) 安全设置:修改登录密码、设置交易密码(用于转账等敏感操作)、开启 / 关闭登录提醒 权限控制:普通用户仅能操作本人账户;管理员可管理用户信息、查看系统统计数据 2. 账户与资金管理模块 账户管理: 账户创建:用户可开通储蓄卡账户(默认 1 个主账户,支持最多 3 个子账户,如 “日常消费账户”“储蓄账户”) 账户查询:查看各账户余额、开户日期、状态(正常 / 冻结)、交易限额 账户操作:挂失 / 解挂账户、申请注销账户(需余额为 0) 资金操作: 转账汇款:支持同行转账(输入对方账户号 / 手机号),需验证交易密码,可添加常用收款人 存款 / 取款:模拟存款(输入金额增加余额)、取款(输入金额减少余额,需不超过可用余额) 交易记录:按时间、类型(转入 / 转出 / 存款 / 取款)查询明细,显示交易时间、金额、对方账户(脱敏显示)、交易状态 3. 账单与支付模块 账单管理: 月度账单:自动生成每月收支明细,统计总收入、总支出、余额变动 账单查询:按月份、交易类型筛选账单,支持导出为 Excel 格式 还款提醒:若有贷款(简化版可模拟),系统在还款日 3 天前发送提醒 快捷支付: 绑定支付方式:添加银行卡(系统内账户)作为支付渠道 模拟消费:支持输入商户名称和金额,完成支付(从账户余额扣减) 支付记录:保存所有消费记录,包含商户、时间、金额、支付状态 4.
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值