Tokio 评审短记：先检查锁、超时和任务错误

Tokio 评审短记：先检查锁、超时和任务错误

刚接触 Tokio 时，我以为写了 .await 就万事大吉。后来才注意到，锁的范围、超时和任务错误常常躲在几行代码里，而且不一定马上复现。

AI 可以帮我标出“这里需要再看”的地方，例如 .await 前是否持锁、外部调用有没有超时。输入只能是脱敏后的最小片段，输出也只是一份问题清单；能否合并仍要读文档、跑测试并由人判断。

use std::sync::Mutex;

async fn update_then_wait(value: &Mutex<u32>) {
    { let mut guard = value.lock().expect("mutex poisoned"); *guard += 1; }
    tokio::task::yield_now().await;
}

这里把锁留在小作用域内，再等待。真实代码还要决定锁中毒如何处理、是否需要异步锁，不能得出“所有场景都用一种锁”的结论。

我会检查外部 IO 的截止时间、tokio::spawn 的结果处理和队列满时的反馈。AI 是第二双眼睛，不理解我的失败语义，也不知道哪个请求可以安全重试。

补充记录（第 5 篇）：我会把这条建议落实为一个可复现的小检查，而不是停在概念层面。先写清输入、预期行为和失败时的处理方式，再在干净环境中运行最小示例；结果与假设不一致时，回到文档和代码定位原因。这样既能保留学习过程，也不会把局部经验包装成通用结论。

第 5 篇的收尾检查是：删掉无关输入，保留一个能失败的反例，并写下我准备如何确认修复是否真的生效。若没有可执行的检查，就把结论标为待验证，而不急着把它变成规则。

第 5 篇的延伸练习：把文中的判断拆成一张小表。第一列写触发条件，例如输入超过限制、依赖返回异常或调用者取消；第二列写程序可观察到的信号，例如错误类型、队列状态或测试断言；第三列写允许的处理动作，以及谁有权执行它。随后只实现其中一条最小路径，并故意制造失败输入检查结果。若失败路径没有明确输出，就不要继续增加功能。这样做虽然比让工具直接补全整段代码慢，但能迫使我先理解所有权、资源释放和调用方预期。完成后再删去不必要的分支，补上一个回归测试，并把运行命令与限制条件记在提交说明里。读者若要采用相同思路，应替换为自己的编译器版本、依赖版本和业务目标；示例不能替代项目验证。

第 5 篇还应补一个边界案例：当输入为空、依赖不可用或用户中途取消时，程序是否仍能给出可理解的结果。把这些案例写成小测试后，再检查日志是否泄露路径、账号或原始内容。只有正常路径和失败路径都能说明白，才把这段做法放进自己的工作流。

第 5 篇的发布前检查：确认标题没有承诺超出正文的范围，示例代码能独立阅读，参数没有被写成通用答案；再让一位不了解上下文的人按步骤复述风险点。如果对方无法判断何时该停止或回退，就继续删减结论、补充限制，而不是增加口号。