A Comparison of Scheduling Latency in Linux, PREEMPT RT, and LITMUS RT
scheduling and locking in multiprocessor real - time operating systems .