《深入理解Java虚拟机（第3版）》- 内存管理

线程共享的数据区：

1，方法区：用于存储已被虚拟机加载的类型信息、常量、静态变量、即时编译器编译后的代码缓存等数据。《Java虚拟机规范》中把方法区描述为堆的一个逻辑部分，但是它却有一个别名叫作“非堆”（Non-Heap），目的是与Java堆区分开来。也就是是说，方法区实际上并不是真是存在的，可能是堆的某一块空间。和Java堆一样不需要连续的内存和可以选择固定大小或者可扩展外，甚至还可以选择不实现垃圾收集。方法区无法满足新的内存分配需求时，将抛出OutOfMemoryError异常。

        1），为什么要有方法区？主要是希望存储一些jvm生命周期以内的数据，例如一些常量，staitc静态变量，这些数据是所有线程共享的，一般不需要中途销毁，而此区域可以不进行垃圾回收，提高一些热点数据或者被长期引用的数据的利用率，节省空间。

        2），运行时常量池（RuntimeConstantPool）是方法区的一部分。Class文件中除了有类的版本、字段、方法、接口等描述信息外，还有一项信息是常量池表（ConstantPoolTable），用于存放编译期生成的各种字面量与符号引用，这部分内容将在类加载后存放到方法区的运行时常量池中。运行时常量池相对于Class文件常量池的另外一个重要特征是具备动态性，Java语言并不要求常量一定只有编译期才能产生，也就是说，并非预置入Class文件中常量池的内容才能进入方法区运行时常量池，运行期间也可以将新的常量放入池中，这种特性被开发人员利用得比较多的便是String类的intern()方法。既然运行时常量池是方法区的一部分，自然受到方法区内存的限制，当常量池无法再申请到内存时会抛出OutOfMemoryError异常。

        3），直接内存：并不是虚拟机运行时数据区的一部分，也不是《Java虚拟机规范》中定义的内存区域。但是这部分内存也被频繁地使用，而且也可能导致OutOfMemoryError异常出现。可以使用Native函数库直接分配堆外内存，然后通过一个存储在Java堆里面的DirectByteBuffer对象作为这块内存的引用进行操作。这样能在一些场景中显著提高性能，因为避免了在Java堆和Native堆中来回复制数据。

2，堆：在虚拟机启动时创建，此内存区域的唯一目的就是存放对象实例，Java堆是垃圾收集器管理的内存区域，也被称作“GC堆”。

        1），如果从分配内存的角度看，所有线程共享的Java堆中可以划分出多个线程私有的分配缓冲区（ThreadLocalAllocationBuffer，TLAB），以提升对象分配时的效率。

                1））为什么TLAB可以提升对象分配的效率？比如堆设置的大小是8G，如果从这8G里面为新对象分配空间，寻址可能是比较慢的，从可用内存块列表里面找一块足够大小的内存去分配。而TLAB会从8G内存里，（比如）为某个线程独立分配1m的堆大小，这样这个线程在创建对象时，只需要到这个独立的小堆里去分配即可，减少寻址以及的问题，提高了效率。

                2））不过无论从什么角度，无论如何划分，都不会改变Java堆中存储内容的共性，无论是哪个区域，存储的都只能是对象的实例，将Java堆细分的目的只是为了更好地回收内存，或者更快地分配内存。

线程隔离的数据区：

1，程序计数器：顾名思义，这个就是用于存储当前线程执行的（可以初略理解为编译后的java代码行）指令位置。且该区域不会发生OutOfMemory Error

        1）为什么是线程隔离？因为在jvm的多线程，是通过线程轮流切换，获得时间片的方式执行的，可能当前线程执行到某一行，这个时候os时间片切换，当前cpu执行权被其他线程获得，则需要存储当前线程执行到的位置，而当时间片在度切换到当前线程时，再根据这个存储的指令位置，继续执行后续指令。

        2）为什么不会发生OutOfMemory Error？暂未确定，但是，我初略认为，这个程序计数器区域应该只是相当于一个指针，纪录当前执行到的指令位置，而线程执行过程中所创建或者引用的数据，都是存储在堆，栈中，这样这个区域占用的空间十分少，忽略不计，则不需要计较此区域的大小，也没有相关程序计数器空间大小的配置可说。

2，Java虚拟机栈：有点抽象，这个虚拟机栈，先联想一下这个栈，类比我们的java的stack，就是一个容器，具备一个后入先出的特点，那么既然是一个容器，那他存储的元素是什么呢。一个线程的执行，是肯定需要执行方法的，就比如Thread总是需要执行run()方法，这就会形成一个方法的调用链，而每次执行一个方法，都会将这个方法包装成一个栈帧，并且将这个栈帧压入到栈顶，当这个方法执行完了，后入先出，则将这个栈帧从虚拟机栈中弹出。

        1）栈帧：其实就是一个包装了java方法编译期可知数据的实体：其主要包含一个局部变量表，这个局部变量表相当好理解。public Product getProduct(int id , Stirng name) ，则这个局部变量表存储了，参数为id ，name的数据类型的也就是int 与Stirng , 还有就是返回值Product的类型，这个是一个引用类型，也就是存储了这个类型数据的指针类型。

                1））为什么是编译期可知？因为java方法在编译器期已经确定了，并不是动态生成。

        2）该区域有两种异常可能发生：

                1））如果线程请求的栈深度大于虚拟机所允许的深度，将抛出StackOverflowError异常，也就是递归方法未判断跳出循环的那种情况。

                2））如果Java虚拟机栈容量可以动态扩展，当栈扩展时无法申请到足够的内存会抛出OutOfMemoryError异常。

        2）为什么该区域是线程隔离？因为每个线程在生成方法调用链的时候，由于参数的不一致，在运行时形成的链路是不一样的，所以每个线程的虚拟机栈都是不一样的，需要隔壁。

        3）该区域的作用是什么？暂未深入了解，但是栈在粗略作用上，是存放一些指针的区域，而这个虚拟机栈没有这个作用，只是作为一个方法调用链纪录当前线程执行到的某个方法，拿些方法执行完毕可以出栈，那联想到GC，在出栈时可以用来抹除出栈方法创建的指针。

3，本地方法栈：没有很深刻的理解，直接上原文。

        本地方法栈（NativeMethodStacks）与虚拟机栈所发挥的作用是非常相似的，其区别只是虚拟机栈为虚拟机执行Java方法（也就是字节码）服务，而本地方法栈则是为虚拟机使用到的本地（Native）方法服务。《Java虚拟机规范》对本地方法栈中方法使用的语言、使用方式与数据结构并没有任何强制规定，因此具体的虚拟机可以根据需要自由实现它，甚至有的Java虚拟机（譬如Hot-Spot虚拟机）直接就把本地方法栈和虚拟机栈合二为一。与虚拟机栈一样，本地方法栈也会在栈深度溢出或者栈扩展失败时分别抛出StackOverflowError和OutOfMemoryError异常。