Compiling Prolog into microcode: a case study using the NCR/32-000

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Compiling Prolog into microcode: a case study using the NCR/32-000

Full text

Pdf (1.01 MB)

Source

International Symposium on Microarchitecture archive
Proceedings of the 18th annual workshop on Microprogramming table of contents

Pacific Grove, California, United States

Pages: 79 - 88

Year of Publication: 1985

ISBN:0-89791-172-5

Also published in ...

Authors

B. Fagin	Division of Computer Science, University of California, Berkeley, CA
Y. N. Patt	Division of Computer Science, University of California, Berkeley, CA
V. Srini	Division of Computer Science, University of California, Berkeley, CA
A. Despain	Division of Computer Science, University of California, Berkeley, CA

Sponsor

SIGMICRO: ACM Special Interest Group on Microarchitectural Research and Processing

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 0, Downloads (12 Months): 6, Citation Count: 5

Additional Information:

abstract references cited by index terms collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/18927.18914 What is a DOI?

ABSTRACT

A proven method of obtaining high performance for Prolog programs is to first translate them into the instruction set of Warren's Abstract Machine, or W-code [1]. From that point, there are several models of execution available. This paper describes one of them:- the compilation of W-code directly into the vertical microcode of a general purpose host processor, the NCR/32-000. The result is the fastest functioning Prolog system known to the authors. We describe the implementation, provide benchmark measurements, and analyze our results.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	D.H.D. Warren, An Abstract Prolog Instruction Set, SRI International, Menlo Park,CA (1983). Technical Report.
	2	T. P. Dobry , A. M. Despain , Y. N. Patt, Performance studies of a Prolog machine architecture, Proceedings of the 12th annual international symposium on Computer architecture, p.180-190, June 17-19, 1985, Boston, Massachusetts, United States
	3	Peter L Van Roy, A Prolog Compiler for the PLM, University of California at Berkeley, Berkeley, CA, 1984
	4	Wayne Citrin and Peter Van Roy, "Compiling Prolog for the Berkeley PLM," Proceedings of the 19th Hawaii International Conference on System Sciences, (1986). To appear.
	5	T. P. Dobry , Y. N. Patt , A. M. Despain, Design decisions influencing the microarchitecture for a Prolog machine, Proceedings of the 17th annual workshop on Microprogramming, p.217-231, December 1984
	6	Barry Fagin , Tep Dobry, The Berkeley PLM Instruction Set: An Instruction Set for Prolog, University of California at Berkeley, Berkeley, CA, 1986
	7	NCR Corporation, NCR132 General Information. 1983.
	8	David H. D. Warren, Applied Logic -- Its Use and Implementation as a Programming Tool, University of Edinburgh, Scotland (1977). Ph.D. Thesis.
	9	Tep Dobry, PLM Simulator Reference Manual, Computer Science Division, University of California, Berkeley, CA (July 1984). Technical Note.

CITED BY 5

	D. Sarma , C. P. Wu, Pipelined OR-parallelism architecture for parallel execution of Prolog, Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems, p.864-873, June 1990, Charleston, South Carolina, United States
	A. Singhal , Y. N. Patt, Implementing a Prolog machine with multiple functional units, Proceedings of the 21st annual workshop on Microprogramming and microarchitecture, p.41-49, November 28-December 02, 1988, San Diego, California, United States
	K. Lall , J. W. Atwood, A microprogrammed interpreter for concurrent euclid, ACM SIGMICRO Newsletter, v.20 n.3, p.1-10, Sep. 1989
	B. S. Fagin , A. M. Despain, Performance studies of a parallel Prolog architecture, Proceedings of the 14th annual international symposium on Computer architecture, p.108-116, June 02-05, 1987, Pittsburgh, Pennsylvania, United States
	A. Despain , Y. Patt , V. Srini , P. Bitar , W. Bush , C. Chien , W. Citrin , B. Fagin , W. Hwu , S. Melvin , R. McGeer , A. Singhal , M. Shebanow , P. Van Roy, Aquarius, ACM SIGARCH Computer Architecture News, v.15 n.1, p.22-34, March 1987