Synchronization, coherence, and event ordering in multiprocessors | Synapse