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

Volume

20

Issue

4

fYear

1994

fDate

4/1/1994 12:00:00 AM

Firstpage

225

Lastpage

238

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;

fLanguage

English

Journal_Title

Software Engineering, IEEE Transactions on

Publisher

ieee

ISSN

0098-5589

Type

jour

DOI

10.1109/32.277572

Filename

277572