Abstract

. This paper compares the functional programming language Sac to Hpf with respect to specicational elegance and runtime performance. A well-known benchmark, red-black successive over-relaxation, serves as a case study. After presenting the Hpf reference implementation alternative Sac implementations are discussed. Eventually, performance gures show the ability to compile highly generic Sac specications into machine code that outperforms the Hpf implementation on a shared memory multiprocessor. 1 Introduction Programming language design basically is about nding the best possible tradeo between support for high-level program specications and runtime eciency. In the context of array processing, data parallel languages are well-suited to meet this goal. Replacing loop nestings by language constructs that operate on entire arrays rather than on single elements, not only improves program specications; it also creates new optimization opportunities for compilers [3, 4, 1, 8, 7...

Citations