Viết lại Bun bằng Rust gặp lỗi nghiêm trọng: Không vượt qua kiểm tra Miri cơ bản

Dự án Bun, công cụ runtime JavaScript đang được viết lại bằng ngôn ngữ Rust, đang đối mặt với những chỉ trích nghiêm trọng về chất lượng mã nguồn. Một vấn đề vừa được đăng tải trên GitHub cho thấy toàn bộ codebase Rust của dự án không thể vượt qua các kiểm tra cơ bản của Miri, một công cụ phát hiện hành vi không xác định (Undefined Behavior - UB).

Lỗi Undefined Behavior trong "Safe Rust"

Miri là một công cụ thông dịch dành cho Rust, giúp các nhà phát triển phát hiện các lỗi bộ nhớ và hành vi không xác định ngay trong quá trình viết code. Theo issue #30719, mã nguồn của Bun hiện tại đang thất bại thảm hại trước công cụ này.

Cụ thể, thông báo lỗi chỉ ra việc tạo ra một giá trị không hợp lệ của kiểu &[u8] do gặp phải một tham chiếu treo (dangling reference). Điều này đặc biệt nguy hiểm vì lỗi này xảy ra trong phần được gọi là "safe Rust" (Rust an toàn).

"Error: Undefined Behavior: constructing invalid value of type &[u8]: encountered a dangling reference"

Điểm cốt lõi của Rust là đảm bảo an toàn bộ nhớ. Nếu hành vi không xác định có thể xảy ra trong phần mã an toàn, điều này đi ngược lại hoàn toàn với mục đích sử dụng ngôn ngữ này.

Chỉ trích "Vibe coding" và sự phụ thuộc vào AI

Người đăng tải vấn đề này không chỉ ra lỗi kỹ thuật mà còn chỉ trích quy trình phát triển của đội ngũ Bun. Tác giả sử dụng thuật ngữ "vibe coding" để ám chỉ việc viết mã dựa trên cảm tính hoặc sự hỗ trợ của AI mà thiếu sự hiểu biết sâu sắc về ngôn ngữ.

"Please consider not vibe coding rust as AIs are not good at writing Rust and also hire a real rust dev"

Dòng bình luận này đề xuất đội ngũ Bun nên ngừng cách viết mã kiểu này và cân nhắc thuê các lập trình viên Rust chuyên nghiệp. Điều này phản ánh một lo ngại ngày càng lớn trong cộng đồng công nghệ: mặc dù AI hỗ trợ đắc lực trong việc viết code, nhưng việc áp dụng AI vào lập trình hệ thống cấp thấp như Rust đòi hỏi sự kiểm duyệt chặt chẽ. AI hiện tại chưa đủ khả năng để đảm bảo tính an toàn bộ nhớ mà Rust mang lại.

Hệ quả đối với dự án

Việc cho phép UB tồn tại trong codebase có thể dẫn đến các lỗ hổng bảo mật nghiêm trọng và lỗi crash khó lường. Đối với một công cụ runtime được thiết kế để chạy các ứng dụng web, sự ổn định và an toàn là yếu tố tiên quyết. Vụ việc này là lời nhắc nhở rằng việc chuyển đổi công nghệ hoặc viết lại phần mềm cần sự đầu tư nghiêm túc về nhân sự chuyên môn thay vì chỉ dựa vào tốc độ của công cụ tự động hóa.