std::sync::Mutex与tokio::sync::Mutex有什么区别？

Question

std::sync::Mutex与tokio::sync::Mutex有什么区别？

17

一个“async”互斥锁与一个“普通”的互斥锁有何不同？我认为这就是tokio的Mutex和普通的std lib Mutex之间的区别。但是，从概念上讲，我不明白互斥锁怎么可能是“async”的。难道不是只有一个东西可以同时使用它吗？

- Test

1个回答

网页内容由stack overflow 提供, 点击上面的

可以查看英文原文，
原文链接

- kmdreko · Accepted Answer

这里是它们使用的简单比较：

let mtx = std::sync::Mutex::new(0);
let _guard = mtx.lock().unwrap();

let mtx = tokio::sync::Mutex::new(0);
let _guard = mtx.lock().await;

两者都确保互斥性。异步互斥锁和同步互斥锁之间唯一的区别在于它们尝试获取锁时的行为。如果同步互斥锁尝试在已经锁定时获取锁，它将在线程上阻塞执行。如果异步互斥锁尝试在已经锁定时获取锁，它将把执行让给执行器。

如果您的代码是同步的，就没有理由使用异步互斥锁。如上所示，锁定异步互斥锁基于 Future 并且设计用于 async/await 上下文中使用。

如果您的代码是异步的，您可能仍希望使用同步互斥锁，因为开销较小。但是，您应该注意，在 async/await 上下文中阻塞应该尽量避免。因此，只有在不期望阻塞时才使用同步互斥锁。以下是需要记住的一些情况:

- 如果您需要在 .await 调用期间持有锁，请使用异步互斥锁。当使用线程安全的 futures 时，编译器通常会拒绝此操作，因为大多数同步互斥锁不能发送到另一个线程。 - 如果您的锁是有争议的（即，如果您希望在需要时已经锁定互斥锁），则应使用异步互斥锁。这可能发生在将多个任务同步到池或有界队列中时。 - 如果您有复杂和/或计算密集型的更新，那么这些更新可能应该移动到阻塞池中，在那里您将使用同步互斥锁。

上述情况都是同一枚硬币的三个方面：如果您预计会阻塞，请使用异步互斥锁。如果您不知道您的互斥锁用法是否会阻塞，请谨慎使用异步互斥锁。在同步互斥锁足以满足要求的情况下使用异步互斥锁只会留下少量性能，但是在应该使用异步互斥锁的情况下使用同步互斥锁可能是灾难性的。

我遇到的大多数互斥锁情况都是在同步简单数据结构时同步更新方法，其中更新方法已封装为获取锁、更新数据和释放锁。你知道一个简单的 println! 需要锁定一个互斥锁吗？这些互斥锁的用途可以是同步的，即使在异步上下文中也可以使用。即使锁定会阻塞，它通常也不会比进程上下文切换更有影响，而这种切换总是会发生的。

注：Tokio 的 Mutex 具有 .blocking_lock() 方法，如果需要两种锁定行为，则此方法非常有用。因此，互斥锁可以是同步和异步的！

另请参见：