如何测量SBCL代码性能？time函数结果异常问题咨询

问题根源分析 #

你遇到的反常结果主要来自三个核心因素：

1. time函数的固有开销 #

time本身需要执行时间戳记录、CPU周期统计、结果输出等操作，这些逻辑本身就需要上千个时钟周期。当你测量的目标操作（两次数组索引）仅需个位数时钟周期时，time的固有开销会完全主导测量结果，导致数值虚高。第二次调用时，time的内部代码已被CPU指令缓存加载，开销有所降低，因此耗时下降。

2. CPU缓存与预热效应 #

第一次执行数组索引时，数组对象可能还未进入CPU的L1/L2缓存，需要从主存加载；同时，相关机器码也可能未被指令缓存缓存。第二次执行时，数据和指令都已缓存，内存访问和指令执行的延迟大幅降低，因此耗时减少。

3. 全局变量的性能损耗 #

你使用了全局变量my-array，SBCL对全局变量的访问无法像局部变量那样做激进优化（比如寄存器分配、内存访问消除），会额外增加内存访问开销，进一步放大测量误差。

正确的性能测量方法 #

要准确评估小操作的性能，需要消除上述干扰因素，具体做法如下：

1. 批量重复目标操作 #

将目标操作重复数百万次，用总耗时除以操作次数得到平均耗时，以此抵消time的固有开销。示例代码：

(defun test ()
  (declare (optimize (speed 3) (safety 0) (debug 0)))
  (let ((my-array (make-array 10)))
    (setf (aref my-array 2) 4)
    ;; 重复100万次操作，统计总耗时
    (time (loop repeat 1000000 do
             (aref my-array 1)
             (aref my-array 3)))))

计算单次索引耗时：总耗时（秒） × CPU主频（Hz） ÷ 2000000（两次索引×100万次），即可得到接近真实的时钟周期数。

2. 使用局部变量替代全局变量 #

用let声明局部数组，让编译器可以将数组地址存入寄存器，消除全局变量的访问开销，同时触发更激进的优化（比如边界检查消除，因为safety 0）。

3. 验证编译优化效果 #

用sb-disassemble查看生成的汇编代码，确认数组访问是否已被优化为直接的寄存器偏移操作：

(sb-disassemble #'test)

如果看到类似MOV rax, [rbx+8]的指令（x86架构），说明边界检查已被消除，数组访问是直接的内存偏移，性能达到最优。

关于Lisp转汇编的性能提升 #

SBCL本身是编译型Lisp实现，会将你的代码直接编译为机器码（汇编）执行，不需要手动转换。你测试的代码已经是编译后的机器码，而非解释执行。如果是对比解释执行与编译执行的性能，编译后的代码性能通常是解释执行的数十到上百倍；如果是对比手动编写汇编与SBCL编译的代码，SBCL的优化器（比如循环展开、寄存器分配、死代码消除）已经非常成熟，除非是极端底层的硬件操作，否则手动汇编不会带来明显的性能提升。

内容的提问来源于stack exchange，提问作者Iñaki Viggers