A Randomized Scheduler with Probabilistic Guarantees of Finding Bugs
12 points by teymour
12 points by teymour
Technique is usermode scheduling on unpatched Windows with unpatched apps. Pretty neat. Wonder how much of this can be ported to Linux with sched-ext framework. Johannes Bechberger (SAP) and Jake Hillion (former Meta) did something very similar, see P99 conf 2025, but haven't studied either work well enough to compare/contrast. Thanks for the link.
I mean, unpatched apps, but you got to do the patching at some point, which they do live as the binary's running; they need the app to call their usermode scheduler of course.
we implemented PCT as a user-mode scheduler. PCT works on unmodified x86 binaries. It employs binary instrumentation to insert calls to the scheduler after every instruction that accesses shared memory or makes a system call.
I wish we could plug the scheduler for golang for testing purposes.