Multiprocessor Real-Time Locking Protocols

We systematically survey the literature on analytically sound multiprocessor real-time locking protocols from 1988 until the end of 2017, covering the following topics:Progress mechanisms that prevent the lock-holder preemption problemSpin-lock protocolsBinary semaphore protocolsIndependence-preserving (or fully preemptive) locking protocolsReader-writer synchronizationk-exclusion synchronizationSupport for nested critical section