MULTILISP: A language for concurrent symbolic computation

ACM Transactions on Programming Languages and Systems (TOPLAS)

Volumn 7, Issue 4, 1985, Pages 501-538

  Halstead, Robert H ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

Garbage collection; process scheduling

Indexed keywords

EID: 84976721284     PISSN: 01640925     EISSN: 15584593     Source Type: Journal    
DOI: 10.1145/4472.4478     Document Type: Article

References (56)

1. Abelson, H., and Sussman, G. Structure and Interpretation of Computer Programs. Massachusetts Institute of Technology Press, Cambridge, Mass., 1984.
2. Ackerman, W., and Dennis, J. VAL-A Value-Oriented Algorithmic Language. LCS Tech. Rep. TR-218. Massachusetts Institute of Technology, Laboratory for Computer Science, Cambridge, Mass., 1979.
3. Anderson, T. The Design of a Multiprocessor Development System. Tech. Rep. TR-279, Massachusetts Institute of Technology, Laboratory for Computer Science, Cambridge, Mass., Sept. 1982.
4. Arvind, Gostelow, K. G., and Plouffe, W. An Asynchronous Programming Langauge and Computing Machine. Rep. TR114a, University of California, Irvine, 1978.
5. Backus, J. Can programming be liberated from the von Neumann style? A functional style and its algebra of programs. Commun. ACM 21, 8 (Aug. 1978).
6. Baker, H. Actor Systems for Real-Time Computation. Tech. Rep. TR-197, Massachusetts Institute of Technology, Laboratory for Computer Science, Cambridge, Mass., Mar. 1978.
7. Baker, H., and Hewitt, C. The Incremental Garbage Collection of Processes. Artificial Intelligence Laboratory Memo 454, Massachusetts Institute of Technology, Cambridge, Mass., Dec. 1977.
8. BBN. Development of a Voice Funnel System: Quarterly Technical Report. BBN Reports 4845 (Jan. 1982) and 5284 (Apr. 1983). Bolt, Beranek, and Newman, Cambridge, Mass.
9. Bouknight, W. J., et al. The Illiac IV system. Proc. IEEE 60, 4 (Apr. 1972), 369-388.
10. Brooks, F. The Mythical Man-Month: Essays on Software Engineering. Addison-Wesley, Reading, Mass., 1975.
11. Cohen, S., Rosner, R., and Zidon, A. Paralisp Simulator (reference manual). Hebrew University Computer Science Dep. Res. Rep. 83-2, Jerusalem, Israel, Jan. 1983.
12. Correll, S. S-l uniprocessor architecture. S-l Project 1979 Annual Report. Lawrence Livermore National Lab., Livermore, Calif., 1979.
13. Deminet, J. Experience with multiprocessor algorithms. IEEE Trans. Comput. C-31, 4 (Apr. 1982), 278-288.
14. Dijkstra, E. W. The structure of the “THE” multiprogramming system. Commun. ACM 11, 5 (May 1968).
15. Dijkstra, E. W., et al. On-the-fly garbage collection: An exercise in cooperation. In Language Hierarchies and Interfaces (Lecture Notes in Computer Science 46). Springer Verlag, New York, 1976.
16. Foderaro, J. K., Sklower, K., and Layer, K. The Franz Lisp Manual. University of California UNIX distribution, 1983.
17. Friedman, D., and Wise, D. Aspects of applicative programming for parallel processing. IEEE Trans. Comput. C-27, 4 (Apr. 1978), 289-296.
18. Friedman, D., and Wise, D. CONS should not evaluate its arguments. In S. Michaelson and R. Milner (Eds.), Automata, Languages and Programming, Edinburgh University Press, Edinburgh, 1976, pp. 257-284.
19. Gabriel, R. P., and McCarthy, J. Queue-based multiprocessing Lisp. Presented at the ACM Symp. Lisp and Functional Programming (Austin, Tex., Aug. 1984).
20. Goldberg, A., and Robson, D. Smalltalk-80: The Language and Its Implementation. Addison-Wesley, Reading, Mass., 1983.
21. Gottlieb, A., et al. The NYU ultracomputer-Designing an MIMD shared memory parallel computer. IEEE Trans. Comput. C-32, 2 (Feb. 1983), 175-189.
22. Gottlieb, A., Lubachevsky, B., and Rudolph, L. Basic techniques for the efficient coordination of very large numbers of cooperating sequential processors. ACM Trans. Program. Lang. Syst. 5, 2 (Apr. 1983), 164-189.
23. Gurd, J., Kirkham, C., and Watson, I. The Manchester prototype dataflow computer. Commun. ACM 28, 1 (Jan. 1985), 34-52.
24. Halstead, R. Architecture of a myriaprocessor. In IEEE COMPCON Spring 81 (San Francisco, Feb. 1981), 299-302.
25. Halstead, R. Architecture of a myriaprocessor. In J. Solinsky (Ed.), Advanced Computer Concepts. La Jolla Institute, La Jolla, Calif., 1981.
26. Halstead, R. Implementation of Multilisp: Lisp on a multiprocessor. In Proc. ACM Symp. Lisp and Functional Programming (Austin, Tex., Aug. 1984), 9-17.
27. Halstead, R. Reference Tree Networks: Virtual Machine and Implementation. M.I.T. Laboratory for Computer Science Tech. Rep. TR-222, Cambridge, Mass., July 1979.
28. Halstead, R., and Loaiza, J. Exception handling in Multilisp. Presented at the 1985 Int. Conf. Parallel Processing (St. Charles, 111., Aug. 1985).
29. Haynes, C., Friedman, D., and Wand, M. Continuations and coroutines. In Proc. ACM Symp. on Lisp and Functional Programming (Austin, Tex., Aug. 1984), 293-298.
30. Henderson, P., and Morris, J. H. A lazy evaluator. Proc. 3rd ACM Symposium on Principles of Programming Languages (1976), 95-103.
31. Hewitt, C. Viewing control structures as patterns of passing messages. Working Paper 92, Artificial Intelligence Laboratory, M.I.T., Cambridge, Mass., Apr. 1976.
32. Hoare, C. A. R. Communicating sequential processes. Commun. ACM 21, 8 (Aug. 1978).
33. Hoare, C. A. R. Monitors: An operating system structuring concept. Commun. ACM 17, 10 (Oct. 1974), 549-557.
34. Ichbiah, J. D., et al. Preliminary ADA reference manual. SIGPLAN Not. 14, 6, Part A (June 1979).
35. IEEE Task P796/D2. Proposed microcomputer system 796 bus standard. IEEE Comput. 13, 10 (Oct. 1980), 89-105.
36. Keller, R. Rediflow multiprocessing. IEEE COMPCON Spring 84 (San Francisco, Feb. 1984).
37. Keller, R., and Lin, F. Simulated performance of a reduction-based multiprocessor. IEEE Comput. 17,7 (July 1984), 70-82.
38. Kernighan, B., and Ritchie, D. The C Programming Langauge. Prentice-Hall, Englewood Cliffs, N.J., 1978.
39. Knueven, P., Hibbard, P., and Leverett, B. A language system for a multiprocessor environment. In Proc. 4th Int. Conf. Design and Implementation of Algorithmic Languages (Courant Institute of Mathematical Studies, New York, June 1976), 264-274.
40. Kuck, D., Muraoka, Y., and Chen, S.-C. On the number of operations simultaneously executable in Fortran-like programs and their resulting speedup. IEEE Trans. Comput. C-21, 12 (Dec. 1972), 1293-1310.
41. Lampson, B., and Sproull, R. An open operating system for a single-user machine. In Proc. 7th Symp. Operating Systems Principles (Asilomar, Calif., Dec. 1979), 98-105.
42. Marti, J., and Fitch, J. The Bath concurrent Lisp machine. EUROCAM '83(Lecture Notes in Computer Science). Springer Verlag, New York, 1983.
43. McCarthy, J., et al. LISP 1.5 Programmer's Manual. M.I.T. Press, Cambridge, Mass., 1965.
44. McGraw, J., et al. SISAL-Streams and Iteration in a Single-Assignment Language. Language Reference Manual (version 1.0), Lawrence Livermore National Lab., Livermore, Calif., July 1983.
45. Moller-Nielsen, P., and Staunstrup, J. Experiments with a Multiprocessor. Tech. Rep. PB-185, Aarhus University Computer Science Dep., Aarhus, Denmark, Nov. 1984.
46. Rettberg, R., et al. Development of a Voice Funnel System: Design Report. BBN Rep. 4088, Bolt, Beranek, and Newman, Cambridge, Mass., Aug. 1979.
47. Russell, R. M. The CRAY-1 computer system. Commun. ACM 21,1 (Jan. 1978), 63-72.
48. Schwartz, J. Ultracomputers. ACM Trans. Program. Lang. Syst. 2, 4 (October. 1980), 484-521.
49. Seitz, C. L. The cosmic cube. Commun. ACM 28, 1 (Jan. 1985), 22-33.
50. Shapiro, E. Y. A Subset of Concurrent Prolog and Its Interpreter. Institute for New Generation Computer Technology Tech. Rep. TR-003, Jan. 1983.
51. Smith, B. J. A pipelined, shared resource MIMD computer. In Proc. Int. Conf. Parallel Processing, 1978.
52. Steele, G. L. Rabbit: A Compiler for Scheme. Tech. Rep. AI-TR-474, Artificial Intelligence Lab., M.I.T., Cambridge, Mass., May 1978.
53. Sugimoto, S., et al. A multimicroprocessor system for concurrent Lisp. In Proc. 1983 Int. Conf. Parallel Processing (June 1983).
54. Turner, D. A new implementation technique for applicative languages. Softw. Pract. Exper. 9, 1 (Jan. 1979), 31-49.
55. Weinreb, D., and Moon, D. Lisp Machine Manual. Symbolics Corp., Cambridge, Mass., 1984.
56. Weng, K. Stream-Oriented Computation in Recursive Data Flow Schemas. Tech. Memo TM-68, M.I.T. Laboratory for Computer Science, Cambridge, Mass., Oct. 1975.