MASA: a multithreaded processor architecture for parallel symbolic computing

MASA is a “first cut” at a processor architecture intended as a building block for a multiprocessor that can execute parallel Lisp programs efficiently. MASA features a tagged architecture, multiple contexts, fast trap handling, and a synchronization bit in every memory word. MASA's principal novelty is its use of multiple contexts both to support multithreaded execution—interleaved execution from separate instruction streams—and to speed up procedure calls and trap handling in the same manner as register windows. A project is under way to evaluate MASA-like architectures for executing programs written in Multilisp.

[1]  John McCarthy,et al.  Queue-based multi-processing LISP , 1984, LFP '84.

[2]  Robert H. Halstead,et al.  Overview of concert multilisp: a multiprocessor symbolic computing system , 1987, CARN.

[3]  GottliebAllan,et al.  Basic Techniques for the Efficient Coordination of Very Large Numbers of Cooperating Sequential Processors , 1983 .

[4]  David A. Moon,et al.  Garbage collection in a large LISP system , 1984, LFP '84.

[5]  Kevin P. McAuliffe,et al.  The IBM Research Parallel Processor Prototype (RP3): Introduction and Architecture , 1985, ICPP.

[6]  Robert H. Halstead,et al.  MULTILISP: a language for concurrent symbolic computation , 1985, TOPL.

[7]  B J Smith,et al.  A pipelined, shared resource MIMD computer , 1986 .

[8]  Tetsuya Fujita,et al.  A Multithreaded Processor Architecture for Parallel Symbolic Computation. , 1987 .

[9]  David A. Patterson,et al.  Reduced instruction set computers , 1985, CACM.

[10]  Robert H. Thomas,et al.  Performance Measurements on a 128-Node Butterfly Parallel Processor , 1985, International Conference on Parallel Processing.

[11]  James R. Larus,et al.  Design Decisions in SPUR , 1986, Computer.

[12]  JOHN L. HENNESSY,et al.  VLSI Processor Architecture , 1984, IEEE Transactions on Computers.

[13]  Robert H. Halstead,et al.  Parallel Symbolic Computing , 1986, Computer.

[14]  David A. Moon,et al.  Architecture of the Symbolics 3600 , 1985, ISCA '85.

[15]  Carl Hewitt,et al.  The incremental garbage collection of processes , 1977, Artificial Intelligence and Programming Languages.

[16]  P. R. Nuth COMMUNICATION PATTERNS IN A SYMBOLIC MULTIPROCESSOR , 1987 .

[17]  Richard P. Gabriel,et al.  Performance and evaluation of Lisp systems , 1985 .

[18]  James R. Larus,et al.  Evaluation of the SPUR Lisp Architecture , 1986, ISCA.