Sparkplug — a non-optimizing JavaScript compiler

V8 (Google) · 2021 · 4. Điều chỉnh · Độ khó: Nâng cao — bài gốc

Bối cảnh

Từ 2016 V8 thôi theo benchmark tổng hợp (Octane) để đo hiệu năng thực tế; với phiên ngắn (tải trang web, công cụ dòng lệnh) phần lớn thời gian trôi qua trước khi compiler tối ưu TurboFan kịp chạy. Họ đã làm parser, streaming, object model, GC song song, cache code đã biên dịch.
Interpreter Ignition đã rất nhanh nhưng còn chi phí cố hữu: giải mã operand, dispatch sang bytecode kế tiếp. Với mô hình hai tầng, không thể lên code tối ưu sớm hơn: tối ưu nhanh hơn thì phải bỏ pass (giảm hiệu năng đỉnh), tối ưu sớm hơn thì chưa có feedback hình dạng object ổn định.

Thêm một tầng giữa Ignition và TurboFan: Sparkplug, compiler không tối ưu (V8 9.1, Chrome 91).
Biên dịch cực nhanh để có thể lên tầng gần như bất cứ lúc nào: dịch từ bytecode (phần khó như phân giải biến đã làm xong), không có IR, một lượt tuyến tính trên bytecode ("một switch trong vòng for"). Cái giá là phải port riêng cho từng kiến trúc CPU và gần như không tối ưu, nhưng compiler đơn giản thì dễ port, và tối ưu đã có TurboFan lo.
Giữ khung stack giống hệt interpreter: debugger, profiler, unwind exception, stack trace, on-stack replacement (OSR) đều chạy gần như không đổi vì với chúng đó vẫn là khung của interpreter; chuyển qua lại giữa interpreter và Sparkplug gần như không tốn chi phí dịch khung. Chỉ khác: ô bytecode offset được thay bằng bảng ánh xạ hai chiều địa chỉ code ↔ offset, và ô trống dùng để cache feedback vector.
Gọi builtin thay vì sinh code: phần lớn code Sparkplug chỉ là gọi các builtin dùng chung với interpreter cộng control flow; nhờ vậy biên dịch nhanh, ít bộ nhớ, không phải viết lại ngữ nghĩa JavaScript (ít bug, ít bề mặt tấn công). Thực chất là "tuần tự hoá" việc interpreter làm để bỏ chi phí giải mã và dispatch.

Kết quả (2021): Speedometer tốt hơn 5–10%, thời gian V8 trên main thread trong các benchmark duyệt web ghi lại từ trang thật giảm khoảng 5–15% (theo V8, tuỳ máy và trang).

Khi hai tầng không thể nhích thêm (nhanh hơn thì kém chất lượng, sớm hơn thì thiếu dữ liệu), thêm một tầng rẻ ở giữa có thể hiệu quả hơn tối ưu từng tầng.
Tương thích với định dạng nội bộ sẵn có (khung stack) là cách đưa một thành phần mới vào hệ trưởng thành mà không phải sửa mọi công cụ xung quanh: cùng mẫu "đổi engine, giữ interface" (mẫu 36 trong Lộ trình từ đơn giản đến phức tạp).
Đo bằng tải thật (trang web ghi lại) thay vì benchmark tổng hợp.

V8 (Google) 2019 · DuckDB Labs 2026 (đổi engine giữ AST) · Meta 2020 (phía ứng dụng tối ưu thời gian tải JS)
Đổi ngôn ngữ và runtime