Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Deterministic Process Groups in dOS Tom Bergan Nicholas Hunt Luis Ceze Steven D. Gribble
 

Summary: Deterministic Process Groups in dOS
Tom Bergan Nicholas Hunt Luis Ceze Steven D. Gribble
Department of Computer Science & Engineering, University of Washington
Abstract
Current multiprocessor systems execute parallel and concurrent
software nondeterministically: even when given precisely the
same input, two executions of the same program may produce
different output. This severely complicates debugging, testing,
and automatic replication for fault-tolerance. Previous efforts to
address this issue have focused primarily on record and replay,
but making execution actually deterministic would address the
problem at the root.
Our goals in this work are twofold: (1) to provide fully de-
terministic execution of arbitrary, unmodified, multithreaded
programs as an OS service; and (2) to make all sources of in-
tentional nondeterminism, such as network I/O, be explicit and
controllable. To this end we propose a new OS abstraction, the
Deterministic Process Group (DPG). All communication be-
tween threads and processes internal to a DPG happens de-
terministically, including implicit communication via shared-

  

Source: Anderson, Richard - Department of Computer Science and Engineering, University of Washington at Seattle
Gribble, Steve - Department of Computer Science and Engineering, University of Washington at Seattle
Yang, Junfeng - Department of Computer Science, Columbia University

 

Collections: Computer Technologies and Information Sciences