Towards Unit Testing Real-Time Schedulers in LITMUSRT

The problem of unit testing multiprocessor real-time schedulers in operating systems such as LITMUSRT is discussed. A tool intended to aid debugging by identi- fying deviations from an intended scheduling policy and performance regressions is proposed. This paper gives a specification for the tool and also discusses ongoing work on a prototype implementation.