Abstract

Current multicore systems are nondeterministic. Each time they execute a multithreaded application, even if supplied with the same input, they can produce a different output. This frustrates debugging, limits the ability to properly test multithreaded code and hinders fault-tolerant scenarios. Moreover, data-races often lead to surprising behavior and complicate …