我发现 TVar 很容易使用，尽管 MVar 看起来更简单一些，而 TVar 更有特色。
所以我的问题很简单，我想去 MVar 而不是 TVar 的条件是什么？我想任何时候我不需要事务更新我都可以使用 MVar，但这对我有什么好处？
问问题
7104 次
2 回答
43
MVar
- 可以为空
- 用于实现线程之间的同步模式
- 允许线程之间的单向通信
- 可能比
TVar某些情况下更快
电视柜
- 不能为空
- 原子事务
- 线程之间的“共享内存”；可用于实现，例如，一个查找缓存，多个线程可以从中读取/写入
- 访问是事务日志中操作次数的线性时间
- 如果有许多较短的事务，长时间运行的事务很容易受到饥饿，从而阻止它们成功提交
IORef
- 可变指针类引用
- 通常用于破坏性
IO写入/更新 - 具有原子 CAS 操作，但复杂的事务逻辑更适合
TVar
MVar对于何时使用or并没有真正的硬性规定TVar。如果我要保护的资源将永远“丢失”（而不是空的，考虑Nothingvs Just mempty），那么MVar通常是最有意义的。如果我需要对资源执行原子修改块，那么TVar是最合适的。
于 2013-03-15T19:06:11.200 回答
41
TVar 更安全但速度较慢。
MVar 可能会死锁，但效率要高得多。
更有效的仍然是IORefand atomicModifyIORef(CAS)，但是你可以用它做什么受到了很大的限制。
这实际上是一种安全而不是性能的权衡。TVars是完全通用的，非常安全。其他一切都不那么重要，而且规模越来越小。
于 2013-03-15T19:00:34.363 回答