Java内存区域和内存模型

最新推荐文章于 2024-03-12 23:18:51 发布

写bug的猫

最新推荐文章于 2024-03-12 23:18:51 发布

阅读量247

点赞数

文章标签： java

JVM的内存区域划分

由于Java程序是交由JVM执行的，所以我们在谈Java内存区域划分的时候事实上是指JVM内存区域划分。在讨论JVM内存区域划分之前，先来看一下Java程序具体执行的过程：

这里写图片描述

如上图所示，首先Java源代码文件(.java后缀)会被Java编译器编译为字节码文件(.class后缀)，然后由JVM中的类加载器加载各个类的字节码文件，加载完毕之后，交由JVM执行引擎执行。在整个程序执行过程中，JVM会用一段空间来存储程序执行期间需要用到的数据和相关信息，这段空间一般被称作为Runtime Data Area（运行时数据区），也就是我们常说的JVM内存。因此，在Java中我们常常说到的内存管理就是针对这段空间进行管理（如何分配和回收内存空间）。

在知道了JVM内存是什么东西之后，下面我们就来讨论一下这段空间具体是如何划分区域的？

1.运行时数据区包括哪几部分？

根据《Java虚拟机规范》的规定，运行时数据区通常包括这几个部分：程序计数器(Program Counter Register)、Java栈(VM Stack)、本地方法栈(Native Method Stack)、方法区(Method Area)、堆(Heap)。
这里写图片描述

如上图所示，JVM中的运行时数据区应该包括这些部分。在JVM规范中虽然规定了程序在执行期间运行时数据区应该包括这几部分，但是至于具体如何实现并没有做出规定，不同的虚拟机厂商可以有不同的实现方式。

2.运行时数据区的每部分到底存储了哪些数据？

程序计数器（线程私有）：

　　是当前线程所执行的字节码的行号指示器，每条线程都要有一个独立的程序计数器，这类内存也称为“线程私有”的内存。

　　正在执行java方法的话，计数器记录的是虚拟机字节码指令的地址（当前指令的地址）。如果还是Native方法，则为空。

　　这个内存区域是唯一一个在虚拟机中没有规定任何OutOfMemoryError情况的区域。

Java虚拟机栈（线程私有）：

　　也是线程私有的。

　　每个方法在执行的时候会创建一个栈帧，存储了局部变量表，操作数栈，动态连接，方法返回地址等。

　　每个方法从调用到执行完毕，对应一个栈帧在虚拟机栈中的入栈和出栈。

　　通常所说的栈，一般是指虚拟机栈中的局部变量表部分。

　　局部变量表所需的内存在编译期间完成分配。

　　如果线程请求的栈深度大于虚拟机所允许的深度，则StackOverflowError。

　　如果虚拟机栈可以动态扩展，扩展到无法申请足够的内存，则OutOfMemoryError。

本地方法栈（线程私有）：

　　和虚拟机栈类似，主要为虚拟机使用到的Native方法服务。

　　也会抛出StackOverflowError和OutOfMemoryError。

Java堆（线程共享）：

　　被所有线程共享的一块内存区域，在虚拟机启动时创建，用于存放对象实例。

　　堆可以按照可扩展来实现（通过-Xmx和-Xms来控制）

　　当堆中没有内存可以分配给实例，也无法再扩展时，则抛出OutOfMemoryError异常。

方法区（线程共享）：

　　被所有线程共享的一块内存区域。

　　用于存储已被虚拟机加载的类信息，常量，静态变量等。

　　这个区域的内存回收目标主要针对常量池的回收和对类型的卸载。

　　当方法区无法满足内存分配需求时，则抛出OutOfMemoryError异常。

　　在HotSpot虚拟机中，用永久代来实现方法区，将GC分代收集扩展至方法区，但是这样容易遇到内存溢出的问题。

　　JDK1.7中，已经把放在永久代的字符串常量池移到堆中。

　　JDK1.8撤销永久代，引入元空间。

Java内存模型

Java内存模型的目的：屏蔽掉各种硬件和操作系统的内存访问差异，以实现让java程序在各种平台下都能达到一致的内存访问效果。
主要目标：定义程序中各个变量的访问规则，即在虚拟机中将变量存储到内存和从内存中取出变量这样的底层细节。此处的变量与Java变成中所说的变量是有所区别，它包括了实例字段，静态字段和构成数组对象的元素，但不包括局部变量和方法参数。

Java内存模型规定了所有的变量都存储在主内存中。每条线程中还有自己的工作内存，线程的工作内存中保存了被该线程所使用到的变量（这些变量是从主内存中拷贝而来）。线程对变量的所有操作（读取，赋值）都必须在工作内存中进行。不同线程之间也无法直接访问对方工作内存中的变量，线程间变量值的传递均需要通过主内存来完成。
这里写图片描述