Detección de errores de concurrencia con un planificador BPF
2025-02-14
En FOSDEM, Jake Hillion de Meta y Johannes Bechberger, un desarrollador de OpenJDK, presentaron su planificador de fuzzing de concurrencia construido utilizando el framework de planificación BPF, `sched_ext`. Este planificador introduce deliberadamente aleatoriedad en la planificación, causando retrasos y alterando el orden de ejecución de los hilos para descubrir errores de concurrencia difíciles de reproducir. Si bien actualmente tiene una sobrecarga de rendimiento significativa, lo que limita su uso a la depuración de desarrollo, ofrece una forma eficaz de descubrir errores lógicos del mundo real y promete un uso futuro en producción después de la optimización.
(lwn.net)
Desarrollo