Title :
Maisie: a language for the design of efficient discrete-event simulations
Author :
Bagrodia, Rajive L. ; Liao, Wen-Toh
Author_Institution :
Dept. of Comput. Sci., California Univ., Los Angeles, CA, USA
fDate :
4/1/1994 12:00:00 AM
Abstract :
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
Keywords :
C language; discrete event simulation; optimisation; parallel algorithms; simulation languages; synchronisation; C-based discrete-event simulation language; Maisie; distributed simulation; interrogative simulation; language constructs; lookahead optimization; optimizations; parallel conservative algorithm; parallel optimistic algorithm; recomputation overheads; run-time system; semantic rollback; sequential simulation algorithm; simulation model/algorithm separation; state saving overheads; synchronization overheads; Algorithm design and analysis; Computational modeling; Computer science; Computer simulation; Concurrent computing; Design optimization; Discrete event simulation; Distributed computing; Parallel architectures; Protocols;
Journal_Title :
Software Engineering, IEEE Transactions on
