Enforcing deterministic execution of threads of guest operating systems running in a virtual machine hosted on a multiprocessor machine
Abstract:
A virtual machine monitor (VMM) is configured to enforce deterministic execution of virtual machines in a multiprocessor machine. The VMM is configured to ensure that any communication by physical processors via shared memory is deterministic. When such VMMs are implemented in a distributed environment of multiprocessor machines coupled via a logical communication link, non-deterministic server applications running on virtual machines using the VMM may be replicated.
Public/Granted literature
Information query
Patent Agency Ranking
0/0