Deterministic Execution of Multiprocessor Virtual Machines
Deterministic execution offers a lot of benefits for debugging, fault tolerance, security of multiprocessor systems. Most previous work to address this issue either depends on custom hardware or needs to recompile the program. Some others combine the hardware and software technologies. The authors' goal, in this paper is to provide deterministic execution and repeatability of arbitrary, unmodified, multiprocessor systems without custom hardware. To this end, they propose a new abstraction of a multiprocessor virtual machine named Deterministic Concurrency State Machine (DCSM). With the virtual private memory model, the multiprocessor virtual machine can execute deterministically as a DCSM.