
This Article  
 
Share  
Bibliographic References  
Add to:  
Digg Furl Spurl Blink Simpy Del.icio.us Y!MyWeb  
Search  
 
ASCII Text  x  
R.L. Bagrodia, WenToh Liao, "Maisie: A Language for the Design of Efficient DiscreteEvent Simulations," IEEE Transactions on Software Engineering, vol. 20, no. 4, pp. 225238, April, 1994.  
BibTex  x  
@article{ 10.1109/32.277572, author = {R.L. Bagrodia and WenToh Liao}, title = {Maisie: A Language for the Design of Efficient DiscreteEvent Simulations}, journal ={IEEE Transactions on Software Engineering}, volume = {20}, number = {4}, issn = {00985589}, year = {1994}, pages = {225238}, doi = {http://doi.ieeecomputersociety.org/10.1109/32.277572}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }  
RefWorks Procite/RefMan/Endnote  x  
TY  JOUR JO  IEEE Transactions on Software Engineering TI  Maisie: A Language for the Design of Efficient DiscreteEvent Simulations IS  4 SN  00985589 SP225 EP238 EPD  225238 A1  R.L. Bagrodia, A1  WenToh Liao, PY  1994 KW  discrete event simulation; simulation languages; optimisation; synchronisation; parallel algorithms; C language; Maisie; Cbased discreteevent simulation language; simulation model/algorithm separation; sequential simulation algorithm; parallel conservative algorithm; parallel optimistic algorithm; language constructs; runtime system; optimizations; recomputation overheads; state saving overheads; synchronization overheads; distributed simulation; semantic rollback; lookahead optimization; interrogative simulation VL  20 JA  IEEE Transactions on Software Engineering ER   
Maisie is a Cbased discreteevent 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 runtime 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.
[1] M. Abrams, "The object library for parallel simulation(OLPS)," inWinter Simulation Conf. Proc., Dec. 1988.
[2] G. R. Andrews, "Synchronizing resources,"ACM Trans. Program. Lang. Syst., vol. 3, no. 4, pp. 405430, Oct. 1981.
[3] D. Baezner, G. Lomow, and B.W. Unger, "Sim++: The transition to distributed simulation,"Proc. 1990 SCS Multiconf. Distrib. Simulation, 1990, pp. 211218.
[4] R.L. Bagrodia, K.M. Chandy, and W. Liao, "A unifying framework for distributed simulations,"ACM Trans. Modeling and Comput. Simulation, vol. 2, pp. 348385, Oct. 1991.
[5] R. Bagrodia, K. M. Chandy, and J. Misra, "A messagebased approach to discreteevent simulation,"IEEE Trans. Software Eng., vol. SE13, pp. 654665, June 1987.
[6] R.L. Bagrodia and W.T. Liao, "Maisie: A language and optimizing environment for distributed simulation,"Proc. 1990 SCS Multiconf. Distrib. Simulation, 1990, pp. 205210.
[7] R.L. Bagrodia and W.T. Liao, "Transparent optimizations of overheads in optimistic simulations,"Proc. 1992 Winter Simulation Conf., 1992, pp. 637645.
[8] R.L. Bagrodia and W.T. Liao "Maisie user manual," Tech. Rep., Dept. of Comput. Sci., Univ. of Call at Los Angeles, CA, 1993.
[9] R.E. Bryant, "Simulation of Packet Communication Architecture Computer Systems," Tech. Report MIT/LCS/TR188, Laboratory for Computer Science, MIT Cambridge, Mass., 1977.
[10] K.M. Chandy and R. Sherman, "The conditional event approach to distributed simulation,"Proc. 1989 SCS Multiconf. Distrib. Simulation, 1989, pp. 9399.
[11] K.M. Chandy and R. Sherman, "Spacetime and simulation,"Proc. 1989 SCS Multiconf. Distrib. Simulation Conf., 1989, pp. 5357.
[12] B.A. Cota and R.G. Sargent, "Automatic lookahead computation for conservative distributed simulation," Tech. Rep. CASE Center 8916, Simulation Research Group and CASE Center, Syracuse University, Syracuse, NY, 1989.
[13] O.J. Dahl, "Discrete event simulation languages," inProgramming Languages, F. Genuys, ed. New York: Academic Press, 1968, pp. 348395.
[14] R. Fujimoto.."Lookahead in parallel discrete event simulation,"Int. Conf. Parallel Processing, 1988, pp. 3441.
[15] R. Fujimoto, G. Gopalakrishnan, and J.J. Tsai, "The roll back chip: Hardware support for distributed simulation using Time Warp,"Proc. 1988 SCS Simulation Multiconf. Distrib. Simulation, 1988, pp. 8186.
[16] R. M. Fujimoto, "Parallel discrete event simulation,"Commun. ACM, vol. 33, no. 10, pp. 3053, Oct. 1990.
[17] A. Gafni, "Rollback mechanisms for optimistic distributed simulation systems,"Proc. 1988 SCS Multiconf. Distrib. Simulation, 1988, pp. 6167.
[18] A. Geist, A. Beguelin, and J. Dongarra, "PVM 3.0 user's guide and reference manual," Tech. Rep. ORNL/TM12187, Oak Ridge National Lab., 1993.
[19] D.H. Gill, F.X. Maginnis, S.R. Rainier, and T.P. Reagan, "An interface for programming parallel simulations,"Proc. 1989 SCS Multiconf. Distrib. Simulation, 1989, pp. 151154.
[20] A. G. Greenberg, B. D. Lubachevsky, and I. Mitrani, "Unboundedly parallel simulations via recurrence relations,"Proc. 1990 ACM SIGMETRICS Conf. on Measure. and Model. Comput. Syst., May 1990, vol. 18, no. 1, pp. 1112.
[21] D. Jefferson, "Virtual Time,"ACM Trans. Programming Languages, Vol. 7, No. 3, July 1985, pp. 404425.
[22] D.R. Jefferson et al., "Distributed Simulation and the Time Warp Operating Sys tem,"ACM Operating Systems Review, Vol. 21, No. 5, Nov. 1987, pp. 7793.
[23] V. Jha and R.L. Bagrodia, "Transparent implementation of conservative algorithms in parallel simulation languages,"Proc. 1993 Winter Simulation Conf., 1993, pp. 677686.
[24] Y.B. Lin and E.D. Lazowska, "Exploiting lookahead in parallel simulation,"IEEE Trans. Parallel Distrib. Syst., vol. 1, pp. 457469, Oct. 1990.
[25] J. Misra, "Distributed discreteevent simulation,"Comput. Surveys, vol. 18, no. 1, Mar. 1986.
[26] D. M. Nicol, "Parallel discreteevent simulation of FCFS stochastic queueing networks," inProc. ACM SIGPLAN Symp. Parallel Programming: Experience with Applications, Languages, and Systems, 1988, pp. 124137.
[27] K. Nygaard and O.J. Dahl, "The Development of the SIMULA Languages," inHistory of Programming Languages, R.L. Wexelblat, ed., Academic Press, New York, 1981.
[28] B.R. Preiss, "The Yaddes distributed discrete event simulation specification language and execution environments,"Proc. 1989 SCS Multiconf. Distrib. Simulation, 1989, pp. 139144.
[29] H. Rajaei, "Sima: An Environment for Parallel DiscreteEvent Simulation,"Proc. 25th Ann. Simulation Symp., IEEE Computer Society Press, Los Alamitos, Calif., Apr. 1992, pp. 147155.
[30] P. Reynolds, "A spectrum of options for parallel simulation,"Proc. 1988 Winter Simulation Conf., 1988, pp. 325332.
[31] P. F. Reynolds, "An efficient framework for parallel simulations," in V. Madisetti, D. Nicol, and R. Fujimoto, editors,Proc. 1991 SCS Multiconf. Advances in Parallel Distrib. Simulation, vol. 23, pp. 167174, Jan. 1991.
[32] H.D. Schwetman, "CSIM: A CBased, ProcessOriented Simulation Language,"Proc. 1986 Winter Simulation Conf., American Statistical Assoc., Washington, DC, 1986.
[33] C. L. Seitz, "The Cosmic Cube,"Commun. ACM, pp. 2233, Jan. 1985.
[34] J. Steinman, "SPEEDES: Synchronous parallel environment for emulation and discrete event simulation,"Proc. 1991 SCS Multiconf. Advances in Parallel Distrib. Simulation, 1991, pp. 95103.
[35] J. West and A. Mullarney, "ModSim: A language for distributed simulation,"Proc. 1988 SCS Multiconf. Distrib. Simulation, 1988, pp. 155159.