java虚拟机.pdf

在探讨Java虚拟机（JVM）时，需要了解其内存模型，这个模型定义了JVM在执行Java程序时如何管理内存。内存模型分为两大类：线程私有的运行时数据区和线程共享的运行时数据区。 线程私有的运行时数据区包括程序计数器、Java虚拟机栈和本地方法栈。程序计数器是当前线程所执行的字节码的行号指示器，它不会因线程切换而改变，也不会出现 StackOverflowError 和 OutOfMemoryError 异常。Java虚拟机栈用于描述Java方法执行的内存模型，每个方法在执行时都会创建一个栈帧来存储局部变量表、操作数栈、动态链接和返回地址等信息。本地方法栈与Java虚拟机栈的作用类似，但它是为本地方法服务的。 线程共享的运行时数据区包括Java堆和方法区。Java堆是存放对象实例的主要区域，几乎所有的对象实例都会在此分配内存，因此它是垃圾回收的主要区域。可通过-Xms和-Xmx参数来设置堆的最小和最大容量。方法区用于存储已被虚拟机加载的类信息、常量、静态变量等数据。JDK6之前，方法区是通过永久代实现的，但这种设计容易导致内存溢出。JDK7和JDK8对此进行了改进，将字符串常量池、静态变量等移到了元空间，元空间位于本地内存中，不受方法区大小的限制。 直接内存是一种不在JVM堆内存中分配的内存，它是JVM可以直接访问的内存区域，也称为堆外内存。Java通过DirectByteBuffer类对直接内存进行操作，这样可以减少在Java堆和本地堆之间复制数据。 Java对象的创建过程包括五个步骤：检查类是否已经被加载、解析和初始化；为新对象分配内存；然后，将分配的内存空间初始化为零值；接着，设置对象头信息，包括哈希码、GC信息等；执行init方法，进行成员变量的初始化和构造方法的调用。 JVM给对象分配内存的策略有两种：指针碰撞和空闲列表。指针碰撞适用于内存规整的情况，通过指针挪动来完成分配；而空闲列表适用于内存不规整的情况，需要维护一个列表来记录可用的内存空间。Java对象内存分配的线程安全问题可以通过CAS机制或为每个线程分配一块私有内存来解决。 对象在内存中的布局包括对象头、实例数据和对齐填充。对象头包含MarkWord和类型指针，MarkWord存储哈希码、GC分代年龄等信息，类型指针指向对象的类元数据。实例数据存储对象字段信息。对齐填充保证对象起始地址是8的倍数，这是为了满足特定的对齐要求。 对象是否是垃圾的判断主要通过引用计数法和可达性分析两种方式。引用计数法为每个对象设置一个引用计数器，当引用失效时计数器减1，计数器为0的对象为垃圾。可达性分析则是通过一系列被称为GC Roots的对象来判断其他对象是否可达，不可达的对象则可能被回收。常见的GC Roots包括虚拟机栈中的引用、方法区中的静态引用和常量引用等。 此外，运行时常量池是方法区的一部分，用于存放编译器生成的字面量和符号引用。JDK7之前，它和字符串常量池位于永久代，但JDK8后运行时常量池被移至堆中。字符串基本类型等信息也会被存储在运行时常量池中。 在实际面试中，掌握上述内容将有助于应答有关JVM内存模型及其相关知识的问题，显示应聘者对Java虚拟机的深入了解。