James Nutaro
Abstract
This article describes a Time Warp simulation algorithm for discrete event models that are described in terms of the Discrete Event System Specification (DEVS). The article shows how the total state transition and total output function of a DEVS atomic model can be transformed into an event processing procedure for a logical process. A specific Time Warp algorithm is constructed around this logical process, and it is shown that the algorithm correctly simulates a DEVS coupled model that consists entirely of interacting atomic models. The simulation algorithm is presented abstractly; it is intended to provide a basis for implementing efficient and scalable parallel algorithms that correctly simulate DEVS models.
- Bruce, D. 1995. The treatment of state in optimistic systems. In Proceedings of the 9th Workshop on Parallel and Distributed Simulation (PADS). IEEE Computer Society, 40--49. Google Scholar
Digital Library
- Chow, A., Zeigler, B., and Kim, D. H. 1994. Abstract simulator for the parallel DEVS formalism. In Proceedings of the 5th Annual Conference on AI, Simulation, and Planning in High Autonomy Systems. IEEE Press, 157--163.Google Scholar
- Chow, A. C. H. and Zeigler, B. P. 1994. Parallel DEVS: a parallel, hierarchical, modular, modeling formalism. In Proceedings of the 26th Winter Simulation Conference. Society for Computer Simulation International, San Diego, CA, 716--722. Google ScholarDigital Library
- Christensen, E. 1990. Hierarchical optimistic distributed simulation: combining DEVS and time warp. Ph.D. thesis, Department of Electrical and Computer Engineering, University of Arizona. Google ScholarDigital Library
- Ferscha, A. 1995. Parallel and distributed simulation of discrete event systems. In Handbook of Parallel and Distributed Computing. McGraw-Hill, Inc., New York, NY.Google Scholar
- Fujimoto, R. 1990. Performance of Time Warp under synthetic workloads. In Proceedings of the SCS Multiconference on Distributed Simulation. Society for Computer Simulation, Vol. 22. San Diego, CA, 23--28.Google Scholar
- Fujimoto, R. 2000. Parallel and Distributed Simulation Systems. John Wiley and Sons, Inc., New York, NY. Google ScholarDigital Library
- Glinsky, E. and Wainer, G. 2006. New Parallel Simulation Techniques of DEVS and Cell-DEVS in CD++. In Proceedings of the 39th Annual Simulation Symposium. IEEE Computer Society, 244--251. Google ScholarDigital Library
- Leivent, J. I. and Watro, R. J. 1993. Mathematical foundations for time warp systems. ACM Trans. Prog. Lang. Syst. 15, 5, 771--794. Google ScholarDigital Library
- Liu, Q. 2007. Parallel Environment for DEVS and Cell-DEVS Models. SIMULATION 83, 6, 449--471. Google ScholarDigital Library
- Maler, O., Manna, Z., and Pnueli, A. 1992. From timed to hybrid systems. In Proceedings of the REX Workshop Real-Time: Theory in Practice. Lecture Notes in Computer Science, vol. 600. Springer-Verlag, 447--484. Google ScholarDigital Library
- Manna, Z. and Pneuli, A. 1993. Verifying hybrid systems. In Hybrid Systems, volume 736 of Lecture Notes in Computer Science. Springer, 4--35. Google ScholarDigital Library
- Martin, D. E., McBrayer, T. J., Radhakrishnan, R., and Wilsey, P. A. 1999. WARPED: A TimeWarp parallel discrete event simulator (Documentation for version 1.0). http://www.ececs.uc.edu/paw/warped/doc/index.html.Google Scholar
- Mattern, F. 1993. Efficient algorithms for distributed snapshots and global virtual time approximation. J. Para. Distrib. Comput. 18, 4, 423--434. Google ScholarDigital Library
- Mesarovic, M. and Takahara, Y. 1989. Abstract Systems Theory. Springer-Verlag.Google Scholar
- Nutaro, J. 2003. Parallel discrete event simulation with application to continuous systems simulation. Ph.D. thesis, Department of Electrical and Computer Engineering, University of Arizona. Google ScholarDigital Library
- Nutaro, J. and Sarjoughian, H. 2004. Design of distributed simulation environments: a unified system-theoretic and logical processes approach. Trans. Soc. Model. Simul. Int. 80, 11, 577--589. Google ScholarDigital Library
- Rajan, R. and Wilsey, P. A. 1995. Dynamically switching between lazy and aggressive cancellation in a time warp parallel simulator. In Proceedings of the 28th Annual Simulation Symposium (SS'95). IEEE Computer Society, 22--30. Google ScholarDigital Library
- Rönngren, R. and Liljenstam, M. 1999. On event ordering in parallel discrete event simulation. In Proceedings of the 13th Workshop on Parallel and Distributed Simulation (PADS). IEEE Computer Society, 38--45. Google ScholarDigital Library
- Soliman, H. M. 1999. On the selection of the state saving strategy in time warp parallel simulations. Trans. Soci. Comput. Simul. Int. 16, 1, 32--36. Google ScholarDigital Library
- Wieland, F. 1997. The threshold of event simultaneity. In Proceedings of the 11th Workshop on Parallel and Distributed Simulation (PADS). IEEE Computer Society, 56--59. Google ScholarDigital Library
- Xu, Q. and Tropper, C. 2005. XTW, a parallel and distributed logic simulator. In Proceedings of the 19th Workshop on Principles of Advanced and Distributed Simulation (PADS). IEEE Computer Society, 181--188. Google ScholarDigital Library
- Young, C. H., Abu-Ghazaleh, N. B., and Wilsey, P. A. 1998. OFC: a distributed fossil-collection algorithm for Time-Warp. In Proceedings of the 12th International Symposium on Distributed Computing (DISC). Springer-Verlag, 408--418. Google ScholarDigital Library
- Zeigler, B. P., Ball, G., Cho, H., Lee, J., and Sarjoughian, H. 1999. Implementation of the DEVS formalism over the HLA/RTI: problems and solutions. In 1999 Fall Simulation Interoperability Workshop.Google Scholar
- Zeigler, B. P., Praehofer, H., and Kim, T. G. 2000. Theory of Modeling and Simulation: Second Edition. Academic Press, San Diego, CA. Google ScholarDigital Library
- Zeng, Y., Cai, W., and Turner, S. J. 2004. Batch based cancellation: a rollback optimal cancellation scheme in time warp simulations. In Proceedings of the 18th Workshop on Parallel and Distributed Simulation (PADS). ACM, New York, NY, 78--86. Google ScholarDigital Library
Index Terms
- On constructing optimistic simulation algorithms for the discrete event system specification
Recommendations
MPI-based distribution in DEVS simulation
IITA'09: Proceedings of the 3rd international conference on Intelligent information technology applicationDiscrete EVent system Specification(DEVS) is widely used in modeling and simulation for the interoperability, re-useability, and composability. The Distributed and Parallel DEVS is developed to study the complex problems. But the available ...
Efficiently unifying parallel simulation techniques
ACM-SE 44: Proceedings of the 44th annual Southeast regional conferenceThis paper introduces a unifying technique that is able to combine the advantages of synchronous, conservative and optimistic simulations. The unifying framework is based on optimistic simulation. The optimized optimistic simulation exploits synchronous ...
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 ApplicationsThis 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 ...
Reviews
Tommaso Mazza
Time management in discrete event-based simulation systems has always been considered a challenging task. Problems related to synchronization of concurrent activities performed on different elaborating units draw wide interest across the most diverse research fields. Time is a crucial variable in both parallel and distributed systems. It progresses in different ways for each elaborating unit, because of many intrinsic and extrinsic reasons. Indeed, some processors might be overloaded, malfunctioning, or simply faster than others; consequently, they might be communicating in different virtual times. "Time warp" is a well-consolidated strategy to tackle and resolve temporal conflicts that processors might encounter during their activities. In this context, Nutaro shows how to transform the total state transition and the total output function of a discrete event system specification "into an event-processing procedure for a logical process." He designs an abstract algorithm around this concept, and proves it functions correctly. The paper is well organized. It offers a brief but exhaustive introduction to the problem at hand. It shows how it would be possible to transition from atomic models to logical processes, by paying particular attention to, first, the equivalence of the state and the output trajectories produced by a recursive and an iterative calculation of the state function, and, second, the preservation of the causality constraint. The author then introduces his time warp algorithm. It is not only succinctly compared with a couple of alternative algorithms, but is also abstractly formalized in pseudocode. A slightly more detailed comparison with the other algorithms would have helped complete the dissertation. The final proofs of correctness and the theorems confer trustworthiness to the paper and make it self-contained. A good list of references is provided. Online Computing Reviews Service
Access critical reviews of Computing literature here
Become a reviewer for Computing Reviews.
Comments