竞争条件和clojure Atoms

Question

clojure“原子”的文档指出 -

"Changes to atoms are always free of race conditions."

然而，竞态条件的定义不仅仅是根据变化，而是在不同线程中并行逻辑操作的上下文中定义。

我想知道 - “对原子的更改总是不受竞争条件的影响”的保证有什么意义？在 java 中，我们有原子原语，它支持某些特定的线程安全操作（例如，AtomicInteger 支持“getAndIncrement”操作）。但是 Clojure 原子与类型无关，例如，我们可以调用：

  (atom "Hi im a string")  Or
  (atom (.getClass Object))

atom 方法的灵活性意味着 Clojure 在底层并不“聪明”地为 atom 提供特定于类型的原子/线程安全操作。

因此，我会问 - atom 方法究竟对我们的对象“做什么”（即它只是简单地同步整个对象吗？）

Answer 1

atom 实际上是一个保证线程安全的原子存储位置。

Atom 类似于 Java 的 atomic 数据类型（如 AtomicReference），但实际上更强大，因为 atom 允许您使用任意函数来更新 atom。示例：

(def a (atom "foo"))

(defn appender [x]
  "Higher order function that returns a function which appends a specific string"
  (fn [s] 
    (str s x)))

(swap! a (appender "bar"))
=> "foobar"

在上面的例子中，swap! 操作的行为是原子的，即使我们传递给它的 appender 操作可能是一个非常复杂的函数。实际上，原子允许您以原子方式使用任意更新操作（您通常应该坚持使用纯函数，因为在发生争用时可能会多次调用该函数）。

Atom 显然不能保证你放入其中的对象的线程安全（例如，如果你将一个未同步的 Java ArrayList 放入其中，那么它对于并发使用仍然是不安全的）。但是，如果您坚持使用 Clojure 的完全线程安全的不可变数据类型，那么您会很好。