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): 1, Downloads (12 Months): 6, Citation Count: 5

Additional Information:

abstract references cited by index terms collaborative colleagues peer to peer

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

	K. Lall , J. W. Atwood, A microprogrammed interpreter for concurrent euclid, ACM SIGMICRO Newsletter, v.20 n.3, p.1-10, Sep. 1989
	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
	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

INDEX TERMS

Classification:
B. Hardware
B.1 CONTROL STRUCTURES AND MICROPROGRAMMING

D. Software
D.3 PROGRAMMING LANGUAGES
D.3.2 Language Classifications

Nouns: Prolog
D.3.4 Processors
Subjects: Compilers

General Terms:
Design, Languages

Collaborative Colleagues:

B. Fagin: colleagues

Y. N. Patt: colleagues

V. Srini: colleagues

A. Despain: colleagues

Peer to Peer - Readers of this Article have also read:

Constructing reality Proceedings of the 11th annual international conference on Systems documentation
Douglas A. Powell , Norman R. Ball , Mansel W. Griffiths
Data structures for quadtree approximation and compression Communications of the ACM 28, 9
Hanan Samet
A hierarchical single-key-lock access control using the Chinese remainder theorem Proceedings of the 1992 ACM/SIGAPP Symposium on Applied computing
Kim S. Lee , Huizhu Lu , D. D. Fisher
An intelligent component database for behavioral synthesis Proceedings of the 27th ACM/IEEE Design Automation Conference on
Gwo-Dong Chen , Daniel D. Gajski
The GemStone object database management system Communications of the ACM 34, 10
Paul Butterworth , Allen Otis , Jacob Stein

This Article has also been published in:

ACM SIGMICRO Newsletter
Volume 16 , Issue 4 Dec. 1985

Adobe Acrobat

QuickTime

Windows Media Player

Real Player