Performance issues in parallel programming

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 616 LNCS, Issue , 1992, Pages 1-23

  Balbo, Gianfranco ^a  

^a UNIVERSITY OF TURIN   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMS; COMPUTATION THEORY; OPTIMAL SYSTEMS; PARALLEL PROGRAMMING; PETRI NETS; PROGRAM DEBUGGING;

COMPUTATIONAL UNITS; FORMAL MODEL; GSPN MODELS; OPTIMAL ALLOCATION; PARALLEL APPLICATION; PARALLEL PROGRAM; PERFORMANCE ISSUES;

PARALLEL ARCHITECTURES;

EID: 0012493555     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-55676-1_1     Document Type: Conference Paper

References (34)

1. nd Int. Workshop Applied Mathematics & Performance/Reliability Models of Computer/Communication Systems, Roma, Italy, May 1987. North-Holland.
2. M. Ajmone Marsan, G. Balbo, G. Chiola, and G. Conte. Modeling the software architecture of a prototype parallel machine. In Proc. 1987 SIGMETRICS Conference, Banf, Alberta, Canada, May 1987. ACM.
3. M. Ajmone Marsan, G. Balbo, and G. Conte. A class of generalized stochastic Petri nets for the performance analysis of multiprocessor systems. ACM Transactions on Computer Systems, 2(1), May 1984.
4. 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(1), January 1992.
5. G. Balbo, S. Donatelli, and G. Franceschinis. Understanding parallel programs behaviour through Petri net models. To be published on the Special Issue of the Journal of Parallel and Distributed Computing on Petri Net Modelling of Parallel Computers, 1992.
6. G. Balbo, S. Donatelli, G. Franceschinis, A. Mazzeo, A. Mazzocca, and M. Ribaudo. On parallel program characterization. Submitted for publication, 1992.
7. Shahid H. Bokhari. Assignment Problems in Parallel and Distributed Computing. Kluwer Academic Publishers, 1987.
8. G. Bruno and G. Marchetto. Process-translatable Petri nets for the rapid prototyping of process control systems. IEEE Transactions on Software Engineering, 12(2):346-357, February 1986.
9. G. Chiola, S. Donatelli, and G. Franceschinis. GSPN versus SPN: what is the actual role of immediate transitions? In Proc. 4 th Intern. Workshop on Petri Nets and Performance Models, Melbourne, Australia, December 1991
10. th International Conference on Application and Theory of Petri Nets, Paris, Fiance, June 1990. Reprinted in High-Level Petri Nets. Theory and Application, K. Jensen and G. Rozenberg (editors), Springer Verlag, 1991.
11. th Int. Conf. Modeling Techniques and Tools for Computer Performance Evaluation, Torino, Italy, February 1991.
12. F. De Cindio, G. De Michelis, L. Pomello, and C. Simone. Superposed automata nets. In C. Girault and W. Reisig, editors, Application and Theory of Petri Nets. IFB 52, New York and London, 1982.
13. F. DeCindio and O. Botti. Comparing Occam2 program placements by a GSPN model. In Proc. 4th Intern. Workshop on Petri Nets and Performance Models, Melbourne, Australia, December 1991.
14. S. Donatelli. Superposed stochastic automata: a class of stochastic Petri nets amenable to parallel solution. In Proc. 4th Intern. Workshop on Petri Nets and Performance Models, Melbourne, Australia, December 1991.
15. R. Ducan. A survey of parallel computer architecture. IEEE Computer, February 1980.
16. D.L. Eager, J. Zahorian, and E.D. Lazowska. Speed up versus efficiency in parallel systems. ACM Transactions on Computer Systems, 38:408-423, March 1989.
17. A. Ferscha. Modelling mappings of parallel computations onto parallel architectures with prm-net model. In Proc. IFIP-WG 10.3 Working Conference on Decentralized Systems, Lyon, December 1989.
18. E. Gelenbe. Multiprocessor Performance. John Wiley & Sons, 1989.
19. C. Ghezzi, D. Mandrioli, S. Morasca, and M. Pezzè. A general way to put time in Petri nets. In Proc. 5th Intern. Conference on Software Specification and Design, pages 60-67, Pittsburgh, PA, May 1989. IEEE-CS Press.
20. C. Ghezzi, D. Mandrioli, S. Morasca, and M. Pezzè. Symbolic execution of concurrent systems using petri nets. Computer Languages, 14:263-281, 1989.
21. C.A.R. Hoare. Communicating sequential process. Communications of ACM, Aug 1978.
22. G. Iannello, A. Mazzeo, C. Savy, and G. Ventre. Parallel software development in disc programming enviroment. Future Generation Computer Systems, 5(4), 1990.
23. O. Kramer and H. Muhlenbein. Mapping strategies in message-based multiprocessors system. Parallel Computing, 9, 1989.
24. INMOS Limited. OCCAM Programming Manual. Prentice-Hall, Englewood Cliffs, NJ, 1984.
25. MEIKO Limited. CStools Reference Manual. Bristol, UK, 1989.
26. T. Murata, B. Shenker, and S. Shatz. Detection of Ada static deadlocks using Petri nets invariants. IEEE Transactions on Software Engineering, 15(3):314-326, March 1989.
27. C.V. Ramamoorty and W.T. Tsai A. Prakash. Software engineering: Problems and perspectives. IEEE Transactions on Computer, October 1984.
28. C. G. Rommel. The probability of load balancing success in a homogeneous network. IEEE Transactions on Software Engineering, SE-17(9), September 1991.
29. S. Shatz and J. Wang. Tutorial on Distributed Software Engeneering. IEEE-CS Press, 1989.
30. S.M. Shatz and W.K. Cheng. A Petri net framework for automated static analysis of Ada tasking. The Journal of Systems and Software, 8:343-359, October 1987.
31. Hong Shen. Self-adjusting mapping: A heuristic mapping algorithm for mapping parallel program onto transputer networks. In Eleventh O. U, G.: Developing Transputer Applications, Edinburgh, September 1989. Occam User Group.
32. M. Silva. Las Redes de Petri en la Automatica y la Informatica. Ed. AC, Madrid, Spain, 1985.
33. J.K. Aggarwal Soo-Young Lee. A mapping strategy for parallel processing. IEEE Transactions on Computers, C 36(4), Apr 1987.
34. R. Taylor. A general purpose algorithm for analyzing concurrent programs. Communications of ACM, 26, May 1983.