Async and Finaliser Deadlocks
6 months ago
- #deadlocks
- #async-programming
- #rust
- 文章讨论了Rust异步代码中一个名为'futurelocks'的复杂bug，强调了理解和调试此类问题的挑战。
- 通过一个简化的Python示例展示了涉及互斥锁和终结器的死锁场景，说明当终结器与主程序在同一线程运行时如何导致死锁。
- 解决方案是将终结器放在单独线程运行——正如Hans Boehm提出的——以避免协作式多任务处理的陷阱。
- 文章将终结器死锁与异步编程中的'futurelocks'进行类比，指出两者都源于对代码会配合执行的假设，而这种假设并不总是成立。
- 作者对不依赖运行时死锁检测来解决'futurelocks'表示怀疑，批评异步代码带来的复杂性和推理困难。
- 尽管线程资源消耗更大，但文章主张线程是比异步编程更简单可靠的替代方案，并强调Rust的多线程能力是其优势。
- 结尾承认线程优于异步是小众偏好，建议提高对该普遍问题的认知，并推荐Oxide播客以获取技术洞见。