前言:
今天要给大家分享的是Java虚拟机的一些硬货知识，文章不错的话记得给我点给个关注哦，私信我可以获取更多的java资料。
第一章 JVM 内存模型
Java 虚拟机（Java Virtual Machine=JVM）的内存空间分为五个部分，分别是：
程序计数器
Java 虚拟机栈
本地方法栈
堆
方法区。
下面对这五个区域展开深入的介绍。
1.1 程序计数器
1.1.1 什么是程序计数器？
程序计数器是一块较小的内存空间，可以把它看作当前线程正在执行的字节码的行号指示器。也就是说，程序计数器里面记录的是当前线程正在执行的那一条字节码指令的地址。
注： 但是，如果当前线程正在执行的是一个本地方法，那么此时程序计数器为空。
1.1.2 程序计数器的作用
程序计数器有两个作用：
字节码解释器通过改变程序计数器来依次读取指令，从而实现代码的流程控制，如：顺序执行、选择、循环、异常处理。
在多线程的情况下，程序计数器用于记录当前线程执行的位置，从而当线程被切换回来的时候能够知道该线程上次运行到哪儿了。
1.1.3 程序计数器的特点
是一块较小的存储空间
线程私有。每条线程都有一个程序计数器。
是唯一一个不会出现OutOfMemoryError的内存区域。
生命周期随着线程的创建而创建，随着线程的结束而死亡。
1.2 Java虚拟机栈（JVM Stack）
1.2.1 什么是Java虚拟机栈？
Java虚拟机栈是描述Java方法运行过程的内存模型。
Java虚拟机栈会为每一个即将运行的Java方法创建一块叫做“栈帧”的区域，这块区域用于存储该方法在运行过程中所需要的一些信息，这些信息包括：
局部变量表
存放基本数据类型变量、引用类型的变量、returnAddress类型的变量。
操作数栈
动态链接
方法出口信息
等
当一个方法即将被运行时，Java虚拟机栈首先会在Java虚拟机栈中为该方法创建一块“栈帧”，栈帧中包含局部变量表、操作数栈、动态链接、方法出口信息等。当方法在运行过程中需要创建局部变量时，就将局部变量的值存入栈帧的局部变量表中。
当这个方法执行完毕后，这个方法所对应的栈帧将会出栈，并释放内存空间。
注意： 人们常说，Java的内存空间分为“栈”和“堆”，栈中存放局部变量，堆中存放对象。
这句话不完全正确！这里的“堆”可以这么理解，但这里的“栈”只代表了Java虚拟机栈中的局部变量表部分。真正的Java虚拟机栈是由一个个栈帧组成，而每个栈帧中都拥有：局部变量表、操作数栈、动态链接、方法出口信息。
1.2.2 Java 虚拟机栈的特点
（1）局部变量表的创建是在方法被执行的时候，随着栈帧的创建而创建。而且，局部变量表的大小在编译时期就确定下来了，在创建的时候只需分配事先规定好的大小即可。此外，在方法运行的过程中局部变量表的大小是不会发生改变的。
（2）Java 虚拟机栈会出现两种异常：StackOverFlowError 和 OutOfMemoryError。
a) StackOverFlowError：
若Java虚拟机栈的内存大小不允许动态扩展，那么当线程请求栈的深度超过当前Java虚拟机栈的最大深度的时候，就抛出StackOverFlowError异常。
b) OutOfMemoryError：
若Java虚拟机栈的内存大小允许动态扩展，且当线程请求栈时内存用完了，无法再动态扩展了，此时抛出OutOfMemoryError异常。
（3）Java虚拟机栈也是线程私有的，每个线程都有各自的Java虚拟机栈，而且随着线程的创建而创建，随着线程的死亡而死亡。
注：StackOverFlowError和OutOfMemoryError的异同？ StackOverFlowError表示当前线程申请的栈超过了事先定好的栈的最大深度，但内存空间可能还有很多。而OutOfMemoryError是指当线程申请栈时发现栈已经满了，而且内存也全都用光了。
1.3 本地方法栈
1.3.1 什么是本地方法栈？
本地方法栈和Java虚拟机栈实现的功能类似，只不过本地方法区是本地方法运行的内存模型。
本地方法被执行的时候，在本地方法栈也会创建一个栈帧，用于存放该本地方法的局部变量表、操作数栈、动态链接、出口信息。
方法执行完毕后相应的栈帧也会出栈并释放内存空间。
也会抛出StackOverFlowError和OutOfMemoryError异常。
1.4 堆
1.4.1 什么是堆？
堆是用来存放对象的内存空间。
几乎所有 的对象都存储在堆中。
1.4.2 堆的特点
（1）线程共享
整个 Java 虚拟机只有一个堆，所有的线程都访问同一个堆。而程序计数器、Java 虚拟机栈、本地方法栈都是一个线程对应一个的。
（2）在虚拟机启动时创建。
（3）垃圾回收的主要场所。
（4）可以进一步细分为：新生代、老年代。
新生代又可被分为：Eden、From Survior、To Survior。不同的区域存放具有不同生命周期的对象。这样可以根据不同的区域使用不同的垃圾回收算法，从而更具有针对性，从而更高效。
（5）堆的大小既可以固定也可以扩展，但主流的虚拟机堆的大小是可扩展的，因此当线程请求分配内存，但堆已满，且内存已满无法再扩展时，就抛出 OutOfMemoryError。
1.5 方法区
1.5.1 什么是方法区？
Java 虚拟机规范中定义方法区是堆的一个逻辑部分。方法区中存放已经被虚拟机加载的类信息、常量、静态变量、即时编译器编译后的代码等。
1.5.2 方法区的特点
线程共享
方法区是堆的一个逻辑部分，因此和堆一样，都是线程共享的。整个虚拟机中只有一个方法区。
永久代
方法区中的信息一般需要长期存在，而且它又是堆的逻辑分区，因此用堆的划分方法，我们把方法区称为老年代。
内存回收效率低
方法区中的信息一般需要长期存在，回收一遍内存之后可能只有少量信息无效。
对方法区的内存回收的主要目标是：对常量池的回收 和 对类型的卸载。
Java虚拟机规范对方法区的要求比较宽松。
和堆一样，允许固定大小，也允许可扩展的大小，还允许不实现垃圾回收。
1.5.3 什么是运行时常量池？
方法区中存放三种数据：类信息、常量、静态变量、即时编译器编译后的代码。其中常量存储在运行时常量池中。
我们一般在一个类中通过public static final来声明一个常量。这个类被编译后便生成Class文件，这个类的所有信息都存储在这个class文件中。
当这个类被Java虚拟机加载后，class文件中的常量就存放在方法区的运行时常量池中。而且在运行期间，可以向常量池中添加新的常量。如：String类的intern()方法就能在运行期间向常量池中添加字符串常量。
当运行时常量池中的某些常量没有被对象引用，同时也没有被变量引用，那么就需要垃圾收集器回收。
1.6 直接内存
直接内存是除Java虚拟机之外的内存，但也有可能被Java使用。
在NIO中引入了一种基于通道和缓冲的IO方式。它可以通过调用本地方法直接分配Java虚拟机之外的内存，然后通过一个存储在Java堆中的DirectByteBuffer对象直接操作该内存，而无需先将外面内存中的数据复制到堆中再操作，从而提升了数据操作的效率。
直接内存的大小不受Java虚拟机控制，但既然是内存，当内存不足时就会抛出OOM异常。
1.7 综上所述
Java虚拟机的内存模型中一共有两个“栈”，分别是：Java虚拟机栈和本地方法栈。
两个“栈”的功能类似，都是方法运行过程的内存模型。并且两个“栈”内部构造相同，都是线程私有。
只不过Java虚拟机栈描述的是Java方法运行过程的内存模型，而本地方法栈是描述Java本地方法运行过程的内存模型。
Java虚拟机的内存模型中一共有两个“堆”，一个是原本的堆，一个是方法区。方法区本质上是属于堆的一个逻辑部分。堆中存放对象，方法区中存放类信息、常量、静态变量、即时编译器编译的代码。
堆是Java虚拟机中最大的一块内存区域，也是垃圾收集器主要的工作区域。
程序计数器、Java虚拟机栈、本地方法栈是线程私有的，即每个线程都拥有各自的程序计数器、Java虚拟机栈、本地方法栈。并且他们的生命周期和所属的线程一样。
而堆、方法区是线程共享的，在Java虚拟机中只有一个堆、一个方法栈。并在JVM启动的时候就创建，JVM停止才销毁。
第二章 揭开Java对象创建的奥秘
2.1 对象的创建过程
当虚拟机遇到一条含有new的指令时，会进行一系列对象创建的操作：
（1）检查常量池中是否有即将要创建的这个对象所属的类的符号引用；
若常量池中没有这个类的符号引用，说明这个类还没有被定义！抛出ClassNotFoundException；
若常量池中有这个类的符号引用，则进行下一步工作；
（2）进而检查这个符号引用所代表的类是否已经被JVM加载；
若该类还没有被加载，就找该类的class文件，并加载进方法区；
若该类已经被JVM加载，则准备为对象分配内存；
如编译器会自动地在内部类的class文件的字段表集合中添加外部类对象的成员变量，供内部类访问外部类。
Java中只要两个字段名字相同就无法通过编译。但在JVM规范中，允许两个字段的名字相同但描述符不同的情况，并且认为它们是两个不同的字段。
5.9 Class文件的构成7：方法表的集合
在class文件中，所有的方法以二维表的形式存储，每张表来表示一个函数，一个类中的所有方法构成方法表的集合。
方法表的结构和字段表的结构一致，只不过访问标志和属性表集合的可选项有所不同。
类型名称数量u2access_flags1u2name_index1u2descriptor_index1u2attributes_count1attribute_infoattributesattributes_count
方法表的属性表集合中有一张Code属性表，用于存储当前方法经编译器编译过后的字节码指令。
方法表集合的注意点
如果本class没有重写父类的方法，那么本class文件的方法表集合中是不会出现父类/父接口的方法表；
本class的方法表集合可能出现程序猿没有定义的方法
编译器在编译时会在class文件的方法表集合中加入类构造器
和实例构造器。
重载一个方法需要有相同的简单名称和不同的特征签名。JVM的特征签名和Java的特征签名有所不同：
Java特征签名：方法参数在常量池中的字段符号引用的集合
JVM特征签名：方法参数＋返回值
第六章 详解 Java 类的加载过程
6.1 类的生命周期
一个类从加载进内存到卸载出内存为止，一共经历7个阶段：
加载——>验证——>准备——>解析——>初始化——>使用——>卸载
其中，类加载包括5个阶段：
加载——>验证——>准备——>解析——>初始化
在类加载的过程中，以下3个过程称为连接：
验证——>准备——>解析
因此，JVM的类加载过程也可以概括为3个过程：
加载——>连接——>初始化
C/C++在运行前需要完成预处理、编译、汇编、链接；而在Java中，类加载(加载、连接、初始化)是在程序运行期间完成的。
在程序运行期间进行类加载会稍微增加程序的开销，但随之会带来更大的好处——提高程序的灵活性。Java语言的灵活性体现在它可以在运行期间 动态扩展 ，所谓动态扩展就是在运行期间 动态加载 和 动态连接 。
6.2 类加载的时机
6.2.1 类加载过程中每个步骤的顺序
我们已经知道，类加载的过程包括：加载、连接、初始化，连接又分为：验证、准备、解析，所以说类加载一共分为5步：加载、验证、准备、解析、初始化。
其中加载、验证、准备、初始化的 开始 顺序是依次进行的，这些步骤开始之后的过程可能会有重叠。
而解析过程会发生在初始化过程中。
6.2.2 类加载过程中“初始化”开始的时机
JVM规范中只定义了类加载过程中初始化过程开始的时机，加载、连接过程都应该在初始化之前开始(解析除外)，这些过程具体在何时开始，JVM规范并没有定义，不同的虚拟机可以根据具体的需求自定义。
初始化开始的时机：在运行过程中遇到如下字节码指令时，如果类尚未初始化，那就要进行初始化：new、getstatic、putstatic、invokestatic。这四个指令对应的Java代码场景是：
通过new创建对象；
读取、设置一个类的静态成员变量（不包括final修饰的静态变量）；
调用一个类的静态成员函数。
使用java.lang.reflect进行反射调用的时候，如果类没有初始化，那就需要初始化；
当初始化一个类的时候，若其父类尚未初始化，那就先要让其父类初始化，然后再初始化本类；
当虚拟机启动时，虚拟机会首先初始化带有main方法的类，即主类；
6.2.3 主动引用 与 被动引用
JVM规范中要求在程序运行过程中，“当且仅当”出现上述4个条件之一的情况才会初始化一个类。如果间接满足上述初始化条件是不会初始化类的。
其中，直接满足上述初始化条件的情况叫做 主动引用 ；间接满足上述初始化过程的情况叫做 被动引用 。
那么，只有当程序在运行过程中满足主动引用的时候才会初始化一个类，若满足被动引用就不会初始化一个类。
6.2.4 被动引用的场景示例
示例一public class Fu{
public static String name = "柴毛毛";
static{
System.out.println("父类被初始化！");
}
}
public class Zi{
static{
System.out.println("子类被初始化！");
}
}
public static void main(String[] args){
System.out.println(Zi.name);
}
输出结果：
父类被初始化！
柴毛毛
原因分析：
本示例看似满足初始化时机的第一条：当要获取某一个类的静态成员变量的时候如果该类尚未初始化，则对该类进行初始化。
但由于这个静态成员变量属于Fu类，Zi类只是间接调用Fu类中的静态成员变量，因此Zi类调用name属性属于间接引用，而Fu类调用name属性属于直接引用，由于JVM只初始化直接引用的类，因此只有Fu类被初始化。
示例二public class A{
public static void main(String[] args){
Fu[] arr = new Fu[10];
}
}
输出结果：
并没有输出“父类被初始化！”
原因分析：
这个过程看似满足初始化时机的第一条：遇到new创建对象时若类没被初始化，则初始化该类。
但现在通过new要创建的是一个数组对象，而非Fu类对象，因此也属于间接引用，不会初始化Fu类。
示例三public class Fu{
public static final String name = "柴毛毛";
static{
System.out.println("父类被初始化！");
}
}
public class A{
public static void main(String[] args){
System.out.println(Fu.name);
}
}
输出结果：
柴毛毛
原因分析：
本示例看似满足类初始化时机的第一个条件：获取一个类静态成员变量的时候若类尚未初始化则初始化类。
但是，Fu类的静态成员变量被final修饰，它已经是一个常量。被final修饰的常量在Java代码编译的过程中就会被放入它被引用的class文件的常量池中（这里是A的常量池）。所以程序在运行期间如果需要调用这个常量，直接去当前类的常量池中取，而不需要初始化这个类。
6.2.5 接口的初始化
接口和类都需要初始化，接口和类的初始化过程基本一样，不同点在于：类初始化时，如果发现父类尚未被初始化，则先要初始化父类，然后再初始化自己；但接口初始化时，并不要求父接口已经全部初始化，只有程序在运行过程中用到当父接口中的东西时才初始化父接口。
6.3 类加载的过程
通过之前的介绍可知，类加载过程共有5个步骤，分别是：加载、验证、准备、解析、初始化。其中，验证、准备、解析称为连接。下面详细介绍这5个过程JVM所做的工作。
6.3.1 加载
注意：“加载”是“类加载”过程的第一步，千万不要混淆。
在加载过程中，JVM主要做3件事情：
通过一个类的全限定名来获取这个类的二进制字节流，即class文件：
在程序运行过程中，当要访问一个类时，若发现这个类尚未被加载，并满足类初始化时机的条件时，就根据要被初始化的这个类的全限定名找到该类的二进制字节流，开始加载过程。
将二进制字节流的存储结构转化为特定的数据结构，存储在方法区中；
在内存中创建一个java.lang.Class类型的对象：
接下来程序在运行过程中所有对该类的访问都通过这个类对象，也就是这个Class类型的类对象是提供给外界访问该类的接口。
从哪里加载？
JVM规范对于加载过程给予了较大的宽松度。一般二进制字节流都从已经编译好的本地class文件中读取，此外还可以从以下地方读取：
从压缩包中读取，如：Jar、War、Ear等。
从其它文件中动态生成，如：从JSP文件中生成Class类。
从数据库中读取，将二进制字节流存储至数据库中，然后在加载时从数据库中读取。有些中间件会这么做，用来实现代码在集群间分发。
从网络中获取，从网络中获取二进制字节流。典型就是Applet。
类 和 数组加载过程的区别？
数组也有类型，称为“数组类型”。如：String[] str = new String[10];
这个数组的数组类型是Ljava.lang.String，而String只是这个数组中元素的类型。
当程序在运行过程中遇到new关键字创建一个数组时，由JVM直接创建数组类，再由类加载器创建数组中的元素类。
而普通类的加载由类加载器完成。既可以使用系统提供的引导类加载器，也可以使用用户自定义的类加载器。
加载过程的注意点
JVM规范并未给出类在方法区中存放的数据结构
类完成加载后，二进制字节流就以特定的数据结构存储在方法区中，但存储的数据结构是由虚拟机自己定义的，JVM规范并没有指定。
JVM规范并没有指定Class对象存放的位置
在二进制字节流以特定格式存储在方法区后，JVM会创建一个java.lang.Class类型的对象，作为本类的外部接口。既然是对象就应该存放在堆内存中，不过JVM规范并没有给出限制，不同的虚拟机根据自己的需求存放这个对象。HotSpot将Class对象存放在方法区。
加载阶段和连接阶段是交叉的
通过之前的介绍可知，类加载过程中每个步骤的开始顺序都有严格限制，但每个步骤的结束顺序没有限制。也就是说，类加载过程中，必须按照如下顺序开始：
加载、连接、初始化，但结束顺序无所谓，因此由于每个步骤处理时间的长短不一就会导致有些步骤会出现交叉。
6.3.2 验证
验证阶段比较耗时，它非常重要但不一定必要，如果所运行的代码已经被反复使用和验证过，那么可以使用-Xverify:none参数关闭，以缩短类加载时间。
验证的目的是什么？
验证是为了保证二进制字节流中的信息符合虚拟机规范，并没有安全问题。
为什么需要验证？
虽然Java语言是一门安全的语言，它能确保程序猿无法访问数组边界以外的内存、避免让一个对象转换成任意类型、避免跳转到不存在的代码行，如果出现这些情况，编译无法通过。也就是说，Java语言的安全性是通过编译器来保证的。
但是我们知道，编译器和虚拟机是两个独立的东西，虚拟机只认二进制字节流，它不会管所获得的二进制字节流是哪来的，当然，如果是编译器给它的，那么就相对安全，但如果是从其它途径获得的，那么无法确保该二进制字节流是安全的。通过上文可知，虚拟机规范中没有限制二进制字节流的来源，那么任意来源的二进制字节流虚拟机都能接受，为了防止字节流中有安全问题，因此需要验证！
验证的过程
（1）文件格式验证
这个阶段主要验证输入的二进制字节流是否符合class文件结构的规范。二进制字节流只有通过了本阶段的验证，才会被允许存入到方法区中。
本验证阶段是基于二进制字节流的，而后面的三个验证阶段都是在方法区中进行，并基于类特定的数据结构的。
通过上文可知，加载开始前，二进制字节流还没进方法区，而加载完成后，二进制字节流已经存入方法区。而在文件格式验证前，二进制字节流尚未进入方法区，文件格式验证通过之后才进入方法区。也就是说，加载开始后，立即启动了文件格式验证，本阶段验证通过后，二进制字节流被转换成特定数据结构存储至方法区中，继而开始下阶段的验证和创建Class对象等操作。这个过程印证了：加载和验证是交叉进行的。
（2）元数据验证
本阶段对方法区中的字节码描述信息进行语义分析，确保其符合Java语法规范。
（3）字节码验证
本阶段是验证过程的最复杂的一个阶段。本阶段对方法体进行语义分析，保证方法在运行时不会出现危害虚拟机的事件。
（4）符号引用验证，本阶段验证发生在解析阶段，确保解析能正常执行。
6.3.3 准备
准备阶段完成两件事情：
为已经在方法区中的类中的静态成员变量分配内存
类的静态成员变量也存储在方法区中。
为静态成员变量设置初始值
初始值为0、false、null等。
示例1：public static String name = "柴毛毛";
在准备阶段，JVM会在方法区中为name分配内存空间，并赋上初始值null。
给name赋上"柴毛毛"是在初始化阶段完成的。
示例2:public static final String name = "柴毛毛";
被final修饰的常量如果有初始值，那么在编译阶段就会将初始值存入constantValue属性中，在准备阶段就将constantValue的值赋给该字段。
6.3.3 解析
解析阶段是虚拟机将常量池中的符号引用替换为直接引用的过程。
6.3.4 初始化
初始化阶段就是执行类构造器clinit()的过程。
clinit()方法由编译器自动产生，收集类中static{}代码块中的类变量赋值语句和类中静态成员变量的赋值语句。在准备阶段，类中静态成员变量已经完成了默认初始化，而在初始化阶段，clinit()方法对静态成员变量进行显示初始化。
初始化过程的注意点：
clinit()方法中静态成员变量的赋值顺序是根据Java代码中成员变量的出现的顺序决定的。
静态代码块能访问出现在静态代码块之前的静态成员变量，无法访问出现在静态代码块之后的成员变量。
静态代码块能给出现在静态代码块之后的静态成员变量赋值。
构造函数init()需要显示调用父类构造函数，而类的构造函数clinit()不需要调用父类的类构造函数，因为虚拟机会确保子类的clinit()方法执行前已经执行了父类的clinit()方法。
如果一个类/接口中没有静态代码块，也没有静态成员变量的赋值操作，那么编译器就不会生成clinit()方法。
接口也需要通过clinit()方法为接口中定义的静态成员变量显示初始化。
接口中不能使用静态代码块。
接口在执行clinit()方法前，虚拟机不会确保其父接口的clinit()方法被执行，只有当父接口中的静态成员变量被使用到时才会执行父接口的clinit()方法。
虚拟机会给clinit()方法加锁，因此当多条线程同时执行某一个类的clinit()方法时，只有一个方法会被执行，其它的方法都被阻塞。并且，只要有一个clinit()方法执行完，其它的clinit()方法就不会再被执行。因此，在同一个类加载器下，同一个类只会被初始化一次。
6.4 类加载器
6.4.1 类与类加载器
类加载器的作用：将class文件加载进JVM的方法区，并在方法区中创建一个java.lang.Class对象作为外界访问这个类的接口。
类与类加载器的关系：比较两个类是否相等，只有当这两个类由同一个加载器加载才有意义；否则，即使同一个class文件被不同的类加载器加载，那这两个类必定不同，即通过类的Class对象的equals执行的结果必为false。
6.4.2 类加载器种类
JVM提供如下三种类加载器：
启动类加载器
负责加载Java_Home\lib中的class文件。
扩展类加载器
负责加载Java_Home\lib\ext目录下的class文件。
应用程序类加载器
负责加载用户classpath下的class文件。
6.4.3 双亲委派模型
工作过程：如果一个类加载器收到了加载类的请求，它首先将请求交由父类加载器加载；若父类加载器加载失败，当前类加载器才会自己加载类。
作用：像java.lang.Object这些存放在rt.jar中的类，无论使用哪个类加载器加载，最终都会委派给最顶端的启动类加载器加载，从而使得不同加载器加载的Object类都是同一个。
原理：双亲委派模型的代码在java.lang.ClassLoader类中的loadClass函数中实现，其逻辑如下：
首先检查类是否被加载；
若未加载，则调用父类加载器的loadClass方法；
若该方法抛出ClassNotFoundException异常，则表示父类加载器无法加载，则当前类加载器调用findClass加载类；
若父类加载器可以加载，则直接返回Class对象；
第七章 Java 虚拟机的锁优化策略
7.1 自旋锁
背景：互斥同步对性能最大的影响是阻塞，挂起和恢复线程都需要转入内核态中完成；并且通常情况下，共享数据的锁定状态只持续很短的一段时间，为了这很短的一段时间进行上下文切换并不值得。
原理：当一条线程需要请求一把已经被占用的锁时，并不会进入阻塞状态，而是继续持有CPU执行权等待一段时间，该过程称为『自旋』。
优点：由于自旋等待锁的过程线程并不会引起上下文切换，因此比较高效；
缺点：自旋等待过程线程一直占用CPU执行权但不处理任何任务，因此若该过程过长，那就会造成CPU资源的浪费。
自适应自旋：自适应自旋可以根据以往自旋等待时间的经验，计算出一个较为合理的本次自旋等待时间。
7.2 锁清除
编译器会清除一些使用了同步，但同步块中没有涉及共享数据的锁，从而减少多余的同步。
7.3 锁粗化
若有一系列操作，反复地对同一把锁进行上锁和解锁操作，编译器会扩大这部分代码的同步块的边界，从而只使用一次上锁和解锁操作。
7.4 轻量级锁
本质：使用CAS取代互斥同步。
背景：『轻量级锁』是相对于『重量级锁』而言的，而重量级锁就是传统的锁。
轻量级锁与重量级锁的比较：
重量级锁是一种悲观锁，它认为总是有多条线程要竞争锁，所以它每次处理共享数据时，不管当前系统中是否真的有线程在竞争锁，它都会使用互斥同步来保证线程的安全；
而轻量级锁是一种乐观锁，它认为锁存在竞争的概率比较小，所以它不使用互斥同步，而是使用CAS操作来获得锁，这样能减少互斥同步所使用的『互斥量』带来的性能开销。
实现原理：
对象头称为『Mark Word』，虚拟机为了节约对象的存储空间，对象处于不同的状态下，Mark Word中存储的信息也所有不同。
Mark Word中有个标志位用来表示当前对象所处的状态。
当线程请求锁时，若该锁对象的Mark Word中标志位为01（未锁定状态），则在该线程的栈帧中创建一块名为『锁记录』的空间，然后将锁对象的Mark Word拷贝至该空间；最后通过CAS操作将锁对象的Mark Word指向该锁记录；
若CAS操作成功，则轻量级锁的上锁过程成功；
若CAS操作失败，再判断当前线程是否已经持有了该轻量级锁；若已经持有，则直接进入同步块；若尚未持有，则表示该锁已经被其他线程占用，此时轻量级锁就要膨胀成重量级锁。
前提：轻量级锁比重量级锁性能更高的前提是，在轻量级锁被占用的整个同步周期内，不存在其他线程的竞争。若在该过程中一旦有其他线程竞争，那么就会膨胀成重量级锁，从而除了使用互斥量以外，还额外发生了CAS操作，因此更慢！
7.5 偏向锁
作用：偏向锁是为了消除无竞争情况下的同步原语，进一步提升程序性能。
与轻量级锁的区别：轻量级锁是在无竞争的情况下使用CAS操作来代替互斥量的使用，从而实现同步；而偏向锁是在无竞争的情况下完全取消同步。
与轻量级锁的相同点：它们都是乐观锁，都认为同步期间不会有其他线程竞争锁。
原理：当线程请求到锁对象后，将锁对象的状态标志位改为01，即偏向模式。然后使用CAS操作将线程的ID记录在锁对象的Mark Word中。以后该线程可以直接进入同步块，连CAS操作都不需要。但是，一旦有第二条线程需要竞争锁，那么偏向模式立即结束，进入轻量级锁的状态。
优点：偏向锁可以提高有同步但没有竞争的程序性能。但是如果锁对象时常被多条线程竞争，那偏向锁就是多余的。
偏向锁可以通过虚拟机的参数来控制它是否开启。
（3）根据方法区中该类的信息确定该类所需的内存大小；
一个对象所需的内存大小是在这个对象所属类被定义完就能确定的！且一个类所生产的所有对象的内存大小是一样的！JVM在一个类被加载进方法区的时候就知道该类生产的每一个对象所需要的内存大小。
（4）从堆中划分一块对应大小的内存空间给新的对象；分配堆中内存有两种方式：
指针碰撞
如果JVM的垃圾收集器采用复制算法或标记-整理算法，那么堆中空闲内存是完整的区域，并且空闲内存和已使用内存之间由一个指针标记。那么当为一个对象分配内存时，只需移动指针即可。因此，这种在完整空闲区域上通过移动指针来分配内存的方式就叫做“指针碰撞”。
空闲列表
如果JVM的垃圾收集器采用标记-清除算法，那么堆中空闲区域和已使用区域交错，因此需要用一张“空闲列表”来记录堆中哪些区域是空闲区域，从而在创建对象的时候根据这张“空闲列表”找到空闲区域，并分配内存。
综上所述：JVM究竟采用哪种内存分配方法，取决于它使用了何种垃圾收集器。
（5）为对象中的成员变量赋上初始值(默认初始化)；
（6）设置对象头中的信息；
（7）调用对象的构造函数进行初始化；
此时，整个对象的创建过程就完成了。
2.2 对象的内存模型
一个对象从逻辑角度看，它由成员变量和成员函数构成，从物理角度来看，对象是存储在堆中的一串二进制数，这串二进制数的组织结构如下。
对象在内存中分为三个部分：
对象头
实例数据
对齐补充
2.2.1 对象头
对象头中记录了对象在运行过程中所需要使用的一些数据：哈希码、GC分代年龄、锁状态标志、线程持有的锁、偏向线程ID、偏向时间戳等。
此外，对象头中可能还包含类型指针。通过该指针能确定这个对象所属哪个类。
此外，如果对象是一个数组，那么对象头中还要包含数组长度。
2.2.2 实例数据
实力数据部分就是成员变量的值，其中包含父类的成员变量和本类的成员变量。
2.2.3 对齐补充
用于确保对象的总长度为8字节的整数倍。
HotSpot要求对象的总长度必须是8字节的整数倍。由于对象头一定是8字节的整数倍，但实例数据部分的长度是任意的，因此需要对齐补充字段确保整个对象的总长度为8的整数倍。
2.3 访问对象的过程
我们知道，引用类型的变量中存放的是一个地址，那么根据地址类型的不同，对象有不同的访问方式：
句柄访问方式
堆中需要有一块叫做“句柄池”的内存空间，用于存放所有对象的地址和所有对象所属类的类信息。
引用类型的变量存放的是该对象在句柄池中的地址。访问对象时，首先需要通过引用类型的变量找到该对象的句柄，然后根据句柄中对象的地址再访问对象。
直接指针访问方式
引用类型的变量直接存放对象的地址，从而不需要句柄池，通过引用能够直接访问对象。
但对象所在的内存空间中需要额外的策略存储对象所属的类信息的地址。
比较
HotSpot采用直接指针方式访问对象，因为它只需一次寻址操作，从而性能比句柄访问方式快一倍。但它需要额外的策略存储对象在方法区中类信息的地址。
第三章 揭开 Java 对象内存分配的秘密
Java所承诺的自动内存管理主要是针对对象内存的回收和对象内存的分配。
在Java虚拟机的五块内存空间中，程序计数器、Java虚拟机栈、本地方法栈内存的分配和回收都具有确定性，一半都在编译阶段就能确定下来需要分配的内存大小，并且由于都是线程私有，因此它们的内存空间都随着线程的创建而创建，线程的结束而回收。也就是这三个区域的内存分配和回收都具有确定性。
而Java虚拟机中的方法区因为是用来存储类信息、常量
静态变量，这些数据的变动性较小，因此不是Java内存管理重点需要关注的区域。
而对于堆，所有线程共享，所有的对象都需要在堆中创建和回收。虽然每个对象的大小在类加载的时候就能确定，但对象的数量只有在程序运行期间才能确定，因此堆中内存的分配具有较大的不确定性。此外，对象的生命周期长短不一，因此需要针对不同生命周期的对象采用不同的内存回收算法，增加了内存回收的复杂性。
综上所述：Java自动内存管理最核心的功能是堆内存中对象的分配与回收。
3.1 对象优先在 Eden 区中分配
目前主流的垃圾收集器都会采用分代回收算法，因此需要将堆内存分为新生代和老年代。
在新生代中为了防止内存碎片问题，因此垃圾收集器一般都选用“复制”算法。因此，堆内存的新生代被进一步分为：Eden区＋Survior1区＋Survior2区。
每次创建对象时，首先会在Eden区中分配。
若Eden区已满，则在Survior1区中分配。
若Eden区＋Survior1区剩余内存太少，导致对象无法放入该区域时，就会启用“分配担保”，将当前Eden区＋Survior1区中的对象转移到老年代中，然后再将新对象存入Eden区。
3.2 大对象直接进入老年代
所谓“大对象”就是指一个占用大量连续存储空间的对象，如数组。
当发现一个大对象在Eden区＋Survior1区中存不下的时候就需要分配担保机制把当前Eden区＋Survior1区的所有对象都复制到老年代中去。
我们知道，一个大对象能够存入Eden区＋Survior1区的概率比较小，发生分配担保的概率比较大，而分配担保需要涉及到大量的复制，就会造成效率低下。
因此，对于大对象我们直接把他放到老年代中去，从而就能避免大量的复制操作。
那么，什么样的对象才是“大对象”呢？
通过-XX:PretrnureSizeThreshold参数设置大对象
该参数用于设置大小超过该参数的对象被认为是“大对象”，直接进入老年代。
注意： 该参数只对Serial和ParNew收集器有效。
3.3 生命周期较长的对象进入老年代
老年代用于存储生命周期较长的对象，那么我们如何判断一个对象的年龄呢？
新生代中的每个对象都有一个年龄计数器，当新生代发生一次MinorGC后，存活下来的对象的年龄就加一，当年龄超过一定值时，就将超过该值的所有对象转移到老年代中去。
使用-XXMaxTenuringThreshold设置新生代的最大年龄
设置该参数后，只要超过该参数的新生代对象都会被转移到老年代中去。
3.4 相同年龄的对象内存超过Survior内存一半的对象进入老年代
如果当前新生代的Survior中，年龄相同的对象的内存空间总和超过了Survior内存空间的一半，那么所有年龄相同的对象和超过该年龄的对象都被转移到老年代中去。无需等到对象的年龄超过MaxTenuringThreshold才被转移到老年代中去。
3.5 “分配担保”策略详解
当垃圾收集器准备要在新生代发起一次MinorGC时，首先会检查“老年代中最大的连续空闲区域的大小 是否大于 新生代中所有对象的大小？”，也就是老年代中目前能够将新生代中所有对象全部装下？
若老年代能够装下新生代中所有的对象，那么此时进行MinorGC没有任何风险，然后就进行MinorGC。
若老年代无法装下新生代中所有的对象，那么此时进行MinorGC是有风险的，垃圾收集器会进行一次预测：根据以往MinorGC过后存活对象的平均数来预测这次MinorGC后存活对象的平均数。
如果以往存活对象的平均数小于当前老年代最大的连续空闲空间，那么就进行MinorGC，虽然此次MinorGC是有风险的。
每一个字段表只表示一个成员变量，本类中所有的成员变量构成了字段表集合。
5.8.2 字段表结构的定义
类型名称数量u2access_flags1u2name_index1u2descriptor_index1u2attributes_count1attribute_infoattributesattributes_count
access_flags：字段的访问标志。在Java中，每个成员变量都有一系列的修饰符，和上述class文件的访问标志的作用一样，只不过成员变量的访问标志与类的访问标志稍有区别。
name_index：本字段名字的索引。指向一个CONSTANT_Class_info类型的常量，这里面存储了本字段的名字等信息。
descriptor_index：描述符。用于描述本字段在Java中的数据类型等信息（下面详细介绍）。
attributes_count：属性表集合的长度。
attributes：属性表集合。到descriptor_index为止是字段表的固定信息，光有上述信息可能无法完整地描述一个字段，因此用属性表集合来存放额外的信息，比如一个字段的值（下面会详细介绍）。
5.8.3 什么是描述符？
成员变量（包括静态成员变量和实例变量）和 方法都有各自的描述符。
对于字段而言，描述符用于描述字段的数据类型；
对于方法而言，描述符用于描述字段的数据类型、参数列表、返回值。
在描述符中，基本数据类型用大写字母表示，对象类型用“L对象类型的全限定名”表示，数组用“[数组类型的全限定名”表示。
描述方法时，将参数根据上述规则放在()中，()右侧按照上述方法放置返回值。而且，参数之间无需任何符号。
5.8.4 字段表集合的注意点
一个class文件的字段表集合中不能出现从父类/接口继承而来字段；
一个class文件的字段表集合中可能会出现程序猿没有定义的字段
