Performance Evaluation of Or-Parallel Logic Programming Systems on Distributed Shared-Memory Architectures

In this work we investigate how Distributed Shared Memory (DSM) architectures affect performance of or-parallel logic programming systems and how this performance approaches that of conventional C systems. Our work concentrates on basic performance, scalability, and programmability. We use execution-driven simulation of a hardware DSM (DASH) to investigate the access patterns and caching behaviour exhibited by parallel C programs and by Aurora, a parallel logic programming system capable of exploiting implicit parallelism in Prolog programs. Aurora was originally written to run on bus-based shared-memory platforms.

[1]  Vincent W. Freeh,et al.  A Comparison of Implicit and Explicit Parallel Programming , 1996, J. Parallel Distributed Comput..

[2]  Vanusa Menditi,et al.  Parallel Conventional Systems versus Parallel LogicProgramming Systems on Distributed Shared MemoryArchitectures , 1998 .

[3]  Ricardo Bianchini,et al.  Optimising Parallel Logic Programming Systems for Scalable Machines , 1998, Euro-Par.

[4]  Ricardo Bianchini,et al.  Evaluating the impact of coherence protocols on parallel logic programming systems , 1997, PDP.

[5]  Enrico Pontelli,et al.  &ACE: a high-performance parallel Prolog system , 1995, IPPS.

[6]  Anoop Gupta,et al.  The DASH Prototype: Logic Overhead and Performance , 1993, IEEE Trans. Parallel Distributed Syst..

[7]  Mats Carlsson,et al.  SICStus Prolog User''s Manual , 1993 .

[8]  Rong Yang,et al.  The Andorra-I Engine: A Parallel Implementation of the Basic Andorra Model , 1991, ICLP.

[9]  Peter Van Roy,et al.  High-performance logic programming with the Aquarius Prolog compiler , 1992, Computer.

[10]  Evan Tick,et al.  Memory performance of Prolog architectures , 1987, The Kluwer international series in engineering and computer science.

[11]  Hassan Aït-Kaci,et al.  Warren's Abstract Machine: A Tutorial Reconstruction , 1991 .

[12]  S Raina,et al.  Parallel Prolog on a scalable multiprocessor , 1992 .

[13]  Ricardo Bianchini,et al.  Evaluating parallel logic programming systems on scalable multiprocessors , 1997, PASCO '97.

[14]  Ricardo Bianchini,et al.  The Influence of Architectural Parameters on the Performance of Parallel Logic Programming Systems , 1999, PADL.