在Lisp中执行期间的函数重新定义

这是您描述的在多线程环境中如何发生的示例：

(progn

  (defun f2 (o2)
    (setf (car o2) :b))

  (defun f1 (o1 o2)
    (setf (car o1) :a)
    ;; the sleep here is to increase the risk of data-race
    (sleep 3)
    (f2 o2))

  ;; call the functions in a separate thread
  (sb-thread:make-thread
   (lambda () 
     (let ((o1 (list 0))
           (o2 (list 0)))
       (f1 o1 o2)
       (print (list o1 o2)))))

  ;; in parallel, redefine f2, then f1
  (defun f2 (o2)
    (setf (car o2) :not-b))

  (defun f1 (o1 o2)
    (setf (car o1) :not-a)
    (f2 o2)))

3秒后，REPL打印

((:A) (:NOT-B))

如果(declaim (inline f2))在f2定义之前添加before并再次进行测试，则仍将从线程内的old f2来执行old 的代码，该代码f1将在3秒后显示以下内容：

((:A) (:B)) 

对该更新函数的进一步调用f1给出：

((:NOT-A) (:NOT-B)) 

我可以使用哪些工具来测试功能是否以正确的方式工作？测试似乎很痛苦：我不知道如何在不更改基本源代码的情况下测试重新定义。

也许您正在用新代码更新正在运行的服务器，并且希望避免在加载定义时让服务器使用部分函数重新定义。

与基础结构的所有其他方面一样，重要的是要预先计划如何可靠地进行备份和更新（数据库，配置等）。

一种可能的方法是逐包更新事物。您可以在软件包后缀版本号：

(in-package :web-0 ...)
(defun f2 () ...)
(defun f1 () ...)

;; new version
(in-package :web-1 ...)
(defun f2 () ...)
(defun f1 () ...)

当需要更新时，您可以编译和加载代码而:web-1不会干扰正在运行的代码。然后，您应该能够将调用者更改为使用新的实现：

;; somewhere in the main server package
(handle-request (request)
   (web-0:handle request))

 ;; update it
(handle-request (request)
  (web-1:handle request))

它甚至可以在没有版本号的情况下工作，如果您首先删除该软件包，然后使用相同的名称重新创建它，那么您将很难恢复。

某些地方可能还需要全局锁，您必须在应用程序中和更新期间都必须对此全局锁进行管理。