MAISIE - A LANGUAGE FOR THE DESIGN OF EFFICIENT DISCRETE-EVENT SIMULATIONS

Maisie is a C-based discrete-event simulation language that was design ed to cleanly separate a simulation model from the underlying algorith m (sequential or parallel) used for the execution of the model. With f ew modifications, a Maisie program may be executed by using a sequenti al simulation algorithm, a parallel conservative algorithm or a parall el optimistic algorithm. The language constructs allow the run-time sy stem to implement optimizations that reduce recomputation and state sa ving overheads for optimistic simulations and synchronization overhead s for conservative implementations. This paper presents the Maisie sim ulation language, describes a set of optimizations, and illustrates th e use of the language in the design of efficient parallel simulations.