Brendan Cully's masters thesis has more detail <a href="http://www.cs.ubc.ca/grads/resources/thesis/Nov07/Cully_Brendan.pdf" rel="nofollow">http://www.cs.ubc.ca/grads/resources/thesis/Nov07/Cully_Bren...</a><p>This was also interesting: <i>"we believe that the high-frequency checkpointing mechanism we have engineered in support of Remus will have many other interesting applications, ranging from forensics and error recovery tools based on replayable history to software engineering applications such as concurrency-aware time-travelling debuggers."</i>