Intention Preservation in Deterministic Multithreading
2014 8th International Conference on Future Generation Communication and Networking
In this paper, we present an analogy between the race condition resolution in a multithreaded application, and conflict resolution for concurrent updates in collaborative editing applications. We introduce the intention preservation problem in deterministic multithreading for programs with race conditions. We point out that current state-of-the-art deterministic multithreading approaches do not have any mechanism to preserve the intention of a program when it is instrumented for deterministic execution. Furthermore, we propose a solution for intention preservation in deterministic multithreading provided that the unprotected shared variables are primitive types.
Zhao, Wenbing, "Intention Preservation in Deterministic Multithreading" (2014). Electrical Engineering & Computer Science Faculty Publications. 363.
W. Zhao, "Intention preservation in deterministic multithreading," in 2014 8th International Conference on Future Generation Communication and Networking, 2014, pp. 29-32.