docs: 方法.md 第七部分去掉计算时间总预算,只记录

用户 2026-10-02:"CPU 秒不当预算但是要记录"。单次运行时限和核数已定死,计算时间总额与运行次数重复;预留与退还只剩运行名额。

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
This commit is contained in:
2026-10-02 00:07:05 -04:00
parent 20fca73847
commit 42347e4a60
+5 -4
View File
@@ -258,7 +258,7 @@
**⑩ 正式运行(程序)** **⑩ 正式运行(程序)**
- 先预留运行名额和计算额度,确认进程已经启动后,才扣一次运行次数。 - 先预留一次运行名额,确认进程已经启动后,才扣一次运行次数。
- 运行结束后,程序做这几件事: - 运行结束后,程序做这几件事:
- 用任务的独立校验器,从原始产物判分;需要时先做合法化; - 用任务的独立校验器,从原始产物判分;需要时先做合法化;
- 采集常规辅助指标,以及事先登记过的假设专用指标; - 采集常规辅助指标,以及事先登记过的假设专用指标;
@@ -612,16 +612,17 @@ VOI(S) = E_{S 的结果}[ max_p E(收益_p | S 的结果) ] − max_p E(收益_p
**预算** **预算**
- 正式运行次数和计算时间(填圆按 CPU 秒计)都事先定死,不能因为结果不好临时扩大。运行次数是唯一决定研究长度的上限,不设轮数上限。 - 正式运行次数事先定死,不能因为结果不好临时扩大。它是唯一的预算上限,也是唯一决定研究长度的上限,不设轮数上限。
- 计算时间不设总预算:单次运行的时限和核数已经由任务定死(见第八部分),每次运行最多花多少计算是固定的,再设计算时间总额只是重复运行次数。每次运行的 CPU 秒、墙钟时间、峰值内存照实记录。
- 模型调用不设上限,用量照实记录;拿不到用量时记"未知",不记 0。 - 模型调用不设上限,用量照实记录;拿不到用量时记"未知",不记 0。
- 程序记录整个环境的用量:正式运行和实验员会话的 CPU 时间、GPU 时间、内存、墙钟时间,以及模型调用量。这些只记录,不作为限制。 - 程序记录整个环境的用量:正式运行和实验员会话的 CPU 时间、GPU 时间、内存、墙钟时间,以及模型调用量。这些只记录,不作为限制。
**什么时候扣次数** **什么时候扣次数**
- 基线、正向候选、消融格,都按实际启动计入。 - 基线、正向候选、消融格,都按实际启动计入。
- 启动前先预留一次名额和最大计算额度,确认进程已经启动,才扣一次。 - 启动前先预留一次名额,确认进程已经启动,才扣一次。
- 启动后失败、超时、被取消,照样计数。 - 启动后失败、超时、被取消,照样计数。
- 确认没有启动就取消的,退还名额和没用上的计算预留;已经发生的准备成本照样记录。 - 确认没有启动就取消的,退还名额;已经发生的准备成本照样记录。
- 不确定有没有启动时,先核对。核对不出来就记"状态未知"并停下,等用户决定;不自动退还,也不重跑。 - 不确定有没有启动时,先核对。核对不出来就记"状态未知"并停下,等用户决定;不自动退还,也不重跑。
- "这一格跑不起来"的情况不启动,也不扣次数。 - "这一格跑不起来"的情况不启动,也不扣次数。
- 轻量检查有次数和时长上限(见配置),只能用来检查语法、接口和极小的样例。正式规模的求解,哪怕叫"调试",也是正式运行,不能借轻量检查绕开预算。 - 轻量检查有次数和时长上限(见配置),只能用来检查语法、接口和极小的样例。正式规模的求解,哪怕叫"调试",也是正式运行,不能借轻量检查绕开预算。