Trạng thái sự thật: Chưa xảy ra — Roadmap của Sprint 149.
Khi bề mặt ngôn ngữ ngày càng dày lên, rủi ro lớn nhất là sự bất đồng thuận giữa ba thực thể: Đặc tả lý thuyết (formal specification), Hoạt động thực tế của compiler native, và Các giả định tối ưu hóa của backend LLVM. Nếu ba thành phần này lệch pha, những lỗi bảo mật bộ nhớ tinh vi nhất sẽ xuất hiện ở binary đầu ra.
Sprint 149 được thiết kế như một chặng nghỉ kỹ thuật bắt buộc để review toàn bộ hệ thống Effect và Memory. Chúng tôi sẽ không viết tính năng mới ở sprint này. Thay vào đó, nhiệm vụ là xây dựng một "conformance report" khổng lồ, đối chiếu từng fixture kiểm thử giữa trình thông dịch tham chiếu JS oracle và trình biên dịch native.
Mục tiêu là chứng minh mọi hành vi rẽ nhánh điều khiển, di chuyển bộ nhớ, và lan truyền effect (như io hay alloc) đều đồng nhất trên cả hai compiler. Những điểm phân kỳ (divergence) cố ý phải được ghi chép rõ ràng trong tài liệu kỹ thuật để chuẩn bị cho giai đoạn đóng băng cuối cùng. Việc ráp nối các mảnh spec này sẽ là tấm khiên vững chắc nhất bảo vệ DUY trước khi bước ra thế giới sản xuất thực tế.
Bình luận (0)
Đang tải bình luận...