Files in this item



application/pdf9305690.pdf (10MB)Restricted to U of Illinois
(no description provided)PDF


Title:Automatic parallelization of Prolog programs
Author(s):Sehr, David Christopher
Doctoral Committee Chair(s):Padua, David A.
Department / Program:Computer Science
Discipline:Computer Science
Degree Granting Institution:University of Illinois at Urbana-Champaign
Subject(s):Computer Science
Abstract:Prolog has a number of advantages for use in rapid prototyping. The explotation of parallelism holds the promise of making these prototypes directly executable. This dissertation addresses the parallel execution of Prolog programs without restricting the language to a pure subset or requiring user annotations. We begin by presenting methods for the OR parallel execution of Prolog programs with side effects such as assert, retract, and cut. Our methods have been implemented in an interpreter on the Alliant FX/8 and some results are presented. The second portion describes a method for estimating the inherent parallelism in Prolog programs. This work is based on the critical path methods of Kumar and is used to measure the best possible speedups under OR and AND/OR parallel models. The results of timing the Berkeley Benchmarks with these methods are presented. The last portion of the dissertation describes a method for applying Fortran techniques to Prolog programs. It begins by describing the construction of control flow graphs and shows how to identify recursive procedures that can be converted to loops. Lastly, dependence analysis methods and several source-to-source transformations from Fortran are used to synchronize and parallelize these loops. The results of hand-applying these transformations to a number of programs are presented. We demonstrate that we are able to obtain significant speedups on a number of programs by applying our transformations.
Issue Date:1992
Rights Information:Copyright 1992 Sehr, David Christopher
Date Available in IDEALS:2011-05-07
Identifier in Online Catalog:AAI9305690
OCLC Identifier:(UMI)AAI9305690

This item appears in the following Collection(s)

Item Statistics