JAVA虚拟机

JAVA虚拟机

• 类加载机制

  Java 源文件经过编译后成 Class 文件，在 Class 文件中描述的各种信息，最终都需要加载到虚拟机中才能运行与使用。虚拟机把描述类的数据从Class文件加载到内存，并对数据进行校验、准备、转换解析和初始化，最终形成可以被虚拟机直接使用的Java类型，这就是虚拟机的类加载机制。

• Run Data Area（运行时数据区） https://www.jianshu.com/p/eaef248b5a2c

  就是我们常说的JVM管理的内存了，运行数据区是整个JVM的重点，我们所有写的程序都被加载到这里，之后才开始运行。

  • 程序计数器：线程私有，指向下一条要执行的指令；

  • Java虚拟机栈：线程私有，生命周期与线程相同。描述的使Java方法执行的内存模型：每个方法被执行的时候，都会同时创建一个栈帧，用于存储局部变量表、操作栈、动态链接、方法出口；

    • 局部变量表：用于存放方法参数和方法内部定义的局部变量，其大小在代码编译期间已经确定，在方法运行期间不会改变。局部变量表以变量槽（Slot）为最小存储单位，每个Slot能够存放一个boolean、byte、char、shot、int、float、reference和returnAddress类型的32位数据，对于64位的数据类型long和double，虚拟机会以高位对齐的方式为其分配两个连续的Slot空间。在方法执行时，如果是实例方法，即非static方法，局部变量表中第0位Slot默认存放对象实例的引用，在方法中可以通过关键字 this 进行访问，方法参数按照参数列表顺序，从第1位Slot开始分配，方法内部变量则按照定义顺序进行分配其余的Slot。

  • 堆：线程共享，所有对象实例以及数组都要在堆上分配，是垃圾收集器管理的主要区域。为对象分配内存的两种方法：

    • 指针碰撞法

      假设Java堆中内存是完整的，已分配的内存和空闲内存分别在不同的一侧，通过一个指针作为分界点，需要内存分配时，仅仅需要把指针往空闲的一段移动与对象大小相等的距离。

    • 空闲列表法

      事实上，Java堆的内存信息并不是完整的，已分配的内存和空闲内存相互交错，JVM通过维护一个列表，记录可用的内存块信息，当分配操作发生时，从列表中找到一个足够大的内存块分配给对象实例，并更新列表上的记录。

      对象创建是一个非常频繁的行为，进行堆内存分配时还需要考虑多线程并发问题，可能出现正在给对象A分配内存，指针或记录还未更新，对象B又同时分配到原来的内存，解决这个问题有两种方案：
      1、采用CAS保证数据更新操作的原子性；
      2、把内存分配的行为按照线程进行划分，在不同的空间中进行，每个线程在Java堆中预先分配一个内存块，称为本地线程分配缓冲（Thread Local Allocation Buffer, TLAB）;

  • 本地方法栈

  • 方法区： 别名叫做非堆(Non-Heap)，线程共享的内存区域。目的是与Java堆区分开来，存储类信息、常量、静态变量、即时编译器编译后的代码。方法区存放的信息包括：
    A 类的基本信息：
    1.每个类的全限定名
    2.每个类的直接超类的全限定名(可约束类型转换)
    3.该类是类还是接口
    4.该类型的访问修饰符
    5.直接超接口的全限定名的有序列表
    B 已装载类的详细信息
    1.运行时常量池：在方法区中，每个类型都对应一个常量池，存放该类型所用到的所有常量，常量池中存储了诸如文字字符串、final变量值、类名和方法名常量。它们以数组形式通过索引被访 问，是外部调用与类联系及类型对象化的桥梁。（存的可能是个普通的字符串，然后经过常量池解析，则变成指向某个类的引用）
    2.字段信息：字段信息存放类中声明的每一个字段的信息，包括字段的名、类型、修饰符。字段名称指的是类或接口的实例变量或类变量，字段的描述符是一个指示字段的类型的字符串，如private A a=null;则a为字段名，A为描述符，private为修饰符。
    3.方法信息：类中声明的每一个方法的信息，包括方法名、返回值类型、参数类型、修饰符、异常、方法的字节码。(在编译的时候，就已经将方法的局部变量、操作数栈大小等确定并存放在字节码中，在装载的时候，随着类一起装入方法区。)
    4.静态变量：就是类变量，类的所有实例都共享，我们只需知道，在方法区有个静态区，静态区专门存放静态变量和静态块。
    5.到类classloader的引用：到该类的类装载器的引用。
    6.到类class 的引用：jvm为每个加载的类型(译者：包括类和接口)都创建一个java.lang.Class的实例。而jvm必须以某种方式把Class的这个实例和存储在方法区中的类型数据联系起来。

• Java对象的创建过程

  • 根据New的参数在常量池中定位一个类的符号引用；
  • 如果没有找到这个符号引用，说明该类还没有被加载，则先进行类的加载、解析和初始化；
  • 虚拟机为对象分配内存（位于堆中）；
  • 将分配的内存初始化为零值（初始化对象）；
  • 调用对象的init方法（执行构造方法）。

• JMM

  Java内存模型(Java Memory Model，JMM)JMM主要是为了规定了线程和内存之间的一些关系。根据JMM的设计，系统存在一个主内存(Main Memory)，Java中所有变量都储存在主存中，对于所有线程都是共享的。每条线程都有自己的工作内存(Working Memory)，工作内存中保存的是主存中某些变量的拷贝，线程对所有变量的操作都是在工作内存中进行，线程之间无法相互直接访问，变量传递均需要通过主存完成。

  

• 垃圾回收机制 https://www.jianshu.com/p/6d1cbe38a54b

  • JVM中的堆是垃圾收集器管理的主要区域，其中实例对象在内存中的布局包含GC分代年龄：

    • 新生代：分为Eden和survivor区，当发生一次GC操作，会将Eden中存活的对象移动到s0区，并清空Eden区域，下一次GC，将Eden和s0中存活的对象移动到s1区域，移动一次，GC年龄加一，当超过15时，移动到老年代。被回收的几率较大。
    • 老年代：被回收的几率较小。
    • 永久代：jdk8后，不在存在，而是直接将类的元信息保存在本地内存当中，避免了内存溢出的问题， 不过需要监控内存的消耗情况，一旦发生内存泄漏，会占用大量的本地内存。

  • 如何判断对象是否存活

    • 引用计数法： 在对象上添加一个引用计数器，每当有一个对象引用它时，计数器加1，当使用完该对象时，计数器减1，计数器值为0的对象表示不可能再被使用 。

      优点：执行效率高

      缺点：无法解决对象之间相互引用的问题。

    • 可达性分析法：通过一系列称为 “GC Roots” 的对象作为起点，从这些节点开始向下搜索，搜索路径称为 “引用链”，以下对象可作为GC Roots：

      • 本地变量表中引用的对象
      • 方法区中静态变量引用的对象
      • 方法区中常量引用的对象
      • Native方法引用的对象

      当一个对象到 GC Roots 没有任何引用链时，意味着该对象可以被回收。

  • 如何将垃圾回收 https://www.cnblogs.com/jiangtunan/p/11025521.html

    • 标记清除法： 该算法分为“标记”和“清除”两个阶段：标记阶段的任务是标记出所有需要被回收的对象，清除阶段就是回收被标记的对象所占用的空间。

      • 缺点：标记清楚后会产生大量不连续的碎片。

    • 复制算法：它可以将内存分为大小相同的两块，每次使用其中的一块。当第一块的内存使用完后，就将还存活的对象复制到另一块去，然后再把使用的空间一次清理掉。这样就使每次的内存回收都是对内存区间的一半进行回收。

      简单来说就是该对象分为对象面以及空闲面，对象在对象面上创建，对象面上存活的对象会被复制到空闲面，接下来就可以清除对象面的内存。

      这种算法的优缺点也比较明显

      • 优点：解决碎片化问题，顺序分配内存简单高效
      • 缺点：只适用于存活率低的场景，如果极端情况下如果对象面上的对象全部存活，就要浪费一半的存储空间

    • 标记整理法： 为了解决复制算法的缺陷，充分利用内存空间，提出了标记整理算法。该算法标记阶段和标记清除一样，但是在完成标记之后，它不是直接清理可回收对象，而是将存活对象都向一端移动，然后清理掉端边界以外的内存。

    • 分代收集算法（最常用）：当前虚拟机的垃圾收集都采用分代收集算法，这种算法就是根据具体的情况选择具体的垃圾回收算法。一般将 java 堆分为新生代和老年代，这样我们就可以根据各个年代的特点选择合适的垃圾收集算法。

      比如在新生代中，每次收集都会有大量对象死去，所以可以选择复制算法，只需要付出少量对象的复制成本就可以完成每次垃圾收集。而老年代的对象存活几率是比较高的，而且没有额外的空间对它进行分配担保，所以我们必须选择“标记-清除”或“标记-整理”算法进行垃圾收集。