BPFスケジューラを使ったコンカレンシーバグのファジング
2025-02-14
FOSDEMで、MetaのJake HillionとOpenJDK開発者のJohannes Bechbergerは、BPFスケジューリングフレームワーク`sched_ext`を用いて構築したコンカレンシーファジングスケジューラを発表しました。このスケジューラは、意図的にスケジューリングにランダム性を取り入れることで、遅延を発生させ、スレッドの実行順序を変更し、再現困難なコンカレンシーバグを表面化させます。現在、パフォーマンスオーバーヘッドが大きく、開発段階でのデバッグに限定されますが、現実世界のロジックエラーを発見する効果的な方法を提供し、最適化後に将来的な本番環境での使用が期待されます。
(lwn.net)
開発
コンカレンシー