【虚拟机】走进Java、自动内存管理

简介: 【虚拟机】走进Java、自动内存管理

好书分享:

在这里插入图片描述

一、走进Java

==世界上并没有完美的程序,但我们并不因此而沮丧,因为写程序本来就是一个不断追求完美的过程。==

1.Java的优点:

a. 摆脱了硬件平台的束缚,“一次编写,到处运行”(这个思想个人感觉忒牛了,想想鸿蒙的理念也是如此!)
Write Once,Run Anywhere
b.相对安全的==内存管理==和==访问机制==,避免了绝大部分内存泄漏和指针越界问题
c.实现了热点代码检测和运行时编译及优化
d.完善的应用程序接口
在这里插入图片描述

2.Java技术体系

a.组成:

b.服务领域:
在这里插入图片描述
c.具体:
在这里插入图片描述

3.Java的发展

==Java之父:詹姆斯·高斯林==

  • 最早语言为Oak,用于嵌入式系统,没有成功;
  • 1995年互联网发展,改名为Java,开始火爆,提出Write once run anywhere的原则;
  • 1996年1月 发布JDK1.0,jvm为Sun Classic VM;
  • 1996年5月 首届JavaOne大会;
  • 1997年2月 JDK1.1(内部类、反射、jdbc、javabean、rmi);
  • 1998年 JDK1.2 发布J2Se J2EE J2ME swing jit Hotspot VM;
  • 2000年5月 JDK1.3 Timer Java2d;
  • 2002年2月 JDK1.4 Struts Hibernate Spring 正则表达式 NIO 日志 Xml解析器;
  • 2004年9月 JDK1.5(tiger) 自动装箱拆箱 泛型 注解 枚举 增强for 可变参数 Spring2.X;
  • 2006年 JDK6 JavaSe JavaEE JavaME 提供脚本语言支持 支持http服务器api;
  • 2009年 Java7 Jigsaw模块化 Orical74亿收购Sun;
  • 2014年 Java8 Lambda表达式 函数式接口 方法引用 默认方法 Stream;
  • 2017年 Java9 模块化
  • 2018年 Java10(内部重构)、Java11 (免费and收费)
  • 2019年 Java12加入由RedHat领导开发的Shenandoah垃圾收集器

二、自动内存管理

2.1 Java内存区域与内存溢出异常

2.11运行时数据区域

在这里插入图片描述

程序计数器

程序计数器是一块较小的内存空间,它可以看成是当前线程所执行的字节码的==行号指示器==。每条线程都需要一个独立的程序计数器,和Java虚拟栈一样 ==“线程私有”==,生命周期与线程相同。此区域是==唯一==一个在《Java虚拟机规范》中没有规定任何OutOfMemoryError情况的区域。如果线程执行的是==java方法==,这个计数器记录的是==正在执行的虚拟字节码指令的地址==。如果正在执行的是==本地(native)方法==,那么这个计数器的值为==空(undefined)==。

Java虚拟机栈

虚拟机栈描述的是Java方法执行的动态内存模型。

  • 栈帧: 每个方法执行都会==同步创建一个栈帧==方法执行完毕,栈帧销毁。用于存储局部变量表,操作数栈,动态链接,方法出口等。
  • 局部变量表:==存放==编译期可知的各种基本数据类型,引用类型,局部变量表的大小在==编译期便已经完全确定==,在==运行时期不会发生改变==。不过这里大小指的是==变量槽==的数量(slot),这些数据类型在局部变量表中的存储空间以局部变量槽来表示。
  • 栈的大小:如果栈满了,StackOverFlowError,递归调用很常见。
public class Main {
    public static void main(String[] args) {
        test();
    }   
    public static void test() {
        System.out.println("start......");
        test();
    }
}
// 报错Exception in thread "main" java.lang.StackOverflowError

本地方法栈

本地方法栈为虚拟机执行native方法服务

Java堆

  • java虚拟机==最大==的内存区域,==存放对象实例==,也是==垃圾收集==器管理的主要区域,GC堆(Garbage Collected Heap)不是垃圾堆哦哈哈
  • Java堆可以处于物理内存不连续,逻辑上应视为连续。
  • 可固定、可拓展
不过哈,如今的及时编译技术日益进步,比如逃逸分析技术进步,栈上分配,标量替换优化手段的出现,说对象实例都分配到Java堆感觉有点过于绝对了。
十年前,主流的HotSpot虚拟机中的垃圾收集器全部基于“经典分代”设计,但今天,垃圾收集器技术已不同昨日,HotSpot里面也出现了不采用分代设计,说Java虚拟机都划分新生代、老年代也显得绝对了。

在这里插入图片描述

方法区

存储虚拟机加载的==类信息==(类的版本、字段、方法、接口),==常量==,==静态常量==,==即时编译后的代码==等数据,也可能会抛出OutOfMemoryError异常。
==方法区≠永久代==,对于HotSpot中才有永久代的概念。

运行时常量池是方法区的一部分

public class Changliang {
    public static void main(String[] args) {
        // s1与s2是相等的,为字节码常亮
        String s1 = "abc";
        String s2 = "abc";
        
        // s3创建在堆内存中
        String s3 = new String("abc");
        
        // intern方法可以将对象变为运行时常量
        // intern是一个native方法
        System.out.println(s1 == s3.intern()); // true
    }
}

直接内存:jdk1.4中增加了NIO,可以分配堆外内存(系统内存替代用户内存),提高了性能。

对象的创建:
在这里插入图片描述

2.12在堆中给对象分配内存

两种方式:==指针碰撞和空闲列表==。我们具体使用的哪一种,由==Java堆是否规整决定==,而这又由所采用的==垃圾收集器是否带有空间压缩整理能力==,如果有压缩整理,可以使用指针碰撞的分配方式。

  • 指针碰撞(Bump and Pointer):假设Java堆中内存是绝对规整的,所有用过的内存度放一边,空闲的内存放另一边,中间放着一个指针作为分界点的指示器,所分配内存就仅仅是把哪个指针向空闲空间那边挪动一段与对象大小相等的举例,这种分配方案就叫指针碰撞
  • 空闲列表(Free List):有一个列表,其中记录中哪些内存块有用,在分配的时候从列表中找到一块足够大的空间划分给对象实例,然后更新列表中的记录,这就叫做空闲列表。

2.13线程安全性问题

在两个线程同时创建对象时,可能会造成空间分配的冲突,解决方案有:==线程同步==(但执行效率过低)或==给每一个线程单独分配一个堆区域==TLAB Thread Local Allocation Buffer(本地线程分配缓冲)。

2.14对象的内存布局

在HotSpot虚拟机中,对象在内存中存储的布局可用分为3块区域:==对象头(Header)、实例数据(Instance Data)和对齐填充(Padding)==

  • 对象头:包括两部分信息,第一部分信息用于存储==对象自身的运行时数据(32位~64位 MarkWord)==,如哈希码(HashCode)、GC分代年龄、锁状态标志、线程持有的锁、偏向线程ID、偏向时间戳等。第二部分是==类型指针==,即对象指向它的类元数据的指针,虚拟机通过这个指针来确定这个对象是哪个类的实例。另外,==如果对象是一个Java数组,那在对象头中还必须有一块用于记录数组长度的数据==,因为虚拟机可以通过普通Java对象的元数据信息确定Java对象的大小,但是从数组的元数据中却无法确定数组的大小。
    在这里插入图片描述
  • 实例数据:是对象真正存储的有效信息,也是在程序代码中所定义的各种类型的字段内容。==相同宽度(如long和double)的字段被分配在一起,父类属性在子类属性之前。==
  • 对齐填充:==占位符填充作用==。(起始地址必须是8字节的整数倍)

2.15对象的访问定位

访问方式:

  • 句柄访问:Java堆中可能会划分出一块内存来作为句柄池,引用变量中存储的就是对象的句柄地址,而句柄中包含了对象实例数据和类型数据各自的具体地址信息。==一个句柄又包含了两个地址,一个对象实例数据,一个是对象类型数据(这个在方法区中,因为类字节码文件就放在方法区中)。==

在这里插入图片描述

  • 直接指针访问:引用变量中存储的就直接是对象地址了,在堆中不会分句柄池,直接指向了对象的地址,对象中包含了对象类型数据的地址。==HotSpot主要采用直接定位==(Shenandoah收集器会有一次额外的转发)

2.16OutOfMemoryError异常

在Java虚拟机规范的描述中,除了程序计数器外,虚拟机内存的其他几个运行时区域都有发生OutOfMemoryError异常的可能,如下所示:

  • Java堆溢出:Java堆用于存储对象实例,只要不断地创建对象,并且保证GCRoots到对象之间有可达路径来避免垃圾回收机制清除这些对象,那么在对象数量到达最大堆的容量限制后就会产生内存溢出异常。
  • 虚拟机栈和本地方法栈溢出:在Java虚拟机规范中,描述了两种异常:

      
      如果线程请求的栈深度大于虚拟机所允许的最大深度,将抛出StackOverflowError异常。
      
      如果虚拟机在扩展栈时无法申请到足够的内存空间,则抛出OutOfMemoryError异常。
  • 方法区和运行时常量池溢出:运行时产生大量的类去填满方法区,就会溢出。
  • 本机直接内存溢出:若向操作系统中申请分配过多内存,就会溢出。
相关文章
|
10天前
|
安全 Java 程序员
深入理解Java内存模型与并发编程####
本文旨在探讨Java内存模型(JMM)的复杂性及其对并发编程的影响,不同于传统的摘要形式,本文将以一个实际案例为引子,逐步揭示JMM的核心概念,包括原子性、可见性、有序性,以及这些特性在多线程环境下的具体表现。通过对比分析不同并发工具类的应用,如synchronized、volatile关键字、Lock接口及其实现等,本文将展示如何在实践中有效利用JMM来设计高效且安全的并发程序。最后,还将简要介绍Java 8及更高版本中引入的新特性,如StampedLock,以及它们如何进一步优化多线程编程模型。 ####
18 0
|
12天前
|
存储 监控 算法
Java内存管理深度剖析:从垃圾收集到内存泄漏的全面指南####
本文深入探讨了Java虚拟机(JVM)中的内存管理机制,特别是垃圾收集(GC)的工作原理及其调优策略。不同于传统的摘要概述,本文将通过实际案例分析,揭示内存泄漏的根源与预防措施,为开发者提供实战中的优化建议,旨在帮助读者构建高效、稳定的Java应用。 ####
28 8
|
10天前
|
存储 监控 算法
深入探索Java虚拟机(JVM)的内存管理机制
本文旨在为读者提供对Java虚拟机(JVM)内存管理机制的深入理解。通过详细解析JVM的内存结构、垃圾回收算法以及性能优化策略,本文不仅揭示了Java程序高效运行背后的原理,还为开发者提供了优化应用程序性能的实用技巧。不同于常规摘要仅概述文章大意,本文摘要将简要介绍JVM内存管理的关键点,为读者提供一个清晰的学习路线图。
|
14天前
|
存储 算法 Java
Java 内存管理与优化:掌控堆与栈,雕琢高效代码
Java内存管理与优化是提升程序性能的关键。掌握堆与栈的运作机制,学习如何有效管理内存资源,雕琢出更加高效的代码,是每个Java开发者必备的技能。
44 5
|
12天前
|
存储 算法 Java
Java内存管理深度解析####
本文深入探讨了Java虚拟机(JVM)中的内存分配与垃圾回收机制,揭示了其高效管理内存的奥秘。文章首先概述了JVM内存模型,随后详细阐述了堆、栈、方法区等关键区域的作用及管理策略。在垃圾回收部分,重点介绍了标记-清除、复制算法、标记-整理等多种回收算法的工作原理及其适用场景,并通过实际案例分析了不同GC策略对应用性能的影响。对于开发者而言,理解这些原理有助于编写出更加高效、稳定的Java应用程序。 ####
|
12天前
|
安全 Java 程序员
Java内存模型的深入理解与实践
本文旨在深入探讨Java内存模型(JMM)的核心概念,包括原子性、可见性和有序性,并通过实例代码分析这些特性在实际编程中的应用。我们将从理论到实践,逐步揭示JMM在多线程编程中的重要性和复杂性,帮助读者构建更加健壮的并发程序。
|
9天前
|
存储 监控 算法
Java内存管理的艺术:深入理解垃圾回收机制####
本文将引领读者探索Java虚拟机(JVM)中垃圾回收的奥秘,解析其背后的算法原理,通过实例揭示调优策略,旨在提升Java开发者对内存管理能力的认知,优化应用程序性能。 ####
24 0
|
20天前
|
缓存 Prometheus 监控
Elasticsearch集群JVM调优设置合适的堆内存大小
Elasticsearch集群JVM调优设置合适的堆内存大小
164 1
|
19天前
|
Java
JVM内存参数
-Xmx[]:堆空间最大内存 -Xms[]:堆空间最小内存,一般设置成跟堆空间最大内存一样的 -Xmn[]:新生代的最大内存 -xx[use 垃圾回收器名称]:指定垃圾回收器 -xss:设置单个线程栈大小 一般设堆空间为最大可用物理地址的百分之80
|
20天前
|
Java
JVM运行时数据区(内存结构)
1)虚拟机栈:每次调用方法都会在虚拟机栈中产生一个栈帧,每个栈帧中都有方法的参数、局部变量、方法出口等信息,方法执行完毕后释放栈帧 (2)本地方法栈:为native修饰的本地方法提供的空间,在HotSpot中与虚拟机合二为一 (3)程序计数器:保存指令执行的地址,方便线程切回后能继续执行代码
19 3