V8 引擎如何实现对 JavaScript 堆内存的动态扩容

V8引擎通过分代管理、空间预分配和按需增长实现内存弹性伸缩：新生代用Scavenge算法半空间轮换，老生代按需扩展连续堆区，大对象独立分配，数组则按公式动态扩容与收缩。

V8 引擎并不直接对整个 JavaScript 堆内存做“动态扩容”，而是通过分代管理 + 空间预分配 + 按需增长的组合策略，在新生代和老生代各自范围内实现内存空间的弹性伸缩。

新生代：Scavenge 算法驱动的半空间轮换与容量微调

新生代由两个大小相等的“半空间”（semi-space）组成：From 空间用于分配新对象，To 空间初始为空。当 From 空间填满时，V8 执行 Scavenge 回收：

• 只复制当前存活的对象到 To 空间（死亡对象直接丢弃）
• 复制完成后，From 与 To 角色互换，原 To 空间成为下一轮的分配区
• 这个过程天然“压缩”了内存，无需额外整理

它的“扩容”体现在：–max-semi-space-size 参数可手动调高半空间上限（默认约 16MB），但 V8 不会在运行中自动增大该值；实际分配行为是线性填充，填满即触发回收切换——本质是“用完即换”，而非传统意义的扩容。

老生代：按需增长的连续堆区 + 标记-清除/整理

老生代采用连续的、可扩展的内存区域（old space），初始大小可通过 –initial-old-space-size 设置（如 2048MB）。其增长逻辑为：

立即学习“Java免费学习笔记（深入）”；

• 对象在新生代经历两次 GC 后仍存活，或体积过大（如 >8KB），将被晋升至老生代
• 当老生代剩余空间不足分配新对象时，V8 向操作系统申请更多内存页，扩大老生代边界
• 增长不是无限的——受 –max-old-space-size 限制（64 位系统默认约 1.4GB）

这种增长是隐式的、渐进的，每次申请量由内部启发式算法决定，并非固定倍数扩张。

大对象空间：绕过新生代的独立分配区

大于 8KB 的对象（如大型数组、长字符串）会跳过新生代，直接在 large object space 分配。该空间：

• 每块内存页单独管理，不参与 Scavenge
• 仅在需要时向系统申请整页（通常 256KB 或更大）
• GC 不扫描其内部结构，只按页整体回收

这是 V8 对“大内存需求”的专项优化，避免拖慢新生代回收节奏。

数组等高频结构的底层弹性机制

虽然不属于堆整体扩容，但 JS 数组（FastElements）体现类似思想：

• 空数组创建时分配小容量（如 4 个槽位）
• 插入元素超限时，按公式 newCapacity = oldCapacity × 1.5 + 16 计算新大小
• 分配新内存、拷贝旧数据、释放旧空间——用户感知为“自动扩容”
• 若 length 显著缩小（如 arr.length = 1），且容量远超所需，V8 可能收缩内存或改用“holes”模式节省空间

这种数组级扩容是 V8 在堆内对常用数据结构做的精细化内存调度，与堆空间本身的上限控制正交。