关键信息 问题描述: - 静态分析器在 中发现了一个潜在的不安全问题(数据竞争)。 - 函数需要显式地标记为 ,否则在用户意外解锁时,安全的 Rust 代码可能会出现数据竞争。 相关代码片段: PoC 代码示例: 讨论与解决: - 只有锁的所有者应该调用 。 - Rust 试图对库提出更高的要求,以防止误用导致问题。 - 该问题已在提交 中关闭并标记为完成。