mkcheck2 reduce el sobrecarga de verificación de dependencias hasta 99,7% con eBPF
Un nuevo tool de la Universidad de Waseda acelera la detección de errores de dependencias en build con un factor 54x al usar trazado en kernel con eBPF.
mkcheck2, desarrollado por Yuta Saito, Kazunori Sakamoto y Hironori Washizaki de la Universidad de Waseda, ofrece una forma de validar dependencias de compilación con un sobrecosto del 99,7 % menor que las soluciones basadas en ptrace.
El tool se apoya en trazado de llamadas al sistema con eBPF, permitiendo que la inspección de dependencias se ejecute en espacio kernel sin suspender procesos ni generar cambios de contexto. En un corpus de 300 proyectos Make, la técnica incremental de mkcheck2 reduce el tiempo medio de análisis por commit de 1267,49 s a 23,56 s, equivalente a un aumento de velocidad de 54×.
Aunque la solución es Linux‑específica y aún enfrenta retos con dependencias redundantes, memoria mapeada o entornos distribuidos, la reducción sustancial de la sobrecarga facilita la verificación continua en entornos reales de desarrollo.
El trabajo se publica en los Proceedings de la 48ª Conferencia Internacional de Ingeniería de Software IEEE/ACM 2026, y el código fuente se encuentra en el repositorio del proyecto.
Para más detalles técnicos, consulta el paper en la ACM Digital Library.
Implicaciones operativas
- Compatibilidad: Se integra con Make, CMake y Zig; otras plataformas requerirán adaptación.
- Rendimiento: 54× más rápido que ptrace, lo que reduce la latencia de CI/CD.
- Seguridad: eBPF mantiene la trazabilidad sin exponer espacio de usuario.
El próximo paso será evaluar su rendimiento en sistemas de construcción distribuidos y en proyectos con dependencias dinámicas.
