Using abstraction in explicity parallel programs. Doctoral thesis
It is well-known that writing parallel programs that are both fast and correct is significantly harder than writing sequential ones. In this thesis we introduce a transition-based approach to the design and implementation of parallel programs. This approach is aimed at applications whose complex data and control structures make them hard to parallelize by conventional means. It is based on a programming model with explicit parallelism, and it incorporates data and process parallelism within a uniform framework. The transition-based approach addresses the problem of program synthesis by breaking the development process into four distinct phases, each with explicit correctness and performance requirements. Module interfaces are well-defined so that rigorous correctness arguments can be made when desired. Application-specific scheduling is used to enhance performance, and significant performance tuning of the scheduler can be done in the last phase of development.
- Research Organization:
- Massachusetts Inst. of Tech., Cambridge, MA (United States). Lab. for Computer Science
- OSTI ID:
- 5123157
- Report Number(s):
- AD-A-239142/3/XAB; MIT/LCS/TR-507; CNN: N00014-89-J-1088
- Resource Relation:
- Other Information: Doctoral thesis
- Country of Publication:
- United States
- Language:
- English
Similar Records
Theory for graph-based language specification, analysis, and mapping with application to the development of parallel software. Doctoral thesis
Debugging and analysis of large-scale parallel programs. Doctoral thesis