chibi-scheme源代码分析之零--总体结构

2012-01-10

chibi-scheme是一个scheme语言的实现(编译器).代码很优雅,又不太长,包括了编译原理的完整概念,非常值得学习.

当前源代码为chibi-scheme-0.5.3版本.

项目的地址在http://code.google.com/p/chibi-scheme/

在线手册可以在这里看到http://synthcode.com/scheme/chibi/

主要源文件

最主要的几个文件是

./include/chibi/sexp.h–包含了s表达式的定义,整个系统的头文件

./gc.c–实现了系统的内存分配及垃圾回收工作

./sexp.c–语法分析及操作s表达式的一些函数

./eval.c–从抽象语言法树到虚拟机字节码生成过程都在这个文件实现

./vm.c–虚拟机

本篇的整个系列随笔就按上面几个文件的次序分析的.

其它一些不重要的源文件包括main.c opcode.c等等.

总体结构

这一系列的分析只包含核心部分.chibi-scheme目前正在迅速发展中,完全支持R7RS的small版本.包括动态链接库和C语言函数外部调用接口(FFI).

其主要目的是用于C语言的扩展和脚本,可以嵌入到C程序中.这不是一个解释器,而是编译生成字节码在虚拟机中运行.

具体的几篇会分析

类型系统 垃圾回收机制 词法分析 ast生成和bytecode生成 虚拟机 这些构成了chibi-scheme的一个核,相当于有了一个自举的编译器,接着通过模块系统实现了很多扩展和库函数,最终形成一个完整的编译器.

由于有些依赖关系,为了不至于读到后面的某个函数常常要回头查看前面的代码,建议的阅读顺序是sexp.h => gc.c => sexp.c => eval.c => vm.c

本源代码分析系列正是按此顺序进行的.

chibi-schemelisp源代码分析