Valen và bước đột phá trong kiểm tra mượn bộ nhớ linh hoạt

Trong thế giới ngôn ngữ lập trình, câu hỏi về an toàn bộ nhớ (memory safety) luôn là bài toán đau đầu. Valen, một ngôn ngữ thử nghiệm đầy tham vọng, vừa giới thiệu cơ chế kiểm tra mượn bộ nhớ (borrow checker) linh hoạt hơn hẳn so với Rust, hứa hẹn mở ra hướng đi mới cho vấn đề tưởng chừng như bế tắc này.

Giấc mơ về "chén thánh" an toàn bộ nhớ

Tác giả của Valen chia sẻ rằng ông luôn tìm kiếm một giải pháp lý tưởng: mạnh mẽ như kiểm tra mượn bộ nhớ của Rust, nhưng đơn giản và linh hoạt như đếm tham chiếu (reference counting) hay garbage collection.

Để đạt được điều đó, cần giải quyết ba thách thức lớn: kiểm tra mượn bộ nhớ linh hoạt hơn, hỗ trợ nhiều tham chiếu đọc-ghi tới cùng một đối tượng, và làm việc được với cấu trúc dữ liệu phức tạp như đồ thị.

Cơ chế mới của Valen — gọi là Group Borrowing — được xây dựng dựa trên đề xuất của Nick Smith. Điểm cốt lõi là trình biên dịch sẽ ghi nhớ chính xác mỗi tham chiếu trỏ tới đâu, từ đó kiểm tra tính an toàn bộ nhớ ở thời điểm biên dịch mà không cần chi phí chạy (zero-cost).

Group Borrowing giải quyết xung đột cốt lõi như thế nào?

Trước đây, giới lập trình luôn cho rằng có một xung đột không thể hòa giải giữa borrow checking và các phương pháp khác như đếm tham chiếu hay garbage collection. Lý do là quy tắc "shared-xor-mutable" (hoặc chia sẻ, hoặc thay đổi, không thể cả hai) quá khắt khe.

Group Borrowing phá vỡ rào cản này bằng cách nới lỏng quy tắc thành "no-use-after-free" (không sử dụng sau khi giải phóng). Nhờ đó, trình biên dịch có thể chấp nhận nhiều mẫu lập trình mà các borrow checker truyền thống thường từ chối:

• Nhiều tham chiếu đọc-ghi tới cùng một đối tượng
• Cấu trúc dữ liệu dạng đồ thị tự do (như trong C++ hay Java)
• Mẫu ScopeGuard với tham chiếu nội bộ
• Nhiều đối tượng File cùng trỏ tới một FileSystem chung

Cách hoạt động: Đường dẫn thay cho thời gian sống

Điểm khác biệt then chốt của Valen so với Rust nằm ở chỗ: thay vì theo dõi thời gian sống (lifetime), trình biên dịch theo dõi đường dẫn (path) của mỗi tham chiếu.

Ví dụ, cú pháp &Entity in world.entities[] cho trình biên dịch biết rõ tham chiếu này trỏ tới một phần tử trong mảng entities của đối tượng world. Từ đó, khi một thao tác như vec.push() làm thay đổi cấu trúc, trình biên dịch biết chính xác tham chiếu nào bị vô hiệu hóa — và chỉ vô hiệu hóa những tham chiếu trỏ vào bên trong đối tượng bị thay đổi, chứ không phải toàn bộ.

Một điểm đáng chú ý nữa là Valen chỉ có một loại tham chiếu mượn duy nhất, khác với C++ (const/non-const) hay Rust (& / &mut). Tính khả biến (mutability) được quyết định bởi chữ ký hàm chứ không phải kiểu dữ liệu, tương tự cách các ngôn ngữ hiện đại gắn async vào hàm thay vì tham số.

Tương tác với Rust và tầm nhìn tương lai

Valen đặt mục tiêu gọi được mã Rust một cách liền mạch, giống như Kotlin gọi Java hay C++ gọi C. Cơ chế chuyển đổi tạm thời tham chiếu Group Borrowing sang tham chiếu Rust đã được thiết kế, với ý tưởng "wildcard descendant path" — cho phép biểu diễn tham chiếu trỏ tới "đâu đó bên trong" một đối tượng.

Trong các bài viết tiếp theo, tác giả hứa hẹn sẽ trình bày cách kết hợp đếm tham chiếu và generational references vào Group Borrowing, thông qua một ý tưởng thử nghiệm có tên Arrrlang: biểu diễn heap như N mảng toàn cục (N là số kiểu dữ liệu trong chương trình). Nếu mô tả các lớp đếm tham chiếu như một tập mảng, borrow checker có thể kiểm soát chúng một cách an toàn.

"Đây chỉ là phần nổi của tảng băng. Tôi tin rằng người dùng nên có quyền chọn giữa đếm tham chiếu cho sự đơn giản, và mượn bộ nhớ cho những phần cần hiệu năng cao."

Ý nghĩa với cộng đồng lập trình

Với lập trình viên Việt Nam đang theo đuổi các ngôn ngữ hệ thống như Rust, C++ hay Zig, những tiến bộ như Valen đáng để theo dõi. Nếu thành công, nó có thể mang lại một ngôn ngữ vừa an toàn về bộ nhớ, vừa dễ dùng hơn Rust, lại vừa tương thích ngược với hệ sinh thái C++ và Rust sẵn có. Đây là tín hiệu tích cực cho xu hướng dịch chuyển sang ngôn ngữ an toàn bộ nhớ đang diễn ra mạnh mẽ trên toàn cầu, đặc biệt khi các chính phủ và tổ chức ngày càng siết chặt yêu cầu về bảo mật phần mềm.