Multiprocessor Real-Time Locking Protocols