内存管理与虚拟内存

V8 的堆结构

新生代默认只有几 MB 到十几 MB（--max-semi-space-size），因为复制算法要求空间减半，且大部分对象活不过一次 GC —— 分代假设就是这么来的。

为什么有堆上限：GC 的标记阶段要遍历整个对象图，堆越大、单次停顿越长；同时 32 位地址空间装不下大堆。Node 64 位默认老生代约 2 GB（旧版本 1.4 GB），超过就 JavaScript heap out of memory。

node --max-old-space-size=4096 server.js   # 放宽到 4 GB，单位 MB
node --trace-gc server.js                  # 打印每次 GC 的类型与耗时

常见的内存泄漏

// 1. 闭包长期持有大对象：listener 不摘，闭包就不释放
function mount() {
  const huge = new Array(1e6).fill('payload')
  window.addEventListener('resize', () => console.log(huge.length))
}

// 2. 意外全局变量：非严格模式下未声明赋值
function leak() { cache = new Map() }

// 3. 定时器未清理：组件卸载了 interval 还在跑
setInterval(() => poll(), 1000)

// 4. Detached DOM：节点已移除，JS 还捏着引用
let detached = document.querySelector('#panel')
detached.remove() // detached 仍指向那块 DOM

// 5. 无上限缓存
const memo = new Map() // 只增不减

前四种是「该断的引用没断」，第五种是「策略缺失」。WeakMap、WeakRef、FinalizationRegistry 能让引用不阻止回收，但不能替代明确的清理逻辑。

用 DevTools 定位：三步

1. Heap snapshot 三次对比：操作前拍一张，执行可疑操作，再拍一张，再执行一次同样的操作，拍第三张。在 Comparison 里对比第 2、3 张，如果某类对象的 # Delta 持续为正，它就在泄漏。
2. Allocation instrumentation on timeline：录一段时间的分配，蓝色竖条表示分配后未被回收的对象，点开看调用栈，能定位到具体哪一行创建了它们。
3. Detached 筛选：在 snapshot 的筛选框输入 Detached，或在 Class filter 里找 Detached HTMLDivElement，顺着 Retainers 面板往上看是谁还引用着它。

performance.memory.usedJSHeapSize 只能看总量趋势，定位不到对象，别拿它当结论。

常见误区

很多人以为闭包一定导致泄漏。 实际上闭包只是延长了变量的生命周期，只要闭包本身随组件一起被回收就没有问题；真正泄漏的是闭包被长期存活的引用（全局事件、定时器、缓存）抓住。

很多人以为把变量赋成 null 就立刻释放内存。 实际上那只是断开一个引用，回收要等下一轮 GC；如果还有别的引用指向同一对象，赋 null 没有任何作用。

面试怎么答

栈和堆的区别？ 栈由运行时自动管理，随函数调用分配释放，连续且快，大小固定，溢出是 RangeError；堆动态分配、由 GC 回收，慢且可能碎片化，溢出是 OOM。JS 里基本类型和函数帧在栈上，对象在堆上。

为什么要虚拟内存？ 三个作用：进程间隔离、允许提交超过物理内存的配额、给每个进程连续的地址空间幻觉。实现靠分页加页表，访问未映射的页触发 page fault 由内核补上，非法地址则 SIGSEGV。

V8 为什么分代？ 大部分对象朝生夕死，新生代用 Scavenge 复制算法，只扫少量存活对象，成本低；活过两轮的对象晋升老生代，用标记清除加压缩处理，频率低但单次成本高。分代把 GC 成本压到与存活对象数成正比。

怎么定位内存泄漏？ 先看内存曲线是否单调上升，再用三次 Heap snapshot 对比找持续增长的对象类型，用 Allocation timeline 看未回收的分配栈，之后用 Detached 筛选确认是否是游离 DOM。找到持有链后再决定断开哪条引用。

关联阅读

• 什么是堆和栈：从 JS 语言层面建立栈帧与对象分配的直觉
• 垃圾回收机制：标记清除、引用计数与 V8 的具体实现
• 文件系统与页缓存：page fault 的另一个来源，文件映射与脏页回写