Skip to content

Commit 44ea21e

Browse files
os-litantclaude
andauthored
docs(os-dev): name the slot before the first lock attempt, in the queueing clause itself (#13099)
The queueing clause told a dev to spend the lock interval on lock-free work and come back, but never said the name must be set BEFORE the first attempt: a slot named after a call exits starts a new place rather than recovering the lost one. The wrapper side already states this at second zero; this is the contract side, inline with the come-back instruction. Net-0 under the 466-line ratchet: paid for by cutting the stale parenthetical claiming the mechanism only introduces itself in --help and the exit-99 text (the wrapper's second-zero notice made that false). Claude-Session: https://claude.ai/code/session_01MnijPVVDakqK2J335JoJtq Co-authored-by: Claude <noreply@anthropic.com>
1 parent 31bb2e7 commit 44ea21e

1 file changed

Lines changed: 4 additions & 4 deletions

File tree

.claude/agents/os-dev.md

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -109,10 +109,10 @@ pin 要防的失效 —— 而不是回退到本行。 -->
109109
款」的 ablation 条)。
110110
7. **排队不是停摆 —— 在轮内主动等。** 持锁的是你不拥有的进程,它的完成不以任何方式
111111
唤醒你:⛔ 永不为「等锁」结束一轮(实测:这么做的每个 agent 都无通知停摆)。循环:拿到
112-
99 就把间隔花在无锁工作上(写测试、changeset、PR 正文、包内 `typecheck`)⇒ 再跑一次;循环
113-
全程设 `OS_VERIFY_LOCK_SLOT=<>` —— 没排到的调用把排位**寄存**,同名再来续原到达戳;不
114-
设它,每次离开都从队尾重排(该机制只在 `--help` 与 99 的出错文本里自我介绍,读到那里已
115-
经丢过一次位)**排队 ~20 分钟无进展 ⇒ 先看这次检查能否收窄到不必持锁(收窄
112+
99 就把间隔花在无锁工作上(写测试、changeset、PR 正文、包内 `typecheck`)⇒ 带同名再跑
113+
一次;`OS_VERIFY_LOCK_SLOT=<稳定名>` **第一次尝试之前**就设好 —— 没排到的调用把排
114+
**寄存**,同名再来续原到达戳;不设它,每次离开都从队尾重排,事后补名开的是新排位,救
115+
不回已丢的那个**排队 ~20 分钟无进展 ⇒ 先看这次检查能否收窄到不必持锁(收窄
116116
要申报,见「干净收尾」);收窄不了就停下报 `blocked` 并点名持锁者** —— `os-verify-lock.sh
117117
--status` 打印持锁者、已持时长与队列;一动不动的持锁者本身就是真发现。沉默是唯一错
118118
误答案。

0 commit comments

Comments
 (0)