Tachyon Common Lisp: an efficient and portable implementation of CLtL2

ABSTRACT

Tachyon Common Lisp is an efficient and portable implementation of Common Lisp 2nd Edition. The design objective of Tachyon is to apply both advanced optimization technology developed for RISC processors and Lisp optimization techniques. The compiler generates very fast codes comparable to, and sometimes faster than the code generated by UNIX C compiler. Comparing with the most widely used commercial Common Lisp, Tachyon Common Lisp compiled code is 2 times faster and the interpreter is 6 times faster than the Lisp in Gabriel benchmark suit. Tachyon Common Lisp is the fastest among the Lisp systems known to the authors.

REFERENCES

• Brooks 82: Rodney A. Brooks , Richard P. Gabriel , Guy L. Steele, Jr., An optimizing compiler for lexically scoped LISP, Proceedings of the 1982 SIGPLAN symposium on Compiler construction, p.261-275, June 23-25, 1982, Boston, Massachusetts, United States
• Brooks 86: Rodney A. Brooks , David B. Posner , James L. McDonald , Jon L. White , Eric Benson , Richard P. Gabriel, Design of an optimizing, dynamically retargetable compiler for common Lisp, Proceedings of the 1986 ACM conference on LISP and functional programming, p.67-85, August 1986, Cambridge, Massachusetts, United States [doi>10.1145/319838.319851]
• Fahlman 91: Scott E. Fahlmasl ~n~t David B. Mc- Donald. Design Considerations for CMU Common Lisp~ Topics in Adt,anc~d Language Implementation, pp.137-156, MIT Press, 1991
• Gabriel 85: Richard P. Gabriel, Performance and evaluation of LISP systems, Massachusetts Institute of Technology, Cambridge, MA, 1985
• Intel 89: Intel Corporation. i860 6d-bit Microprocessor Programmer's Reference Manual, Intel Corporation, 1989
• MacLachlan 91: Robert A. MacLachlan. CMU Colnmen Lisp User's Ma~lual, CMU-CS-91-108, 1991
• Okuno 1984: Hiroshi G. Okuno , Ikuo Takeuchi , Nobuyasu Osato , Yasushi Hibino , Kazufumi Watanabe, TAO: A fast interpreter-centered system on LISP machine ELIS, Proceedings of the 1984 ACM Symposium on LISP and functional programming, p.140-149, August 06-08, 1984, Austin, Texas, United States [doi>10.1145/800055.802030]
• Steele 78: Guy L. Steele, Jr., Rabbit: A Compiler for Scheme, Massachusetts Institute of Technology, Cambridge, MA, 1978
• Steele 84: Guy L. Steele, Jr., Common LISP: the language, Digital Press, Newton, MA, 1984
• Steele 90: Guy L. Steele, Jr., Common LISP: the language (2nd ed.), Digital Press, Newton, MA, 1990
• Steenkiste 86: Peter Steenkiste , John Hennessy, LISP on a reduced-instruction-set-processor, Proceedings of the 1986 ACM conference on LISP and functional programming, p.192-201, August 1986, Cambridge, Massachusetts, United States [doi>10.1145/319838.319862]
• Steenkiste 91: P. A. Steenkiste. The Implementation of Tags ~nd Run-Time Type Checking. Topics in Ad. ranted Language Implementation, pp. 3-24, MIT Press~ !991
• Shivers 91: Olin Shivers. Data-Flow Analysis and Type Recovery in Scheme, Topics in Adl~anced Language implementatzon, pp.47-87, MIT Press, 1991
• Takeuchi 86: I Takeuchi , H Okuno , N Ohsato, A list processing language TAO with multiple programming paradigms, New Generation Computing, v.4 n.4, p.401-444, 1986
• Zorn 90: Benjamin Zorn , Paul Hilfinger, Direct functions calls in Lisp, Lisp and Symbolic Computation, v.3 n.1, p.13-20, Jan. 1990 [doi>10.1007/BF01806123]

INDEX TERMS

Primary Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.2 Language Classifications

          Nouns: Common Lisp

Additional Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.3 Language Constructs and Features
          Subjects: Procedures, functions, and subroutines
      D.3.4 Processors
          Subjects: Optimization; Compilers

General Terms:
Design, Languages, Performance