锁定和 atom/reset!/swap! 之间有什么区别！在 Clojure 中

Question

我在阅读一些源代码时遇到了 Clojure 中的 locking 用法。这让我想到了原子版本。那么2个代码sn-ps有什么区别，我认为他们做的是一样的事情呢？

(def lock (Object.))

(locking lock
  ...some operation)

(def state (atom true))

(when @state
  (reset! state false)
  ...some operation
  (reset! state true))

Answer 1

只有当多个线程正在改变一个可变状态时才需要锁定（又称同步）。

locking 宏是一种低级功能，在 Clojure 中几乎不需要使用。它在某些方面类似于 Java 中的同步块。

在 clojure 中，通常只使用 atom 来达到此目的。在极少数情况下需要agent 或ref。在更罕见的情况下，您可以使用动态 Var 来获取线程局部可变状态。

在内部，Clojure atom 将所有货币操作委托给 java.util.concurrent.atomic.AtomicReference 类。

---

您的代码 sn-p 显示了对原子用途和操作的误解。两个并发线程可以同时处理您的原子代码，因此该尝试不提供线程安全性，并且会导致错误和损坏的数据。

---

如果您想探索 really 原语（即 Java 1.2）同步原语，请参阅：

• Oracle docs
• 本书Effective Java（第一版展示了大部分细节，第三版遵循更高级别的课程）
• 这本书Java Concurrency in Practice这本书太可怕了，它会让你的头发变白。读完这篇文章，你会害怕滚动自己的并发，以至于你永远不会考虑再做一次。
• Double-Checked Locking is Broken：一个很好的例子，说明正确锁定是多么困难（也是here）。