1

为什么这段代码会用 CMUCL 溢出堆？即使我给它 400MB 内存(setq extensions:*bytes-consed-between-gcs* 400000000)CMUCL 仍然会窒息它。

; [GC threshold exceeded with 12,012,544 bytes in use.  Commencing GC.]
; [GC completed with 188,064 bytes retained and 11,824,480 bytes freed.]
; [GC will next occur when at least 400,188,064 bytes are in use.]
; [GC threshold exceeded with 400,202,280 bytes in use.  Commencing GC.]
; [GC completed with 207,120 bytes retained and 399,995,160 bytes freed.]
; [GC will next occur when at least 400,207,120 bytes are in use.]

这段代码在 CCL 和 SBCL 上运行正常，尽管我没有查看它们的内存使用情况。

这是 CMUCL 中的错误吗？我相信所有这些函数都是尾递归的。

(defun sqrt-iter (guess x)
  (if (good-enough? guess x)
      guess
      (sqrt-iter (improve guess x)
                 x)))

(defun improve (guess x)
  (average guess (/ x guess)))

(defun average (x y)
  (/ (+ x y) 2))

(defun good-enough? (guess x)
  (< (abs (- (* guess guess) x)) 0.001))

(defun mysqrt (x)
  (sqrt-iter 1.0 x))

(defun zint (x acc step)
  (setq num-iter (+ 1 num-iter))
  (if (>= x 10000.0)
      acc
      (zint (+ x step)
           (+ acc (* step (mysqrt x)))
           step)))

(setq num-iter 0)
(format t "result=~A; iterations=~A~%" (zint 0.0 0.0 .001) num-iter)
(quit)

编辑： 是的，CMUCL 肯定会造成很多不必要的损失。试试这个简单的例子：

$ ~/cmucl/bin/lisp 
...
* (defun foo () (bar))

FOO
* (defun bar () (foo))

BAR
* (foo)
; [GC threshold exceeded with 12,009,008 bytes in use.  Commencing GC.]
; [GC completed with 111,816 bytes retained and 11,897,192 bytes freed.]
; [GC will next occur when at least 12,111,816 bytes are in use.]
; [GC threshold exceeded with 12,120,912 bytes in use.  Commencing GC.]
; [GC completed with 120,016 bytes retained and 12,000,896 bytes freed.]
; [GC will next occur when at least 12,120,016 bytes are in use.]
; [GC threshold exceeded with 12,133,576 bytes in use.  Commencing GC.]
4

2 回答 2

5

有两个“尾递归”函数：sqr-iter 和 zint。

一般建议：

为了让编译器优化这些，DEBUG 优化级别需要为 2 或更低。

您可以通过反汇编来查看编译器是否生成尾递归代码。使用功能disassemble。

GC 调用本身不是问题。大多数实现不会在 GC 上打印任何内容。CMUCL 默认打印它（IIRC）。CMUCL 可能会为未优化的代码分配大量浮点数 - 这可能会导致大量 GC。

只有当 CMUCL 发生堆栈溢出时，您才会看到尾调用优化不起作用。GCs 本身只显示大量的 consing。

因此，要调试您的问题，您首先需要查看代码是否在使用尾调用优化的情况下编译。你可以反汇编代码。另一种选择是在运行时将代码放入调试器，然后查看堆栈回溯。在堆栈上不应该有大量的递归调用——它们将被跳转所取代。

如果代码以恒定的堆栈空间运行，那么您需要查看浮点数的分配。然后您需要检查代码是否分配了太多浮点数。

于 2013-03-15T16:28:09.353 回答
0

我认为这取决于设置...这是相关的 SBCL。

* (declaim (optimize (speed 0) (compilation-speed 0) (safety 3) (debug 3)))
* (defun foo () (bar))
* (defun bar () (foo))
*  (foo)
INFO: Control stack guard page unprotected
Control stack guard page temporarily disabled: proceed with caution

INFO: Control stack guard page reprotected
#<sb-kernel::control-stack-exhausted {1002DBD4D3}>

但是如果你告诉它你希望它运行得快而不用担心调试......它会更好

(declaim (optimize (speed 3) (compilation-speed 0) (safety 1) (debug 0)))
(defun foo () (bar))
(defun bar () (foo))
(foo)  ;;; CPU topped out, but no stack issues or garbage collecting
于 2013-04-24T19:29:48.283 回答