深入理解Java虚拟机---第二章

第二章

1. Java虚拟机，在执行Java程序的过程中，会把他所管理的内存划分为若干个不同的数据区域，这些区域有各自的用途，以及创建和销毁的时间.
2. 程序计数器是一块较小的内存空间，它可以看作是当前线程所执行的字节码的行号指示器。字节码解释器工作时就是通过改变这个计数器的值来选取下一条需要执行的字节码指令，他是程序控制流的指示器，分支 循环 跳转 异常处理 线程恢复 等基础功能，都需要依赖这个计数器来完成
3. 由于虚拟机的多线程是通过线程轮流切换分配处理器执行时间的方式来实现的，在任何一个，确定的时刻，一个处理器都会执行一条线程中的指令，因此，为了完成切换后能恢复到正确的执行位置，每条线程都需要有一个独立的程序计数器，各条线程之间的程序计数器互不影响独立存储，我们这类，内存区域为”线程私有“内存
4. 如果线程正在执行一Java方法 这个计数器记录的是正在执行的虚拟机字节码指令的地址，如果执行的是本地方法，这个计数器值则应为空
5. Java虚拟机栈也是线程私有的，它的生命周期与线程相同。每个方法被执行的时候，虚拟机都会同步创建一个栈帧，用于储存局部变量表，操作数栈，动态连接，方法出口等信息，每一个方法被调用，直至执行完毕的时候，就对应着一个栈帧，在虚拟机栈，从入栈到出栈的过程
6. 栈通常就是讲的虚拟机栈，或者更多的情况下，只是指虚拟机栈中局部变量表表部分
7. 局部变量表存放编译期可知的各种Java虚拟机基本数据类型，对象引用，returnAddress类型
8. 这些数据类型在局部变量表中的存储空间用局部变量槽来表示。局部变量槽所需内存在编译器期间完成分配，当进入一个方法时，这个方法需要栈帧分配多大的局部变量空间是完全确定的，在方法运行期间不会改变不局部变量表的大小。
9. 虚拟机真正使用多大的内存空间，能实现一个变量槽，这是完全由具体的虚拟机实现自行决定事情。
10. 本地方法栈与虚拟机栈所发挥的作用是非常相似的，其区别只是虚拟机栈为虚拟机执行Java方法（也就是字节码）服务，而本地方法栈则是为虚拟机使用的本地方法服务。
11. 对于Java应用程序来说，Java堆（Java Heap）是虚拟机所管理的内存中最大的一块。Java堆是被所有线程共享的一块内存区域，此内存区域的唯一目的就是存放对象实例。
12. Java堆是垃圾收集器管理的内存区域，因此一些资料中它也被称作“GC堆”。
13. 如果从分配内存的角度看，所有线程共享的Java堆中可以划分出多个线程私有的分配缓冲区，以提升对象分配时的效率。但是不过无论从什么角度，无论是哪个区域，存储的都只能是对象的实例。
14. Java堆可以处于物理上不连续的内存空间中，但在逻辑上它应该被视为连续的，这点就像我们用磁盘空间去存储文件一样，并不要求每个文件都连续存放。
15. 方法区（Method Area）与Java堆一样，是各个线程共享的内存区域，它用于存储已被虚拟机加载的类型信息、常量、静态变量、即时编译器编译后的代码缓存等数据。
16. 运行时常量池（Runtime Constant Pool）是方法区的一部分。Class文件中除了有类的版本、字段、方法、接口等描述信息外，还有一项信息是常量池表（Constant Pool Table），用于存放编译期生成的各种字面量与符号引用，这部分内容将在类加载后存放到方法区的运行时常量池中。
17. 除了保存Class文件中描述的符号引用外，还会把由符号引用翻译出来的直接引用也存储在运行时常量池中
18. 运行时常量池相对于Class文件常量池的另外一个重要特征是具备动态性，运行期间也可以将新的常量放入池中。
19. 当Java虚拟机遇到一条字节码new指令时，首先将去检查这个指令的参数是否能在常量池中定位到一个类的符号引用，并且检查这个符号引用代表的类是否已被加载、解析和初始化过。如果没有，那必须先执行相应的类加载。在类加载检查通过后，接下来虚拟机将为新生对象分配内存。
20. 为对象分配空间的任务实际上便等同于把一块确定大小的内存块从Java堆中划分出来。
21. “指针碰撞”：假设Java堆中内存是绝对规整的，所有被使用过的内存都被放在一边，空闲的内存被放在另一边，中间放着一个指针作为分界点的指示器，那所分配内存就仅仅是把那个指针向空闲空间方向挪动一段与对象大小相等的距离。
22. “空闲列表”：虚拟机维护一个列表，记录上哪些内存块是可用的，在分配的时候从列表中找到一块足够大的空间划分给对象实例，并更新列表上的记录
23. 解决并发情况下线程不安全：一种是对分配内存空间的动作进行同步处理，保证更新操作的原子性；另外一种是把内存分配按照不同线程划分在不同的空间之中进行，每个线程在Java堆中预先分配一小块内存，称为本地线程分配缓冲。本地缓冲区用完了，分配新的缓存区时才需要同步锁定。
24. 类加载检查->内存分配->初始化为零值->构造函数 ()方法，这样一个真正可用的对象才算完全被构造出来。
25. 在HotSpot虚拟机里，对象在堆内存中的存储布局可以划分为三个部分：对象头（Header）、实例数据（Instance Data）和对齐填充（Padding）。
26. HotSpot虚拟机对象的对象头部分包括两类信息。一部分是用于存储对象自身的运行时数据（如哈希码（HashCode）、GC分代年龄、锁状态标志、线程持有的锁、偏向线程ID、偏向时间戳等），另外一部分是类型指针，Java虚拟机通过这个指针来确定该对象是哪个类的实例。
27. 此外，如果对象是一个Java数组，那在对象头中还必须有一块用于记录数组长度的数据，因为虚拟机可以通过普通Java对象的元数据信息确定Java对象的大小，但是如果数组的长度是不确定的，将无法通过元数据中的信息推断出数组的大小。
28. 实例数据部分是对象真正存储的有效信息，即我们在程序代码里面所定义的各种类型的字段内容。
29. 对象的第三部分是对齐填充，这并不是必然存在的，仅仅起着占位符的作用。由于HotSpot虚拟机的自动内存管理系统要求对象起始地址必须是8字节的整数倍，换句话说就是任何对象的大小都必须是8字节的整数倍。
30. Java程序会通过栈上的reference数据来操作堆上的具体对象。
31. 对象访问方式也是由虚拟机实现而定的，主流的访问方式主要有使用句柄和直接指针两种。
32. 句柄访问：Java堆中将可能会划分出一块内存来作为句柄池，reference中存储的就是对象的句柄地址，而句柄中包含了对象实例数据与类型数据各自具体的地址信息。
33. 直接指针访问：reference中存储的直接就是对象地址，如果只是访问对象本身的话，就不需要多一次间接访问的开销。
34. 使用句柄来访问的最大好处就是reference中存储的是稳定句柄地址，在对象被移动（垃圾收集时移动对象是非常普遍的行为）时只会改变句柄中的实例数据指针，而 reference本身不需要被修改。
35. 对于主要虚拟机HotSpot而言，它主要使用直接指针访问进行对象访问。