Specification and development of parallel algorithms with the Proteus system
Allen Goldberg, Peter H. Mills, Lars S. Nyland, Jan F. Prins, John Reif, James Riely · DIMACS series in discrete mathematics and theoretical computer science · 1994
. The Proteus language is a wide-spectrum parallel programming notation that supports the expression of both high-level architectureindependent specifications and lower-level architecture-specific implementations. A methodology based on successive refinement and interactive experimentation supports the development of parallel algorithms from specification to various efficient architecture-dependent implementations. The Proteus system combines the language and tools supporting this methodology. This paper presents a brief overview of the Proteus system and describes its use in the exploration and development of several non-trivial algorithms, including the fast multipole algorithm for N-body computations. 1. Introduction Practical implementations of parallel algorithms that access the performance potential of current computers are difficult to develop, too often fail to deliver the expected performance, and lack portability to other platforms. This state of affairs may be explained by ...