점프와 쉼없는 나아감

common lisp 공부를 하면서 매우 궁금했던 것 중 하나는 어떻게 소스 코드를 컴파일하여 실행 코드를 만들어 내거나 또는 인터프리터로 실행시키느냐였다.  다른 프로그래밍 언어에 관한 입문서를 읽어 보면 대개 처음에 "Hello world"를 출력하는 코드를 설명하고 이를 컴파일하거나 실행하는 법을 설명하는데 common lisp 책에는 그런 것이 없었기 때문이다.  REPL 환경에서 "Hello world"를 출력하는 것이 시작이었고 그 뒤로도 계속 REPL 환경에서 대화식으로 프로그래밍하는 것만 있었다.  도대체 소스를 어떻게 컴파일한다거나 또는 실행시키는지 설명이 없었던 거다.

문법 공부하는 중에 틈틈히 이에 관한 자료를 찾아 본 결과 common lisp 구현마다 실행 파일(?)을 만들고 실행하는 법이 다르다는 것을 알았다.  또한 common lisp은 실행 파일(?)을 만드는 게 다른 프로그래밍 언어와는 많이 다르다는 것도 알았다. 어찌되었든 다른 언어에서는 처음부터 다뤄지는 중요한 것을 빼놓는 것을 보고 lisp 프로그래밍의 세계는 사뭇 다르다는 느낌을 받기도 했다.

다른 언어에서 빌드, 전개(deploy)라고 부르는 것 - 실행 파일을 만들어 소프트웨어를 사용할 수 있게 만드는 것 - 을 lisp에서는 delivery라고 하는 것 같다.  lisp은 실행 파일을 만드는 게 아니라 core image 라고 하는 것을 생성한 후 이 core image를 불러들여 실행시키는 방식인 거 같다. core image는 lisp 머신의 어떤 상태를 저장해 놓은 것으로 보면 될 듯 하다.  필요한 모듈들을 불러들이고 소스 파일을 컴파일하여 불러들여 실행할 준비를 갖춰 놓고 이 상태를 저장해 놓는 것이다.  이후 lisp 머신으로 이 image를 불러들이고 시작 함수를 호출해서 프로그램을 실행시키는 거다.  아예 lisp 머신을 포함해서 실행 파일 형식으로 core image를 생성할 수도 있다.  sbcl(Steel Bank CL)이 이 방식이고 Allegro CL도 실행해 보진 않았으나 문서를 살펴 보니 대충 이런 방식인 듯 하다.

간단히 "Hello world"를 실행하는 프로그램을 만드는 경우를 해 보면 다음과 같다.  lisp 구현은 sbcl을 사용했다.

먼저 "Hello world"를 출력하는 lisp 코드는 다음과 같다.

hello.lisp
(defun main ()
    (format t "Hello world~%"))

sbcl을 실행시키고 다음 순서로 컴파일, load 한 후 core image 를 생성한다.

c:\work\lisp> sbcl
* (compile-file "hello.lisp")

; compiling file "D:\\work\\lisp\\hello.lisp" (written 22 FEB 2007 07:03:32 PM):

; compiling (DEFUN MAIN ...)

; D:\work\lisp\hello.fasl written
; compilation finished in 0:00:00
#P"D:\\work\\lisp\\hello.fasl"
NIL
NIL
* (load "hello")

T
* (save-lisp-and-die "hello.exe" :executable t)
[undoing binding stack and other enclosing state... done]
[saving current Lisp image into D:\work\lisp\hello.exe:
writing 1960 bytes from the read-only space at 0x02000000
writing 1472 bytes from the static space at 0x05000000
writing 23617536 bytes from the dynamic space at 0x09000000
done]

c:\work\lisp>

이 core image 를 다음과 같이 실행시키면 된다.

c:\work\lisp>hello --noinform --eval "(progn (main) (quit))"

core image 크기는 대략 24MB 이다.  어찌되었든 이 파일만 있으면 실행시킬 수 있다.  java로 비교하자면 class 파일들을 묶고 여기에 가상 머신까지 합쳐서 배포 파일을 만드는 셈이다.


core image에 compiler, debugger, REPL 까지 포함해서 구성하면 실행 중인 프로그램에 접속해서 디버깅, 코드 수정, 컴파일, 패치도 가능한 모양이다.

어찌되었든 lisp은 매우 독특하고 매력있는 언어다.