我目前正在学习 Clojure，但不确定如何使用 STM 进行并发。我要完成的任务非常简单，我有一个字符串向量，我想同时在每个字符串上运行一个函数，并用函数返回的内容替换字符串。
我目前可以使用 pmap 轻松做到这一点：
(pmap function string_vector)
如何在 Clojure 中使用 STM 做同样的事情？
【问题讨论】：
标签： concurrency clojure parallel-processing functional-programming stm
STM 是一种跨线程共享数据的方式。如果您根本不需要协调（在此示例中不需要），则没有真正的理由使用 STM。
【讨论】：
clojure 中的 STM 是关于随着时间的推移保持可变事物的状态。这些具有随时变化状态的事物被称为具有“身份”。就像你一辈子都有一个“你”的身份一样，即使三个月大的“你”，到了120岁，也不一定能认出“你”。所以让我们在你的例子中加入一些可变的东西，这样我们就有了使用 STM 的借口：
让我们创建一个公开可用的可变位置来存储字符串，然后并行更改它们：
user> (def current-strings (ref ["a" "b" "c"]))
#'user/current-strings
user> (dosync (alter current-strings (fn [the-string-at-this-instant]
(pmap #(.toUpperCase %) the-string-at-this-instant))))
("A" "B" "C")
user> @current-strings
("A" "B" "C")
user>
在这个例子中，我们创建了一个事务，通过对其应用一个函数来改变我们的字符串集合的状态。在内部，该函数碰巧并行计算新值。
为了让这更有趣，让我们创建一个可变事物的向量，然后在其自己的事务中并行更新一堆独立可变的事物：
user> (def current-strings [(ref "a") (ref "b") (ref "c")])
#'user/current-strings
user> (doall
(pmap (fn [ref-to-update]
(dosync (alter ref-to-update #(.toUpperCase %))))
current-strings))
("A" "B" "C")
user> (map deref current-strings)
("A" "B" "C")
user>
如您所见，这些都不需要 STM，因为所有这些操作都可以使用 clojure 中的其他可变类型来处理，原子将是一个不错的选择。和裁判一起玩也很有趣！玩得开心！
【讨论】：
doall。还值得注意的是，如果将 dosync 放在 pmap 之外，它就不起作用。