This report extends the model for parallel discrete event simulation presented in [49, 48, 46] by introducing the notion attributes (messages). The model is based on the notions of processes and gates and on the rendezvous mechanism defined in the the basic LOTOS process algebra. Time is introduced via a mechanism similar to the delay behaviour annotation provided by the TOPO toolset. Communication between processes is supported by the LOTOS mechanisms of value passing (but not value generation).
An algorithm is presented that allows optimistic gate activations (i.e., speculative computation). This increases the available parallelism while ensuring correct execution of the simulation. This speculative computation can be performed without the expensive overheads associated with checkpointing and rollback recovery.
The model is used to describe two different simulation applications--closed stochastic queue networks simulations and logic simulation. Analysis of preliminary results suggests that the model is successful at making available a degree of speculative parallelism.
Copyright 1996 by Bruno R. Preiss.