Ensuring determinism during programmatic replay in a virtual machine
US9606820B2 · kind B2 · utility
Assignee
Inventors
Key dates
| Filing date | Apr 22, 2014 |
| Grant date | Mar 28, 2017 |
| Priority date | — |
| Expiry date | Aug 26, 2034 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F2201/88
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
A replay core ensures that references to objects are removed at the same relative times and in the same relative order within a program's execution during both record time and replay time. A register method of a Finalizer class is modified to cause the register method to pass, to a specified programmatic mechanism, an object that was passed to the register method; modifying a finalize method of a class of the object to (a) cause the object to invoke a first method of the programmatic mechanism when the finalize method is invoked by a virtual machine and (b) prevent a remainder of the finalize method from completing under specified conditions, thereby causing a call to the finalize method to remain undispatched. The first method, when invoked, (a) adds, to the object, a reference that temporarily prevents the object from being deleted and (b) records an identifier of the object.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.