Abstract
Petri nets with an explicit notion of time have proven to be a good modelling tool for the qualitative and quantitative study of asynchronous concurrent systems with parallelism, synchronization and resource sharing. The formalism could be successfully applied in performance modelling and evaluation of concurrent programs, parallel systems and mappings among the two. However, performance models of realistic systems are in general very costly to evaluate.
In this work we develop a Time Warp based distributed discrete event simulation scheme to accelerate the evaluation of timed Petri net performance models. The particular model structure that typically results from performance modelling of parallel systems explicitly provides partitioning possibilities which are very cumbersome to identify in general Petri net models. With our implementations of a distributed simulation engine running on an Intel iPSC/860 multiprocessor we show that real speedup over sequential simulation model evaluation can be achieved depending on the inherent model parallelism.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
H. H. Ammar and S. Deng. Time Warp Simulation of Stochastic Petri Nets. In Proc. 4th Intern. Workshop on Petri Nets and Performance Models, pages 186–195. IEEE-CS Press, 1991.
G. Balbo, G. Chiola, S.C. Bruell, and P. Chen. An Example of Modelling and Evaluation of a Concurrent Program using Coloured Stochastic Petri Nets: Lamport's Fast Mutual Exclusion Algorithm. IEEE Transactions on Parallel and Distributed Systems, 3(2):221–240, March 1992.
G. Chiola. GreatSPN1.5 Software Architecture. In Proc. of the 5th Int. Conf. on Modelling Techniques and Tools for Computer Performance Evaluation. Torino, Italy, Feb 13–15, 1991, pages 117–132, 1991.
G. Chiola, M. Ajmone Marsan, G. Balbo, and G. Conte. Generalized Stochastic Petri Nets: A Definition at the Net Level and its Implications. IEEE Transactions on Software Engineering, 19(2), February 1993.
G. Chiola and A. Ferscha. Distributed Simulation of Petri Nets. IEEE Parallel and Distributed Technology, 1(3):33–50, August 1993.
G. Chiola and A. Ferscha. Distributed Simulation of Timed Petri Nets: Exploiting the Net Structure to Obtain Efficiency. In M. Ajmone Marsan, editor, Proc. of the 14 th Int. Conf. on Application and Theory of Petri Nets 1993, Chicago, June 1993, Lecture Notes in Computer Science 691, pages 146–165, Berlin, 1993. Springer Verlag.
G. Chiola and A. Ferscha. Exploiting Timed Petri Net Properties for Distributed Simulation Partitioning. In Proceedings of the 26th Hawaii Int. Conf. on Systems Sciences, pages 194–203. IEEE Computer Society Press, 1993.
G. Ciardo, A. Blakemore, P. Chimento, J. K. Muppala, and K. S. Trivedi. Automated Generation and Analysis of Markov Reward Models using Stochastic Reward Nets. In C. Meyer and R. J. Plemmons, editors, Linear Algebra, Markov Chains, and Queueing Models. Springer-Verlag, 1992.
F. Feldbrugge. Special Volume: Petri Net Tools Overview 92. Petri Net Newsletter, (41):2–42, 1992.
A. Ferscha. Modelling Mappings of Parallel Computations onto Parallel Architectures with the PRM-Net Model. In C. Girault and M. Cosnard, editors, Proc. of the IFIP WG 10.3 Working Conf. on Decentralized Systems, pages 349–362. North Holland, 1990.
A. Ferscha. A Petri Net Approach for Performance Oriented Parallel Program Design. Journal of Parallel and Distributed Computing, 15(3):188–206, July 1992.
A. Ferscha and G. Kotsis. Optimum Interconnection Topologies for the Compute-Aggregate-Broadcast Operation on a Transputer Network. In Proceedings of the TRANSPUTER '92 Conference, pages 307–326, Amsterdam, 1992. IOS Press.
R. M. Fujimoto. Parallel Discrete Event Simulation. Communications of the ACM, 33(10):30–53, October 1990.
Michael T. Heath and Jennifer A. Etheridge. Visualizing Performance of Parallel Programs. Technical Report ORNL/TM-11813, Oak Ridge National Laboratory, May 1991.
D. A. Jefferson. Virtual Time. ACM Transactions on Programming Languages and Systems, 7(3):404–425, July 1985.
Jayadev Misra. Distributed Discrete-Event Simulation. ACM Computing Surveys, 18(1):39–65, March 1986.
T. Murata. Petri Nets: Properties, Analysis and Applications. Proceedings of the IEEE, 77(4):541–580, April 1989.
J. P. Singh, W.-D. Weber, and A. Gupta. SPLASH: Stanford Parallel Applications for Shared Memory. Technical report, Computer Systems Laboratory, Stanford University, CA 94305, 1993.
G. S. Thomas. Parallel Simulation of Petri Nets. Technical Report TR 91-05-05, Dep. of Computer Science, University of Washington, May 1991.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ferscha, A., Chiola, G. (1994). Accelerating the evaluation of parallel program performance models using distributed simulation. In: Haring, G., Kotsis, G. (eds) Computer Performance Evaluation Modelling Techniques and Tools. TOOLS 1994. Lecture Notes in Computer Science, vol 794. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58021-2_13
Download citation
DOI: https://doi.org/10.1007/3-540-58021-2_13
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-58021-8
Online ISBN: 978-3-540-48416-5
eBook Packages: Springer Book Archive