论文信息 - Study on Parallel System Performance Modeling Based on TCPN

Study on Parallel System Performance Modeling Based on TCPN

Hierarchical TCPN model proposed in this paper describes the parallel program and the resources respectively to bring less effect to modify the program structure because of running environment changes. Performance analysis and validation of program correctness can be done based on this model.

Weiqin Tong | Ying Li | Bin Cheng | Xingang Wang

[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] Abdelkader Hameurlain,et al. Robust Placement of Mobile Relational Operators for Large Scale Distributed Query Optimization , 2007 .

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

[4] Joost-Pieter Katoen,et al. Lectures on Formal Methods and Performance Analysis, First EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000, Revised Lectures , 2001, Euro Summer School on Trends in Computer Science.

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

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

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