Skip to content

docs(os-dev): name the slot before the first lock attempt, in the queueing clause itself#13099

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
os-zhuang merged 1 commit into from
Aug 29, 2026
+4 −4
Merged

docs(os-dev): name the slot before the first lock attempt, in the queueing clause itself #13099

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

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