sas 考试降至，复习也接近尾声，我轻轻放下手中的笔，看着在旁边等我的丹丹师妹，急躁的心情也慢慢平复下来，她秀美的娥眉淡淡的蹙着，细致的脸蛋上扫出浅浅的忧虑，让她原本美得出奇的容貌更添了一份我见犹怜的心动。她看我忙完手中的事，急忙拉住我的手，问：师兄，Java内存区域到底包括什么呀？对象怎么创建的呀？内存溢出怎么判断呀？看到师妹急切地样子，我喝了口水，心想可真是夺命三连问，不过还是慢慢讲吧~
- Java与C++之间的内存区域有什么区别呀？（师妹）
其实在虚拟机方面，主要不同的就是内存动态分配和垃圾回收技术（不够全面，不过对于C没有太多了解，所以就只能先这样记，希望大神能补充），这两项技术就是一面墙，墙外面的人想进去，墙里面的人想出来，你且听我慢慢道来~！ - 那我们为什么要在虚拟机层面学习内存泄漏和溢出的相关知识呢，虚拟机管理内存不是很美好嘛？(师妹)
其实这都是表面现象，我们怎么可以知其然不知其所以然呢，虽然我们把控制内存的权力交给了Java虚拟机，它管理的也非常好，但是如果出现了内存泄漏和内存溢出问题，如果你不了解虚拟机如何使用内存的话，那么你排查起错误、修正错误会让你非常头疼的。
sas 师妹扶了扶耳边的发丝，问：那师兄你快接着我给讲吧~ 我小手一挥，说！那我就先给你讲讲Java虚拟机在执行Java程序的过程中如何划分内存的吧！
- 其实，Java虚拟机在执行Java程序的过程中划分了很多不同的内存区域，不同区域的作用和生命周期各不相同，我们先通过一张图来了解：
【注】：
sa2s **①、绿色为所有线程共享区域，蓝色和紫色为线程隔离的数据区域；
s3as **②、其实还有一部分是直接内存 ，虽然不包含在运行时数据区，但是也容易出现OOM（后面会详细讲）；
sa4s **③、这只是一个大致的分类，并不代表所有的虚拟机完全按照这个模型来定义设计，比如hotspot虚拟机将栈和本地方法栈合二为一，并且方法区也是随着jdk版本的变更有所不同（目前hotspot是用元空间来表示方法区）； - 那师兄你能给我讲一讲不同的区域具体是做什么的嘛~（师妹）
别急别急，心急吃不了热豆腐，我捋一下思路,我就按6块区域：程序计数器，虚拟机栈，本地方法栈、堆、直接内存、方法区（方法区放最后是因为版本变更有了变化） 分别给你讲吧！
①、程序计数器
- 内存占用：很小；
- 作用：就是当前线程将要执行的字节码的行号指示器（也就是指示执行到第几行） ，我们都知道java程序要通过字节码解释器将其解释成字节码，然后输入到Java虚拟机，这个解释器工作时就是通过计数器来选取下一条要执行的指令（for,if，线程挂起恢复，异常处理等等）。
- 作用域：线程私有(原因如下)
【注】：在多线程情况下，不同的线程是轮流切换执行，一个处理器同一时间只能执行一条线程的指令，而当我们切换时，要保证当前执行到什么位置，而通过什么保证呢？当然是通过计数器！并且每条线程要有独立的计数器，这样它们就能独立存储，互不影响，所以这部分区域是线程私有的； - 此区域是唯一一个没有规定OOM情况的区域；
②、Java虚拟机栈
-
作用域：线程私有；
-
生命周期：与线程相同（解释如下）
-
作用： 虚拟机栈其实就是Java方法执行的线程内存模型，每个方法被创建的时候，虚拟机都会同步创建一个栈帧用于存储局部变量表，操作数栈，动态连接，接口等。每一个方法被调用直至执行完毕的过程，就对应着一个栈帧在虚拟机栈中入栈到出栈的操作；
【注】：局部变量表存放了:sa2s ⒈编译期可知的各种Java虚拟机基本数据类型（boolean、byte、char、short、int、float、long、double）;
sa2s ⒉对象引用（reference类型，它并不等同于对象本身，可能是一个指向对象起始地址的引用指针，也可能是指向一个代表对象的句柄或者其他与此对象相关的位置）
sa2s ⒊returnAddress类型（指向了一条字节码指令的地址）。
sa2s 【注】：局部变量表中的存储单位是槽(Slot)，其中64位长度的long和double类型的数据会占用两个变量槽，其余的数据类型只占用一个；局部变量表所需的内存空间在编译期间完成分配，当进入一个方法时，这个方法需要在栈帧中分配多大的局部变量空间是完全确定的，在方法运行期间不会改变局部变量表的大小(这里的大小指的槽的数量，而至于槽占用32比特，还是64比特或者更多，那就看虚拟机自己喽~)。 -
异常抛出：
sa2s ⒈如果线程请求的栈深度大于虚拟机所允许的深度，将抛出 StackOverflowError异常；
sa2s ⒉如果虚拟机栈容量可以动态扩展，当栈扩展时无法申请到足够的内存会抛出 OutOfMemoryError异常；
sa2s 【注1】： HotSpot虚拟机的栈容量是不可以动态扩展的，以前的Classic虚拟机倒是可以。所以在HotSpot虚拟机上是不会由于虚拟机栈无法扩展而导致OutOfMemoryError异常——只要线程申请栈空间成功了就不会有OOM，但是如果申请时就失败，仍然是会出现OOM异常的;
sa2s 【注2】： 对于不同版本的Java虚拟机和不同的操作系统，栈容量最小值可能会有所限制，这主要取决于操作系统内存分页大小
③、本地方法栈
- 大致与虚拟机栈相似，所以不多做介绍，只是简单说下其区别;
- 区别：
sa2s ⒈虚拟机栈为虚拟机执行Java方法（也就是字节码）服务；
sa2s ⒉本地方法栈则是为虚拟机使用到的本地（Native）方法服务；
【注】：《Java虚拟机规范》对本地方法栈中方法使用的语言、使用方式与数据结构并没有任何强制规定，因此具体的虚拟机可以根据需要自由实现它，甚至有的Java虚拟机（譬如Hot-Spot虚拟机）直接就把本地方法栈和虚拟机栈合二为一。与虚拟机栈一样，本地方法栈也会在栈深度溢出或者栈扩展失败时分别抛出StackOverflowError和OutOfMemoryError异常(当然，这里只局限在线程申请栈空间出现的两种异常，如果申请成功后就不会出现这两种问题)。
④、Java堆
- 内存占用：是虚拟机管理的内存中 最大的一块；
- 作用域：所有线程共享的一块内存区域；
- 作用：存放对象实例；
【注】：并不是所有对象实例都存在堆上，典型的就是即时编译JIT，逃逸分析计数，栈上分配、标量替换等优化手端的日益强大，使对象实例不是全部都存在堆上； - 两个角度分析Java堆：
sa2s ⒈从分配内存的角度看：所有线程共享的Java堆中可以划分出多个线程私有的分配缓冲区（TLAB），以提升对象分配时的效率。
sa2s ⒉从回收内存的角度看，由于现代垃圾收集器大部分都是基于分代收集理论设计的，所以Java堆中经常会出现“新生代”“老年代”“永久代”类似的词；
sa2s 总之，将Java堆细分的目的只是为了更好地回收内存，或者更快地分配内存。
【注】：Java堆是物理上不连续的内存空间，但逻辑上它视为连续的，这点就好比我们用磁盘空间去存储文件一样，并不要求每个文件都连续存放(但对于大对象,比如数组对象，为了方便简单，存储效率高，多数虚拟机可能要求连续的内存空间存放）。 - Java堆既可以被实现成固定大小的，也可以是 可扩展(主流) 的（通过参数-Xmx和-Xms设定）(如果在Java堆中没有内存完成实例分配，并且堆也无法再扩展时，Java虚拟机将会抛出OOM异常)
⑤、方法区/“非堆”
- 作用域： 所有线程共享的一块内存区域；
- 作用：
sa2s ⒈它用于存储已被虚拟机加载的类型信息（如类名、访问修饰符、字段描述、方法描述）、静态变量、常量、即时编译器JIT编译后的代码缓存等数据；
sa2s 【注】:JDK7以后字符串常量池是在堆中，而不是在方法区！！！
sa2s ⒉存储运行时常量池。Class文件中除了有类的版本、字段、方法、接口等描述信息外，还有一项信息是常量池表（Constant Pool Table），用于存放编译期生成的各种字面量与符号引用，这部分内容将在类加载后存放到方法区的运行时常量池中。
【注1】：
sa2s 这里要注意区别：运行时常量池相对于Class文件常量池的另外一个重要特征是具备动态性，Java语言并不要求常量一定只有编译期才能产生，也就是说，并非预置入Class文件中常量池的内容才能进入方法区运行时常量池，运行期间也可以将新的常量放入池中，这种特性被开发人员利用得比较多的便是String类的intern()方法；
【注2】：
sa2s ⒈JDK8以前我们常把方法区等价成“永久代”，其实是不对的，因为仅仅是当时的HotSpot虚拟机选择把分代设计扩展到方法区，以方便像Java堆一样去管理，但很多别的虚拟机比如IBM J9压根不存在“永久代”概念，并且时间证明了这种设计并不是很多，非常容易造成内存溢出，所以到了JDK8，就废除了“永久代”这个概念，而是用本地内存的元空间去代替方法区；
sa2s ⒉这区域的内存回收目标主要是针对常量池的回收和对类型的卸载，一般来说这个区域的回收效果比较难令人满意，尤其是类型的卸载，条件相当苛刻，但是这部分区域的回收有时又确实是必要的。
⑥、直接内存
- 直接内存并不是虚拟机运行时数据区的一部分，但是也被频繁使用，而且也可能造成OOM异常；
【注】：
sa2s ⒈在JDK 1.4中新加入了NIO（New Input/Output）类，引入了一种基于通道（Channel）与缓冲区（Buffer）的I/O方式，它可以使用Native函数库直接分配堆外内存（直接内存），然后通过一个存储在Java堆里面的DirectByteBuffer对象作为这块内存的引用进行操作，这样能在一些场景中显著提高性能，因为避免了在Java堆和Native堆中来回复制数据。
sa2s ⒉本机直接内存的分配不会受到Java堆大小的限制，但是，既然是内存，则肯定还是会受到本机总内存（包括物理内存、SWAP分区或者分页文件）大小以及处理器寻址空间的限制，一般服务器管理员配置虚拟机参数时，会根据实际内存去设置-Xmx等参数信息，但经常忽略掉直接内存，使得各个内存区域总和大于物理内存限制（包括物理的和操作系统级的限制），从而导致动态扩展时出现OutOfMemoryError异常。
sa2s ⒊在JDK 10时才将Unsafe的部分功能通过VarHandle开放给外部使用），因为虽然使用DirectByteBuffer分配内存也会抛出内存溢出异常，但它抛出异常时并没有真正向操作系统申请分配内存，而是通过计算得知内存无法分配就会在代码里手动抛出溢出异常，真正申请分配内存的方法Unsafe::allocateMemory()。
sas 呼~终于讲完了Java内存区域到底包括什么了，那接下来就要看对象怎么创建了，好累好累💦💦💦
- 毕竟Java是一门面向对象的编程语言，所以对象这个词无处不在，在语言层面，创建一个对象用一个关键字new即可(复制、反序列化除外)，接下来我们就捋一下普通对象的创建。
sadasd sad sad sad asd asd sda ads 普通对象的创建大致分以下几步：
- ①、当Java虚拟机遇到一条字节码new指令时，首先将去检查这个指令的参数是否能在常量池中定位到一个类的符号引用,并且检查这个符号引用代表的类是否已被加载、解析和初始化过。如果没有，那必须先执行相应的类加载过程;
- ②、在类加载检查通过后，接下来虚拟机将为新生对象分配内存。对象所需内存的大小在类加载完成后便可完全确定，为对象分配空间的任务实际上便等同于把一块确定大小的内存块从Java堆中划分出来
【注1】：分配方式分为两种：
sa2s ⒈ 如果Java堆中内存是规整的，使用过的内存一边，未使用过的存放在另一边，这时候我们就用“指针碰撞:将分界点的指针向未使用的内存一边移动”方法即可，好处是简单高效；
sa2s ⒉如果Java堆中的内存并不是规整的，已被使用的内存和空闲的内存相互交错在一起，那就没有办法简单地进行指针碰撞了，虚拟机就必须维护一个列表，记录上哪些内存块是可用的，在分配的时候从列表中找到一块足够大的空间划分给对象实例，并更新列表上的记录，这种分配方式称为“空闲列表”（Free List）
sa2s Java堆是否规整由所采用的垃圾收集器是否带有空间压缩整理（Compact）的能力决定;并且这两种方法也是可以结合的，在CMS中就有类似的操作，差不多意思就是从TLAB中用指针碰撞。
【注2】：既然划分空间，那么如何避免在高并发情况下线程不是安全的情况呢？我们也通过两个方法解决:
sa2s ⒈ 对分配内存空间的动作进行同步处理，在虚拟机中通过CAS➕失败重试的方法保证更新操作的原子性；
sa2s ⒉把内存分配的动作按照线程划分在不同的空间中进行，也就是前面提到的在Java堆中预先为每一个线程分配一小块内存，也就是TLAB，哪个线程需要分配缓存，就在哪个线程的TLAB中分配即可（虚拟机是否使用TLAB，可以通过-XX：+/-UseTLAB参数来设定。）；
sa2s 【注2.2.1】：内存分配完成之后，虚拟机必须将分配到的内存空间（但不包括对象头）都初始化为零值（第三步），而这项工作可以提前至TLAB分配时进行(这步操作保证了对象的实例字段在Java代码中可以不赋初始值就直接使用，使程序能访问到这些字段的数据类型所对应的零值)。 - ③、Java虚拟机还要对对象进行必要的设置，例如这个对象是哪个类的实例、如何才能找到类的元数据信息、对象的哈希码（实际上对象的哈希码会延后到真正调用Object::hashCode()方法时才计算）、对象的GC分代年龄等信息。这些信息存放在对象的对象头（ObjectHeader）之中。根据虚拟机当前运行状态的不同，如是否启用偏向锁等，对象头会有不同的设置方式
- ④、
sa2s ⒈这时候从虚拟机角度：对象已经产生；
sa2s ⒉但是从Java程序角度： 刚刚开始，因为需要构造函数，即 Class文件中的< init >()方法 还没有执行，所有的字段都为默认的零值，对象需要的其他资源和状态信息也还没有按照预定的意图构造好。
sa2 说到爱撒旦 撒旦爱说的撒旦爱s 我们通过HotSpot字节码解释器和框图来分别加深理解：
// 确保常量池中存放的是已解释的类💦
if (!constants->tag_at(index).is_unresolved_klass()) {
// 断言确保是klassOop和instanceKlassOop（这部分下一节介绍）
oop entry = (klassOop) *constants->obj_at_addr(index);
assert(entry->is_klass(), "Should be resolved klass");
klassOop k_entry = (klassOop) entry;
assert(k_entry->klass_part()->oop_is_instance(), "Should be instanceKlass");
instanceKlass* ik = (instanceKlass*) k_entry->klass_part();
// 确保对象所属类型已经经过初始化阶段💦
if ( ik->is_initialized() && ik->can_be_fastpath_allocated() ) {
// 取对象长度
size_t obj_size = ik->size_helper();
oop result = NULL;
// 记录是否需要将对象所有字段置零值
bool need_zero = !ZeroTLAB;
// 是否在TLAB中分配对象
if (UseTLAB) {
result = (oop) THREAD->tlab().allocate(obj_size);
}
if (result == NULL) {
need_zero = true;
// 直接在eden中分配对象
retry:
HeapWord* compare_to = *Universe::heap()->top_addr();
HeapWord* new_top = compare_to + obj_size;
// cmpxchg是x86中的CAS指令，这里是一个C++方法，通过CAS方式分配空间，并发失败的话，转到retry中重试直至成功分配为止
if (new_top <= *Universe::heap()->end_addr()) {
if (Atomic::cmpxchg_ptr(new_top, Universe::heap()->top_addr(),compare_to) != compare_to) {
goto retry;
}
result = (oop) compare_to;
}
}
if (result != NULL) {
// 如果需要，为对象初始化零值
if (need_zero ) {
HeapWord* to_zero = (HeapWord*) result + sizeof(oopDesc) / oopSize;
obj_size -= sizeof(oopDesc) / oopSize;
if (obj_size > 0 ) {
memset(to_zero, 0, obj_size * HeapWordSize);
}
}
// 根据是否启用偏向锁，设置对象头信息
if (UseBiasedLocking) {
result->set_mark(ik->prototype_header());
} else {
result->set_mark(markOopDesc::prototype());
}
result->set_klass_gap(0);
result->set_klass(k_entry);
// 将对象引用入栈，继续执行下一条指令
SET_STACK_OBJECT(result, 0);
UPDATE_PC_AND_TOS_AND_CONTINUE(3, 1);
}
}
}
- 既然介绍完了对象的创建，那我再给你说一说对象的内存布局吧~
sadasd sad sad sad asd asd sda ads 对象的内存布局
在HotSpot虚拟机里，对象在堆内存中的存储布局可以划分为 三个部分：
sdasdasdasdasdasdsadasdasdsasadsd①、对象头： ②、实例数据：③、对齐填充：
①、对象头：包含两部分：
sa2s ⒈ 第一类是用于存储对象自身的运行时数据，如哈希码（HashCode）、GC分代年龄、锁状态标志、线程持有的锁、偏向线程ID、偏向时间戳等，这部分数据的长度在32位和64位的虚拟机（未开启压缩指针）中分分别为32个比特和64个比特，官方称它为“Mark Word”
sa2s ⒉ 第二类是类型指针，即对象指向它的类型元数据的指针，Java虚拟机通过这个指针来确定该对象是哪个类的实例。并不是所有的虚拟机实现都必须在对象数据上保留类型指针，换句话说，查找对象的元数据信息并不一定要经过对象本身；
sa2s [注]： 如果对象是一个Java数组，那在对象头中还必须有一块用于记录数组长度的数据
②、实例数据：即对象的有效信息，无论是从父类继承下来的，还是在子类中定义的字段都必须记录起来。
- 存储顺序：
sa2s ⒈ 相同宽度（如long和double）的字段被分配在一起；
sa2s ⒉ 占用字节越长越靠前；
sa2s ⒊ 父类属性在子类属性之前。
sa2s [注]： 顺序要求1>2>3
③、对齐填充：它仅仅起着占位符的作用，系统要求对象起始地址必须是8字节的整数倍。
sadasd sad sad sad asd asd sda ads 对象的访问定位
Java程序会通过栈上的reference数据来操作堆上的具体对象，而主流的访问方式大致分为两种：①、使用句柄②、直接指针。
①、句柄： 如果使用句柄访问的话，Java堆中将可能会单独划分出一块内存来作为 句柄池 ，reference中存储的就是对象的句柄地址，而句柄中包含了对象实例数据与类型数据各自具体的地址信息
【优点】： 使用句柄来访问的最大好处就是reference中存储的是稳定句柄地址，在对象被移动（垃圾收集时移动对象是非常普遍的行为）时只会改变句柄中的实例数据指针，而reference本身不需要被修改（因为它存储的是句柄地址，只要修正句柄地址中的指针就好了，也就是说修改的是堆中的数据）。
②、直接指针：如果使用直接指针访问的话，Java堆中对象的内存布局就必须考虑如何放置访问类型数据的相关信息，reference中存储的直接就是对象地址，如果只是访问对象本身的话，就不需要多一次间接访问的开销；
【优点】：最大的好处是速度更快，它节省了一次指针定位的时间开销，由于对象访问在Java中非常频繁，因此这类开销积少成多也是一项极为可观的执行成本（HotSpot主要（也有额外的转发）使用第二种方式进行对象访问）
sadasdsdssd sad sad sad asd asd sda ads 溢出的处理
- 除了程序计数器外，虚拟机内存的其他几个运行时区域都有发生OutOfMemoryError（下文称OOM）异常的可能；
- 大多数异常其实前面都已经提到过，我们更多的关注一下 方法区和运行时常量池溢出；
- 我们主要看一个本地方法：String::intern()，它的作用是 如果字符串常量池中已经包含一个等于此String对象的字符串，则返回代表池中这个字符串的String对象的引用；否则，会将此String对象包含的字符串添加到常量池中，并且返回此String对象的引用。
public class RuntimeConstantPoolOOM {
public static void main(String[] args) {
String str1 = new StringBuilder("计算机").append("软件").toString();
System.out.println(str1.intern() == str1);
String str2 = new StringBuilder("ja").append("va").toString();
System.out.println(str2.intern() == str2);
}
}
- 我们会发现不同的JDK版本会有不同的执行结果：
sa2s JDK6 ：结果是两个false； JDK 7 ：，结果是一个true和一个false。
sa2s 产生差异的原因是：
sa1322s 在JDK 6中，intern()方法会把首次遇到的字符串实例复制到永久代的字符串常量池中存储，返回的也是永久代里面这个字符串实例的引用，而由StringBuilder创建的字符串对象实例在Java堆上， 所以必然不可能是一个引用，结果将返回false。
sa1322s 在JDK 7（以及部分其他虚拟机，例如JRockit）的intern()方法实现就不需要再拷贝字符串的实例到永久代了，因为字符串常量池已经移到Java堆中，那只需要在常量池里记录一下首次出现的实例引用即可，因此intern()返回的引用和由StringBuilder创建的那个字符串实例就是同一个
sa1322s 而对str2比较返回false，这是因为“java”个字符串在执行String-Builder.toString()之前就已经出现过了（它是在加载sun.misc.Version这个类的时候进入常量池的），字符串常量池中已经有它的引用，不符合intern()方法要求“首次遇到”的原则，“计算机软件”这个字符串则是首次出现的，因此结果返回true。
sas **讲到这里，丹丹师妹秀美的娥眉终于不再蹙着，我也长舒一口气，收工~
1184
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
