Zig: Tái thiết kế hệ thống Build và những cải tiến lớn cho Compiler

Ngôn ngữ lập trình Zig vừa có những bước tiến quan trọng thông qua bản cập nhật mới trên nhánh phát triển chính. Đáng chú ý nhất là việc tái thiết kế hoàn toàn hệ thống build (build system), cải thiện logic phân giải kiểu của trình biên dịch và thay đổi cách quản lý các thư viện phụ thuộc (dependencies). Những thay đổi này hứa hẹn mang lại tốc độ biên dịch nhanh hơn và trải nghiệm phát triển mượt mà hơn cho cộng đồng lập trình viên.

Tái thiết kế hệ thống Build

Một trong những thay đổi lớn nhất là việc tách biệt quy trình cấu hình (configurer) và quy trình thực thi (maker) trong hệ thống build. Trước đây, các tệp build.zig cùng với việc triển khai hệ thống build đều được biên dịch thành một quá trình duy nhất cồng kềnh. Giờ đây, logic build.zig được biên dịch thành một quy trình nhỏ gọi là "configurer" ở chế độ Debug.

Sau khi logic này hoàn thành việc xây dựng đồ thị build trong bộ nhớ, nó sẽ được tuần tự hóa thành một tệp cấu hình nhị phân. Quá trình cha zig build sẽ nhận biết tệp này và lưu vào bộ nhớ đệm để sử dụng lần sau. Song song đó, trình biên dịch sẽ biên dịch bất đồng bộ quy trình thực thi đồ thị build (maker) ở chế độ Release. Khi tệp cấu hình sẵn sàng và quy trình maker hoàn tất việc biên dịch, maker sẽ được thực thi dựa trên tệp cấu hình đó.

Nhờ đó, chỉ có logic build.zig của người dùng cần được biên dịch lại khi có thay đổi, thay vì phải biên dịch lại toàn bộ hệ thống build. Điều này giúp tăng tốc đáng kể các lệnh như zig build --help và hỗ trợ tốt hơn cho các tính năng mới như --watch, --fuzz và --webui.

Cải thiện logic phân giải kiểu và biên dịch tăng dần

Một pull request khổng lồ với 30.000 dòng mã đã được hợp nhất để tái thiết kế logic phân giải kiểu nội bộ của trình biên dịch Zig. Thay đổi này giúp trình biên dịch hoạt động "lười" (lazier) hơn trong việc phân tích các trường của kiểu dữ liệu. Nếu một kiểu dữ liệu không bao giờ được khởi tạo, Zig sẽ không cần quan tâm đến cấu trúc chi tiết của nó.

Ngoài ra, trải nghiệm xử lý "vòng lặp phụ thuộc" (dependency loop) cũng được cải thiện đáng kể. Thay vì thông báo lỗi mơ hồ, người dùng giờ đây sẽ nhận được thông báo chi tiết chỉ chính xác nơi vòng lặp xảy ra. Tính năng biên dịch tăng dần (incremental compilation) cũng được sửa lỗi và tối ưu hóa, giúp giảm thiểu việc phân tích thừa và tăng tốc độ biên dịch khi có lỗi.

Quản lý Dependency và I/O

Hệ thống quản lý dependency của Zig cũng có những cập nhật hữu ích. Các gói được tải về giờ đây sẽ được lưu trữ cục bộ trong thư mục zig-pkg tại thư mục gốc của dự án, giúp việc chỉnh sửa và kiểm thử mã nguồn dễ dàng hơn. Một cờ mới --fork cũng được thêm vào, cho phép người dùng ghi đè tạm thời một dependency bằng một bản fork nằm ở thư mục khác mà không cần sửa tệp cấu hình chính.

Về phía I/O, std.Io.Evented đang được hoàn thiện để hỗ trợ chuyển đổi ngăn xếp người dùng (userspace stack switching), còn gọi là "fibers" hay "green threads". Mặc dù vẫn đang trong giai đoạn thử nghiệm, tính năng này cho phép thay đổi việc triển khai I/O một cách linh hoạt.

Tối ưu hóa cho Windows và Libc

Đối với nền tảng Windows, nhóm phát triển Zig đang chuyển sang ưu tiên sử dụng Native API (như ntdll.dll) thay vì các API mức cao hơn của Win32 (như kernel32.dll). Việc này giúp loại bỏ các cấp phát bộ nhớ heap không cần thiết và giảm thiểu các chế độ thất bại tiềm ẩn, từ đó nâng cao hiệu suất và độ tin cậy.

Cuối cùng, dự án zig libc tiếp tục tiến bộ bằng cách thay thế các tệp nguồn C bằng các trình bao bọc (wrappers) của thư viện chuẩn Zig. Khoảng 250 tệp nguồn C đã bị xóa, giúp giảm kích thước cài đặt của Zig và tăng tốc độ biên dịch. Khi các hàm libc được xuất chia sẻ đơn vị biên dịch Zig (ZCU), mã thừa có thể được loại bỏ thông qua tối ưu hóa, tương tự như tính năng Link-Time Optimization nhưng hiệu quả hơn.

Những thay đổi này dự kiến sẽ có mặt trong các bản phát hành sắp tới như 0.16.0 và 0.17.0. Nếu bạn quan tâm đến việc định hướng phát triển của Zig, đây là thời điểm tốt để nâng cấp dự án của mình lên phiên bản phát triển và trải nghiệm những tính năng mới này.