Android C++系列：C++内存结构

1. Java内存区域划分

在了解C++内存区域划分前，我们先了解下Java内存区域划分。

作为Android开发，我们根据《Java虚拟机规范》知道Java虚拟机在执行java程序时，会将自己管理的内存划分为以下五个区域：

• 方法区
• 堆
• 程序计数器
• 虚拟机栈
• 本地方法栈

每个区域都有自己的用途，并且创建时间和销毁时间也不一样。

1.1 方法区

方法区是各个线程共享的内存区域，此区域是用来存储类的信息(类的名称、字段信息、方法信息)、静态变量、常量以及编译器编译后的代码。JVM规范中并不区分方法区和堆，只把方法区描述为堆的逻辑部分，但是它却有一个别名叫做非堆(Non-Heap)，目的就是与Java堆区分开。

根据垃圾回收机制中分代回收的思想，如果在HotSpot虚拟机上开发，可以把方法区称为“永久代”(只是可以这么理解，但实质是不一样的)，垃圾回收机制在Java堆中划分一个部分称为永久代，用此区域来实现方法区，这样HotSpot的垃圾收集器就可以像管理Java堆一样管理这部分内存，而不必为方法区开发专门的内存管理器。

1.1.1 运行时常量池

在方法区中有一个非常重要的部分就是运行时常量池，常量池指的是在编译期被确定，并被保存在已编译的.class文件中的一些数据。除了包含代码中所定义的各种基本类型(如：int、long等)和对象型(如String及数组)的常量值(final)还包含一些以文本形式出现的符号引用(#类和接口的全限定名#字段的名称的描述符#方法和名称的描述符).虚拟机必须为每个被装载的类型维护一个常量池。常量池就是该类型所用到常量的一个有序集合，包括直接常量(string,integer和floating常量)和对其他类型，字段和方法的符号引用。

1.1.2 方法区和持久代的关系

“持久代”仅仅是HotSpot存在的一个概念，并且将其置于方法区，JRocket与IBM的VM都不存在这个“持久代”，最新的HotSpot也计划将其移除。在已经发布的Oracle JDK7 RC(JDK7 build 147)里，HotSpot VM仍然有PermGen，但许多原本存储在PermGen里的东西已经挪到了别的地方。 方法区物理上存在于堆里，而且是在堆的持久代里面；但在逻辑上，方法区和堆是独立的。

1.2 Java堆

Java堆是java虚拟机所管理的内存中最大的一块，是被所有线程都共享的内存区域。存在的唯一目的就是存放对象实例，几乎所有的对象实例都在这里进行分配内存。不过目前随着技术的不断发展，也并不是所有的对象实例都在堆中分配内存，可能也存在栈上分配。由于所占空间大，又存放各种实例对象，因此java虚拟机的垃圾回收机制主要管理的就是此区域。

JVM规范中规定堆可以处于物理上不连续的内存空间中，只要逻辑上是连续的即可。并且可以通过-Xmx和-Xms来扩展堆的内存大小，如果在堆中没有足够的内存为实例分配，并且堆也无法在扩展时，就会报OutOfMemoryError异常。

1.2.1 垃圾回收

堆内存由年轻代和老年代组成，其中年轻代又分为一个Eden区和两个Survivor区(使用复制收集算法)；所有新创建的Object 一般都会存储在新生代中，如果新生代数据在一次或多次GC后存活下来，那么将被转移到Old Generation中。

新建的对象也有可能在老年代上直接分配内存，这主要有两种情况：一种为大对象，可以通过启动参数设置-XX:PretenureSizeThreshold=1024，表示超过多大时就不在年轻代分配，而是直接在老年代分配，此参数在年轻代采用Parallel Scavenge GC时无效，因为其会根据运行情况自己决定什么对象直接在老年代上分配内存；另一种为大的数组对象，且数组对象中无引用外部对象。

当老年代满了就需要对老年代进行回收，老年代的垃圾回收称为Full GC。

对象访问会涉及到Java栈、Java堆、方法区这三个内存区域，Object obj = new Object(); Object obj 这部分将会反映到Java栈的本地变量表中，作为一个reference类型数据出现。而“new Object()”这部分将会反映到Java堆中，形成一块存储Object类型所有实例数据值的结构化内存，根据具体类型以及虚拟机实现的对象内存布局的不同，这块内存的长度是不固定。另外，在java堆中还必须包括能查找到此对象类型数据(如对象类型、父类、实现的接口、方法等)的地址信息，这些数据类型存储在方法区中。根据reference去访问实例对象有两种访问方式：句柄访问方式、指针访问方式。