Java虚拟机内存模型

【简介】
Java虚拟机将内存分为五个部分，即：程序计数器（又名指令计数器）、虚拟机栈（又名Java栈）、本地方法栈、Java堆、方法区；
根据受访权限的不同可分为：线程私有（程序计数器、虚拟机栈）和线程共享（本地方法栈、Java堆、方法区）

一. 程序计数器（位于处理器内部）

1. 作用
   程序计数器可看作是当前线程所执行的字节码行号指示器

2. 由来
   处理器要执行的程序（指令序列）都是以二进制代码序列的方式预存在计算机的存储器中，为保证程序能够连续的执行下去，CPU必须具有某些手段来确定下一条取指指令的地址。（天空一声巨响，程序计数器闪亮登场，这不就是程序计数器的功能吗？）

3. 特点
   由于程序计数器位于处理器内部，所以它是运行速度最快的存储区域

4. 多线程下的程序计数器
   为保证各个线程之间不相互影响、独立存储，因此每个线程的程序计数器都是相互独立的，即这块内存是线程私有的。

5. Java方法 VS 本地方法
   如果当前线程正在执行一个Java方法，则程序计数器记录正在执行的Java字节码地址；
   如果当前线程正在执行一个本地方法，则程序计数器为空。

6. 小知识
   程序计数器是唯一一个在Java虚拟机规范中没有规定任何OutofMemmoryError的区域

二. 虚拟机栈（即Java栈，位于RAM内部）

1. 作用
   主要是用来存放一些基本类型的变量（如：int、boolea等）以及对象引用

2. 优缺点
   优点：Java栈的访问速度比堆快，仅次于寄存器，且栈数据可被共享
   缺点：必须确定存储在栈里的数据大小与生命周期，限制了程序的灵活性，也是程序内部数量庞大的Java对象没有存储在虚拟机栈的原因

3. 举例说明数据共享

      //虚拟机执行第一条语句时，先创建一个变量为a的引用，然后再查找栈内是否有1这个值，如果没有，就将1存放进来，然后将a指向1
     int a = 1;  
   
      //执行第二条语句时，先创建b的引用变量，因为栈内已经有1这个值了，便将b直接指向1。即a、b均指向1
     int b = 1;
   
      //执行第三条语句时，先查找栈内是否有4，如果没有，存进来，将a指向4，如果已经有4这个值，直接将a指向4的地址
      //a的值改变不影响b的值
     int a = 4;
   

   【问题拓展】值传递与引用传递的区别？
   值传递：是对基本变量而言的，传递的是该变量的一个副本，改变副本不影响原变量；
   引用传递：是对对象变量而言的，传递的是该对象地址的一个副本，改变引用对象会改变原对象

4. 栈帧
   4.1 作用
   虚拟机栈在运行时使用栈帧来保存上下文数据，栈帧里存放了方法的局部变量表、操作数栈、动态连接方法和返回地址等信息

   4.2 组成
   局部变量区、操作数栈、帧数据区（异常表就位于帧数据区）

5. 小知识
   如果线程在计算过长中，请求的深度大于最大可用的栈深度，则程序会抛出StackoverError异常；
   如果Java栈可动态扩展，而扩展栈的过程没有足够的内存空间来支持栈的发展，则程序会抛出OutofMemoryError异常

三. 本地方法栈

1. 作用
   Java栈用于管理Java函数的调用，本地方法栈用于管理本地方法的调用

2. 小知识
   在SUN的HotSpot虚拟机中，不区分本地方法栈和虚拟机栈

四. Java堆（位于RAM内部）

1. 作用
   用于存放所有的Java对象。
   （a. 堆是一个运行时数据区，类的对象从中分配空间，这些对象通过New关键字建立。 b. Java堆是GC执行垃圾回收的重点区域）

2. 优缺点
   优点：可动态的分配内存大小，也无需事先告诉编译器生存周期
   缺点：由于运行时动态分配内存，所以数据访问速度较慢

3. GCIH
   GCIH实现了off-heap，即将生命周期较长的Java对象从heap中移到heap外，并且GC不能管理GCIH内部的Java对象，达到降低GC的回收频率和提升GC的回收效率的目的

4. 逃逸分析
   4.1 概念
   如果一个对象的指针被多个方法或线程引用，就称这个指针发生了逃逸

   4.2 作用
   逃逸分析与栈上分配的优化技术也可达到降低GC的回收频率和提升GC的回收效率的目的

   4.3 常见的逃逸场景
   全局变量赋值、方法返回值、实例引用传递

   4.4逃逸分析对Java虚拟机有什么影响？
   Java对象总是在堆中被分配的，因此Java对象的创建和回收对系统的开销是很大的。而Java7开始支持对象的栈分配和逃逸分析机制，除了能将堆分配对象变为栈分配对象外，逃逸分析还实现了同步消除和矢量代替。

五. 方法区

1. 作用
   保存类的元数据。

2. 组成
   方法区最为重要的是类的类型信息、常量池、域信息、方法信息。

·类型信息：类的完整名称、父类的完整名称、类型修饰符、类型的直接接口类表；
·常量池：类方法、域等信息所引用的常量信息；
·域信息：域名、域类型、域修饰符；
·方法信息：方法名称、返回类型、方法参数、方法修饰符、方法字节码、操作数栈和方法栈帧的局部变量区大小以及异常表