Issue No. 04 - April (1994 vol. 20)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/32.277572
<p>Maisie is a C-based discrete-event simulation language that was designed to cleanly separate a simulation model from the underlying algorithm (sequential or parallel) used for the execution of the model. With few modifications, a Maisie program may be executed by using a sequential simulation algorithm, a parallel conservative algorithm or a parallel optimistic algorithm. The language constructs allow the run-time system to implement optimizations that reduce recomputation and state saving overheads for optimistic simulations and synchronization overheads for conservative implementations. This paper presents the Maisie simulation language, describes a set of optimizations, and illustrates the use of the language in the design of efficient parallel simulations.</p>
discrete event simulation; simulation languages; optimisation; synchronisation; parallel algorithms; C language; Maisie; C-based discrete-event simulation language; simulation model/algorithm separation; sequential simulation algorithm; parallel conservative algorithm; parallel optimistic algorithm; language constructs; run-time system; optimizations; recomputation overheads; state saving overheads; synchronization overheads; distributed simulation; semantic rollback; lookahead optimization; interrogative simulation
W. Liao and R. Bagrodia, "Maisie: A Language for the Design of Efficient Discrete-Event Simulations," in IEEE Transactions on Software Engineering, vol. 20, no. , pp. 225-238, 1994.