Derivation of efficient parallel programs: An example from genetic sequence analysis |
| |
Authors: | Ambuj K Singh Ross Overbeek |
| |
Affiliation: | (1) Department of Computer Science, University of California at Santa Barbara, 93106 Santa Barbara, California;(2) Argonne National Laboratory, 60439 Argonne, Illinois |
| |
Abstract: | Implementation issues such as synchronization, implementation of abstract data types, and scheduling of processes are usually not addressed in the formal derivation of parallel programs. We seek to redress the situation by considering these issues in the context of developing an efficient implementation of an actual parallel program. The computational problem that we proceed by developingan algorithm in Unity and investigating the issues that arise in producing an efficient C implementation of the resulting algorithm. Along the way, we develop some theorems about program refinements, and illustrate the usefulness of the theorems in the context of refining the original Unity program.Work supported in part by ONR Grants N00014-86-K-0763 and N00014-87-K-0510 while the author was at The University of Texas at Austin. |
| |
Keywords: | Program implementation program correctness stepwise refinement |
本文献已被 SpringerLink 等数据库收录! |
|