Deterministic operating systems
Nondeterministic execution inherent in multithreaded programs severely complicates debugging, testing, and replication. We have proposed a new OS abstraction, called Deterministic Process Groups (DPGs), to ensure fully deterministic (repeatable) execution of arbitrary, unmodified multithreaded programs. We have also developed dOS, a Linux-based implementation of DPGs. Faculty: Ceze, Gribble.
Research Groups
Last changed Fri, 2012-11-16 11:28


cs.