Clojure：在一个事务中更改之前通勤导致事务失败

Question

我是 Clojure 的新手，一直在尝试了解它的事务模型。 在使用alter 和commute 时，我注意到如果我在alter 后面加上commute 的引用，那么事务将不会提交任何内容（或不会对任何内容进行任何更改）。

例如：

(def counter (ref 0))
(def i (ref 0))
(future (dosync
          (ref-set counter 1)
          (ref-set i 1)
          (commute counter inc)
          (alter counter inc)))

@counter 和 @i 都将为 0，但如果我交换 commute 和 alter 或在这种情况下使用两个 commutes 或两个 alters，它将产生所需的结果（3和 1）。

我读过一些帖子，解释commute 和alter 的行为有点不同，因为commute 实际上在事务中执行了两次（一个在它所在的位置，另一个在“提交”阶段）并忽略参考的不一致快照。我只是对这两者组合的奇怪行为感到困惑。

谁能帮忙解释一下它是如何工作的？提前致谢！

Answer 1

commute 函数仅在非常狭窄（即罕见）的情况下有用，在这种情况下它可能以额外重试更新功能。正如您的示例所示，它还使交易的心理模型变得更加复杂（例如，我以前从未见过这个特殊问题）。

恕我直言，使用alter 而不是commute 几乎总是更好，因为alter 更简单且更防弹。事实上，我通常会认为使用commute 是一种过早优化。