JavaScript · V8 引擎与 JIT

场景 1 · 消息处理函数慢 10 倍: 超多态现场急救

解析函数同时吃 MQTT/HTTP/WS 三种消息对象, IC 超多态。归一化入口形状后性能回升:

// 错: 三个来源对象形状各异, hot 函数 IC 超多态
handle(mqttMsg); handle(httpReq); handle(wsMsg);
// 对: 入口处先归一成同一种"内部消息"形状
handle(toInternal(mqttMsg));    // toInternal 统一 { type, body, ts }
handle(toInternal(httpReq));
// handle 里只见到一种形状 → 单态, 快回 8 倍

场景 2 · 动态字段改 Map: 字典模式的正确去处

埋点对象被动态塞 200 个随机键, 形状爆炸。动态键名走 Map, 固定字段留对象:

// 错: event['attr_' + key] = v;  无限形状
// 对: 固定骨架 + Map 装动态键
const event = { type, ts, attrs: new Map() };
event.attrs.set(key, v);   // Map 天生为动态键而生

场景 3 · 矩阵运算数组降级: SMI 装箱事故

热循环数组被塞进一个 undefined, PACKED_SMI 降级成 HOLEY_ELEMENTS, 每次读都装箱:

const mat = new Array(1e6).fill(0);  // SMI
// 事故: mat[flag ? i : -1] 越界写入 undefined
// 对: 边界检查, 或用 Float64Array 定型数组
const mat = new Float64Array(1e6);   // 无装箱, 无洞
mat[i] = v;   // 稳定 double 视图, 数值计算首选

定型数组(TypedArray)绕开 elements kind 演化, 数值热点稳定 3~5 倍。

场景 4 · 构造器字段全声明: 免费 30%

字段随业务慢慢挂, 不同路径造出的对象形状不同。构造器统一声明字段+顺序:

// 错: 有的实例先有 a, 有的先有 b
const u1 = { }; u1.a = 1; u1.b = 2;
const u2 = { }; u2.b = 2; u2.a = 1;   // 不同形状!
// 对: 构造器定形
class User { a = 0; b = 0; #extra = null; }  // 一条形状链

场景 5 · CPU profile 定位热点: 数据说话

凭感觉优化前先采样, 80% 的"优化"会打在没用的地方:

node --cpu-prof --cpu-prof-dir=./prof server.js
# 得到 .cpuprofile, 拖进 Chrome DevTools → Performance
# 关注: Self Time 排名 + 是否大量存在于 (garbage collector)
# GC 占比高 → 先看分配速率; 函数 Self 高 → 看形状与算法

场景 6 · 反复 opt→deopt 抖动: 抓 trace-deopt

某接口 P99 毛刺。trace 显示 hot 函数每分钟 deopt 两次 — 偶发的"空对象"打破假设:

node --trace-deopt --trace-opt app.js
// [marking optimize] → [deoptimizing: wrong map] 循环
// 根因: 偶发传 {}/null 进热函数
// 对: 入口卫语句提前 return, 让热路径形状单一
if (!msg || !msg.body) return skip;   // 冷路径隔离

场景 7 · 字符串拼接: V8 的 Rope 与 Cons string

现代 V8 对 a + b 用绳结字符串延迟物化, 循环拼接不再必然 O(n²)——但超大 JSON 构建仍建议数组 join:

// 一般拼接: 引擎 rope 优化, 直接 + 即可
let html = '<li>' + esc(name) + '</li>';
// 超大累计(几十万段): join 仍更稳
const parts = rows.map(r => render(r));
const html = parts.join('');

场景 8 · 小函数换性能: 让内联发生

大而全的 process() 内联不动。拆成小函数让 TurboFan 整体优化成一段:

// 错: 500 行巨函数, 复杂到内联与优化放弃
// 对: 拆职责单一的步骤, 热路径上的小函数会被内联
function process(m) { const v = validate(m); const n = enrich(v); return emit(n); }
// 注意: 别为"优化"手动内联牺牲可读性 — 引擎比你内联得更好

场景 9 · 微基准修成可信: bench 在测什么

团队基准显示"新代码快 40%", 上线无感 — 原来没预热且结果被死码消除:

function bench(fn) {
  for (let i = 0; i < 1e6; i++) fn();    // 预热触发 JIT
  const ts = [];
  for (let r = 0; r < 20; r++) {
    const t0 = performance.now();
    for (let i = 0; i < 1e6; i++) acc += fn();  // 消费结果
    ts.push(performance.now() - t0);
  }
  return ts.sort((a, b) => a - b)[10];   // 中位数抗毛刺
}

场景 10 · 用 Object.freeze 的代价评估

冻结配置对象防篡改, 但冻结后的属性访问走特殊路径, 超热路径需权衡:

const CFG = Object.freeze({ timeout: 3000, retries: 3 });
// 冻结对象读取通常没问题; 但把冻结对象当"模板"扩展属性会 deopt
// 建议: 冻结"配置"这类冷数据; 热路径的工作对象不要 freeze