research-article

A performance evaluation of the conservative DEVS protocol in parallel simulation of DEVS-based models

Authors:

Gabriel WainerAuthors Info & Claims

TMS-DEVS '11: Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium

Pages 103 - 110

Published: 03 April 2011 Publication History

Abstract

We present the performance evaluation of the Conservative DEVS protocol. This conservative algorithm is based on the classical Chandy-Misra-Bryant (CMB) synchronization mechanism, and extends the DEVS abstract simulator by providing means for lookahead computation and null message distribution. The protocol is integrated into the CD++ simulation toolkit, providing a conservative simulator (named CCD++) for running large-scale DEVS and Cell-DEVS models in parallel and distributed fashion. Throughout the experiments, we analyze four types of metrics, the total execution time, the average blocked time per node, the average number of positive events executed on each node, and the average number of null messages per node. We show a study on three environmental Cell-DEVS models, which shows that CCD++ provides considerable speedups, showing its ability for simulating large and complex DEVS-based models.

References

[1]

Fujimoto, R. M. Parallel and distributed simulation systems. New York: Wiley. 2000.

Digital Library

[2]

D. R. Jefferson. 1985. "Virtual time". ACM Trans. Program. Lang. Syst. 7(3), pp. 404--425.

Digital Library

[3]

Bryant, R. E. "Simulation of packet communication architecture computer systems". Massachusetts Institute of Technology. Cambridge, MA. USA. 1977.

Digital Library

[4]

Chandy, K. M.; Misra J. "Distributed simulation: A case study in design and verification of distributed programs". IEEE Transactions on Software Engineering. pp.440--452. 1978.

Digital Library

[5]

Zeigler, B., T. Kim, and H. Praehofer. 2000. Theory of modeling and simulation: Integrating discrete event and continuous complex dynamic systems. San Diego: Academic Press.

Digital Library

[6]

Chow, A. C. and B. Zeigler. 1994. "Parallel DEVS: A parallel, hierarchical, modular modeling formalism". In Proceedings of the Winter Computer Simulation Conference, Orlando, FL.

Digital Library

[7]

Wainer, G.; Giambiasi, N. "Specification, modeling and simulation of timed Cell-DEVS spaces". Technical Report n.: 98--007. Departamento de Computación. Facultad de Ciencias Exactas y Naturales. Universidad de Buenos Aires. Argentina. 1998.

[8]

Wainer, G. 2002. CD++: A toolkit to develop DEVS models. Software -- Practice and Experience, 32:1261--1306.

Digital Library

[9]

Q. Liu, G. Wainer, "Parallel environment for DEVS and Cell-DEVS models". SIMULATION 83(6), 2007, pp.449--471.

Digital Library

[10]

Radhakrishnan, R., D. E. Martin, M. Chetlur, D. M. Rao, and P. A. Wilsey. 1998. "An object-oriented time warp simulation kernel". In Proceedings of the International Symposium on Computing in Object-Oriented Parallel Environments, LNCS 1505, pp. 13--23.

Digital Library

[11]

Zeigler, B.; Moon, Y.; Kim, D.; Kim, J. G. "DEVS-C++: A high performance modeling and simulation environment". The 29th Hawaii International Conference on System Sciences. 1996.

Digital Library

[12]

Zeigler, B.; Kim, D.; Buckley, S. "Distributed supply chain simulation in a DEVS/CORBA execution environment". Proceedings of the 1999 Winter Simulation Conference. 1999.

Digital Library

[13]

Kim, K.; Kang, W. "CORBA-based, Multi-threaded Distributed Simulation of Hierarchical DEVS Models: Transforming Model Structure into a Non-hierarchical One". International Conference on Computational Science and Its Applications (ICCSA). Assisi, Italy. 2004.

[14]

Cheon, S.; Seo, C.; Park, S.; Zeigler, B. "Design and implementation of distributed DEVS simulation in a peer to peer network system". Advanced Simulation Technologies Conference -- Design, Analysis, and Simulation of Distributed Systems Symposium. Arlington, USA. 2004.

[15]

Zhang, M.; Zeigler, B.; Hammonds, P. "DEVS/RMI -- An auto-adaptive and reconfigurable distributed simulation environment for engineering studies". DEVS Integra-tive M&S Symposium (DEVS'06). Huntsville, Alabama, USA. 2006.

[16]

T. G. Kim, S. B. Park, "The DEVS formalism: Hierarchical modular systems specification in C++". In Proceedings of European Simulation Multiconference. 1992.

[17]

Y. R. Seong, S. H. Jung, T. G. Kim, K. H. Park, "Parallel simulation of hierarchical modular DEVS models: A modified Time Warp approach". Internat. J. Comput. Simulation 5 (3), 1995, pp.263--285.

Digital Library

[18]

Praehofer, H., Reisinger, G.: "Distributed Simulation of DEVS-based Multiformalism Models". AIS '94, Gainesville, FL, IEEE/CS Press, Dec. 1994, pp. 150--156.

[19]

Himmelspach, J., R. Ewald, S. Leye, and A. M. Uhrmacher. "Parallel and Distributed Simulation of Parallel Devs Models". In Proceedings of the SpringSim '07, DEVS Integrative M&S Symposium, 249--256: SCS.

Digital Library

[20]

Jafer, S.; Wainer, A. "Conservative vs. Optimistic Parallel Simulation of DEVS and Cell-DEVS: A Comparative Study". Proceedings of 2010 Summer Simulation Conference (SummerSim10), SCSC Symposium, page 342--350 - July 2010.

Digital Library

[21]

Glinsky, E. and G. Wainer. "New parallel simulation techniques of DEVS and Cell-DEVS in CD++". In Proceedings of the 39th Annual Simulation Symposium, 2006, 244--251.

Digital Library

[22]

Rothermel, R. "A Mathematical Model for Predicting Fire Spread in Wild-land Fuels". Research Paper INT-115. Ogden, UT: U. S. Department of Agriculture, Forest Service, Intermountain Forest and Range Experiment Station. 1972.

[23]

Ameghino, J., A. Troccoli, and G. Wainer. "Models of Complex Physical Systems Using Cell-DEVS". The 34th IEEE/SCS Annual Simulation Symposium. 2001.

Digital Library

[24]

C. D. Bevins, "fireLib User Manual and Technical Reference". http://www.fire.org/, accessed in Dec. 2008.

[25]

G. Wainer, "Applying Cell-DEVS methodology for modeling the environment". SIMULATION 82(10), 2006, pp.635--66.

Digital Library

Cited By

Gil-Costa VMarin MInostrosa-Psijas ALobos JBonacic C(2014)Modelling Search Engines Performance Using Coloured Petri NetsFundamenta Informaticae10.5555/2597902.2597909131:1(139-166)Online publication date: 1-Jan-2014
https://dl.acm.org/doi/10.5555/2597902.2597909
Marin MGil-Costa VBonacic CSolar RLoper MWainer G(2013)Approximate parallel simulation of web search enginesProceedings of the 1st ACM SIGSIM Conference on Principles of Advanced Discrete Simulation10.1145/2486092.2486116(189-200)Online publication date: 19-May-2013
https://dl.acm.org/doi/10.1145/2486092.2486116

Index Terms

A performance evaluation of the conservative DEVS protocol in parallel simulation of DEVS-based models
1. Computing methodologies
  1. Modeling and simulation
    1. Simulation evaluation
    2. Simulation types and techniques
      1. Massively parallel and high-performance simulations

Recommendations

Conservative DEVS: a novel protocol for parallel conservative simulation of DEVS and cell-DEVS models
SpringSim '10: Proceedings of the 2010 Spring Simulation Multiconference

We present a novel conservative algorithm based on the classical Chandy-Misra-Bryant (CMB) synchronization mechanism by extending DEVS abstract simulator to provide means for look-ahead computation and null-message distribution. We integrate this ...
Conservative vs. optimistic parallel simulation of DEVS and Cell-DEVS: a comparative study
SCSC '10: Proceedings of the 2010 Summer Computer Simulation Conference

The conservative Parallel DEVS protocol offers a novel approach that allows conservative simulation of DEVS-based PDES systems. The protocol is based on the classical Chandy-Misra-Bryant synchronization mechanism, and it extends the DEVS abstract ...
Lightweight Time Warp- A Novel Protocol for Parallel Optimistic Simulation of Large-Scale DEVS and Cell-DEVS Models
DS-RT '08: Proceedings of the 2008 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications

This paper proposes a novel Lightweight Time Warp (LTW) protocol for high-performance parallel optimistic simulation of large-scale DEVS and Cell-DEVS models. By exploiting the characteristics of the simulation process, the protocol is able to set free ...

Comments

Information & Contributors

Information

Published In

cover image ACM Other conferences

TMS-DEVS '11: Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium

April 2011

300 pages

General Chairs:
Gabriel A. Wainer,
Mamadou K. Traoré,
Program Chairs:
Reiko Heckel,
Jan Himmelspach

Sponsors

SCS: Society for Modeling and Simulation International

In-Cooperation

SIGSIM: ACM Special Interest Group on Simulation and Modeling

Publisher

Society for Computer Simulation International

San Diego, CA, United States

Publication History

Published: 03 April 2011

Check for updates

Author Tags

Qualifiers

Research-article

Conference

SpringSim '11

Sponsor:

SCS

SpringSim '11: 2011 Spring Simulation Multi-conference

April 3 - 7, 2011

Massachusetts, Boston

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
76
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 28 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Gil-Costa VMarin MInostrosa-Psijas ALobos JBonacic C(2014)Modelling Search Engines Performance Using Coloured Petri NetsFundamenta Informaticae10.5555/2597902.2597909131:1(139-166)Online publication date: 1-Jan-2014
https://dl.acm.org/doi/10.5555/2597902.2597909
Marin MGil-Costa VBonacic CSolar RLoper MWainer G(2013)Approximate parallel simulation of web search enginesProceedings of the 1st ACM SIGSIM Conference on Principles of Advanced Discrete Simulation10.1145/2486092.2486116(189-200)Online publication date: 19-May-2013
https://dl.acm.org/doi/10.1145/2486092.2486116

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Figures

Tables

Media

View Table of Conten