面试官：说说JVM的栈上分配、TLAB、PLAB有啥区别？

我们在学习 G1 回收器的时候一般我们都会接触到 TLAB 和 PLAB 这两个术语。它们都是为了提高内存分配效率而存在的但它们和栈上分配有什么区别呢今天就让树哥带着大家盘一盘。栈上分配稍微了解过 Java 虚拟机内存结构的同学都知道在 Java 虚拟机中有两个关键的存储数据节点那就是堆与栈。其中堆是所有线程共享的一块内存几乎所有对象的分配都在这块内存中。而栈则是线程自己私有的只存储线程自己的局部变量等信息。每个线程都有自己的栈栈信息无法在线程之间共享。一般情况下每个线程如果有新建的对象那么会跟 JVM 申请在堆上创建对应的对象而线程的栈则存储了指向堆对象的指针。每当一个线程想创建一个对象时首先会请求 JVM之后 JVM 进行协调创建完成之后再告诉线程线程最后将引用放到栈中。在对象创建的这个过程堆和栈之间的关系就像是列车的中央调度室和火车的关系。每次线程需要分配内存空间都需要去到堆去申请空间会耗费不少时间和精力。这个时候有人就发现线程的有些对象其实别人也不会访问到放在堆中貌似也没什么大作用。于是他提出对于这些其他线程不会访问的对象我们能不能让线程自己分配在它自己的栈空间上这样不就可以节省不少交互时间了么这个方法确实不错如果能实现应该可以提高对象创建的时间提高虚拟机的运行效率。但问题是我怎么知道哪些对象可以分配在栈上哪些不行呢其实聪明的软件工程师们早就解决了这个问题了他们新造了一个名字逃逸分析。那么什么是逃逸分析呢从字面意思上来讲逃逸分析的目的是判断对象的作用域是否有可能逃出函数体。例如下面的代码就显示了一个逃逸的对象private static User user; private static void hello(){ u new User(); u.name java.top.select; u.website http://www.shuyi.me; }对象实例 user 是类的成员变量可以被任何线程访问因此它属于逃逸对象。但如果我们将代码稍微改动一下该对象就可以线程非逃逸的了。private static void hello(){ User u new User(); u.name java.top.select; u.website http://www.shuyi.me; }可以看到 user 实例作用域只在 hello 函数中不会被其他线程访问到也不会访问。所以该 user 实例对象的作用域只在该函数中因此它并未发生逃逸。对于这样的情况虚拟机就有可能将其分配在栈上而不在堆上。看到这里我相信许多人都应该明白了什么是栈上分配了。简单点说就是将本来应该分配在堆中的对象让其分配在线程私有的栈上。通过这种方式减少垃圾回收的压力提高虚拟机的运行效率。TLABTLABThread Local Allocation Buffer即线程本地分配缓存。这是一块线程专用的内存分配区域TLAB 占用的是 eden 区的空间。在 TLAB 启用的情况下默认开启JVM 会为每一个线程分配一块 TLAB 区域。那么问什么需要 TLAB 呢这是为了加速对象的分配由于对象一般分配在堆上而堆事线程共用的因此可能会有多个线程在堆上申请空间而每一次的对象分配都必须线程同步这样会降低内存分配的效率。考虑到对象分配是非常常见的操作于是 JVM 使用 TLAB 这样的线程转悠区域来避免多线程冲突提高对象分配效率。为了不至于导致 Eden 区被填充满因此 TLAB 空间一般不会太大。因此大对象有可能无法在 TLAB 分配只能直接分配到堆上。这其实是一种折中的设计哲学因为大多数分配的对象都比较小因此 TLAB 空间能满足大多数的需求。PLABPLABPromotion Local Allocation Buffers即晋升本地分配缓存。PLAB 的作用于 TLAB 类似都是为了加速对象分配效率避免多线程竞争而诞生的。只不过 PLAB 是应用于对象晋升到 Survivor 区或老年代。与 TLAB 类似每个线程都有独立的 PLAB 区。对象内存分配流程对于栈上分配与 TLAB 而言其是有一定关系的。在进行对象内存分配的时候首先会尝试进行栈上分配接着尝试进行 TLAB 分配接着判断是否可以直接进入老年代最后不行的话再在 eden 区分配如下图所示。图片来自网络总结了解完栈上分配、TLAB、PLAB 之后我们基本上可以清晰地回答如下问题。什么是栈上分配它解决什么问题栈上分配指的是对象直接在线程栈帧中进行分配而不在堆中分配。它主要是为了解决多线程对象分配的低效问题通过在栈上分配内存避免了多线程之间的冲突提高了对象的分配效率。但要注意的是其只能分配较小对象并且该对象必须不被其他对象线程引用。什么是 TLAB它解决什么问题TLAB 指的是线程本地分配缓存其对应 Eden 区的某个区域但这块区域只可以被该线程使用。栈上分配和 TLAB 有啥区别TLAB 可以理解成是栈上分配的升级版本。栈上分配的对象只能被线程本身访问但 TLAB 的对象可以被其他对象读取但应该无法操作。通过 TLAB它解决了部分需要多线程访问的对象分配效率问题进一步提升了 JVM 的对象分配效率。什么是 PLAB它解决了什么问题PLAB 是为了在对象晋升到 Survivor 区或老年代的时候提升对象的分配效率。其优化思路与 TLAB 类似只是应用的地方不同。