JavaScript引擎通过动态分析识别高频执行的函数并进行分层优化：首先统计函数调用频率，达到阈值后标记为热点函数；随后进行基线编译，快速生成低级机器码并收集类型反馈；接着利用类型推测进行优化编译，生成高效特化代码；当类型变化导致假设失效时触发去优化，回退至安全执行模式。该机制自动运行，开发者应保持变量类型稳定以提升优化效果。
JavaScript 引擎通过动态分析运行时行为，识别频繁执行的函数（即 Hot Function），并对其进行即时编译（JIT, Just-In-Time Compilation）优化，从而显著提升执行效率。这个过程不是一蹴而就的，而是分层逐步优化的结果。
监控与标记热点函数
引擎在解释执行 JavaScript 代码时，会持续收集函数的执行信息：
- 统计函数被调用的次数或循环执行频率
- 当某个函数达到预设的“热度”阈值，就被标记为 Hot Function
- V8 引擎中使用计数器（如调用计数、回边计数）来触发优化决策
一旦标记为热点，该函数就会进入优化编译流程。
基线编译：快速生成可执行代码
多数现代 JS 引擎采用多级 JIT 架构。第一步通常是基线编译（Baseline Compile）：
立即学习“Java免费学习笔记（深入）”；
- 将抽象语法树（AST）或字节码转换为低级机器码
- 不做复杂优化，追求编译速度，尽快获得可执行版本
- 保留类型反馈机制，记录变量和参数的实际类型信息
基线版本允许函数快速运行，同时为后续优化提供数据支持。
优化编译：基于类型推测的高性能代码生成
对于确认为高频执行的函数，引擎会启动优化编译器（如 V8 的 TurboFan）：
- 利用运行时收集的类型信息进行类型推测（Type Feedback）
- 假设变量类型稳定，生成高度特化的机器码（例如直接使用整数加法指令）
- 内联函数调用、消除冗余检查、展开循环等高级优化
这样生成的代码执行效率接近原生 C++。
去优化：应对类型变化的兜底机制
由于 JavaScript 是动态类型语言，优化后的代码可能因类型变化而失效：
- 当实际运行偏离优化假设（如传入不同类型的参数），引擎触发去优化（Deoptimization）
- 放弃优化后的代码，回退到解释执行或基线版本
- 重新收集数据，等待下次优化机会
去优化保证了正确性，但也带来性能波动，因此稳定类型有助于维持优化状态。
基本上就这些。整个机制在后台自动完成，开发者虽无需手动干预，但了解其原理有助于写出更利于优化的代码，比如避免在热函数中频繁改变变量类型。
