CMU Common Lisp
CMU Common Lisp(CMUCL),是自由的Common Lisp实现,最初在卡内基·梅隆大学开发。
原作者 | 卡内基·梅隆大学 |
---|---|
首次发布 | 1980年 |
当前版本 | 21d[1](2018年12月8日 ) |
源代码库 | |
操作系统 | 遵守POSIX的OS |
平台 | 跨平台 |
语言 | Common Lisp |
类型 | 编译器和运行时系统 |
许可协议 | 公有领域 |
网站 | www |
CMUCL运行在大多数类Unix平台上,包括Linux和BSD;也有试验性的Windows移植。Steel Bank Common Lisp派生自CMUCL。Scieneer Common Lisp是CMUCL的商业衍生品。
历史
编辑它的最早实现先于Common Lisp,派生自出现在大约1980年的Spice Lisp。在1985年,Rob MacLachlan开始重写编译器,它后来成为“Python”编译器,并且CMUCL被移植到Unix工作站,比如IBM PC RT、MIPS和SPARC。早期的CMUCL发行不支持Intel的x86架构,由于它缺乏寄存器。CMUCL严格的分离有类型标记的类型和中间数据类型,而垃圾回收器依赖于,已知一半的CPU寄存器只持有有标记的类型,而另一半只持有无标记的。它没有为“Python”后端留下足够的寄存器。
在CMU取消了这个项目(将某些CMUCL编译器基础用于了Dylan实现)之后,维护由一组志愿者接管。在1996年他们在自己的下部构造上制作了正规发行。
大约同时完成了到Intel的x86架构的移植,最初运行在FreeBSD上,后来运行在Linux上。缺乏寄存器的问题,通过采用新的保守垃圾回收器解决了。这个新垃圾回收器,接受在寄存器中的任何类型的任何值,并把可以是指针的任何东西当作指针处理,用途是不回收或移动它的目标。
编译器和其他代码执行单元
编辑- CMUCL的特征是主要用于REPL的一个解释器,但是它可以用来快速装载不需要编译的Lisp文件。
- 解释(从编译器发出的)紧致字节码的一个机器。这在现在很少使用了,但是在早期CMUCL发行中很流行,因为在互联网下载带宽很低的时代,这可以大幅缩减映像的大小。
- 叫做“Python”(不要混淆于Python编程语言)的本机代码编译器。如果Common Lisp源代码具有适当的声明,并且在组建时考虑到了速度,“Python”编译器生成的代码,相比于用C++编译的代码没有更多的开销。一些低效的东西比如函数调用接口,和缺乏用户定义数据类型的无指针数组,是Common Lisp标准主导造成的,仍然需要解决(比如通过内联更多和使用宏来建造,看似用户定义结构的构造,而实际上访问在预先分配的特殊数组中的字段)。“Python”编译器的特征是有强力的类型推论,通过要么自动推论出类型,要么对错过的优化机会的提示,帮助编程者书写无开销的代码。