DetLock: Portable and Efficient Deterministic Execution for Shared Memory Multicore Systems

Provided by: Delft University of Technology
Topic: Hardware
Format: PDF
Multicore systems are not only hard to program but also hard to test, debug and maintain. This is because the traditional way of accessing shared memory in multithreaded applications is to use lock-based synchronization, which is inherently non-deterministic and can cause a multithreaded application to have many different possible execution paths for the same input. This problem can be avoided however by forcing a multithreaded application to have the same lock acquisition order for the same input.

Find By Topic