嵌套 dosync 调用的行为如何？

Question

创建嵌套 dosync 调用时会发生什么？子交易是否会在父范围内完成？如果父事务失败，这些子事务是否可逆？

Answer 1

如果您指的是语法嵌套，那么答案是这取决于内部dosync是否与外部线程在同一线程上运行。

在 Clojure 中，只要输入 dosync 块，就会启动一个新事务（如果该线程尚未运行）。这意味着虽然执行停留在单个线程上，但内部事务可以说被外部事务包含；然而，如果一个dosync占据了语法上嵌套在另一个dosync中的位置，但碰巧在一个新线程上启动，它本身就会有一个新事务。

一个（希望）说明发生情况的示例：

user> (def r (ref 0))
#'user/r
user> (dosync (future (dosync (Thread/sleep 50) (println :foo) (alter r inc)))
              (println :bar)
              (alter r inc))
:bar
:foo
:foo
1
user> @r
2

“内部”事务在打印 :foo 后重试； “外部”事务永远不需要重新启动。 （请注意，发生这种情况后，r 的历史链会增长，因此，如果第二次评估“大型”dosync 表单，则内部 dosync 不会重试。当然，它仍然不会合并到外部。）顺便

说一句，Mark Volkmann 写了一篇关于 Clojure 的精彩文章 软件事务内存；强烈建议任何有兴趣深入了解此类细节的人阅读此书。