Formal Approach for Performance Analysis Oriented Parallel System Design

The performance analysis of parallel system is critical for tuning, optimizing and algorithm modifying of parallel program. A formal modeling method based on TCPN is proposed in this paper, which makes it possible to organize a complicated parallel system as a set of hierarchical modules and includes a time concept to represent the time taken to execute events and further analyze the performance of the system. In view of the fact that the performance of parallel systems is not only determined by the performance of the hardware itself, but also by the structure of the parallel program and the assignment of program parts to resources, TCPN describes the parallel program and the resources respectively and brings less effect to modify the program structure because of running environment changes.

[1]  S. C. Bruell,et al.  An Example of Modeling and Evaluation of a Concurrent Program Using Colored Stochastic Petri Nets: Lamport's Fast Mutual Exclusion Algorithm , 1992, IEEE Trans. Parallel Distributed Syst..

[2]  Deepak D'Souza,et al.  On the expressiveness of MTL in the pointwise and continuous semantics , 2007, International Journal on Software Tools for Technology Transfer.

[3]  Alois Ferscha,et al.  A Petri Net Approach for Performance Oriented Parallel Program Design , 1992, J. Parallel Distributed Comput..

[4]  John D. Carter,et al.  A Formal CSP Framework for Message-Passing HPC Programming , 2006, 2006 Canadian Conference on Electrical and Computer Engineering.

[5]  Panupong Sornkhom,et al.  Security analysis of Micali's fair contract signing protocol by using Coloured Petri Nets : Multi-session case , 2009, 2009 IEEE International Symposium on Parallel & Distributed Processing.

[6]  Chen Bo.  Algorithm of Multiprocessor Scheduling Based on Time Petri Nets , 2007 .

[7]  Ulrich Herzog,et al.  Formal Methods for Performance Evaluation , 2002, European Educational Forum: School on Formal Methods and Performance Analysis.

[8]  A. Ferscha,et al.  Modelling Mappings of Parallel Programs onto Parallel Architectures with the Prm-net Model , 1990 .

[9]  Lars Michael Kristensen,et al.  Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems , 2007, International Journal on Software Tools for Technology Transfer.

[10]  Frédéric Loulergue,et al.  Semantics of an Exception Mechanism for Bulk Synchronous Parallel ML , 2007, Eighth International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT 2007).

[11]  Alejandro Rosales.  High-speed networks and Internet - Performance and quality of service , second edition. William Stallings , 2007 .

[12]  William Stallings,et al.  High-Speed Networks and Internets: Performance and Quality of Service , 2002 .

[13]  Abdelkader Hameurlain,et al.  Robust Placement of Mobile Relational Operators for Large Scale Distributed Query Optimization , 2007 .

[14]  Zhang Shu-jie.  Modeling and simulation of multi-agent scheduling systems based on HTCP-net , 2009 .

[15]  Frédéric Loulergue,et al.  Semantics of an Exception Mechanism for Bulk Synchronous Parallel ML , 2007 .