Synchronization, coherence, and event ordering in multiprocessors | doi.page