Synchronization, coherence, and event ordering in multiprocessors | IEEE Journals & Magazine | IEEE Xplore