关于使用synchronized实现线程安全的原理分析

本文介绍了Java内存模型中的主内存与工作内存概念,并详细解释了synchronized关键字如何确保线程间正确同步变量值。

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

首先,我们来看几个概念:

java内存模型定义的主内存与工作内存

java内存模型规定了所有的变量都存储在主内存中(此处的主内存跟物理硬件的主内存只是名字相同,此处仅仅是指虚拟机内存的一部分),而每条线程还会有自己的工作内存(可以类比cpu的寄存器和高速缓存),线程的工作内存中保存了该线程使用到的变量的主内存的副本的拷贝,线程对变量的所有操作都必须在工作内存中继续,而不能直接读写主内存中的变量。不同线程之间也无法直接访问对方工作内存中的变量,线程之间变量值的传递都需要通过主内存完成,三者关系如下图:

另外加一个操作系统的内存访问模型进行对比



当我们使用synchronized进行同步的时候,真正被同步的是在工作线程中的数据,简单的说就是在同步块或同步方法执行完后,对被锁定的对象做的任何修改要在释放锁之前写回到主内存中;在进入同步块得到锁之后,被锁定对象的数据是从主内存中读出来的,持有锁的线程的工作内存中的数据副本一定和主内存中的数据视图是同步的 。

补充:synchronized关键字经过编译之后,会在同步块的前后分别形成monitorenter和monitorexit这两个字节码指令,这两个字节码都需要一个reference类型的参数来指明要锁定和解锁的对象。


评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值