| US 7,590,519 B2 | ||
| Distributed system simulation: slow message relaxation | ||
| Shiding Lin, Beijing (China); Aimin Pan, Beijing (China); Rui Guo, Beijing (China); and Zheng Zhang, Beijing (China) | ||
| Assigned to Microsoft Corporation, Redmond, Wash. (US) | ||
| Filed on Nov. 08, 2005, as Appl. No. 11/269,133. | ||
| Prior Publication US 2007/0129928 A1, Jun. 07, 2007 | ||
| Int. Cl. G06F 9/455 (2006.01) | ||
| U.S. Cl. 703—17 [703/6; 703/13; 709/224; 709/230; 709/248] | 13 Claims |

| 1. A method to perform on a plurality of computing devices a simulation of a distributed system, the simulation occurring
round by round, the method comprising:
receiving, by a logical process operated by one of the computing devices, an event having a timestamp;
determining, by the one of the computing devices, if the timestamp of the event is less than a local time of the logical process;
if the timestamp of the event is determined to be less than the local time of the logical process, substituting, by the one
of the computing devices, the local time of the logical process for the timestamp of the event;
determining by the one of the computing devices that all logical processes operating on the computing devices have finished
processing all events for a given round;
after the determining that all the logical processes have finished processing all the events, calculating by the one of the
computing devices a new relaxation width of a simulation window, the new relaxation width being responsive to at least one
runtime simulation parameter, the value of the relaxation width exceeding a global lookahead value for the distributed system
being simulated, wherein the calculating comprises ensuring that the relaxation width does not exceed one-half of a timeout
interval that is related to maintaining nodal knowledge of the distributed system being simulated; and
sending the new relaxation width to other computing devices.
|