common-lisp - common lisp 实现在运行时修改堆栈大小

Question

是否有任何常见的 lisp 实现允许在运行时修改堆栈大小？堆的大小呢？

我正在使用 sbcl，显然这些是在启动可执行文件时定义的，之后无法更改。

Answer 1

例如 ECL 和 LispWorks 可以在运行时扩展堆栈。可以看到，当堆栈溢出时，两者都提供重新启动，以在必要时增加堆栈大小：

电子表格：

>  (defun s (n)
     (if (zerop n) 0 (+ 1 (s (1- n)))))

S

> (s 100000)

Condition of type: STACK-OVERFLOW
C-STACK overflow at size 4259840. Stack can probably be resized.

Available restarts:

1. (CONTINUE) Extend stack size
2. (RESTART-TOPLEVEL) Go back to Top-Level REPL.

Broken at S. In: #<process TOP-LEVEL>.
>> 

请参阅 ECL 内存管理文档：http ://ecls.sourceforge.net/new-manual/re86.html

LispWorks：

CL-USER 31 > (s 1000)

Stack overflow (stack size 15997).
  1 (continue) Extend stack by 50%.
  2 Extend stack by 300%.
  3 (abort) Return to level 0.
  4 Return to top loop level 0.

Type :b for backtrace or :c <option number> to proceed.
Type :bug-form "<subject>" for a bug report template or :? for other options.

LispWorks 中的变量允许自定义：SYSTEM:*STACK-OVERFLOW-BEHAVIOUR*. 请参阅http://www.lispworks.com/documentation/lw61/LW/html/lw-1440.htm#marker-887330。

在大多数实现中，堆会通过向操作系统请求更多内存来自动增长。下一个问题是：堆可以缩小吗？