Skip to main content
SpringerLink
Log in

Study on Parallel System Performance Modeling Based on TCPN

  • Conference paper
High Performance Computing and Applications

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 5938))

  • 2307 Accesses

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Ferscha, A.: Modelling Mappings of Parallel Computations onto Parallel Architectures with the PRM-Net Model. In: Girault, C., Cosnard, M. (eds.) Proc. of the IFIP WG 10.3 Working Conf. on Decentralized Systems, pp. 349–362 (1990)

    Google Scholar 

  2. Balbo, G., Chiola, G., Bruell, S.C., Chen, P.: 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 (1992)

    Article  Google Scholar 

  3. Ferscha, A., Kotsis, G.: Optimum Interconnection Topologies for the Compute-Aggregate-Broadcast Operation on a Transputer Network. In: Proceedings of the TRANSPUTER 1992 Conference, pp. 307–326. IOS Press, Amsterdam (1992)

    Google Scholar 

  4. Ferscha, A.: A Petri Net Approach for Performance Oriented Parallel Program Design. Journal of Parallel and Distributed Computing 15(3), 188–206 (1992)

    Article  MathSciNet  Google Scholar 

  5. Herzog, U.: Formal methods for performance evaluation. Springer Lectures on Formal Methods and Performance Analysis, 1–37 (2002)

    Google Scholar 

  6. Gesbert, L., Loulergue, F.: Semantics of an Exception Mechanism for Bulk Synchronous Parallel ML. In: Eighth International Conference on Parallel and Distributed Computing, Applications and Technologies, pp. 201–208 (2007)

    Google Scholar 

  7. Carter, J., Gardner, W.B.: A Formal CSP Framework for Message-Passing HPC Programming. In: 2006 Canadian Conference on Electrical and Computer Engineering, CCECE 2006, pp. 1466–1470 (2007)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Computer Engineering and Science, Shanghai University, Shanghai, 200072, China

    Bin Cheng, Xingang Wang, Ying Li & Weiqin Tong

  2. College of Mathematics, Physics and Information Engineering, Zhejiang Normal University, Zhejiang, Jinhua, 321000, China

    Bin Cheng

  3. College of Information Engineering, Zhejiang University of Technology, Hangzhou, 310014, China

    Xingang Wang

Authors
  1. Bin Cheng
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Xingang Wang
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Ying Li
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Weiqin Tong
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. School of Computer Engineering and Science, Shanghai University, 200072, Shanghai, P.R. China

    Wu Zhang  & Weiqin Tong  & 

  2. Schulich School of Engineering, University of Calgary, T2N 1N4, Calgary, AB, Canada

    Zhangxin Chen

  3. Department of Mathematics, University of Wyoming, 1000 University Avenue, 82071-3036, Laramie, WY, USA

    Craig C. Douglas

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Cheng, B., Wang, X., Li, Y., Tong, W. (2010). Study on Parallel System Performance Modeling Based on TCPN. In: Zhang, W., Chen, Z., Douglas, C.C., Tong, W. (eds) High Performance Computing and Applications. Lecture Notes in Computer Science, vol 5938. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-11842-5_13

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-11842-5_13

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-11841-8

  • Online ISBN: 978-3-642-11842-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation