如何理解“模块记录(Module Record)”在 JS 引擎实例化阶段的内存分配机制

风明酱_3363

风明酱_3363

2026-05-10

667人浏览

原创

模块记录是引擎私有元数据结构,非JS堆对象,内存分配在引擎专用区,不参与GC;它通过导出绑定、导入请求和环境引用间接支配JS堆内存,且卸载困难易致内存泄漏。

如何理解“模块记录(module record)”在 js 引擎实例化阶段的内存分配机制

模块记录(Module Record)是 JavaScript 引擎在 模块实例化阶段 为每个 ES 模块创建的核心内部数据结构,它不直接对应开发者写的代码变量,而是引擎用来管理模块状态、依赖关系和绑定行为的“元信息容器”。理解它的内存分配机制,关键在于区分它 不是普通对象,也不存于用户可访问的堆/栈中,而是一组由引擎私有维护、生命周期严格绑定模块加载流程的结构体。

模块记录不是 JS 堆对象,而是引擎内部元数据

模块记录由引擎(如 V8)在解析完模块源码、生成 AST 后,于 链接(Linking)阶段之前 创建。它不通过 new Object() 或字面量构造,不参与 JS 垃圾回收(GC)流程。其内存通常分配在引擎的“代码空间”或专用元数据区,而非 JS 堆——这意味着:

  • 你无法用 console.dir 或堆快照看到它本身;
  • 它不占用开发者关心的“JS 堆内存(Heap Size)”,但会消耗引擎内部内存(如 V8 的 CodeSpace 或 ReadOnlySpace);
  • 它的生命周期由模块图(Module Graph)控制:从加载开始存在,到整个模块图被卸载(如动态 import() 后未保留引用且无活跃执行)才释放。

它持有三类关键引用,影响 JS 堆内存行为

虽然模块记录自身不占 JS 堆,但它通过以下方式间接支配堆内存分配与存活:

cn-json-diff
cn-json-diff

比较两个 JSON 文件并显示差异。支持嵌套结构、数组及值变更。纯 Python 标准库实现,无需 API 密钥。

下载
  • 导出绑定(Export Entries):记录每个 export 语句对应的本地绑定名(如 export const foo = {} 中的 foo)。这些绑定指向实际 JS 值——若值是对象,该对象就因被模块记录“强引用”而驻留堆中;
  • 导入请求(ImportEntries):存储对其他模块的引用(如 import { bar } from './utils.js'),形成模块图的有向边。只要本模块还存活,它所导入的模块记录及其导出值也保持可达;
  • 本地声明环境(Environment):模块顶层作用域对应一个词法环境,其中变量/函数声明的初始值(尤其是对象、闭包)被写入堆,而模块记录持有着对该环境的引用——这使整个模块作用域内的大对象不会因作用域结束而释放。

实例化阶段的内存分配特点:延迟、按需、不可变

模块记录在实例化(Instantiation)阶段触发实际 JS 值的分配,但并非全部一次性完成:

  • 延迟初始化:export let x = new BigArray(1e6) 这类语句的右侧表达式,只在模块首次求值(Evaluation)时执行,此时才在堆中分配数组内存;模块记录此前只存“待求值”的描述;
  • 按需绑定:动态 import() 返回 Promise,模块记录及其依赖的堆对象只在 Promise resolve 后创建;静态 import 则在链接阶段就建立完整引用链,但堆值仍等到求值;
  • 不可变性保障:模块记录一旦创建,其导出绑定表不可修改(ES 规范要求 export 是“实时绑定”)。这意味着引擎可在编译期优化内存布局,例如将常量导出内联,避免堆分配。

与普通对象内存管理的根本区别

对比 const obj = { a: 1 }:

  • obj 是堆中一个普通对象,变量 obj 是栈中引用,设为 null 后可能被 GC 回收;
  • 模块记录中的 export const data = { a: 1 },其 { a: 1 } 对象由模块记录强持有,即使你没在代码里显式引用 data,只要模块图存活,该对象就不可达释放;
  • 模块卸载(如通过 import.meta.url 动态加载后主动清理)极难触发,现代浏览器不提供标准 API,因此模块导出的大对象往往长期驻留内存——这是比闭包更隐蔽的泄漏源。

相关专题

更多
C语言变量命名
C语言变量命名

c语言变量名规则是:1、变量名以英文字母开头;2、变量名中的字母是区分大小写的;3、变量名不能是关键字;4、变量名中不能包含空格、标点符号和类型说明符。php中文网还提供c语言变量的相关下载、相关课程等内容,供大家免费下载使用。

2023.06.20

3709

3

c语言入门自学零基础
c语言入门自学零基础

C语言是当代人学习及生活中的必备基础知识,应用十分广泛,本专题为大家c语言入门自学零基础的相关文章,以及相关课程,感兴趣的朋友千万不要错过了。

2023.07.25

2468

9

c语言运算符的优先级顺序
c语言运算符的优先级顺序

c语言运算符的优先级顺序是括号运算符 > 一元运算符 > 算术运算符 > 移位运算符 > 关系运算符 > 位运算符 > 逻辑运算符 > 赋值运算符 > 逗号运算符。本专题为大家提供c语言运算符相关的各种文章、以及下载和课程。

2023.08.02

1400

5

c语言数据结构
c语言数据结构

数据结构是指将数据按照一定的方式组织和存储的方法。它是计算机科学中的重要概念,用来描述和解决实际问题中的数据组织和处理问题。数据结构可以分为线性结构和非线性结构。线性结构包括数组、链表、堆栈和队列等,而非线性结构包括树和图等。php中文网给大家带来了相关的教程以及文章,欢迎大家前来学习阅读。

2023.08.09

1338

4

c语言random函数用法
c语言random函数用法

c语言random函数用法:1、random.random,随机生成(0,1)之间的浮点数;2、random.randint,随机生成在范围之内的整数,两个参数分别表示上限和下限;3、random.randrange,在指定范围内,按指定基数递增的集合中获得一个随机数;4、random.choice,从序列中随机抽选一个数;5、random.shuffle,随机排序。

2023.09.05

1436

5

c语言const用法
c语言const用法

const是关键字,可以用于声明常量、函数参数中的const修饰符、const修饰函数返回值、const修饰指针。详细介绍:1、声明常量,const关键字可用于声明常量,常量的值在程序运行期间不可修改,常量可以是基本数据类型,如整数、浮点数、字符等,也可是自定义的数据类型;2、函数参数中的const修饰符,const关键字可用于函数的参数中,表示该参数在函数内部不可修改等等。

2023.09.20

2398

7

c语言get函数的用法
c语言get函数的用法

get函数是一个用于从输入流中获取字符的函数。可以从键盘、文件或其他输入设备中读取字符,并将其存储在指定的变量中。本文介绍了get函数的用法以及一些相关的注意事项。希望这篇文章能够帮助你更好地理解和使用get函数 。

2023.09.20

3960

8

c数组初始化的方法
c数组初始化的方法

c语言数组初始化的方法有直接赋值法、不完全初始化法、省略数组长度法和二维数组初始化法。详细介绍:1、直接赋值法,这种方法可以直接将数组的值进行初始化;2、不完全初始化法,。这种方法可以在一定程度上节省内存空间;3、省略数组长度法,这种方法可以让编译器自动计算数组的长度;4、二维数组初始化法等等。

2023.09.22

18795

6

c语言中null和NULL的区别
c语言中null和NULL的区别

c语言中null和NULL的区别是:null是C语言中的一个宏定义,通常用来表示一个空指针,可以用于初始化指针变量,或者在条件语句中判断指针是否为空;NULL是C语言中的一个预定义常量,通常用来表示一个空值,用于表示一个空的指针、空的指针数组或者空的结构体指针。

2023.09.22

549

3

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
WEB前端教程【HTML5+CSS3+JS】
WEB前端教程【HTML5+CSS3+JS】

共101课时 | 21.3万人学习

JS进阶与BootStrap学习
JS进阶与BootStrap学习

共39课时 | 4.9万人学习