LISPUSER

SBCL はオープンソース（フリーソフトウェア）な ANSI Common Lisp のコンパ イラとランタイムです．ネイティブコンパイラ，デバッガ，その他の拡張が統 合された対話的環境を提供します．

SBCL は多くのプラットフォーム上で動作します．現在サポートされているプラッ トフォームやどのように新しいプラットフォームに SBCL を移植するかについ てより詳細な情報については プラットフォームサポートページ を参照して ください．

SBCL の最新バージョンは 2007/6/26 にリリースされた 1.0.7 です．リリース ノートは ニュース ページで参照できます． お使いのプラットフォーム向 けの SBCL 配布物をダウンロードするには SBCL の入手方法 ページを御覧 ください．

SBCL の TeXInfo 形式のマニュアルは現在執筆中です．最新の TeXInfo ソース はソースコードに含まれている doc/manual ディレクトリに含まれています．

内部実装についての詳細に興味のある人は SBCL Internals という CLiki から読んでゆくと良いでしょう．0.9.9 から Win32 対応パッチのマージが開始 されたので，今後は Windows でも SBCL が使えるようになるのかもしれません ね．現在でも SBCL のビルド程度は可能ですが，添付のモジュール等の対応具 合もあり趣味人以外が使える段階ではないです．

0.9.17 から、MSI 形式のインストーラが用意されて、インストールが楽になり つつあります。まぁ、Win32 上ではスレッドも使えないうえ、 Win32 サポート はほとんどないので、CLISP に比べてあまりメリットがありませんが、一応 SLIME 環境も構築できています。イメージのサイズが大きすぎて未だに PHS 回 線しかない私には配布できません。

http://prdownloads.sourceforge.net/sbcl/sbcl-0.9.17-x86-windows-binary.msi?download

• enhancement: experimental function SB-EXT:RESTRICT-COMPILER-POLICY allows assining a global minimum value to optimization qualities (overriding proclamations and declarations).
• enhancement: closed over variables can be stack-allocated on x86 and x86-64.
• performance bug fix: GETHASH and (SETF GETHASH) are once again non-consing.
• optimization: STRING-TO-OCTETS is now up to 60% faster for UTF-8.
• bug fix: using obsoleted structure instances with TYPEP and generic functions now signals a sensible error.
• bug fix: threads waiting on GET-FOREGROUND can be interrupted. (reported by Kristoffer Kvello)
• bug fix: backtrace construction is now more careful when making lisp-objects from pointers on the stack, to avoid creating bogus objects that can be seen by the GC.
• bug fix: defaulting of values in contexts expecting more than 7 variables now works on x86-64. (reported by Christopher Laux)

• MOP の改良: SB-MOP:SPECIALIZER のユーザー定義サブクラスサポートが改良されました。 実験的なインターフェース関数 SB-PCL:MAKE-METHOD-SPECIALIZERS-FORM が DEFMETHOD 展開の一部として呼ばれるようになり、 評価された時に特定子 (specializer) リストを生成するフォームを生成します。 SB-PCL:[UN]PARSE-SPECIALIZER-USING-CLASS はデバッグやイントロスペクトのサポートを提供します。
• マイナーな非互換変更: 非サポートだった spinlock のインターフェースが変更になりました。 フリーなスピンロックは NIL の値を持ち、閉じたスピンロックはロックを取得しているスレッドそのものを値として保持します。
• 改善: WITHOUT-INTERRUPTS は ALLOW-WITH-INTERRUPTS と WITH-LOCAL-INTERRUPTS をローカルマクロとして束縛するようになりました。詳細は docstring を参照してください
• 改善: ソケットストリームの名前が "a constant string" にかわって "a socket" になりました
• 改善: SB-POSIX が lockf() をサポートするようになりました (Thanks to Zach Beane.)
• 改善: SB-POSIX が getcwd() をサポートするようになりました (Thanks to Tassilo Horn.)
• 改善: ジェネリック関数に対する SB-INTROSPECT:FUNCTION-ARGLIST の引数表示が改良されました (Thanks to Tobias C. Rittweiler)
• 最適化: bignum の表示速度が 20-40% 高速化しました (bignum のサイズによります)
• バグ修正: WITH-MUTEX や WITH-RECURSIVE-LOCK は Linux においてインタラプトセーフになりました
• バグ修正: メソッドやスロットのオフセット、定数値などを保持する CLOS キャッシュがスレッド/インタラプトセーフになりました
• バグ修正: ジェネリック関数のディスパッチ関数更新がスレッド/インタラプトセーフになりました
• バグ修正: ADD/REMOVE-METHOD がスレッド/インタラプトセーフになりました
• バグ修正: EQL-specializers のインターンがスレッド/インタラプトセーフになりました
• バグ修正: SB-POSIX あるいは SB-BSD-SOCKETS に依存した ASDF システムが :FORCE T 指定でロード可能になりました
• バグ修正: 適用メソッドの計算処理の割り込みに対する安全性が向上しました

• new contrib: 実験的なコードカバレッジツール sb-cover モジュールが含まれるようになりました
• 最適化: 1 バイトエンコーディングと UTF-8 に対する STRING-TO-OCTETS が大幅に高速化しました
• 最適化: (AREF FOO (+ INDEX <constant>)) 形式の呼び出しは、もしコンパイラが (+ INDEX <constant>) の境界チェックと FOO の要素が少なくとも 8bit の幅を持っている事を特定できる場合に、x86-64 プラットフォームにおいてより効率のよいコードを生成するようになりました
• 改善: 新しい実験的な同期タイムアウトが提供されるようになりました。詳細は SB-SYS:WITH-DEADLINE を参照してください
• 改善: シンボル名の衝突がエラーを発生させたとき、衝突したシンボルが常にパッケージプリフィックス付きで表示されるようになりました (thanks to Kevin Reid)
• 改善: ステップ実行が SPARC や MIPS プラットフォーム上で再びサポートされるようになりました (It is also now more likely to work on CheneyGC builds on the PPC.)
• 改善: sb-sprof は正確な呼び出し回数を追跡・報告するようになりました
• バグ修正: SB-MOP:SPECIALIZER の非標準なサブクラスの扱いがより正確になりました
• 非互換な変更: 世代別ガベージコレクタを使っているプラットフォームにおいて PURIFY はもはやダイナミック領域のデータを静的領域やリードオンリー領域へとコピーすることはありません
• バグ修正: GETHASH, (SETF GETHASH), CLRHASH や REMHASH はインタラプトセーフになりました
• バグ修正: 競合状態によって、ときどき GC が "SIG_STOPFORGC blocked at a bad place" というメッセージとともにクラッシュするバグが修正されました
• バグ修正: マクロのラムリスト中の &ENVIRONMENT 変数は無視するように宣言するとこが可能となりました
• バグ修正: DEFSETF のラムダリストが &ENVIRONMENT を含んでいない場合に STYLE-WARNING が通知されないようになりました (regression from 1.0.4.)
• バグ修正: システムが GC を抑止した状態で動作していても非同期割り込みが可能となりました
• バグ修正: DECLARE フォームがトップレベルで評価された場合にただ NIL を返すのではなく、エラーとなるようになりました
• バグ修正: DEBUG を高レベルに設定した状態でコンパイルされた関数をディスアセンブルしようとした場合にフォームのルックアップエラーが通知されていたのが修正されました (reported by Peter Graves)

• 非互換な変更： host-ent-name, host-ent-addresses に対する writer メソッドが 削除されました – 値を変更しても DNS の情報は更新されないから
• マイナーな非互換変更： JOIN-THREAD インターフェースが試験的に変更されました
• ドキュメンテーション: マニュアルのクラススロットのセクションに reader/writer メソッドが載りました (Richard M Kreuter に感謝)
• ドキュメンテーション: 非同期イベントからの unwind が安全でない事がドキュメント化されました
• ドキュメンテーション: SB-SYS:WITHOUT-GCING はマルチスレッドアプリケーションにおいては安全でない旨がドキュメント化されました
• 最適化: GET-INTERNAL-REAL-TIME が POSIX プラットフォームにおいて最適化されました (最適化のヒントをくれた James Anderson に感謝)
• 最適化: REPLACE, SUBSEQ, COPY-SEQ はより多くのケースで最適化されるようになりました
• 最適化: STRING-{EQUAL,LESSP,GREATER-P} やその NOT 変種 (STRING-NOT-EQUAL など) が cons セルを消費しないようになりました
• 最適化: CHAR-{EQUAL,LESSP,GREATERP} やその NOT 変種の直接呼び出しが cons セルを消費しないようになりました
• 最適化: EQUAL ハッシュテーブルが SXHASH を全てのデータ型に対して使用することはなくなりました。EQUAL == EQL な型に関しては、かわりに EQL ハッシュを使います
• 最適化: インライン化されていない AREF や (SETF AREF) が大きく高速化しました
• 最適化: 新しい STRING-OUTPUT-STREAM の実装はサイズの大きい出力に対して高速化し、平均で 30% ほど消費するコンスセルの量が低減しました
• 改良: XREF 情報が SYMBOL-VALUE や定数によって作られたグローバル変数の情報も収集するようになりました
• 改良: SIGINT は SB-SYS:INTERACTIVE-INTERRUPT コンディションを通知するようになりました
• バグ修正: FILE-POSITION は ANSI 規格が NIL を返す事を要求しているケースでエラーを通知することがありました
• バグ修正: ADJUST-ARRAY が interrupt-safe になりました
• バグ修正: fd-handler の追加/削除が interrupt-safe になりました
• バグ修正: C へのインライン呼び出しが x86/Darwin 上で 16 バイトスタックアラインメントを保証するようになりました
• バグ修正: CLOS 実装内の不適切な型宣言が修正されました (James Anderson の報告によるものです)
• バグ修正: x86-64 上で ROOM が不正なレポートを返すバグが修正されました (Lutz Euler に感謝)
• バグ修正: CLHS の要求に沿って DEFSETF は &ENVIRONMENT を受けつけるようになり、また &AUX を受けつけなくなりました. (Samium Gromoff の報告によるものです)
• バグ修正: 未束縛の変数への参照はエラーを通知するようになりました (Marco Monteiro の報告によるものです)
• バグ修正: 未使用の値を使った / はセーフコード内では削除されないようになりました (Marco Monteiro と Kevin Reid に感謝)
• バグ修正: ファイル内の一行に書き込める文字数が無制限になりました
• バグ修正: 非同期割り込みによって生じていたいくつかの GC のデッドロックが GC の割り込みを抑制することによって修正されました
• バグ修正: GETHASH, (SETF GETHASH), CLRHASH, REMHASH におけるいくつかの割り込みの問題が修正されました
• バグ修正: *BREAK-ON-SIGNALS* の束縛する値が型指定子でなくてももはや無限再帰が生じないようになりました
• バグ修正: SB-EXT:MUFFLE-CONDITIONS 宣言は DEFMETHOD 本体内での不要な警告を引き起こさないようになりました (Kevin Reid の報告によるものです)
• バグ修正: 正しい変数情報の &environment 引数がバイトコンパイルの間に展開されるマクロに渡されるようになりました （Samium Gromoff の報告によるものです)
• バグ修正: bignum に対するハッシュ関数が過度の衝突を起こす論理エラーが修正されました (Faré Rideau の報告によるものです)
• バグ修正: 配列要素の変更は配列の SXHASH 値の変更を生じさせていましたが、これは文字列とビットベクタにのみ許される挙動しでした (0.9.16 で導入されたバグです)
• 改良: x86-64/darwin 移植版ですべてのテストが通るようになりました (デバッガのテストは除きます) しかし、残課題の修正が終るまでは実験的な版だとすべきです。
• 改良: 重複キーをもった CASE 節がスタイル警告を通知するようになりました (Kevin Reid に感謝)
• 改良: macos/x86 と macos/x86-64 で不正なインストラクションやメモリ保護違反を例外ハンドラで捉えられるようになりました (エラー処理や GC の開発に有効です).

• 新しいプラットフォーム: x86-64/darwin (MacOS) の実験的サポート
• 非互換な変更: 利用可能な場合には gethostbyaddr, gethostbyname にかわって、ほとんどのプラットフォームでスレッドセーフな getaddrinfo や getnameinfo などのソケット関数を使うように変更されました。結果として、それらのプラットフォームでは HOST-ENT の ALIASES フィールドは常に NIL を返すようになります。
• 変更: コアを埋め込んだランタイム (たとえば :EXECUTABLE T で保存されたもの) は起動時にバナー文字列を表示しないようになりました。これはちょうどコマンドライン引数で --noinform が渡された場合と同じ動作です。(thanks to Kevin Reid)
• 新しい実験的機能： JOIN-THREAD の追加 (by NIIMI Satoshi)
• 最適化: 型指定なしの alien value （FFI で使う値）を用いるコードが高速化されました
• 最適化: コンパイラは、より多くの場合に SEARCH 関数を展開するようになりました
• 最適化: x86-64 上ので型チェックがよりコンパクトなコードになりました (thanks to Lutz Euler)
• バグフィックス: 標準化されている COMMON-LISP のスペシャル変数を loop 用変数として利用しても、余計なパッケージロックの警告がでなくなりました (reported by Eric Marsden)
• バグフィックス: (SINGLE-FLOAT 1.0 2.0) のように範囲指定されたローカルなループ変数の宣言がコンパイル時エラーにならないようになりました (reported by Andras Simon)
• バグフィックス: >= と <= が NaN に対して誤った結果を返していました (x86-64 ではまだいくつか NaN 関連のバグが残っています)
• バグフィックス: #= や ## リーダーマクロが呼び出し可能なインスタンスとも正しく組み合わせられるようになりました
• バグフィックス: 関数の引数に対する型チェックが誤ったレキシカル環境のコンパイラポリシー設定を使ってコンパイルされていた (1.0.2, 1.0.3)
• バグフィックス: 規格で要求されているとおり SHADOW は文字修飾子として文字列を受け取るようになった (thanks to Eric Marsden)
• バグフィックス: 非ベース文字列 (no-base string) を引数として外部関数 (foreign function) を呼び出した場合の GC の安全性に関する問題が修正されました
• バグフィックス: リーダエラーのような致命的なコンパイラの警告に関するより一貫したエラー出力
• バグフィックス: バックトレース内で関数が正確な名前でな NIL と表示されてしまう (reported by Edi Weitz, regression in 1.0.2)

• 新しく NetBSD/PPC プラットフォームがサポートされました (thanks to Aymeric Vincent)
• 最適化： (AREF FOO (+ INDEX <constant>)) 形式の呼び出しは、もしコンパイラが (+ INDEX <constant>) の境界チェックが不要で、かつ要素が少なくとも 8bit の幅を 持っていることを決定できる場合に、x86 上でより効率的なコードを生成するようになりました。
• バグフィックス: 未定義変数への参照は、通常コンパイラにおけるトップレベルフォームと 同様の扱いをされるようになりました。
• バグフィックス: ビルド用スクリプトが bash でない /bin/sh で再び動作するようなりました。(thanks to Magnus Henoch)
• バグフィックス: NetBSD 上で asdf-install の TAR-PROGRAM として "gtar" を使うようになりました。 (thanks to Jon Buller)
• 改善: 複雑な関数のコンパイルがより高速になりました
• 改善: SB-POSIX に readlink サポートが追加されました (thanks to Richard M Kreuter)

関連設定ファイルあれこれ．環境は Gentoo Linux + SBCL CVS 版 9.17. です．

.emacs の SBCL 固有部分 – .emacs

:(defun sbcl-start ()

 (interactive)
 (shell-command "sbcl --core /home/onjo/local/lib/sbcl/main.core --load /home/onjo/.slime.lisp &"))

SLIME 用設定ファイル – .slime.lisp

(setq swank::*coding-system* "utf-8-unix") (swank:create-server :port 4005 :dont-close t))

作業用イメージ作成シェルスクリプト – make-sbcl-image

#!/bin/sh

LANG=C sbcl --noinform --no-print <<EOT
(eval-when (:load-toplevel :execute)
  (require :asdf)
  (require :asdf-install)
  (require :sb-rotate-byte)
  (require :sb-md5)
  (require :sb-posix)
  (require :sb-rt)
  (require :sb-simple-streams)
  (require :sb-bsd-sockets)
  ;; (require :sb-aclrepl)
)

(pushnew
  (merge-pathnames "lisp/asd/" (user-homedir-pathname))
  asdf::*central-registry*)

(asdf:oos 'asdf:load-op :cl-fad)
(asdf:oos 'asdf:load-op :cl-interpol)
(asdf:oos 'asdf:load-op :cl-ppcre)
(asdf:oos 'asdf:load-op :cl-who)
(asdf:oos 'asdf:load-op :html-template)
(asdf:oos 'asdf:load-op :iterate)
(asdf:oos 'asdf:load-op :unification)
(asdf:oos 'asdf:load-op :cl-dot)
#-sbcl (asdf:oos 'asdf:load-op :md5)
(asdf:oos 'asdf:load-op :xmls)
(asdf:oos 'asdf:load-op :s-xml)
(asdf:oos 'asdf:load-op :s-xml-rpc)
(asdf:oos 'asdf:load-op :cffi)
(asdf:oos 'asdf:load-op :cffi-uffi-compat)
(asdf:oos 'asdf:load-op :yacc)
(asdf:oos 'asdf:load-op :kmrcl)
(asdf:oos 'asdf:load-op :cl-plus)
(asdf:oos 'asdf:load-op :cl-utilities)
(asdf:oos 'asdf:load-op :json)
(asdf:oos 'asdf:load-op :fiveam)
(asdf:oos 'asdf:load-op :screamer)
(asdf:oos 'asdf:load-op :log4cl)
(asdf:oos 'asdf:load-op :series)
(asdf:oos 'asdf:load-op :ironclad)
(asdf:oos 'asdf:load-op :swank)

#+nil
(progn
  (asdf:oos 'asdf:load-op :uffi)
  (asdf:oos 'asdf:load-op :clsql)
  (asdf:oos 'asdf:load-op :clsql-uffi)
  (asdf:oos 'asdf:load-op :clsql-sqlite3)
  (asdf:oos 'asdf:load-op :curl)

  (asdf:oos 'asdf:load-op :puri)
  (asdf:oos 'asdf:load-op :acl-compat)
  (asdf:oos 'asdf:load-op :htmlgen)
  (asdf:oos 'asdf:load-op :aserve)
  (asdf:oos 'asdf:load-op :webactions))

(asdf:oos 'asdf:load-op :lw-compat)
(asdf:oos 'asdf:load-op :closer-mop)
(asdf:oos 'asdf:load-op :contextl)
(asdf:oos 'asdf:load-op :cldoc)
(asdf:oos 'asdf:load-op :html-encode)
(asdf:oos 'asdf:load-op :colorize)
(asdf:oos 'asdf:load-op :cxml)
;; #+clisp (asdf:oos 'asdf:load-op :clisp-sqlite)
(asdf:oos 'asdf:load-op :rt)

(asdf:oos 'asdf:load-op :clsql)
(asdf:oos 'asdf:load-op :clsql-uffi)
(clsql-sys::push-library-path #p"/usr/lib/")
(asdf:oos 'asdf:load-op :clsql-sqlite3)

(asdf:oos 'asdf:load-op :iso8601-date)
(asdf:oos 'asdf:load-op :local-time)
(asdf:oos 'asdf:load-op :cl-store)
(asdf:oos 'asdf:load-op :cl-prevalence)
;;(load (merge-pathnames "lisp/unstable/lisa/install.lisp" (user-homedir-pathname)))

;; (asdf:oos 'asdf:load-op :lisa)
(load (merge-pathnames "lisp/lib/common/XML/Load-XMLisp.lisp" (user-homedir-pathname)))

(loop repeat 10 do (gc :full t))
(let ((core (merge-pathnames "main.core"
                             (or (sb-posix:getenv "SBCL_HOME") "./"))))
  (save-lisp-and-die core :purify t))
(exit)
EOT

1.0.1 から入った新しい XREF 機能は、SLIME のサポートも同時に入ったため便利です。なので関連ドキュメントの翻訳。

http://www.sbcl.org/manual/Efficiency.html や http://www.sbcl.org/manual/Threading.html の翻訳