Granularity Analysis for Exploiting Adaptive Parallelism of Declarative Programs on Multiprocessors

Declarative Programming Languages (DPLs) apply a process model of Horn claun es such as PARLOG8 or a reduction model of A-calculus such as SML7 and are) in principle, well suited to multiprocessor implemelltation. However, the performance of a parallel declarative program can be impaired by a mismatch between the parallelism available in an application and the parallelism available in the architecture. A particularly attractive solution is to automatically match the parallelism of the program to the par…