[215_18] 实现 (liii random) 和 (srfi srfi-27) 随机数模块#666
Conversation
Greptile Summary本 PR 实现了 主要变更：
发现的问题：
Confidence Score: 3/5存在一个 SRFI-27 规范违反（unit 参数被忽略）和两个测试逻辑问题，建议修复后合并。 核心随机数生成功能实现正确，但 random-source-make-reals 的 unit 参数被接受和校验后未实际使用，违反 SRFI-27 规范；random-real-test.scm 末尾范围检查用了闭区间与规范矛盾；randomize 测试存在时间竞争条件。这些问题影响了规范符合度和测试可靠性，因此扣分。 重点关注 goldfish/srfi/srfi-27.scm（unit 参数逻辑 bug、初始 seed 问题）以及 tests/liii/random/random-real-test.scm 和 tests/liii/random/random-source-randomize-test.scm（测试逻辑问题）。 Important Files Changed
Sequence DiagramsequenceDiagram
participant U as 用户代码
participant LR as (liii random)
participant S27 as (srfi srfi-27)
participant S7 as s7 random 内置
U->>LR: (import (liii random))
LR->>S27: re-export all symbols
U->>S27: (make-random-source)
S27->>S7: (random-state 0)
S7-->>S27: state 对象
S27-->>U: random-source 记录
U->>S27: (random-source-pseudo-randomize! s i j)
S27->>S7: (random-state seed carry)
S7-->>S27: 新 state
S27->>S27: set! state 更新闭包变量
U->>S27: (random-source-make-integers s)
S27-->>U: (lambda (n) (random n state))
U->>S7: rand-int 调用 → (random n state)
S7-->>U: 随机整数 [0, n-1]
U->>S27: (random-source-state-ref s)
S27->>S7: (random-state->list state)
S7-->>U: (random-source-state seed carry)
U->>S27: (random-source-state-set! s saved)
S27->>S7: (random-state seed carry)
S27->>S27: set! state 恢复闭包变量
Reviews (1): Last reviewed commit: "[215_18] 实现 (liii random) 和 (srfi srfi-2..." | Re-trigger Greptile |
![greptile-apps[bot]](https://avatars.githubusercontent.com/in/867647?s=60&v=4){kind=small}
| (lambda args | ||
| (let ((unit #f)) | ||
| (if (pair? args) | ||
| (begin | ||
| (set! unit (car args)) | ||
| (unless (and (real? unit) (< 0 unit 1)) | ||
| (error 'wrong-type-arg "random-source-make-reals: unit must be a real in (0,1)" unit) | ||
| ) ;unless | ||
| ) ;begin | ||
| ) ;if | ||
| (lambda () | ||
| (let ((r (random 1.0 state))) | ||
| ;; random returns [0.0, 1.0), but SRFI-27 requires (0, 1) | ||
| ;; s7's random for reals already returns (0, 1) when n > 0 | ||
| ;; But we need to ensure we never return 0 or 1 | ||
| (if (zero? r) | ||
| 0.0000000000000001 ; smallest positive value | ||
| r | ||
| ) ;if | ||
| ) ;let | ||
| ) ;lambda | ||
| ) ;let | ||
| ) ;lambda |
There was a problem hiding this comment.
unit 参数被验证但从未使用
random-source-make-reals 接受可选的 unit 参数，对其进行了校验（确保在 (0,1) 范围内），但实际生成随机数时完全忽略了它。根据 SRFI-27 规范，unit 用于指定输出浮点数的精度（即生成的实数是 unit 的整数倍），但当前实现始终调用 (random 1.0 state) 而不考虑 unit 值。目前这个参数只是被接受后丢弃，属于逻辑错误。
| ; 多次随机化产生不同状态 | ||
| (let ((s (make-random-source))) | ||
| (random-source-randomize! s) | ||
| (let ((state1 (random-source-state-ref s))) | ||
| (random-source-randomize! s) | ||
| (let ((state2 (random-source-state-ref s))) | ||
| (check (not (equal? state1 state2)) => #t) | ||
| ) | ||
| ) | ||
| ) |
There was a problem hiding this comment.
"多次随机化产生不同状态"的测试依赖两次 random-source-randomize! 调用之间的纳秒级时间差。若在高速机器或系统时钟精度有限时两次调用恰好在同一纳秒内完成，current-time-nanoseconds 返回值相同，导致 state1 == state2，测试失败。建议改为对比初始状态（seed=0）与随机化后状态。
| (check (>= r 0.0) => #t) | ||
| (check (<= r 1.0) => #t) | ||
| ) |
There was a problem hiding this comment.
前面第 30-31 行正确地使用开区间（> 0 和 < 1）验证 SRFI-27 要求的 (0, 1) 范围，但"范围验证"部分改用闭区间 >= 和 <=，允许返回 0.0 或 1.0，与 SRFI-27 规范及上方测试矛盾：
| (check (>= r 0.0) => #t) | |
| (check (<= r 1.0) => #t) | |
| ) | |
| (check (> r 0.0) => #t) | |
| (check (< r 1.0) => #t) |
| (define (make-random-source) | ||
| (let ((state (random-state 0))) ; Create initial state with seed 0 |
There was a problem hiding this comment.
make-random-source 总是以 (random-state 0) 作为初始状态。未经过 pseudo-randomize! 或 randomize! 处理，所有新建的随机源都会产生完全相同的随机数序列。建议在文档中明确说明此行为，提示用户需显式随机化才能获得独立序列。
| (if (zero? r) | ||
| 0.0000000000000001 ; smallest positive value | ||
| r | ||
| ) ;if |
There was a problem hiding this comment.
注释声称 0.0000000000000001 是"最小正值"，但这并不正确。IEEE 754 双精度浮点的最小正规格化数约为 2.2e-308，1e-16 只是一个任意选取的小数。建议修正注释，说明这是一个极小的正实数替代值，而非最小正浮点数。
1 participant
摘要
实现 SRFI-27 随机数生成器及相关功能：
(srfi srfi-27)模块：提供符合 SRFI-27 规范的随机数生成接口(liii random)模块：提供更便捷的随机数 API新增文件
goldfish/liii/random.scm- liii random 模块实现goldfish/srfi/srfi-27.scm- SRFI-27 标准实现devel/215_18.md- 开发文档tests/liii/random-test.scm- 基础测试tests/liii/random/*.scm- 各功能详细测试测试计划
🤖 Generated with Claude Code