Authors: Malolan Chetlur, Philip A. Wilsey
Addresses: IBM India Research Laboratory, IBM, Bangalore, KA 560071, India. ' Department of ECE, University of Cincinnati, Cincinnati, OH 45221-0030, USA
Abstract: This paper presents an enhanced process model in an optimistic distributed simulation to develop a method for tracking causality and safe-time and its application in the design of a local fossil identification technique. The fossil identification process is reduced to a local operation that operates without requiring a GVT estimation method. The information needed for fossil identification is captured during normal event processing from the enhanced process model. This technique assumes FIFO communication channels and simulation model with static communication topology. A proof of correctness of the fossil identification technique using this enhanced process model is presented.
Keywords: time warp; causality; safe-time; GVT; global virtual time; fossil identification; process modelling; optimistic simulation; distributed simulation.
International Journal of Simulation and Process Modelling, 2009 Vol.5 No.2, pp.95 - 103
Received: 10 May 2008
Accepted: 13 Oct 2008
Published online: 21 Sep 2009 *