Architecture of the Symbolics 3600

@inproceedings{Moon1985ArchitectureOT,
  title={Architecture of the Symbolics 3600},
  author={David A. Moon},
  booktitle={ISCA '85},
  year={1985}
}
  • D. A. Moon
  • Published in ISCA '85 1 June 1985
  • Computer Science
The Symbolics 3600 is a family of high-performance, single user computers optimized for the Lisp language and for interactive use. This paper briefly discusses some of the interesting aspects of the architecture, including the representation of data, the instruction set used for compiled code, the function calling discipline, and the way exception traps and interrupts are handled. The reader is assumed to have some previous exposure to the basic concepts of Lisp (4). 
Lisp hardware architecture: the Explorer II and beyond
TLDR
Lisp is a run-tlme typed language; there can be multiple references to an object but there is only one stored representation of this object.
A new strategy for interpreting LISP
TLDR
Non-recursive sequential routines SCAN and EXECUTE are used instead of the usual functionals EVAL and APPLY, similar to Landin's SECD-machine, and are suitable for microcomputers and is at least as efficient as the interpreter of a mainframe.
An architecture for mostly functional languages
TLDR
This paper describes a computer architecture characterized by its ability to execute several portions of a program in parallel, while giving the appearance to the programmer that the program is being executed sequentially, and how the architecture can be extended to provide some explicit and modular programmer control over the parallelism.
Implementation and optimization of portable standard LISP for the Cray
Portable Standard LISP (PSL), a dialect of LISP developed at the University of Utah, has been implemented on the CRAY-1s and CRAY X-MPs at the Los Alamos National Laboratory and at the National
Prolog oriented architecture using RISC concepts
  • H. Aboalsamh
  • Computer Science
    Proceedings. PARBASE-90: International Conference on Databases, Parallel Architectures, and Their Applications
  • 1990
TLDR
Preliminary results of a study to determine the most frequently used machine-level instruction in the execution of Prolog programs are presented, noting that three groups (transfer of control, move, and pop/push) must be studied more closely.
LISP on a reduced-instruction-set-processor
TLDR
A number of profiling measurements made on a set of 11 LISP programs are reported on, which determine how much time each program spends on most common primitive LISp operations.
SOAR: Smalltalk Without Bytecodes
TLDR
Measurements suggest that even a conventional computer can provide high performance for Smalltalk-80 by abandoning the 'Smalltalk Virtual Machine' in favor of compiling Smalltalk directly to SOAR machine code, linearizing the activation records on the machine stack, eliminating the object table, and replacing reference counting with a new technique called Generation Scavenging.
A tag coprocessor architecture for symbolic languages
  • V. Fuentes-Sánchez, P. Cheung
  • Computer Science
    [1991 Proceedings] IEEE International Conference on Computer Design: VLSI in Computers and Processors
  • 1991
TLDR
A novel architecture is presented for the efficient execution of symbolic languages on conventional von Neumann, register-based machines, based on a tag coprocessor (TC) which is designed to work in parallel with a conventional RISC CPU such as the MIPS R3000.
COLIBRI: A Coprocessor for LISP based on RISC
Traditional LISP machines are based on processors with complex microcoded instruction sets. Those processors require enormous efforts in both hardware and software design to achieve high LISP
Sequential architecture models for Prolog: A performance comparison
TLDR
The relation between architectural support for Prolog and performance is investigated, and it is shown that partial support for tags does perform as well as full support, but it only reduces the execution time by approximately 10%.
...
1
2
3
4
5
...

References

SHOWING 1-7 OF 7 REFERENCES
A LISP machine
TLDR
The implementation is based on a powerful microprogrammed processor designed specifically for LISP, which manipulates items which have a built-in data-type field and incorporates the personal computer philosophy.
Garbage collection in a large LISP system
This paper discusses garbage collection techniques used in a high-performance Lisp implementation with a large virtual memory, the Symbolics 3600. Particular attention is paid to practical issues and
Common Lisp(パネル討論会)
1 Lispの基礎 2 基本リスト操作 3 制御構造 4 リストの処理 5 プログラミングスタイル 6入出力 7 関数 8 Lispの動作 9 マクロ 10 Lisp上での言語の組込み 11 発展的機能 12 Common Lispのその他の機能
Reference Guide to Symbolics-Lisp, Symbolics Inc
  • Reference Guide to Symbolics-Lisp, Symbolics Inc
  • 1985
1. 3600 Technical Summary, Symbolics Inc
  • 1. 3600 Technical Summary, Symbolics Inc
  • 1983
VAX-11 Architecture Reference Manual, Digital Equipment Corporation
  • VAX-11 Architecture Reference Manual, Digital Equipment Corporation
  • 1982
ITS Status Report