分析Java堆

1. String 在虚拟机中的实现

1.1 String对象的特点

(1).        不变性：不变性是指String对象一旦生成，则不能再对它进行改变。String的这个特性可以泛化成不变（immutable）模式，即一个对象的状态在对象被创建之后就不再发生变化。不变模式的主要作用在于，当一个对象需要被多线程共享，并且访问频繁时，可以省略同步和锁等待时间，从而大幅度提高系统性能。

不变性可以提高多线程访问的操作。因为对象不可变，因此对于所有线程都是只读的，多线程访问时，即时不加同步也 不会产生数据的不一致，故减少了系统开销。

 

(2).        针对常量池的优化：针对常量池的优化指两个String对象拥有相同的值时，它们只引用常量池中同一个拷贝。当同一个字符串反复出现时，这个技术可以大幅度节省内存空间。

例：

(3).        类的final定义：除了上面两点外，fianl类型定义也是String对象的重要特点。作为final类的String对象在系统中不可能有任何子类，这是对系统安全性保护。

2.浅堆和深堆

(1).        浅堆（Shallow Heap）和深堆（Retained Heap）是两个非常重要的概念，它们分别表示一个对象结构所占用的内存大小和一个对象被GC回收后，可以真实释放的内存大小。

(2).        浅堆（Shallow Heap）是指一个对象所消耗的内存。在32位系统中，一个对象引用会占据4个字节，一个int类型会占据4个字节，long型变量会占据8个字节，每个对象需要占用8个字节。

(3).        深堆（Retained Heap）的概念略微复杂。要理解深堆，首先需要了解保留集（Retained Set）。对象A的保留集指当对象A被垃圾回收后，可以被释放的所有对象集合（包括对象A本身），即对象A的保留集可以被认为是只能通过对象A被直接或间接访问到的所有对象的集合。通俗地说，就是指仅被对象A所持有的对象的集合。深堆是指对象的保留集中所有的对象的浅堆大小之和。

注：浅堆指对象本身占用的内存，不包括其内部引用对象的大小。一个对象的深堆指只能通过该对象访问到的（直接或间接）所有对象的浅堆之和，即对象被回收后，可以释放的真实空间。

(4).        对象的实际大小定义为一个对象所能触及的所有对象浅堆大小之和，也就是通常意义上我们说的对象大小，与深堆相比，似乎这个在日常开发中更为直观和被人接收，但实际上，这个概念和垃圾回收无关。

例：如图，显示了一个简单的对象引用关系图，对象A引用了C和D，对象引用了C和E。那么对象A的浅堆大小只是A本身，不含C和D，而A的实际大小为A、C、D三者之和。而A的深堆大小为A与D之和，由于对象C还可以通过对象B访问到，因此不在对象A的深堆范围内。