Programming shared memory multiprocessors with deterministic message-passing concurrency
Stephen A. Edwards, Nalini Vasudevan, Olivier Tardieu · 2008
Multicore shared-memory architectures are becoming prevalent and bring many programming challenges. Among the biggest are data races: accesses to shared resources that make a program's behavior depend on scheduling decisions beyond its control. To eliminate such races, the SHIM concurrent programming language adopts deterministic message passing as it sole communication mechanism.