Question

如何在SBCL中构建独立的可执行文件？我试过了

; SLIME 2.20
CL-USER> (defun hullo ()
                     (format t "hullo"))
HULLO
CL-USER> (sb-ext:save-lisp-and-die "hullo" :toplevel #'hullo :executable t)

但这只会产生以下错误。

Cannot save core with multiple threads running.

Interactive thread (of current session):
  #<THREAD "main thread" RUNNING {10019563F3}>

Other threads:
  #<THREAD "Swank Sentinel" RUNNING {100329E073}>,
  #<THREAD "control-thread" RUNNING {1003423A13}>,
  #<THREAD "reader-thread" RUNNING {1003428043}>,
  #<THREAD "swank-indentation-cache-thread" RUNNING
     {1003428153}>,
  #<THREAD "auto-flush-thread" RUNNING {1004047DA3}>,
  #<THREAD "repl-thread" RUNNING {1004047FA3}>
   [Condition of type SB-IMPL::SAVE-WITH-MULTIPLE-THREADS-ERROR]

我做错了什么？

Answer 1

你做错了是在多个线程运行时尝试保存图像。与Lisp中的许多错误不同，错误消息准确地解释了问题所在。

如果您在sbcl手册here中查找该函数，那么您会发现确实可能无法保存运行多个线程的图像。额外的线程来自swank（SLIME的CL一半）。手册说你可以向*save-hooks*添加功能，将多余的线程和函数销毁到*init-hooks*以恢复线程。

解决这一问题的一种方法是在图像运行时不保存图像，而是直接在终端启动sbcl（注意：没有readline支持），加载程序并从那里保存。

使用粘液是不同的。理论上有SWANK-BACKEND:SAVE-IMAGE函数，但我不确定它是否有效。此外，保存图像会杀死您可能希望首先进行分叉（SB-POSIX:FORK）的过程，除非您使用的是Windows。但是由于没有明确指定和文件描述符问题（因为如果你尝试fork->close swank connection->save and die），分叉会导致问题，那么你可能会发现父进程中的连接已关闭（或更糟糕的是，通过显示打开但在某些情况下关闭而损坏低等级））。人们可以在网上阅读这些内容。请注意，由于sbcl线程的实现方式，只分叉克隆的线程和其他线程未克隆。因此，分叉然后保存应该可以工作，但是由于部分粘液状态而在运行可执行文件时可能会导致问题。

您可能对buildapp感兴趣。

如果你想在你保存的应用程序中使用slime，你可以加载swank并开始侦听套接字或端口（可能带有一些命令行参数），然后在Emacs中你可以用slime连接到那个swank后端。

Answer 2

您必须从新的sbcl运行save-lisp-and-die，而不是从Slime运行。 Dan Robertson解释了更多。

第一次很麻烦，但你可以将它放在Makefile中并重新使用它。不要忘记加载依赖项。

build:
    sbcl --load cl-torrents.asd \
         --eval '(ql:quickload :torrents)' \ 
         --eval '(use-package :torrents)' \ # not mandatory
         --eval "(sb-ext:save-lisp-and-die #p\"torrents\" :toplevel #'main :executable t)"

quickload意味着Quicklisp已经加载，如果您在计算机上安装了Quicklisp，可能就是这种情况，因为您的~/.sbclr包含quicklisp加载脚本（(load quicklisp-init)）。

你可以看看buildapp（如上所述），这是一款仍然很受欢迎的应用程序，可用于SBCL和CCL。它在Debian中。 http://lisp-lang.org/wiki/article/buildapp示例用法类似于

buildapp --output myapp \
         --asdf-path . \
         --asdf-tree ~/quicklisp/dists \
         --load-system my-app \
         --entry my-app:main

但另请参阅Roswell，一个更通用的工具，也应该构建可执行文件，但它的记录较少。 https://roswell.github.io/

如果你想在CI系统上构建可执行文件（比如Gitlab CI），你可能会喜欢已经安装了SBCL，其他lisps和Quicklisp的lisp Docker镜像，如果你想解析命令行参数，请参阅{ {3}}和（我的）教程：https://lispcookbook.github.io/cl-cookbook/testing.html#gitlab-ci

SBCL：构建一个独立的可执行文件

2 个答案: