Architecture Independent Parallel Design Tool: A Refinement-Based Methodology for the Design and Development of Parallel Software; A Design Methodology for Data-Parallel Applications (1996)
BibTeX
@MISC{Nyland96architectureindependent,
author = {Lars Nyland and Allen Goldberg and Peter Mills and Jan Prins and John Reif and Robert Wagner and Cdrl A},
title = {Architecture Independent Parallel Design Tool: A Refinement-Based Methodology for the Design and Development of Parallel Software; A Design Methodology for Data-Parallel Applications},
year = {1996}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Data-parallelism is a relatively well-understood form of parallel computation, yet developing simple applications can involve substantial efforts to express the problem in low-level data-parallel notations. We describe a process of software development for data-parallel applications starting from high-level specifications, generating repeated refinements of designs to match different architectural models and performance constraints, supporting a development activity with cost-benefit analysis. Primary issues are algorithm choice, correctness and efficiency, followed by data decomposition, load balancing and message-passing coordination. Development of a data-parallel multitarget tracking application is used as a case study, showing the progression from high to low-level refinements. We conclude by describing tool support for the process.
