Clojure STM 属于哪一类事务模型？

Question

我对@9​​87654321@很熟悉，花了很多时间调整isolation levels。我从来没有在代码中实现过我自己的事务模型。

我已通读 the source code 以了解 Clojure 事务实现 - 并试图了解其背后的模型。

我正在阅读a description of a Software Transactional Memory in hardware 的实现，它促使我认为必须有事务模型的“类别”。

我的问题是：Clojure STM 属于哪一类事务模型？

Answer 1

Mark Volkmann's article about Clojure's STM 是有关该主题的绝佳信息来源 - 如果您对该主题感兴趣，我强烈建议您阅读它，无论您是在了解高级设计概述还是对低级设计的描述级实现细节。

总结一下，Clojure 的 STM 的事务模型是基于 MVCC 和快照隔离的。它有一些特殊的功能（例如the way in which it interacts with threads），但总的来说，这个描述应该给你正确的想法。