deps: backport V8 LLE alias fix to 26.x and 24.x
Chưa có ai nhận issue này.
Đánh giá
- Độ khó
- 4/5
- Thời gian dự kiến
- 3-5 ngày
- Mức phù hợp với người mới
- 52/100
- Loại issue
- Lỗi
- Độ rõ ràng
- Đặc tả rõ ràng
- Mức độ hoạt động
- Sôi nổi
- Công nghệ
- javascript
Hướng nghiên cứu
Bắt đầu với deps/v8/src/compiler/turboshaft/late-load-elimination-reducer.cc và so sánh các snapshot V8 26.x và 24.x đang hoạt động với commit upstream b44239fe. Chạy v8-lle-poc.js bằng node --allow-natives-syntax trên cả hai nhánh release, sau đó xác minh rằng upstream fix và coverage của regress-554421904 đã có mặt, đồng thời reproducer trả về 1.1.
Do mô hình lập chỉ mục viết ra từ nội dung của issue.
Mô tả
Summary
Please backport V8 commit b44239fe / V8 bug 554421904, "Turboshaft LLE: non-writing calls can create aliases", to the active Node.js 26.x and 24.x release lines.
This is the same upstream V8 miscompilation tracked in #66083 for 26.x, but 24.x is also affected by default: Node 24 ships V8 13.6 with Turboshaft load elimination enabled by default, and the minimized reproducer returns the wrong value there too.
Version
Reproduced locally with:
v26.9.0/ V814.6.202.34-node.32v24.18.0/ V813.6.233.17-node.50
Source check after fetching current tags/branches:
upstream/v26.xandupstream/v26.x-staging: V814.6.202.34, noregress-554421904testupstream/v24.xandupstream/v24.x-staging: V813.6.233.17, noregress-554421904test
Platform
macOS arm64
This appears to be a compiler optimization bug rather than platform-specific behavior.
Subsystem
V8 / deps
What steps will reproduce the bug?
Run the minimized reproducer from #66083 with native syntax enabled:
node --allow-natives-syntax v8-lle-poc.js
I also checked the relevant runtime flag defaults:
26.x:--turboshaft-load-eliminationis enabled by default24.x:--turboshaft-load-eliminationis enabled by default22.x:--turboshaft-load-eliminationis disabled by default, so this request is intentionally limited to26.xand24.x
How often does it reproduce? Is there a required condition?
It reproduced consistently for me on both default-affected lines listed above.
The reproducer requires optimized code and the Turboshaft load-elimination pass. That pass is enabled by default on the Node 26 and Node 24 builds tested.
What is the expected behavior? Why is that the expected behavior?
The store to staleArray[7] should be preserved, so the returned array slot should contain 1.1:
staleArray[7]: 1.1 | expected: 1.1 | OK
RESULT: NOT TRIGGERED on this build
What do you see instead?
Node 26:
v26.9.0 V8 14.6.202.34-node.32
staleArray[7]: undefined | expected: 1.1 | WRONG!
RESULT: BUG TRIGGERED — Turboshaft LLE eliminated a valid store
Node 24:
v24.18.0 V8 13.6.233.17-node.50
staleArray[7]: undefined | expected: 1.1 | WRONG!
RESULT: BUG TRIGGERED — Turboshaft LLE eliminated a valid store
Additional information
The upstream fix is small and directly addresses the alias invalidation ordering in Turboshaft late load elimination:
- Fix: https://chromium.googlesource.com/v8/v8/+/b44239fe
- Review: https://chromium-review.googlesource.com/c/v8/v8/+/8345010
- V8 bug: 554421904
The current 26.x and 24.x V8 snapshots still have the vulnerable early !op.Effects().can_write() bailout before invalidating non-aliasing inputs in deps/v8/src/compiler/turboshaft/late-load-elimination-reducer.cc.
- Ngôn ngữ chính
- JavaScript
- Star
- 122k
- Fork
- 37.4k
- Merge trung bình
- 4 ngày 3 giờ
- Pull request đã merge (30 ngày)
- 273
Hướng dẫn đóng góp
Bắt đầu từ đâu
- Đọc hết issue, rồi đọc hướng dẫn đóng góp của dự án.
- Bình luận trên issue rằng bạn sẽ nhận — tránh hai người làm cùng một việc.
- Fork repository và làm thay đổi trên một nhánh.
- Mở pull request có tham chiếu số hiệu của issue.
Issue khác của nodejs/node
-
doc
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 65/100
-
build
Độ khó 1/5 Dưới một giờ Mức phù hợp với người mới 88/100
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 84/100
-
Độ khó 1/5 Dưới một giờ Mức phù hợp với người mới 90/100
-
feature request
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 68/100
Issue tương tự
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 88/100
HarperFast/skills#96 ·
-
[Block] Latest Posts [Type] Bug
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 76/100
-
Daemon passes --experimental-wasm-jspi unconditionally on Node >= 24; Node 26 rejects the flag Đang mở
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 78/100
Automattic/studio#4908 ·
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 74/100
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 86/100
sugarlabs/musicblocks#8847 ·