Débogage des bogues de concurrence avec un planificateur BPF

À la FOSDEM, Jake Hillion de Meta et Johannes Bechberger, un développeur OpenJDK, ont présenté leur planificateur de fuzzing de concurrence construit à l'aide du framework de planification BPF, `sched_ext`. Ce planificateur introduit délibérément de l'aléatoire dans la planification, causant des retards et modifiant l'ordre d'exécution des threads pour découvrir des bogues de concurrence difficiles à reproduire. Bien qu'il présente actuellement une surcharge de performance importante, limitant son utilisation au débogage de développement, il offre un moyen efficace de découvrir des erreurs logiques réelles et promet une utilisation future en production après optimisation.