Real-time synchronization protocols for shared memory multiprocessors | IEEE Conference Publication | IEEE Xplore