Công cụ mới giúp kiểm tra phụ thuộc phần mềm nhanh gấp 54 lần nhờ eBPF

Các nhà khoa học máy tính tại Đại học Waseda (Nhật Bản) vừa công bố một phương pháp mới giúp tăng tốc quá trình kiểm tra phụ thuộc trong build phần mềm lên tới 54 lần, đồng thời giảm chi phí tính toán tới 99,7% so với các công cụ hiện có.

Vấn đề: Kiểm tra phụ thuộc ngốn quá nhiều tài nguyên

Các hệ thống build như Make, CMake hay Zig build system đóng vai trò tự động hóa việc chuyển đổi mã nguồn thành chương trình chạy được. Chúng đảm bảo các tệp nguồn được biên dịch đúng thứ tự, các đối tượng được liên kết chính xác, đồng thời xử lý các yêu cầu biên dịch đặc thù theo nền tảng, kiểm thử và tài liệu.

Tuy nhiên, theo nhóm tác giả Yuta Saito, Kazunori Sakamoto và Hironori Washizaki, việc quản lý đặc tả phụ thuộc vẫn là một thách thức lớn — chiếm hơn một nửa số lỗi build trong các dự án quy mô lớn.

Các công cụ hiện tại như ptrace tuy phát hiện được lỗi nhưng lại tạo ra chi phí vận hành (overhead) rất cao, khiến việc kiểm tra phụ thuộc liên tục trở nên không thực tế trong môi trường phát triển hàng ngày.

Giải pháp: mkcheck2 và sức mạnh của eBPF

Nhóm nghiên cứu phát triển công cụ mang tên mkcheck2, sử dụng kỹ thuật tracing lời gọi hệ thống (system call tracing) dựa trên extended Berkeley Packet Filter (eBPF) kết hợp với phân tích tăng dần (incremental analysis).

Kết quả được trình bày trong bài báo "Efficient Build Dependency Verification Using eBPF and Incremental Analysis", công bố tại Hội nghị Quốc tế lần thứ 48 về Kỹ nghệ Phần mềm IEEE/ACM 2026.

"Đánh giá của chúng tôi trên nhiều dự án mã nguồn mở cho thấy mkcheck2 giảm overhead phát hiện lỗi phụ thuộc tới 99,7% so với các phương pháp dùng ptrace, trong khi vẫn duy trì độ chính xác phát hiện."

Điểm mấu chốt nằm ở cách eBPF hoạt động: nó cho phép các chương trình chạy trong sandbox ngay bên trong kernel space, thực thi mã tracing trực tiếp ở đó mà không cần tạm dừng tiến trình hay chuyển đổi ngữ cảnh (context switch) như ptrace.

"Khác với ptrace — vốn yêu cầu tạm dừng tiến trình và chuyển đổi ngữ cảnh cho mỗi lời gọi hệ thống — phương pháp dựa trên eBPF của chúng tôi cung cấp khả năng tracing không xâm lấn bằng cách vận hành hoàn toàn trong kernel."

Con số biết nói: Từ 21 phút xuống còn 23 giây

Trên toàn bộ 300 dự án Make trong tập dữ liệu thử nghiệm, kỹ thuật phân tích tăng dần giúp giảm thời gian phân tích trung bình mỗi commit từ 1267,49 giây (khoảng 21 phút) xuống chỉ còn 23,56 giây — tức nhanh hơn khoảng 54 lần.

Điều này có nghĩa việc kiểm tra phụ thuộc liên tục (continuous dependency verification) giờ đây đã trở nên khả thi trong môi trường phát triển thực tế, thay vì chỉ là một bước kiểm tra tốn kém chạy định kỳ.

Trước đó, eBPF đã được dùng để tối ưu hiệu năng trong nhiều dịch vụ lớn, điển hình là Strobelight của Meta.

Những giới hạn cần lưu ý

Dù kết quả rất ấn tượng, nhóm nghiên cứu thừa nhận phương pháp này vẫn có một số hạn chế:

• Phụ thuộc vào Linux: Hệ thống tracing eBPF chỉ chạy trên nhân Linux, nên các hệ thống build trên nền tảng khác khó đạt được mức tăng tốc tương tự.
• Phụ thuộc trùng lặp phức tạp: Một số dạng phụ thuộc dư thừa vẫn gây khó khăn cho việc phát hiện.
• Vùng nhớ memory-mapped: Việc theo dõi truy cập vào các vùng nhớ ánh xạ vẫn là thách thức.
• Thư viện nạp động: Khả năng quan sát phụ thuộc của các thư viện được nạp động còn hạn chế.
• Phụ thuộc mạng và build phân tán: Các kịch bản này chưa được xử lý triệt để.

Ý nghĩa với cộng đồng phát triển phần mềm

Trong bối cảnh các AI coding agent đang đẩy nhanh tốc độ tạo mã nguồn, việc kiểm tra phụ thuộc trở thành điểm nghẽn ngày càng rõ rệt. Nếu mkcheck2 được ứng dụng rộng rãi, các đội phát triển — đặc biệt là những nhóm làm việc với dự án lớn trên Linux — có thể tiết kiệm đáng kể thời gian chờ đợi CI/CD và giảm chi phí hạ tầng build.

Đây là một bước tiến đáng chú ý trong lĩnh vực công cụ phát triển phần mềm, cho thấy eBPF — vốn nổi tiếng trong lĩnh vực observability và bảo mật — đang mở rộng ảnh hưởng sang cả quy trình build và kiểm thử.