Compilation techniques for a control-flow concurrent LISP system

ABSTRACT

Described is a strategy for the compilation of LISP programs for a concurrent processing system in the presence of global side effects. The method supports “horizontal” concurrency, the concurrency available when two arguments of a function can be evaluated simultaneously and without violating the semantics of sequential LISP. The method works for Standard LISP and is not restricted to “pure” LISP. Conventional programs may usually be compiled without modification.

REFERENCES

• 1: Arvind, Kim P. Gostelow, Wil Plouffe, 'The (Preliminary) ID Report: An Asynchronous Language and Computing Machine', Technical Report #114, Department of Information and Computer Science, University of California Irvine, 1978.
• 2: Ashcroft, E. A., W. W. Wadge, 'LUCID - A Formal System for Writing and Proving Programs' SIAM Journal of Computing, No. 3, (September 1976), pp. 336-354.
• 3: John Backus, Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs, Communications of the ACM, v.21 n.8, p.613-641, Aug. 1978 [doi>10.1145/359576.359579]
• 4: K. J. Berkling, Reduction languages for reduction machines, Proceedings of the 2nd annual symposium on Computer architecture, p.133-140, January 20-22, 1975
• 5: A. L. Davis, The architecture and system method of DDM1: A recursively structured Data Driven Machine, Proceedings of the 5th annual symposium on Computer architecture, p.210-215, April 03-05, 1978 [doi>10.1145/800094.803050]
• 6: Jack B. Dennis , David P. Misunas, A preliminary architecture for a basic data-flow processor, Proceedings of the 2nd annual symposium on Computer architecture, p.126-132, January 20-22, 1975
• 7: Keller, R. M., G. Lindstrom, S. Patil, 'A Loosely Coupled Applicative Multi-processor System', Proceedings of the National Computer Conference (1979), pp. 613-622.
• 8: Hearn, A. C., 'REDUCE 2 Symbolic Mode Primer', Utah Symbolic Computation Group, Operating Note 5 (1973).
• 9: J. Marti , A. C. Hearn , M. L. Griss , C. Griss, Standard LISP report, ACM SIGPLAN Notices, v.14 n.10, p.48-68, October 1979 [doi>10.1145/953997.953999]
• 10: Jed Benjamin Marti, A concurrent processing system for lisp, 1980
• 11: William E. Weihl, Interprocedural data flow analysis in the presence of pointers, procedure variables, and label variables, Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.83-94, January 28-30, 1980, Las Vegas, Nevada [doi>10.1145/567446.567455]

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.3 Coding Tools and Techniques

Additional Classification:
  C. Computer Systems Organization
  C.1 PROCESSOR ARCHITECTURES
      C.1.3 Other Architecture Styles

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

          Nouns: Concurrent Lisp

General Terms:
Languages, Performance