BPF 스케줄러를 사용한 동시성 버그 퍼징

FOSDEM에서 Meta의 Jake Hillion과 OpenJDK 개발자인 Johannes Bechberger는 BPF 스케줄링 프레임워크인 `sched_ext`를 사용하여 구축한 동시성 퍼징 스케줄러를 발표했습니다. 이 스케줄러는 의도적으로 스케줄링에 무작위성을 도입하여 지연을 발생시키고 스레드 실행 순서를 변경하여 재현하기 어려운 동시성 버그를 드러냅니다. 현재 성능 오버헤드가 크므로 개발 단계 디버깅에만 사용되지만, 실제 로직 오류를 발견하는 효과적인 방법을 제공하며, 최적화 후 향후 프로덕션 환경에서 사용될 것으로 기대됩니다.