From 42347e4a605caf0490ebedf46b2fb0c7219fc154 Mon Sep 17 00:00:00 2001 From: iomgaa Date: Fri, 2 Oct 2026 00:07:05 -0400 Subject: [PATCH] =?UTF-8?q?docs:=20=E6=96=B9=E6=B3=95.md=20=E7=AC=AC?= =?UTF-8?q?=E4=B8=83=E9=83=A8=E5=88=86=E5=8E=BB=E6=8E=89=E8=AE=A1=E7=AE=97?= =?UTF-8?q?=E6=97=B6=E9=97=B4=E6=80=BB=E9=A2=84=E7=AE=97=EF=BC=8C=E5=8F=AA?= =?UTF-8?q?=E8=AE=B0=E5=BD=95?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit 用户 2026-10-02："CPU 秒不当预算但是要记录"。单次运行时限和核数已定死，计算时间总额与运行次数重复；预留与退还只剩运行名额。 Co-Authored-By: Claude Opus 5.5 --- docs/方法.md | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/docs/方法.md b/docs/方法.md index d196f71..0af8e00 100644 --- a/docs/方法.md +++ b/docs/方法.md @@ -258,7 +258,7 @@ **⑩ 正式运行（程序）** -- 先预留运行名额和计算额度，确认进程已经启动后，才扣一次运行次数。 +- 先预留一次运行名额，确认进程已经启动后，才扣一次运行次数。 - 运行结束后，程序做这几件事： - 用任务的独立校验器，从原始产物判分；需要时先做合法化； - 采集常规辅助指标，以及事先登记过的假设专用指标； @@ -612,16 +612,17 @@ VOI(S) = E_{S 的结果}[ max_p E(收益_p | S 的结果) ] − max_p E(收益_p **预算** -- 正式运行次数和计算时间（填圆按 CPU 秒计）都事先定死，不能因为结果不好临时扩大。运行次数是唯一决定研究长度的上限，不设轮数上限。 +- 正式运行次数事先定死，不能因为结果不好临时扩大。它是唯一的预算上限，也是唯一决定研究长度的上限，不设轮数上限。 +- 计算时间不设总预算：单次运行的时限和核数已经由任务定死（见第八部分），每次运行最多花多少计算是固定的，再设计算时间总额只是重复运行次数。每次运行的 CPU 秒、墙钟时间、峰值内存照实记录。 - 模型调用不设上限，用量照实记录；拿不到用量时记"未知"，不记 0。 - 程序记录整个环境的用量：正式运行和实验员会话的 CPU 时间、GPU 时间、内存、墙钟时间，以及模型调用量。这些只记录，不作为限制。 **什么时候扣次数** - 基线、正向候选、消融格，都按实际启动计入。 -- 启动前先预留一次名额和最大计算额度，确认进程已经启动，才扣一次。 +- 启动前先预留一次名额，确认进程已经启动，才扣一次。 - 启动后失败、超时、被取消，照样计数。 -- 确认没有启动就取消的，退还名额和没用上的计算预留；已经发生的准备成本照样记录。 +- 确认没有启动就取消的，退还名额；已经发生的准备成本照样记录。 - 不确定有没有启动时，先核对。核对不出来就记"状态未知"并停下，等用户决定；不自动退还，也不重跑。 - "这一格跑不起来"的情况不启动，也不扣次数。 - 轻量检查有次数和时长上限（见配置），只能用来检查语法、接口和极小的样例。正式规模的求解，哪怕叫"调试"，也是正式运行，不能借轻量检查绕开预算。