Derleme bağımlılığı denetimi eBPF ile 54 kat hızlandı

Japonya'daki araştırmacılar, yazılım derleme bağımlılıklarını önceki yöntemlerden çok daha hızlı denetleyen bir araç geliştirdi: araç, ptrace yerine eBPF ile sistem çağrılarını izliyor ve bağımlılık grafiğinin yalnızca değişen bölümlerini yeniden analiz ediyor. The Register'ın haberine göre mkcheck2, denetim hızını 54 kata kadar artırıyor.

Derleme bağımlılıkları, bir dosya değiştiğinde derleme sisteminin hangi dosyaları yeniden derlemesi gerektiğini tanımlar. Bu tanım yanlışsa derleme ya başarısız olur ya da hatalı sonuç üretir.

Denetim neden pahalı

ICSE 2026'da sunulan bildiride Waseda Üniversitesi'nden Yuta Saito ile Hironori Washizaki ve Tokyo Online Üniversitesi'nden Kazunori Sakamoto, eksik ve gereksiz bağımlılıklar dahil bağımlılık kaynaklı hataların büyük ölçekli projelerde derleme hatalarının yüzde 50'sinden fazlasını oluşturduğunu bildiriyor.

Yerleşik yöntem ptrace, kullanıcı uzayında çalıştığı için izlenen süreci her sistem çağrısında durdurup bağlam değiştiriyor. Yazarların ölçümüne göre derleme süresi mkcheck'te ortalama yüzde 101,7, BuildFS'te yüzde 148,0 artıyordu. Eksik bağımlılık başarısız ya da hatalı derlemeye, gereksiz bağımlılık ise boşuna yeniden derlemelere yol açıyor.

eBPF ve artımlı analiz

mkcheck2 iki teknik kullanıyor. Build Tracer modülü, çekirdek içinde çalışan eBPF programlarıyla sistem çağrılarını gerçek zamanlı filtreliyor ve ptrace'in bağlam değiştirmelerine ihtiyaç duymuyor. Bağımlılık grafiği oluşturucu, izlenen dosya işlemlerini derlemenin gerçekte kullandığı bağımlılıklara dönüştürüyor ve geçmişini saklıyor. Artımlı analizci ise farklı derlemelerin grafiklerini karşılaştırıp her kenar yerine yalnızca değişen bölümleri inceliyor.

"Buna karşılık bizim yaklaşımımız, hafif bir sistem çağrısı izleme teknolojisi olan eBPF'i artımlı analizle birleştirerek doğrulama süresini önemli ölçüde kısaltıyor," diyor Washizaki.

Sonuçlar ve sınırlar

Değerlendirme, BuildFS'in kullandığı Make külliyatı dahil 300 açık kaynak projeyi kapsadı. Proje ortalamasında derleme yükü temel seviyenin yüzde 0,3'üne düştü; ptrace tabanlı araçlarda bu oran yüzde 101,7 ve yüzde 148,0 idi ve yazarlar bunu yüzde 99,7'ye varan azalma olarak tanımlıyor. Komet başına ortalama analiz süresi 1267,49 saniyeden 23,56 saniyeye indi; arka arkaya on komette araç yüzde 75-80 daha hızlı.

Doğruluk korundu: 15 740 eksik bağımlılık için yüzde 100, 11 720 gereksiz bağımlılık için yüzde 92 geri çağırma bildiriliyor, yanlış pozitif yok. Tek belirgin sınır, eBPF destekli güncel bir Linux çekirdeği ve izleme programlarını yüklemek için CAP_SYS_ADMIN gibi ayrıcalıkların gerekmesi. Washizaki'ye göre teknoloji, sürekli entegrasyonda hızlı doğrulamanın kritik olduğu bulut ve AI altyapısında önemli olabilir.