Abstract

. This paper focuses on the compile-time cost analysis of programs expressed in the BMF-style, which results in the selection of a cost-effective parallel implementation on a given topology. 1 Introduction Developing efficient software for parallel computers is a difficult task, even for the specialist. An ideal parallel programming model should provide architecture-independence, a high level of abstraction, and accurate performance estimates. The HOPP (Higher-order Parallel Programming) model is based on the Bird-Meertens Formalism (BMF) [Bir89]. BMF comprises of a set of useful higher-order functions, many of which are implicitly-parallel, and which enables programs to be expressed at a high level of abstraction. HOPP is based on a functional paradigm, and therefore, automatically inherits architecture-independence. The behaviour of the BMF functions is predetermined and this feature is exploited in building a cost model that aims to accurately predict the costs of programs. HOPP mo...

Citations