s p o n s o r e d   l i n k s


Design of CMU Common Lisp.pdf

July 2, 2008 · Filed Under Artificial Intelligence  · Tags: ,

This report documents internal details of the CMU Common Lisp compiler and run-time system. CMU Common Lisp is a public domain implementation of Common Lisp that runs on various Unix workstations. This document is a work in progress: neither the contents nor the presentation are completed. Nevertheless, it provides some useful background information, in particular regarding the CMUCL compiler.

Table of contents:

  • I System Architecture
    • Package and File Structure [ Source Tree Structure ~ Package structure ]
    • System Building [ Compiling the C Startup Code ~ Compiling the Lisp Code ~ Building Core Images ]
  • II Compiler Organization
    • Compiler Overview
    • The Implicit Continuation Representation [ Tail sets ~ Hairy function representation ~ ICR representation of non-local exits ~ Block compilation ~ Entry points ]
    • ICR conversion [ Canonical forms ~ Array hackery ~ Inline functions ~ Compilation policy ~ Notes ]
    • Local call analysis
    • Find components
    • ICR optimize [ Goals for ICR optimizations ~ Flow graph simplification ~ Forward ICR optimizations ~ ICR transformation ~ Backward ICR optimizations ]
    • Type checking
    • Constraint propagation
    • ICR finalize
    • Environment analysis
    • Virtual Machine Representation Introduction
    • Global TN assignment
    • Local TN assignment
    • Control optimization
    • VMR conversion [ VMR Control representation ~ Stack analysis ~ Non-local exit ]
    • Copy propagation
    • Representation selection
    • Lifetime analysis [ Flow analysis ~ Conflict detection ]
    • Packing
    • Code generation
    • Assembly
    • Dumping
    • User Interface of the Compiler [ Error Message Utilities ~ Source Paths ]
  • III Compiler Retargeting
    • Retargeting the compiler
    • Storage bases and classes
    • Type system parameterization
    • VOP Definition [ Lifetime model ~ VOP Cost model ]
    • Efficiency notes
    • Assembler Retargeting
    • Writing Assembly Code
    • Required VOPS [ Function Call ~ Registers and frame format ~ Full call ~ Unknown values return ~ External Entry Points ~ Calls ]
    • Standard Primitives
    • Customizing VMR Conversion [ Constant Operands ~ Supporting Multiple Hardware Configurations ~ Special-case VMR convert methods ]
  • IV Run-Time System
    • The Type System
    • The Info Database
    • The IR1 Interpreter [ Use of %PRIMITIVE ]
    • Debugger Information [ The Debug-Info Structure ~ Debugger Interface ~ Variable maps ~ Stack parsing ]
    • Object Format [ Tagging ~ GC Comments ~ Structures ~ Fixnums ~ Other-immediates ~ Data-Blocks and Header-Word Format ~ Data-Blocks and Other-immediates Typing ~ Strings ~ Symbols and NIL ~ Bignums ~ Code Data-Blocks ~ Closure Format ~ Function call ~ Memory Layout ~ System Pointers ]
    • Memory Management [ Stacks and Globals ~ Heap Layout ~ Garbage Collection ]
    • Interface to C and Assembler [ Linkage Table ]
    • Low-level debugging
    • Core File Format
    • Fasload File Format [ General ~ Strategy ~ Fasload Language ]

Download free ebook: Design of CMU Common Lisp.pdf (122 pages pdf file, 0.5 MB).

Related posts

You might also be interested in reading:
lisp pdf, assembler, compiler design, common lisp pdf, common lisp free book, ebook design * pdf, a free book in pdf format of intelligent system design, download ebook Data Management And File Structures, free downloadable ebook on compilers design, free download lisp compiler

Comments

One Response to “Design of CMU Common Lisp.pdf”

  1. GUDDU SINGH on August 14th, 2008 3:54 pm

    please give me a artificial inteligent e book pdf format

Leave a Reply