skip to main content
article
Free Access

Functional languages in microcode compilers

Published:01 August 1989Publication History
Skip Abstract Section

Abstract

This paper discusses the advantages of using high-level languages in the development of microcode. It also describes reasons functional programming languages should be considered as the source language for microcode compilers. The emergence of parallel execution in microarchitectures dictates that parallelism must be extracted from the microcode programs. This paper shows how functional languages meet the needs of microprogrammers by allowing them to express their algorithms in natural ways while allowing the microcode compiler to extract the parallelism from the program.

References

  1. AGP78 Arvind, K. Gostelow, and W. Plouffe. An asynchronous programming language and computing machine. Technical Report Computer and Information Sciences Department Technical Report 114a, University of California, Irvine, CA, December 1978.Google ScholarGoogle Scholar
  2. AN88 A. Aiken and A. Nicolau. A development environment for horizontal microcode. IEEE Trans on Software Engineering, 14(5):584-594, May 1988. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. AO85 S. J. Allan and R. R. Oldehoeft. HEP SISAL: parallel functional programming. In J. Kowalik, editor, Parallel MIMD Computation: The HEP Supercomputer and Its Applications, pages 123-150, MIT Press, Cambridge, MA, 1985. Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. Bac78 J. Backus. Can programming be liberated from the von neumann style? A functional style and its algebra of programs. Communications of the AChf, 21(8):613-641, August 1978. Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. Bac81 J. Backus. History of Programming Languages, chapter The history of FORTRAN I, II, and III, pages 25-44. ACM Monograph Series, Academic Press, New York, NY, 1981. Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. CAO84 D. C. Cann, S. J. Allan, and R. R. Oldehoeft. An IF1 driven portable code generator. Technical Report CS-84-15, Colorado State University Computer Science Department, Fort Collins, CO, December 1984.Google ScholarGoogle Scholar
  7. FERN84 J.A. Fisher, J.R. Ellis, J.C. Ruttenberg, and A. Nicolau. Parallel processing: a smart compiler and a dumb machine. In Proceedings of the ACM SIGPLAN '84 Symposium on Compiler Construction, pages 37-47, SIGPL.AN Notices, AFIPS Press, June 1984. Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. Gur89 R.P. Gurd. Microcoding tools: bit slice software. Sigmicro Newsletter, 1989. To Appear.Google ScholarGoogle Scholar
  9. Hen80 P. H. Henderson. Functional Programming, Application and Implementation. Prentice- Hall, Englewood Cliffs, NJ, 1980. Google ScholarGoogle ScholarDigital LibraryDigital Library
  10. Hor83 E. Horowitz. Fundamentals of Programming Languages. Computer Science Press, Rockville, Maryland, 1983. Google ScholarGoogle ScholarDigital LibraryDigital Library
  11. JRS89 JRS. JRS: integrated design automation system. Sigmicro Newsletter, 20(l), March 1989. Google ScholarGoogle ScholarDigital LibraryDigital Library
  12. KM77 G. Kahn and D. MacQueen. Coroutines and networks of parallel processes. In B. Gilchrist, editor, Information Processing 77, North-Holland Publishing Co., New York, NY, 1977.Google ScholarGoogle Scholar
  13. MSA*85 J. R. McGraw, S. K. Skedzielewski, S. Allan, R. R. Oldehoeft, J. Glauert, C. Kirkham, B. Noyce, and R. Thomas. SISAL: streams and iteration in a single assignment language: reference manual, Version 1.2. Lawrence Livermore National Laboratory, Livermore, CA, M-146, rev. 1 edition, March 1985.Google ScholarGoogle Scholar
  14. OC88 R. R. Oldehoeft and D. C. Cann. Applicative parallelism on a shared memory multiprocessor. IEEE Software, 5(1):62-70, January 1988. Google ScholarGoogle ScholarDigital LibraryDigital Library
  15. PKL80 D. Padua, D. Kuck, and D. Lawrie. High-speed multiprocessors and compilation techniques. IEEE Transactions on Computers, C-29(9):763-776, September 1980.Google ScholarGoogle ScholarDigital LibraryDigital Library
  16. Pra84 T. W. Pratt. Programming Languages: Design and Implementation. Prentice Hall, Englewood Cliffs, NJ, second edition edition, 1984. Google ScholarGoogle ScholarDigital LibraryDigital Library
  17. PS81 D. A. Patterson and C. H. Skquin. RISC I: a reduced instruction set VLSI computer. In Proceedings from the Eighth Symposium on Computer Architecture, pages 443-457, May 1981. Google ScholarGoogle ScholarDigital LibraryDigital Library
  18. Rit78 D. M. Ritchie. A retrospective. The Bell System Technical Journal, 57(6):1947- 1969, July - August 1978.Google ScholarGoogle ScholarCross RefCross Ref
  19. RYYT89 B. R. R au, D. W. L. Yen, W. Yen, and R. A. Towle. The Cydra 5 departmental supercomputer. Computer, 22(1):12- 35, January 1989. Google ScholarGoogle ScholarDigital LibraryDigital Library
  20. Set89 R. Sethi. Programming Languages: Concepts and Constructs. Addison-Wesley, Reading, MA, 1989. Google ScholarGoogle ScholarDigital LibraryDigital Library
  21. Wil84 K. G. Wilson. Planning for the future of U.S. scientific and engineering computing. Communications of the ACM, 27(4):279- 280, April 1984. Google ScholarGoogle ScholarDigital LibraryDigital Library
  22. You88 J.L. Young. The software foundry: almost too good to be true. Electronics, 47-48, January 1988.Google ScholarGoogle Scholar

Index Terms

  1. Functional languages in microcode compilers

          Recommendations

          Comments

          Login options

          Check if you have access through your login credentials or your institution to get full access on this article.

          Sign in

          Full Access

          • Published in

            cover image ACM SIGMICRO Newsletter
            ACM SIGMICRO Newsletter  Volume 20, Issue 3
            Sep. 1989
            253 pages
            ISSN:1050-916X
            DOI:10.1145/75395
            Issue’s Table of Contents
            • cover image ACM Conferences
              MICRO 22: Proceedings of the 22nd annual workshop on Microprogramming and microarchitecture
              August 1989
              253 pages
              ISBN:0897913248
              DOI:10.1145/75362

            Copyright © 1989 Author

            Publisher

            Association for Computing Machinery

            New York, NY, United States

            Publication History

            • Published: 1 August 1989

            Check for updates

            Qualifiers

            • article
          • Article Metrics

            • Downloads (Last 12 months)22
            • Downloads (Last 6 weeks)3

            Other Metrics

          PDF Format

          View or Download as a PDF file.

          PDF

          eReader

          View online with eReader.

          eReader
          About Cookies On This Site

          We use cookies to ensure that we give you the best experience on our website.

          Learn more

          Got it!