Computer-assisted microanalysis of parallel programs
- 2 January 1992
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Transactions on Programming Languages and Systems
- Vol. 14 (1) , 54-106
- https://doi.org/10.1145/111186.126699
Abstract
This paper consists of two parts: the first provides the theoretical foundations for analyzing parallel programs and illustrates how the theory can be applied to estimate the execution time of a class of parallel programs being executed on a MIMD computer. The second part describes a program analysis system, based on the theoretical model, which allows a user to interactively analyze the results of executing (or simulating the execution) of such parallel programs. Several examples illustrating the use of the tool are presented. A novel contribution is the separation (both at the conceptual and the implementation levels) of the machine-independent and the machine-dependent parts of the analysis. This separation enables the users of the system to establish speed-up curves for machines having varying characteristics.Keywords
This publication has 11 references indexed in Scilit:
- A relational approach to monitoring complex systemsACM Transactions on Computer Systems, 1988
- DPM: a measurement system for distributed programsIEEE Transactions on Computers, 1988
- Automating program analysisJournal of the ACM, 1988
- The temporal query language TQuelACM Transactions on Database Systems, 1987
- Parsing and compiling using PrologACM Transactions on Programming Languages and Systems, 1987
- ADA multitasking and the single source shortest path problemParallel Computing, 1987
- A note on the height of binary search treesJournal of the ACM, 1986
- Computer-assisted microanalysis of programsCommunications of the ACM, 1982
- Parallel QuicksortACM SIGAda Ada Letters, 1982
- Time, clocks, and the ordering of events in a distributed systemCommunications of the ACM, 1978