深入理解Java虚拟机——二、JAVA内存区域

1、Java虚拟机在执行的时候，会将它所管理的内存划分为若干不同的数据区域。其所管理的区域即为Java虚拟机运行时数据区。
2、Java虚拟机运行时数据区可分为：线程私有的内存：程序计数器、Java虚拟机栈、本地方法栈；线程共有的内存：Java堆、方法区、
3、Java虚拟机栈：
Java虚拟机栈描述的是Java方法执行的内存模型：每个方法执行的同时会创建一个栈帧，用于存储局部变量表（是什么？）、操作数栈（是什么？）、动态链接（是什么？）、方法出口（是什么？）等信息。局部变量表大概是方法中所使用的局部变量，在编译期会确定其大小。（——2021.03.06）
4、本地方法栈：
本地方法栈与Java虚拟机栈相似，这是执行本地方法（也就是native方法）的栈。
5、Java堆：
Java堆是垃圾收集器管理的主要区域，因此很多时候被称为”GC“堆。
从内存回收的角度，由于现在收集器基本采用分代收集算法，所以Java堆可以被细分为：新生代和老年代；再细致的有Eden空间、From Survivor空间、To Survivor空间等。从内存分配角度看，线程共享的Java堆可能划分出多个线程私有的分配缓冲区（TLAB）；这就是说可以在这个共享的缓冲区中为不同线程开辟一段内存，接着该线程所产生的对象实例就在为其所分的区域进行对象实例的创造。
6、方法区：
方法区与Java堆一样，是各个线程共享的内存，它用于存储已被虚拟机加载的类信息、常量、静态变量、即时编译器编译后的代码等数据。虽然Java虚拟机规范把方法区描述为堆的一个逻辑不扽，但它却有个别名叫Non-Heap（非堆），目的应该是与Java堆区分开。
HotSpot虚拟机使用的设计团队将GC分代收集算法扩展至方法区，或者说使用永久代来实现方法区，这样就避免了专门为方法区写内存管理的代码；因此使用该虚拟机的人也将方法区称为”永久代“，事实上他们本质上并不等价。
另外方法区这个区域可以选择不实现垃圾收集。相对而言，垃圾收集在该区域是比较少出现的，但并非数据进入了方法区就如永久代名字一样”永久“存在了。这区域内存回收的目标主要是针对常量池的回收和对类型的卸载。（不太懂？）
7、运行时常量池：
这是方法区的一部分。class文件中除了有类的版本、字段、方法、接口等描述信息外，还有一项信息是常量池，用于存放编译期生成的各种字面量和符号引用，这部分内容将在类加载后进入方法区的运行时常量池中存放；运行时常量池相对于class文件常量池另一个重要特征是具备动态性，Java语言并不要求常量一定只有编译期才能产生，运行期间也可能将新的常量放入池中。
8、直接内存：
这区域并不是虚拟机运行时数据区的一部分，也不是Java虚拟机规范中定义的内存区域。Java加入了NIO类，引入基于通道与缓冲区的I/O方式，可以使用Native函数库直接分配堆外内存，然后通过在Java堆中的对象作为这块内存的引用再进行操作。这样能在一些场景中显著提高性能，避免在Java堆和Native堆中来回复制数据。
9、对象的创建：
虚拟机碰到new指令后，首先会去检查这个指令参数是否能在常量池中定位到一个类的符号作为引用，并检查此符号所代表的类是否已被加载、解析和初始化过。若没有，那就首先进行相应的类加载过程。类加载检查通过后，接下来虚拟机将为新生对象分配内存。对象所需内存大小在类加载完成后便可完全确定。分配内存有两种方式：经过内存的压缩的”指针碰撞“；将内存空间大小记录在一张列表中的”空闲列表“。
除了划分可用空间外，还有一个需要考虑的问题是对象创建在虚拟机中是非常频繁的行为，即使只是修改一个指针所指向的位置，在并发的情况的下也不是线程安全的。解决此问题有两种方案，一是对分配内存空间的动作进行同步处理——实际上虚拟机采用的是CAS配上失败重试的方式保证更新操作的原子性；另一种是将内存分配的动作按照线程的不同划分在不同空间之中进行，即每个线程在Java堆中预先被分配一小块内存，成为本地线程分配缓冲。哪个线程要分配内存，就在哪个线程的TLAB上分配，只有TLAB用完并分配新的TLAB时才需要同步锁定。
内存分配完成后，虚拟机需要将分配到的内存空间都初始化为零值（不包括对象头），若使用TLAB，这一工作过程也可以提前到TLAB分配时进行。这一步操作保证了对象实例字段在Java代码中可用不赋初值就直接使用，程序能访问到这些字段的数据类型所对应的零值。（所谓的零值的我想应该就是类似于int i ，而实际会是int i = 0；那么具体操作应该是什么呢？）
10、对象的内存布局：
对象在内存中存储的布局可用分为3块区域：对象头（Header）、实例数据（Instance Data）和对齐填充（Padding）。
对象头包括两部分信息，第一部分用于存储对象自身的运行时数据，如哈希码、GC分代年龄、锁状态标志、线程持有的锁、偏向线程ID、偏向时间戳等；（并不知道是什么意思？）对象头信息是与对象自身定义数据无关的额外存储成本。另一部分是类型指针，即对象指向它的类元数据的指针，虚拟机通过这个指针来确定这个对象是哪个类的实例。并不是所有虚拟机都需要在对象数据上保留类型指针，换句话说，查找对象的元数据信息并不一定要经过对象本身。
实例数据部分是对象存储的有效信息，也就是程序定义的各种类型的字段内容。
对齐填充并不是必然存在的，也没有什么特别含义，仅仅起着占位符的作用。（不清楚？）
11、对象的访问定位：
建立对象是为了使用对象，我们Java程序需要通过栈上的reference数据来操作堆上的具体对象。由于reference类型在Java虚拟机规范中只规定了一个指向对象的引用，并没有定义应该通过何种方式去定位、访问堆中的对象的具体位置；目前主流的访问访问方式有使用句柄和直接指针两种。
使用句柄访问的话，那么Java堆中将会划分出一块内存来作为句柄池，reference中存储的就是对象的句柄地址，而句柄中包含对象的实例数据与类型数据各自的具体地址信息；
如果使用直接指针访问，那么堆对象的布局中就必须考虑如何存放访问类型数据的相关信息，而reference中存储的直接就是对象地址。
这两种对象访问方式各有优势，使用句柄来访问的最大好处就是reference中存储的是稳定的句柄地址，当对象被移动（垃圾收集时对象移动是非常普遍的行为）时只会改变句柄中实例数据指针，而reference本身不需要修改；
使用直接指针方式访问的最大好处就是，它所指向的直接就是对象的地址，速度更快，节省了一次指针定位的时间开销，由于对象访问在Java中非常频繁，因此这类开销积少成多也是一项非常可观的执行成本。