Mapping hierarchical, modular discrete event models in a hypercube multicomputer

Abstract The Discrete Event Systems Specification (DEVS) formalism specifies discrete event systems in a modular, hierarchical form. Timed state transitions within the formalism are specified by an external transition function for randomly arriving external events. The internal transition function schedules internal events. This paper devises a mapping algorithm which exploits a maximum degree of parallelism in DEVS simulation. For parallel DEVS simulation, some hierarchical simulation algorithms were already developed. However, our mapping algorithm employs different approaches for parallelizing the two types of events. For external events parallelization, a task graph representing a hierarchical DEVS model is transformed into a binomial tree which can be easily embedded into a hypercube network. The transformation markedly reduces the synchronization overhead for parallel computation. For internal events parallelization, a hypercube is partitioned into a set of subcubes such that an internal event, and the external events caused by the internal event are processed in the same subcube. Simulation experimentations with a simple benchmark model show that the potential parallelism of DEVS simulation can be exploited by using the proposed algorithm.

[1]  Yung-Hsin Wang Discrete-event simulation on a massively parallel computer , 1992 .

[2]  Joseph Y.-T. Leung,et al.  Complexity of Scheduling Parallel Task Systems , 1989, SIAM J. Discret. Math..

[3]  Yi-Bing Lin,et al.  A study of time warp rollback mechanisms , 1991, TOMC.

[4]  Bernard P. Zeigler,et al.  Hierarchical optimistic distributed simulation: combining devs and time warp , 1990 .

[5]  Bernard P. Zeigler,et al.  Theory of Modelling and Simulation , 1979, IEEE Transactions on Systems, Man and Cybernetics.

[6]  Bernard P. Zeigler,et al.  Multifacetted Modelling and Discrete Event Simulation , 1984 .

[7]  Ronald C. de Vries,et al.  Reducing Null Messages in Misra's Distributed Discrete Event Simulation Method , 1990, IEEE Trans. Software Eng..

[8]  Arturo I. Concepcion,et al.  A Hierarchical Computer Architecture for Distributed Simulation , 1989, IEEE Trans. Computers.

[9]  Kyu Ho Park,et al.  Performance Evaluation of a Parallel DEVS Simulation Environment P-DEVSIM++ , 1993 .

[10]  Guoqing Zhang,et al.  Mapping Hierarchical Discrete Event Models to Multiprocessor Systems: Concepts, Algorithm, and Simulation , 1990, J. Parallel Distributed Comput..

[11]  Kyu Ho Park,et al.  Parallel simulation of hierarchical modular DEVS models: a modified time warp approach , 1995 .

[12]  R. Sarnath,et al.  Proceedings of the International Conference on Parallel Processing , 1992 .

[13]  Jean Vuillemin,et al.  A data structure for manipulating priority queues , 1978, CACM.

[14]  Richard M. Fujimoto,et al.  Optimistic approaches to parallel discrete event simulation , 1990 .

[15]  Kyu Ho Park,et al.  Mapping Modular, Hierarchical Discrete Event Models in a Hypercube Multicomputer , 1994, EUROSIM.

[16]  Jayadev Misra,et al.  Distributed discrete-event simulation , 1986, CSUR.

[17]  Bhagirath Narahari,et al.  Preemptive Scheduling of Independent Jobs on Partitionable Parallel Architectures , 1992, ICPP.

[18]  Jake K. Aggarwal,et al.  A Mapping Strategy for Parallel Processing , 1987, IEEE Transactions on Computers.