Encontrando Bugs de Concorrência com um Escalonador BPF

Na FOSDEM, Jake Hillion da Meta e Johannes Bechberger, um desenvolvedor da OpenJDK, apresentaram seu escalonador de fuzzing de concorrência construído usando a estrutura de escalonamento BPF, `sched_ext`. Este escalonador introduz deliberadamente aleatoriedade no escalonamento, causando atrasos e alterando a ordem de execução das threads para descobrir bugs de concorrência difíceis de reproduzir. Embora atualmente tenha uma sobrecarga de desempenho significativa, limitando seu uso à depuração de desenvolvimento, ele oferece uma maneira eficaz de descobrir erros de lógica do mundo real e mostra promessas para uso futuro na produção após otimização.