Title :
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
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;
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
DOI :
10.1109/HICSS.1989.47179
