GHC(STG,Cmm,asm) illustrated

This is an illustrated document about the GHC(Glasgow Haskell Compiler).

Here is haskell_ghc_illustrated.pdf.

Contents

• Executable binary
• Compile steps
• Runtime System
• Development languages

• Machine layer/models
• STG-machine
• Heap object in STG-machine
• STG-machine evaluation
• Pointer tagging
• Thunk and update
• Allocate and free heap objects
• STG - C land interface

• Thread
• Thread context switch
• Creating main and sub threads
• Thread migration
• Heap and Threads
• Threads and GC
• Bound thread

• Spark

• Mvar
• Software transactional memory

• FFI
• IO and FFI
• IO manager

• Bootstrap

• Appendix
  • Boxity : boxed and unboxed
  • Levity : lifted and unlifted
  • Boxity and levity

• References