Relaxed Determinism: Making Redundant Execution on Multiprocessors Practical. - Jesse Pool; Ian Sin Kwok Wong; David Lie (HotOS, 2007)