Supplemental Material
Recommendations
Observationally cooperative multithreading
OOPSLA '11: Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companionObservationally Cooperative Multithreading (OCM) is a new approach to shared-memory parallelism. It addresses a key problem of mainstream concurrency control mechanisms - they can be prohibitively hard to reason about and debug. Programmers using OCM ...
Efficient deterministic multithreading through schedule relaxation
SOSP '11: Proceedings of the Twenty-Third ACM Symposium on Operating Systems PrinciplesDeterministic multithreading (DMT) eliminates many pernicious software problems caused by nondeterminism. It works by constraining a program to repeat the same thread interleavings, or schedules, when given same input. Despite much recent research, it ...
Comments