clojure - Clojure STM 属于哪类事务模型？

Question

我熟悉Database transactions ，并花费了大量的时间调整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 )，但总的来说，这个描述应该给您正确的想法。