据我了解，有几种不同的算法可用于实现软件事务存储(这是一个非常活跃的研究领域)。
在哪里可以找到(无需深入研究源代码)不同语言和库(尤其是Clojure和Haskell(GHC))中使用的语言？
最佳答案
除了代码本身，Clojure STM的最终资源是Mark Volkmann的Software Transactional Memory文章。
它简要概述了STM方法(与其他并发方法相比)，总结了Clojure中可用的各种并发功能，然后深入探讨了Clojure的STM，准确描述了交易期间发生的事情并最终走向失败。达到所涉及的各个 class 的水平。除了提供大量有关Clojure STM机器内部工作原理的硬性信息外，它还包含许多与Clojure面向并发功能有关的非常有见地的评论，因为它们在惯用的Clojure程序中使用。
Mark的STM资源的实际入口点是this page，除了链接到STM主要文章的最新版本之外，当前还包含一些STM幻灯片。
关于haskell - Clojure，Haskell(和其他语言)中针对STM使用哪些算法？，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/4292866/