Work

Asymptotically Optimal Multiprocessor Real-Time Locking for non-JLFP Scheduling