Java内存模型深入详解(JMM)(下)

简介: Java内存模型深入详解(JMM)(下)

3 内存间同步操作

3.1 线程操作的定义

操作定义

write要写的变量以及要写的值。

read要读的变量以及可见的写入值(由此,我们可以确定可见的值)。

lock要锁定的管程(监视器monitor)。

unlock要解锁的管程。

外部操作(socket等等…)

启动和终止

程序顺序

如果一个程序没有数据竞争,那么程序的所有执行看起来都是顺序一致的

本规范只涉及线程间的操作;


一个变量如何从主内存拷贝到工作内存,从工作内存同步回主内存的实现细节


JMM 本身已经定义实现了以下8种操作来完成,且都具备原子性


lock(锁定)

作用于主内存变量,把一个变量标识为一条线程独占的状态


unlock(解锁)

作用于主内存变量,把一个处于锁定状态的变量释放,释放后的变量才可以被其它线程锁定

unlock之前必须将变量值同步回主内存


read(读取)

作用于主内存变量,把一个变量的值从主内存传输到工作内存,以便随后的load


load(载入)

作用于工作内存变量,把read从主内存中得到的变量值放入工作内存的变量副本


use(使用)

作用于工作内存变量,把工作内存中一个变量的值传递给执行引擎,每当虚拟机遇到一个需要使用到的变量的值得字节码指令时将会执行这个操作


assign(赋值)

作用于工作内存变量,把一个从执行引擎接收到的值赋给工作内存的变量,每当虚拟机遇到一个给变量赋值的字节码指令时执行这个操作


store(存储)

作用于工作内存变量,把工作内存中一个变量的值传送到主内存,以便随后的write操作使用


write(写入)

作用于主内存变量,把store操作从工作内存中得到的值放入主内存的变量中


把一个变量从主内存复制到工作内存

就要顺序执行read和load


把变量从工作内存同步回主内存

就要顺序地执行store和write操作


JMM只要求上述两个操作必须按序执行,而没有保证连续执行

也就是说read/load之间、store/write之间可以插入其它指令

如对主内存中的变量a,b访问时,一种可能出现的顺序是read a->readb->loadb->load a


JMM规定执行上述八种基础操作时必须满足如下

3.1 同步规则

◆ 对于监视器 m 的解锁与所有后续操作对于 m 的加锁 同步(之前的操作保持可见)

◆对 volatile变量v的写入,与所有其他线程后续对v的读同步

启动 线程的操作与线程中的第一个操作同步

◆ 对于每个属性写入默认值(0, false, null)与每个线程对其进行的操作同步

◆ 线程 T1的最后操作与线程T2发现线程T1已经结束同步。( isAlive ,join可以判断线程是否终结)

◆ 如果线程 T1中断了T2,那么线程T1的中断操作与其他所有线程发现T2被中断了同步通过抛出InterruptedException异常,或者调用Thread.interrupted或Thread.isInterrupted


不允许read/load、store/write操作之一单独出现

不允许一个变量从主内存读取了但工作内存不接收,或从工作内存发起回写但主内存不接收

不允许一个线程丢弃它的最近的assign

即变量在工作内存中改变(为工作内存变量赋值)后必须把该变化同步回主内存

新变量只能在主内存“诞生”,不允许在工作内存直接使用一个未被初始化(load或assign)的变量

换话说就是一个变量在实施use,store之前,必须先执行过assign和load

如果一个变量事先没有被load锁定,则不允许对它执行unlock,也不允许去unlock一个被其它线程锁定的变量

对一个变量执行unloack前,必须把此变量同步回主内存中(执行store,write)


目录
相关文章
|
18天前
|
安全 Java 程序员
深入理解Java内存模型与并发编程####
本文旨在探讨Java内存模型(JMM)的复杂性及其对并发编程的影响,不同于传统的摘要形式,本文将以一个实际案例为引子,逐步揭示JMM的核心概念,包括原子性、可见性、有序性,以及这些特性在多线程环境下的具体表现。通过对比分析不同并发工具类的应用,如synchronized、volatile关键字、Lock接口及其实现等,本文将展示如何在实践中有效利用JMM来设计高效且安全的并发程序。最后,还将简要介绍Java 8及更高版本中引入的新特性,如StampedLock,以及它们如何进一步优化多线程编程模型。 ####
21 0
|
20天前
|
存储 监控 算法
Java内存管理深度剖析:从垃圾收集到内存泄漏的全面指南####
本文深入探讨了Java虚拟机(JVM)中的内存管理机制,特别是垃圾收集(GC)的工作原理及其调优策略。不同于传统的摘要概述,本文将通过实际案例分析,揭示内存泄漏的根源与预防措施,为开发者提供实战中的优化建议,旨在帮助读者构建高效、稳定的Java应用。 ####
32 8
|
18天前
|
存储 监控 算法
深入探索Java虚拟机(JVM)的内存管理机制
本文旨在为读者提供对Java虚拟机(JVM)内存管理机制的深入理解。通过详细解析JVM的内存结构、垃圾回收算法以及性能优化策略,本文不仅揭示了Java程序高效运行背后的原理,还为开发者提供了优化应用程序性能的实用技巧。不同于常规摘要仅概述文章大意,本文摘要将简要介绍JVM内存管理的关键点,为读者提供一个清晰的学习路线图。
|
22天前
|
存储 算法 Java
Java 内存管理与优化:掌控堆与栈,雕琢高效代码
Java内存管理与优化是提升程序性能的关键。掌握堆与栈的运作机制,学习如何有效管理内存资源,雕琢出更加高效的代码,是每个Java开发者必备的技能。
48 5
|
20天前
|
存储 算法 Java
Java内存管理深度解析####
本文深入探讨了Java虚拟机(JVM)中的内存分配与垃圾回收机制,揭示了其高效管理内存的奥秘。文章首先概述了JVM内存模型,随后详细阐述了堆、栈、方法区等关键区域的作用及管理策略。在垃圾回收部分,重点介绍了标记-清除、复制算法、标记-整理等多种回收算法的工作原理及其适用场景,并通过实际案例分析了不同GC策略对应用性能的影响。对于开发者而言,理解这些原理有助于编写出更加高效、稳定的Java应用程序。 ####
|
20天前
|
安全 Java 程序员
Java内存模型的深入理解与实践
本文旨在深入探讨Java内存模型(JMM)的核心概念,包括原子性、可见性和有序性,并通过实例代码分析这些特性在实际编程中的应用。我们将从理论到实践,逐步揭示JMM在多线程编程中的重要性和复杂性,帮助读者构建更加健壮的并发程序。
|
25天前
|
算法 Java 开发者
Java内存管理与垃圾回收机制深度剖析####
本文深入探讨了Java虚拟机(JVM)的内存管理机制,特别是其垃圾回收机制的工作原理、算法及实践优化策略。不同于传统的摘要概述,本文将以一个虚拟的“城市环卫系统”为比喻,生动形象地揭示Java内存管理的奥秘,旨在帮助开发者更好地理解并调优Java应用的性能。 ####
|
17天前
|
存储 监控 算法
Java内存管理的艺术:深入理解垃圾回收机制####
本文将引领读者探索Java虚拟机(JVM)中垃圾回收的奥秘,解析其背后的算法原理,通过实例揭示调优策略,旨在提升Java开发者对内存管理能力的认知,优化应用程序性能。 ####
32 0
|
5月前
|
Java
Java面试题:Java内存模型与并发编程知识点,解释Java中“happens-before”的关系,分析Java中的内存一致性效应(Memory Consistency Effects)及其重要性
Java面试题:Java内存模型与并发编程知识点,解释Java中“happens-before”的关系,分析Java中的内存一致性效应(Memory Consistency Effects)及其重要性
32 0
|
7月前
|
SQL 安全 Java
java单例——Java 内存模型之从 JMM 角度分析 DCL
java单例——Java 内存模型之从 JMM 角度分析 DCL
73 0