Java 内存模型中 synchronized 怎么保证可见性和原子性

阿涛同学_1860

阿涛同学_1860

2026-09-02

141人浏览

原创

synchronized通过锁机制、内存屏障和happens-before规则协同保障原子性与可见性:原子性靠互斥执行确保临界区操作不可分割,可见性靠释放锁时刷新主存、获取锁时重读主存,并遵循unlock-happens-before-lock规则。

java 内存模型中 synchronized 怎么保证可见性和原子性

synchronized 在 Java 内存模型(JMM)中,不是靠“加锁”这一个动作单独起作用的,而是通过锁机制 + 内存屏障 + happens-before 规则三者协同,同时保障可见性和原子性。

原子性:靠互斥执行确保操作不可分割

多个线程无法同时进入同一个 synchronized 代码块或同步方法,因为 JVM 要求线程必须先成功获取 monitor 锁;获取失败则阻塞等待。这就让临界区内的所有操作——哪怕包含读、改、写多步——被当作一个整体串行执行。

  • 同一把锁(如 this 或某个 private final Object lock)保护的所有共享变量,其读写操作天然互斥
  • 不同锁之间不构成同步关系:比如 synchronized(obj1) 和 synchronized(obj2) 是完全独立的,不能保证跨锁操作的原子性
  • 典型反例:volatile int count 的 count++ 仍是非原子的,而 synchronized 包裹后就变成原子行为

可见性:靠锁进出时的内存同步强制刷新与重读

JMM 明确规定:

  • 线程释放锁前,必须把工作内存中该锁所保护的共享变量最新值,刷新回主内存
  • 线程获取锁时,必须清空工作内存中对应变量的副本,并从主内存重新加载最新值

这个过程由 JVM 在 monitorenter 和 monitorexit 指令处插入内存屏障(如 StoreLoad 屏障)来实现,确保不会因 CPU 缓存或编译器优化导致数据滞留。

Alibabacloud Sdk Client Initialization For Java
Alibabacloud Sdk Client Initialization For Java

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

下载

它背后遵循 happens-before 原则中的“监视器锁规则”:一个线程对某锁的 unlock 操作,happens-before 另一个线程对该锁的 lock 操作。这意味着前者的写,对后者可见。

关键使用前提:锁对象和访问范围必须一致

要真正发挥 synchronized 的 JMM 效果,必须满足两个硬性条件:

  • 所有读写共享变量的操作,都必须在同一个锁对象的 synchronized 块内完成;只同步写、不同步读,读线程仍可能看到过期值
  • 锁对象必须是同一个实例:用 this 就统一用 this,用私有 final 对象就始终用它,避免因锁对象不一致导致同步失效
  • 锁粒度需合理:太粗(如整个方法)会降低并发度;太细(如每行都 new 一个锁)则失去保护意义

为什么 volatile 不行,而 synchronized 可以兼顾两者?

volatile 只能保证单次读/写的可见性和禁止重排序,但不提供原子性。例如 i++ 是“读-改-写”三步,即使 i 是 volatile,仍可能丢失更新。

synchronized 则把整个复合操作包裹起来:既阻止其他线程并发执行,又通过锁进出的内存语义,确保修改对后续获得同一锁的线程立即可见。它是 JMM 中更完整、更可靠的同步原语。

Java免费学习笔记:立即使用
解锁 Java 大师之旅:从入门到精通的终极指南

相关文章

PHP速学视频免费教程(入门到精通)
PHP速学视频免费教程(入门到精通)

PHP怎么学习?PHP怎么入门?PHP在哪学?PHP怎么学才快?不用担心,这里为大家提供了PHP速学教程(入门到精通),有需要的小伙伴保存下载就能学习啦!

下载

相关标签:

java

本站声明:本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系admin@php.cn

相关专题

更多
java
java

Java是一个通用术语,用于表示Java软件及其组件,包括“Java运行时环境 (JRE)”、“Java虚拟机 (JVM)”以及“插件”。php中文网还为大家带了Java相关下载资源、相关课程以及相关文章等内容,供大家免费下载使用。

2023.06.15

9417

6

java正则表达式语法
java正则表达式语法

java正则表达式语法是一种模式匹配工具,它非常有用,可以在处理文本和字符串时快速地查找、替换、验证和提取特定的模式和数据。本专题提供java正则表达式语法的相关文章、下载和专题,供大家免费下载体验。

2023.07.05

6582

9

java自学难吗
java自学难吗

Java自学并不难。Java语言相对于其他一些编程语言而言,有着较为简洁和易读的语法,本专题为大家提供java自学难吗相关的文章,大家可以免费体验。

2023.07.31

5852

8

java配置jdk环境变量
java配置jdk环境变量

Java是一种广泛使用的高级编程语言,用于开发各种类型的应用程序。为了能够在计算机上正确运行和编译Java代码,需要正确配置Java Development Kit(JDK)环境变量。php中文网给大家带来了相关的教程以及文章,欢迎大家前来阅读学习。

2023.08.01

1024

3

java保留两位小数
java保留两位小数

Java是一种广泛应用于编程领域的高级编程语言。在Java中,保留两位小数是指在进行数值计算或输出时,限制小数部分只有两位有效数字,并将多余的位数进行四舍五入或截取。php中文网给大家带来了相关的教程以及文章,欢迎大家前来阅读学习。

2023.08.02

868

3

java基本数据类型
java基本数据类型

java基本数据类型有:1、byte;2、short;3、int;4、long;5、float;6、double;7、char;8、boolean。本专题为大家提供java基本数据类型的相关的文章、下载、课程内容,供大家免费下载体验。

2023.08.02

1236

5

java有什么用
java有什么用

java可以开发应用程序、移动应用、Web应用、企业级应用、嵌入式系统等方面。本专题为大家提供java有什么用的相关的文章、下载、课程内容,供大家免费下载体验。

2023.08.02

2469

5

java在线网站
java在线网站

Java在线网站是指提供Java编程学习、实践和交流平台的网络服务。近年来,随着Java语言在软件开发领域的广泛应用,越来越多的人对Java编程感兴趣,并希望能够通过在线网站来学习和提高自己的Java编程技能。php中文网给大家带来了相关的视频、教程以及文章,欢迎大家前来学习阅读和下载。

2023.08.03

19811

3

配置java环境变量
配置java环境变量

配置Java环境变量是为了让操作系统能够识别和使用Java的相关命令和功能。本专题为大家提供配置java环境变量相关文章,帮助大家解决问题。

2023.08.03

1115

8

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
dev.java 官方:Learn Java
dev.java 官方:Learn Java

共0课时 | 0人学习

Java JDBC数据库连接官方教程
Java JDBC数据库连接官方教程

共0课时 | 0人学习