Electrical Engineering
      and Computer Sciences

Electrical Engineering and Computer Sciences

COLLEGE OF ENGINEERING

UC Berkeley

Hybrid Memory Management for Parallel Execution of Prolog on Shared Memory Multiprocessors

Tam Minh Nguyen

EECS Department
University of California, Berkeley
Technical Report No. UCB/CSD-90-575
June 1990

http://www.eecs.berkeley.edu/Pubs/TechRpts/1990/CSD-90-575.pdf

Shared memory multiprocessors can provide high processing power at relatively low cost. In contrast to message passing systems, shared memory multiprocessors allow for efficient data sharing, and thus are more suitable for execution models that exploit medium grain parallelism. This dissertation investigates the problem of memory management for a globally shared space in a parallel execution environment. An AND/OR parallel execution model of Prolog is chosen for our work due to its medium grain parallelism and its intensive memory usage characteristics. With respect to space, we propose a hybrid heap-stack (called ELPS) which is dynamically allocated for more efficient space sharing and interference-free parallel execution. With respect to time, we present a two-tier memory architecture (called the Aquarius-II) with separate synchronization and high-bandwidth memory spaces.

A multiprocessor simulation system has been developed to evaluate the performance of ELPS and the Aquarius-II. ELPS incurs an average of 2% overhead (11% without hardware support), while satisfying the memory requirement to keep up with the speedup potential of the parallel execution model. Compared to the single bus multiprocessor architecture, the Aquarius-II provides higher performance by reducing contention on the synchronization bus and by providing a higher memory bandwidth with a crossbar. A simple broadcast for invalidation scheme is sufficient to keep the crossbar caches consistent while maintaining good cache performance.

Advisor: Alvin M. Despain


BibTeX citation:

@phdthesis{Nguyen:CSD-90-575,
    Author = {Nguyen, Tam Minh},
    Title = {Hybrid Memory Management for Parallel Execution of Prolog on Shared Memory Multiprocessors},
    School = {EECS Department, University of California, Berkeley},
    Year = {1990},
    Month = {Jun},
    URL = {http://www.eecs.berkeley.edu/Pubs/TechRpts/1990/6177.html},
    Number = {UCB/CSD-90-575},
    Abstract = {Shared memory multiprocessors can provide high processing power at relatively low cost. In contrast to message passing systems, shared memory multiprocessors allow for efficient data sharing, and thus are more suitable for execution models that exploit medium grain parallelism. This dissertation investigates the problem of memory management for a globally shared space in a parallel execution environment. An AND/OR parallel execution model of Prolog is chosen for our work due to its medium grain parallelism and its intensive memory usage characteristics. With respect to space, we propose a hybrid heap-stack (called ELPS) which is dynamically allocated for more efficient space sharing and interference-free parallel execution. With respect to time, we present a two-tier memory architecture (called the Aquarius-II) with separate synchronization and high-bandwidth memory spaces. <p>A multiprocessor simulation system has been developed to evaluate the performance of ELPS and the Aquarius-II. ELPS incurs an average of 2% overhead (11% without hardware support), while satisfying the memory requirement to keep up with the speedup potential of the parallel execution model. Compared to the single bus multiprocessor architecture, the Aquarius-II provides higher performance by reducing contention on the synchronization bus and by providing a higher memory bandwidth with a crossbar. A simple broadcast for invalidation scheme is sufficient to keep the crossbar caches consistent while maintaining good cache performance.}
}

EndNote citation:

%0 Thesis
%A Nguyen, Tam Minh
%T Hybrid Memory Management for Parallel Execution of Prolog on Shared Memory Multiprocessors
%I EECS Department, University of California, Berkeley
%D 1990
%@ UCB/CSD-90-575
%U http://www.eecs.berkeley.edu/Pubs/TechRpts/1990/6177.html
%F Nguyen:CSD-90-575