Tailoring functional units and memory in a high performance Prolog architecture

Author

Singhal, Ashok ; Patt, Yale N.

Author_Institution

Div. of Comput. Sci., California Univ., Berkeley, CA, USA

Volume

1

fYear

1989

fDate

3-6 Jan 1989

Firstpage

375

Abstract

A description is given of PLUM, a Prolog machine with multiple specialized functional units and memory ports that operate in parallel using data-driven control. Unification parallelism is utilized by multiple unification units. Bookkeeping operations, such as choicepoint and environment manipulation, are executed by special functional units in parallel with unification. The performance of the system is limited mainly by the time spent on unification operations. By using the parallelism among bookkeeping and unification operations, it is estimated that PLUM can achieve a speedup of at least a factor of 4 over the Berkeley PLM, assuming the same cycle time

Keywords

PROLOG; parallel architectures; parallel machines; Berkeley PLM; PLUM; Prolog architecture; Prolog machine; bookkeeping; choicepoint; data-driven control; environment manipulation; memory ports; multiple specialized functional units; multiple unification units; parallel; parallelism; unification operations; Computer architecture; Computer science; Logic programming; Magnetic heads; Mathematics; Parallel processing; Pipelines; Registers;

fLanguage

English

Publisher

ieee

Conference_Titel

System Sciences, 1989. Vol.I: Architecture Track, Proceedings of the Twenty-Second Annual Hawaii International Conference on

Conference_Location

Kailua-Kona, HI

Print_ISBN

0-8186-1911-2

Type

conf

DOI

10.1109/HICSS.1989.47179

Filename

47179