转载自：http://tianchunbinghe.blog.163.com/blog/static/700120061138929916/
最近心血来潮，想看看我的博客访问量怎样，又哪些人访问，惊奇地发现我的一些 Lisp 方面的文章被 OCaml China (http://ocaml.cn/node/213) 收录了，欣喜之余，发现我还欠各位观众至少一个下文，那就补上喽^_^
国际形势风云变换，今天再写《用 sbcl, asdf 和 cl-launch 编写可分发的 lisp 程序》就跟当时的背景不太一样了： SBCL 已经从 0.9.x 升级到了1.0，cl-launch 也已经从 1.x 升级到了 2.03，下面我将借助更好的工具回答上次遗留的两个问题：
1) 能得到一个在没有 sbcl 的 Linux 系统(包括非 Debian 的系统) 下也能运行的可执行程序吗？
2) 能得到一个单一的可执行文件，完全脱离脚本吗？
SBCL 从 0.9.10 以后，在 SAVE-LISP-AND-DIE 函数中新增一个 EXECUTABLE 关键字参数，借助这个参数可以导出含有用户代码的单一可执行文件，但遗憾的是这个导出的文件实际上是 SBCL 的 runtime 和 core 文件简单组合起来的产物，因此非常之大，即使一行代码也不写这个文件也有 25MB 之多。像 LispWorks 和 Allegro CL 这样的商业 Lisp 环境就提供了更强大的导出二进制程序的能力，称为 delivery，基本原理是分析用户代码中可能用到的所有 Common Lisp 特性，将不可能用到的部分从导出的 image 里直接清楚掉。由于诸如 eval, compile-file, load , disassemble 这样的函数其实也是 Common Lisp 环境的一部分，而在正常的 Lisp 程序里这些特性，尤其是编译器和求值器等都是不会使用的，所以这种办法可以有效地降低导出文件的尺寸。最基本的 hello world 程序，LispWorks 的导出文件可以和用 gcc 编译出来的 C 实现一样精简。而 Allegro CL 是没有导出独立可执行文件能力的，它导出的可执行文件仍然需要 allegro runtime，一个动态连接库的支持，并且每个二进制可执行文件需要配套一个 dxl 扩展名的文件存放具体的 Lisp image 数据。
SBCL 的 save-lisp-and-die 函数用法：
Function: #<FUNCTION SAVE-LISP-AND-DIE>
Its associated name (as in FUNCTION-LAMBDA-EXPRESSION) is SAVE-LISP-AND-DIE.
The function's arguments are: (CORE-FILE-NAME &KEY (TOPLEVEL #'TOPLEVEL-INIT)
(PURIFY NIL) (ROOT-STRUCTURES NIL)
(ENVIRONMENT-NAME auxiliary) (EXECUTABLE NIL))
其中对我们有帮助的主要参数有 CORE-FILE-NAME: 最后导出的二进制文件名，EXECUTABLE: 设置导出为可执行文件。
下面首先做一个简单的例子。打开 SBCL 环境，输入一个 hello 函数：(defun hello () (format t "hello, world!~%")) 然后导出并运行它：
binghe@binghe-laptop:~$ sbcl --no-userinit
This is SBCL 1.0, an implementation of ANSI Common Lisp.
More information about SBCL is available at <http://www.sbcl.org/>.
SBCL is free software, provided as is, with absolutely no warranty.
It is mostly in the public domain; some portions are provided under
BSD-style licenses. See the CREDITS and COPYING files in the
distribution for more information.
* (defun hello () (format t "hello, world!~%"))
HELLO
* (save-lisp-and-die "hello" :executable t)
[undoing binding stack and other enclosing state... done]
[saving current Lisp image into /home/binghe/hello:
writing 1912 bytes from the read-only space at 0x01000000
writing 1936 bytes from the static space at 0x05000000
writing 25370624 bytes from the dynamic space at 0x09000000
done]
binghe@binghe-laptop:~$ ./hello --noinform --no-sysinit --no-userinit --noprint --disable-debugger --eval '(progn (hello) (quit))'
hello, world!
虽然命令行很繁琐，但却可以保证不出错(而且你当然可以写一个wrapper脚本来代替手工输入大量固定参数)，并且上述导出的 hello 可执行文件在任何没有安装 SBCL 的同体系 Linux 系统下都可以正常执行：(一个长达 25MB 的只链接了基本 Linux 运行库并且内含整个 SBCL 的可执行文件)
binghe@binghe-laptop:~$ ldd hello
linux-gate.so.1 => (0xffffe000)
libdl.so.2 => /lib/tls/i686/cmov/libdl.so.2 (0xb7f30000)
libpthread.so.0 => /lib/tls/i686/cmov/libpthread.so.0 (0xb7f1e000)
libm.so.6 => /lib/tls/i686/cmov/libm.so.6 (0xb7ef8000)
libc.so.6 => /lib/tls/i686/cmov/libc.so.6 (0xb7dc7000)
/lib/ld-linux.so.2 (0xb7f51000)
binghe@binghe-laptop:~$ ls -l hello
-rwxr-xr-x 1 binghe staff 25550860 2006-12-03 21:10 hello
命令行参数可以通过 sb-ext:*posix-argv* 变量得到，和 C 的规则相同，第一个命令行参数是运行的程序本身，后面的就是用户输入的参数，但是 SBCL 程序自己的命令行参数不在此范围内。对于刚才导出的 hello 文件来说，如果带 a b c 三个参数执行的话：
binghe@binghe-laptop:~$ ./hello --noinform --no-sysinit --no-userinit a b c
* sb-ext:*posix-argv*
("./hello" "a" "b" "c")
此外还需要考虑更复杂的采用 asdf 加载的程序的处理。其实没有什么特别的，只需事先通过 clc:clc-require 或者 asdf:load-op 函数将所有代码加载到 Lisp 环境之中，然后 save-lisp-and-die 成可执行程序，最后只需选择适当的启动时执行函数即可。SBCL 的文档还提及，所有加载的外部动态库，导出 core 文件后重新加载时还会自动被加载回来，因此不必担心这方面的问题。
如果假设 SBCL 环境已经存在，那么就仍然可以做出很方便的独立文件，却有效降低的文件尺寸。例如一些只在本地使用的 Lisp 小程序，就可以采用下面的两种方式来处理：
第一种方法是对于单一的 Lisp 源代码文件的，只需用 compile-file 编译以后即可正常执行。Debian 的 SBCL 安装依赖于一个称为 binfmt 内核特性：通过识别非 elf 格式的二进制文件的文件头来调用其他程序来执行此文件，而让用户觉得好像是操作系统本身在运行这个程序。Debian 的 SBCL 环境提供了一个 sbcl-run 脚本来做这件事：
#!/bin/sh
# Wrapper script to run FASL or Lisp files quietly with Steel Bank
# Common Lisp. It is used by binfmt-support to execute SBCL fasls
# natively.
#
# -- René van Bevern <rvb@pro-linux.de>, Sun Aug 28 15:18:41 2005
if [ "$1" ]; then
program="$1"; shift
sbcl --noinform --userinit /dev/null --disable-debugger --eval
"(progn (load "$program ") (quit))" --end-toplevel-options "$@"
else
echo "Usage: $0 sbcl-program [arguments ...]"
fi
可以看到，这个脚本完成了代替用户输入一大堆基本参数的智能。这个脚本会被安装在 Linux 的 binfmt 子系统里。当前系统里所有的 binfmt 可以在 /var/lib/binfmts 里看到：
binghe@binghe-laptop:/var/lib/binfmts$ ls -l
合計 20
-rw-r--r-- 1 root root 45 2006-12-01 23:40 cmucl
-rw-r--r-- 1 root root 56 2006-09-10 21:24 python2.3
-rw-r--r-- 1 root root 56 2006-09-10 21:24 python2.4
-rw-r--r-- 1 root root 49 2006-12-03 06:12 sbcl
-rw-r--r-- 1 root root 62 2006-09-22 00:32 utf8script
binghe@binghe-laptop:/var/lib/binfmts$ cat sbcl
sbcl
magic
0
# FASL x0a
/usr/lib/sbcl/sbcl-run
就是说，SBCL 编译的 fasl 文件有固定的文件头(# FASL x0a)，如果操作系统发现某个可执行文件含有这个文件头，就会调用 /usr/lib/sbcl/sbcl-run 来运行它，下面是示例代码：(sb-echo.lisp)
(in-package :cl-user)
(defun echo (args)
(declare (type list args))
(format t "~{~A ~}~%" args))
(eval-when (:load-toplevel)
(echo (cdr *posix-argv*)))
上述代码直接用 compile-file 编译成 sb-echo.fasl 或者在 Emacs SLIME 里 c-c c-k 一下源代码以后只要加上可执行权限就可以直接使用了：
binghe@binghe-laptop:~/lisp/src$ ls -l sb-echo.fasl
-rwxr-xr-x 1 binghe staff 2607 2006-12-03 22:05 sb-echo.fasl
binghe@binghe-laptop:~/lisp/src$ ./sb-echo.fasl a b c
a b c
binghe@binghe-laptop:~/lisp/src$ ./sb-echo.fasl
binghe@binghe-laptop:~/lisp/src$ echo a b c
a b c
binghe@binghe-laptop:~/lisp/src$ echo
可以看到，这个程序跟 echo 命令的功能相似(不过其实还差得很远)。需要本地有SBCL并且正确安装配置了 binfmt 才行，带来的好处是二进制文件很小，这个例子里只有 2607 字节。
但是上述方法不适用于多个源代码文件的情况，为了能处理多个源代码的本地加载运行，SBCL 提供了 SB-EXECUTABLE 模块。这个模块能做出一种 shell 脚本，脚本里内含有复杂的 sbcl 启动参数，将脚本中其余部分的多个 fasl 文件本身加载到系统的 SBCL 环境中，然后再执行事先设置的启动函数。(这个模块只能在 *nix 环境下使用，win32 是不可能的了)
启动 SBCL 以后通过 (require :sb-executable) 即可加载 SB-EXECUTABLE。这个模块提供了一个函数 make-executable:
Function: #<FUNCTION SB-EXECUTABLE:MAKE-EXECUTABLE>
Its associated name (as in FUNCTION-LAMBDA-EXPRESSION) is
SB-EXECUTABLE:MAKE-EXECUTABLE.
The function's arguments are: (OUTPUT-FILE FASLS &KEY
(RUNTIME-FLAGS
'(--disable-debugger --no-userinit
--no-sysinit))
INITIAL-FUNCTION)
Function documentation:
Write an executable called OUTPUT-FILE which can be run from the shell, by 'linking' together code from FASLS. Actually works by concatenating them and prepending a #! header
Its defined argument types are:
(T T &KEY (:RUNTIME-FLAGS T) (:INITIAL-FUNCTION T))
Its result type is:
(VALUES (MEMBER NIL T) (SIGNED-BYTE 32) &OPTIONAL)
On Fri, Dec 1, 2006 05:37:43 PM [-8] it was compiled from:
SYS:CONTRIB;SB-EXECUTABLE;SB-EXECUTABLE.LISP.NEWEST
Created: Friday, December 1, 2006 05:21:57 AM [-8]
使用这个模块就可以处理多个源代码文件的问题了，示例代码如下：
第一个文件 a.lisp:
(in-package :cl-user)
(defun hello (args)
(format t "hello:~{ ~A~}~%" args))
第二个文件 b.lisp:
(in-package :cl-user)
(defun main ()
(hello (car *posix-argv*)))
下面演示进入一个 SBCL 环境，先编译这两个文件，然后将这两个文件做在一个可执行脚本里的过程：
binghe@binghe-laptop:~/lisp/src/sb-executable$ sbcl --no-userinit
This is SBCL 1.0, an implementation of ANSI Common Lisp.
More information about SBCL is available at <http://www.sbcl.org/>.
SBCL is free software, provided as is, with absolutely no warranty.
It is mostly in the public domain; some portions are provided under
BSD-style licenses. See the CREDITS and COPYING files in the
distribution for more information.
* (compile-file "a.lisp")
; compiling file "/home/binghe/lisp/src/sb-executable/a.lisp" (written 03 DEC 2006 10:24:07 PM):
; compiling (IN-PACKAGE :CL-USER)
; compiling (DEFUN HELLO ...)
; /home/binghe/lisp/src/sb-executable/a.fasl written
; compilation finished in 0:00:00
#P"/home/binghe/lisp/src/sb-executable/a.fasl"
NIL
NIL
* (compile-file "b.lisp")
; compiling file "/home/binghe/lisp/src/sb-executable/b.lisp" (written 03 DEC 2006 10:32:24 PM):
; compiling (IN-PACKAGE :CL-USER)
; compiling (DEFUN MAIN ...)
; /home/binghe/lisp/src/sb-executable/b.fasl written
; compilation finished in 0:00:00
#P"/home/binghe/lisp/src/sb-executable/b.fasl"
NIL
NIL
* (require :sb-executable)
("SB-EXECUTABLE")
* (sb-executable:make-executable "hello" '("a.fasl" "b.fasl") :initial-function 'main)
T
0
* (quit)
binghe@binghe-laptop:~/lisp/src/sb-executable$ ls -l hello
-rwxr-xr-x 1 binghe staff 4844 2006-12-03 22:35 hello
binghe@binghe-laptop:~/lisp/src/sb-executable$ ./hello a b c
hello: a b c
其实上如果检查生成的 hello 文件的内容，就会发现 hello 其实是下面这个脚本片段和两个 fasl 文件接在一起的：
#!/bin/sh --
exec sbcl --noinform --disable-debugger --no-userinit --no-sysinit --eval "(with
-open-file (i "$0 " :element-type '(unsigned-byte 8)) (loop while (< ret 2) whe
n (= (read-byte i) 10) count 1 into ret) (load i) (funcall (quote MAIN)) (quit))
" --end-toplevel-options ${1+"$@"}
奇妙的 SB-EXECUTABLE！不过很可惜这个方法还是无法处理带有 asdf 软件包的情况，如果你的程序依赖了任何 asdf 加载的软件包，就不能使用 SB-EXECUTABLE 了。事实上 SBCL 下没有尽善尽美的解决方案，还是去买 LispWorks 吧，在 LispWorks 下一切变得简单了。
255
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
