compiler-construction - 是否有Lisp native 代码编译器？

Question

Locked. This question and its answers are locked，因为该问题是题外话，但具有历史意义。它目前不接受新的答案或互动。








Lisp是否有本机代码编译器？它具有动态性质，垃圾回收，宏以及其他功能，甚至可以编译到什么程度？

最佳答案

许多Lisp编译器都编译为“本机”代码。 “本地”在这里表示“机器代码”(32位或64位模式下的x86，PowerPC，SPARC等)。

其他问题:

“非本机代码”编译器可以生成单个文件可执行文件吗？ ->是的。

“本机代码”编译器可以生成单个文件可执行文件吗？ ->是的。

“本地”如何为“本地”？ -> Lisp系统大多数时候会拥有自己的内部数据结构布局(CLOS类)，自己的错误处理(“条件”)，自己的内存管理(垃圾收集)，自己的库，...

Lisp可以在没有GC的情况下运行吗？ ->通常不会。也有异常(exception)。

应用程序大小如何？ ->默认情况下，生成Lisp应用程序的简单方法通常会导致大型可执行文件。可执行文件包括整个Lisp，包括其库，所有符号的名称，有关函数自变量列表的信息，编译器，调试器，源代码位置信息等。一些编译器还会生成较大的代码(SBCL是示例)。

有缩小应用程序大小的方法吗？ ->这取决于Lisp系统。诸如LispWorks和Allegro CL的商业Lisp系统都可以。对于应用程序交付，他们可以删除未使用的代码，删除调试信息，删除Lisp的各个部分(库，编译器等)等等。

可以使Common Lisp系统生成小的可执行文件。我的意思是很小。 ->不是。可执行文件是大(CCL)或非常大(SBCL)。一些Common Lisp系统可以生成中等大小的可执行文件。但是没有人能真正生成小型可执行文件。

真的没有办法生成很小的可执行文件吗？ ->几年前，编写了无需大型库即可生成相对紧凑的C代码的编译器。但是这些编译器无法维护。

还有其他缩小可执行文件的方法吗？ ->如果要运行多个Lisp应用程序，则可以在一个或多个共享库中重用运行时库，编译器和库。这样，当运行时已作为共享库(或类似库)安装时，传递的代码将更小。

如何找出我正在使用的Lisp支持作为应用程序交付？ ->阅读手册并询问其他用户。

好的，因此大多数Common Lisp系统无法生成微型应用程序。还有其他Lisp方言可以生成较小的可执行文件。 ->是的，某些Scheme编译器可以。

Common Lisp如何处理运行时错误？ ->取决于生成应用程序的方式。默认情况下，您将获得Lisp调试器(除非已将其删除)。但是您可以在应用程序中使用自己的错误处理例程，并且可以阻止调试器出现。

当生成很小的可执行文件不是一个时，Common Lisp有哪些特别的优势？ ->您可以包括一个REPL以与应用程序进行交互，可以使用包含的编译器在运行时编译新的(或更改的代码)，可以使用FASL(编译的Lisp代码)加载器在运行时加载其他本机代码(请考虑插件，补丁程序，扩展名...)，可以进行复杂的错误处理，包括错误恢复，...

但Lisp是动态的吗？ ->是的，动态意味着它可以在运行时更改很多东西。例如，在Common Lisp中，您可以在运行时更改CLOS类，并且该类的实例将采用这些更改。但是，各种Lisp系统具有删除某些动态功能的不同方法。结构没有CLOS类动态。您可以声明类型并使用不同的优化设置(速度，安全性，调试等)进行编译。您可以内联函数。和更多。

查看函数的已编译代码的一种简单方法是使用Common Lisp函数DISASSEMBLE。 x86-64 Mac上Clozure CL中的示例

? (defun foo (x y) (if (= x y) (sin x) (* y (cos x))))
FOO
? (disassemble 'foo)
L0
  [0]     (leaq (@ (:^ L0) (% rip)) (% fn))
  [7]     (cmpl ($ 16) (% nargs))
  [10]    (jne L209)
  [16]    (pushq (% rbp))
  [17]    (movq (% rsp) (% rbp))

...

  [172]   (pushq (@ 77752))
  [179]   (jmpq (@ 10 (% temp0)))
L189
  [189]   (leaq (@ (:^ L0) (% rip)) (% fn))
  [196]   (jmpq (@ .SPNVALRET))
L209
  [209]   (uuo-error-wrong-number-of-args)
NIL

DISASSEMBLE的输出显然取决于处理器体系结构，操作系统，使用的Lisp编译器和当前的优化设置。

关于compiler-construction - 是否有Lisp native 代码编译器？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/913671/

上一篇：functional-programming - 自学SICP你会用什么语言？

下一篇：list - 检查项目是否在列表中(Lisp)

相关文章：

list - 在列表中，如何通过将列表作为参数的函数对列表进行修改？

lisp - 外部 lisp 代码缩进器

c - GCC编译时分错误

java - 数据类型的表示是否应由其语言规范严格指定？

LISP:如何获得列表的总和？ (没有全局变量)

lisp - 我可以将 lambda 与即时 lambda 列表(没有宏)一起使用吗？

lisp - Lisp 中的所有数据都是不可变的吗？

c - 函数的隐式声明

C 编译器预处理器输出

java - 我自己的Java编译器和字节码: Problems invoking functions

Answer 1

许多Lisp编译器都编译为“本机”代码。 “本地”在这里表示“机器代码”(32位或64位模式下的x86，PowerPC，SPARC等)。

其他问题:

“非本机代码”编译器可以生成单个文件可执行文件吗？ ->是的。

“本机代码”编译器可以生成单个文件可执行文件吗？ ->是的。

“本地”如何为“本地”？ -> Lisp系统大多数时候会拥有自己的内部数据结构布局(CLOS类)，自己的错误处理(“条件”)，自己的内存管理(垃圾收集)，自己的库，...

Lisp可以在没有GC的情况下运行吗？ ->通常不会。也有异常(exception)。

应用程序大小如何？ ->默认情况下，生成Lisp应用程序的简单方法通常会导致大型可执行文件。可执行文件包括整个Lisp，包括其库，所有符号的名称，有关函数自变量列表的信息，编译器，调试器，源代码位置信息等。一些编译器还会生成较大的代码(SBCL是示例)。

有缩小应用程序大小的方法吗？ ->这取决于Lisp系统。诸如LispWorks和Allegro CL的商业Lisp系统都可以。对于应用程序交付，他们可以删除未使用的代码，删除调试信息，删除Lisp的各个部分(库，编译器等)等等。

可以使Common Lisp系统生成小的可执行文件。我的意思是很小。 ->不是。可执行文件是大(CCL)或非常大(SBCL)。一些Common Lisp系统可以生成中等大小的可执行文件。但是没有人能真正生成小型可执行文件。

真的没有办法生成很小的可执行文件吗？ ->几年前，编写了无需大型库即可生成相对紧凑的C代码的编译器。但是这些编译器无法维护。

还有其他缩小可执行文件的方法吗？ ->如果要运行多个Lisp应用程序，则可以在一个或多个共享库中重用运行时库，编译器和库。这样，当运行时已作为共享库(或类似库)安装时，传递的代码将更小。

如何找出我正在使用的Lisp支持作为应用程序交付？ ->阅读手册并询问其他用户。

好的，因此大多数Common Lisp系统无法生成微型应用程序。还有其他Lisp方言可以生成较小的可执行文件。 ->是的，某些Scheme编译器可以。

Common Lisp如何处理运行时错误？ ->取决于生成应用程序的方式。默认情况下，您将获得Lisp调试器(除非已将其删除)。但是您可以在应用程序中使用自己的错误处理例程，并且可以阻止调试器出现。

当生成很小的可执行文件不是一个时，Common Lisp有哪些特别的优势？ ->您可以包括一个REPL以与应用程序进行交互，可以使用包含的编译器在运行时编译新的(或更改的代码)，可以使用FASL(编译的Lisp代码)加载器在运行时加载其他本机代码(请考虑插件，补丁程序，扩展名...)，可以进行复杂的错误处理，包括错误恢复，...

但Lisp是动态的吗？ ->是的，动态意味着它可以在运行时更改很多东西。例如，在Common Lisp中，您可以在运行时更改CLOS类，并且该类的实例将采用这些更改。但是，各种Lisp系统具有删除某些动态功能的不同方法。结构没有CLOS类动态。您可以声明类型并使用不同的优化设置(速度，安全性，调试等)进行编译。您可以内联函数。和更多。

查看函数的已编译代码的一种简单方法是使用Common Lisp函数DISASSEMBLE。 x86-64 Mac上Clozure CL中的示例

? (defun foo (x y) (if (= x y) (sin x) (* y (cos x))))
FOO
? (disassemble 'foo)
L0
  [0]     (leaq (@ (:^ L0) (% rip)) (% fn))
  [7]     (cmpl ($ 16) (% nargs))
  [10]    (jne L209)
  [16]    (pushq (% rbp))
  [17]    (movq (% rsp) (% rbp))

...

  [172]   (pushq (@ 77752))
  [179]   (jmpq (@ 10 (% temp0)))
L189
  [189]   (leaq (@ (:^ L0) (% rip)) (% fn))
  [196]   (jmpq (@ .SPNVALRET))
L209
  [209]   (uuo-error-wrong-number-of-args)
NIL

DISASSEMBLE的输出显然取决于处理器体系结构，操作系统，使用的Lisp编译器和当前的优化设置。