This report describes a new model for parallel discrete event simulation based on the notions of processes and gates and on the rendezvous mechanism defined in the the basic L OTOS process algebra. The model presented in this report requires a statically determined fixed number of processes and gates. Whereas it may be possible to simulate many L OTOS specifications using this model, no claim is made regarding the ability of the model to simulate all L OTOS specifications in general.An execution algorithm is presented that allows optimistic gate activations (i.e., speculative computation). This increases the available parallelism while ensuring correct execution of the simulation. An implementation approach that makes extensive use of bit vectors and bitwise logical operations is described. Finally, a partitioning of the computation for parallel execution is given.
Copyright 1994 by Bruno R. Preiss.
Full text. BibTeX entry.
Copyright 2002 by Bruno R. Preiss, P.Eng. All rights reserved.
Tue Jan 1 13:41:25 EST 2002