Ali Siddiqui

Pinning Isn't Enough: Gang-Scheduling Memory-Model Litmus Tests with sched_ext

Litmus tests are the empirical workhorse for characterizing hardware memory models: small concurrent programs whose “weak” outcomes reveal how a processor reorders memory accesses. Their effectiveness hinges on a property the test cannot control on its own: its threads must execute simultaneously on different cores, wi...