QBE: Backend trình biên dịch tối ưu hóa hiệu năng trong một mã nguồn nhỏ gọn

QBE là một backend trình biên dịch (compiler backend) nổi bật với triết lý "ít hơn là nhiều hơn". Mục tiêu chính của dự án này là cung cấp hiệu năng đạt khoảng 70% so với các trình biên dịch tối ưu hóa công nghiệp mạnh mẽ nhất hiện nay, nhưng lại chỉ chiếm khoảng 10% kích thước mã nguồn.

Thiết kế nhỏ gọn và hiệu quả

Bằng cách giới hạn quy mô mã nguồn, QBE buộc phải tập trung vào những yếu tố cốt lõi nhất, tránh đi vào con đường tối ưu hóa vô tận mà hiệu quả mang lại ngày càng giảm. Cơ sở mã của QBE được viết bằng ngôn ngữ C với quy mô phù hợp cho các dự án cá nhân (hobby-scale), giúp việc đọc hiểu và sửa đổi trở nên thú vị và dễ dàng hơn.

Mặc dù nhỏ gọn, QBE vẫn cung cấp nhiều kỹ thuật tối ưu hóa có tỷ lệ tác động trên kích thước mã rất tốt. Điều này giúp các nhà phát triển ngôn ngữ lập trình có thể tạo ra những công cụ biên dịch nhanh chóng mà không cần gánh nặng mã nguồn khổng lồ.

Khả năng tương tác và nền tảng hỗ trợ

Một điểm mạnh lớn của QBE là việc triển khai đầy đủ ABI (Application Binary Interface) của C. Điều này có nghĩa là các chương trình được biên dịch bởi QBE có thể dễ dàng gọi các hàm từ ngôn ngữ C và ngược lại. Sự tương tác hai chiều này tạo ra sự kết nối mượt mà với hệ sinh thái phần mềm hiện có, cho phép tận dụng các thư viện C phong phú.

Hiện tại, QBE hỗ trợ các kiến trúc phần cứng phổ biến bao gồm amd64 (trên Linux và macOS), arm64 và riscv64.

Cách sử dụng và tích hợp

QBE sử dụng một ngôn ngữ trung gian (intermediate language) riêng để định nghĩa các hàm và thực hiện các phép tính số học. Người dùng có thể viết mã bằng ngôn ngữ này, sau đó sử dụng lệnh qbe -o out.s file.ssa && cc out.s để biên dịch thành mã máy và chạy chương trình.

Ví dụ, một đoạn mã tự chứa trong ngôn ngữ trung gian của QBE có thể định nghĩa các hàm đơn giản, thực hiện phép tính số học trên từ (words) và gọi vào một hàm biến đổi (variadic function) của C. Để tìm hiểu sâu hơn về cú pháp và khả năng của ngôn ngữ trung gian này, người dùng có thể tham khảo tài liệu chính thức của dự án.