DMP: Deterministic Shared-Memory Multiprocessing. - Devietti, Joseph; Lucia, Brandon; Ceze, Luis (IEEE Micro, 2010)