Rust 类型系统可以防止死锁吗？
原文中文，约2200字，阅读约需6分钟。发表于：。在您最意想不到的时候，死锁潜伏在每个角落。我们可以使用 Rust 类型系统在编译时避免它们吗？也就是说，在编译时能证明没有死锁吗？ 假设我们有两个互斥体（或互斥体，如果你喜欢的话）M1 和 M2。 如果线程 T1 持有 M1 但希望声明 M2，则会发生死锁；同时线程 T2 拥有 M2 并希望声明 M1。 有几种模式可以避免这种情况： 切勿同时申请M1和M2中的一个以上的锁定。 ...
本文介绍了如何使用 Rust 类型系统在编译时避免死锁。作者提出了两种模式来避免死锁，一种是确保每个线程正好有一个 'mutex权限令牌' 存在，另一种是使用外层mutex发出MutexPermissionToken。这些方法可以防止调用者同时索取多个锁，从而避免死锁。
