Reproducing a Tricky Bug in Minutes With a Custom Linux Scheduler Written in Java