full
search.png

Search

close.png

Cancel

arrow
Volume 9, Issue 2
Hybrid Performance Modeling and Analyzing of Parallel Systems

B. Cheng, W. Tong & X. Wang

Int. J. Numer. Anal. Mod., 9 (2012), pp. 232-246.

Published online: 2012-09

Preview Purchase PDF 1089 18379

Cited by

google scholar semantic scholar
Export citation
  • Abstract

Performance is a key feature of parallel system. However, there is a great gap between the peak performance and performance attainable by a practical application. The model-based performance evaluation may be used to support the performance-oriented program development for parallel system. In this paper a hybrid TCPN model is proposed to describe the parallel program and the resources respectively. This method can bring less effect to modify the program structure because of running environment changes. And the performance engineering activities based on this model ranges from performance prediction in early development stages, performance analysis in the coding phase, to locate the performance bottleneck and modify it. After the correctness verification of the TCPN model, a reachable graph can be got. Then the further performance-tuning can be done by summing the execution time of corresponding action in the critical path.

  • Keywords

Timed Coloured Petri Net, parallel system, formal method.

  • AMS Subject Headings

35R35, 49J40, 60G40

  • Copyright

COPYRIGHT: © Global Science Press

  • Email address
  • BibTex
  • RIS
  • TXT
@Article{IJNAM-9-232, author = {}, title = {Hybrid Performance Modeling and Analyzing of Parallel Systems}, journal = {International Journal of Numerical Analysis and Modeling}, year = {2012}, volume = {9}, number = {2}, pages = {232--246}, abstract = {

Performance is a key feature of parallel system. However, there is a great gap between the peak performance and performance attainable by a practical application. The model-based performance evaluation may be used to support the performance-oriented program development for parallel system. In this paper a hybrid TCPN model is proposed to describe the parallel program and the resources respectively. This method can bring less effect to modify the program structure because of running environment changes. And the performance engineering activities based on this model ranges from performance prediction in early development stages, performance analysis in the coding phase, to locate the performance bottleneck and modify it. After the correctness verification of the TCPN model, a reachable graph can be got. Then the further performance-tuning can be done by summing the execution time of corresponding action in the critical path.

}, issn = {2617-8710}, doi = {https://doi.org/}, url = {http://global-sci.org/intro/article_detail/ijnam/623.html} }
TY - JOUR T1 - Hybrid Performance Modeling and Analyzing of Parallel Systems JO - International Journal of Numerical Analysis and Modeling VL - 2 SP - 232 EP - 246 PY - 2012 DA - 2012/09 SN - 9 DO - http://doi.org/ UR - https://global-sci.org/intro/article_detail/ijnam/623.html KW - Timed Coloured Petri Net, parallel system, formal method. AB -

Performance is a key feature of parallel system. However, there is a great gap between the peak performance and performance attainable by a practical application. The model-based performance evaluation may be used to support the performance-oriented program development for parallel system. In this paper a hybrid TCPN model is proposed to describe the parallel program and the resources respectively. This method can bring less effect to modify the program structure because of running environment changes. And the performance engineering activities based on this model ranges from performance prediction in early development stages, performance analysis in the coding phase, to locate the performance bottleneck and modify it. After the correctness verification of the TCPN model, a reachable graph can be got. Then the further performance-tuning can be done by summing the execution time of corresponding action in the critical path.

B. Cheng, W. Tong & X. Wang. (1970). Hybrid Performance Modeling and Analyzing of Parallel Systems. International Journal of Numerical Analysis and Modeling. 9 (2). 232-246. doi:
Copy to clipboard
BibteX RIS TXT
The citation has been copied to your clipboard