我该如何让Clojure STM程序持久化？

Question

我该如何让Clojure STM程序持久化？

17

我正在编写一个使用STM的Clojure程序。目前，我正在从数据库中启动populating STM（使用refs），然后在每次dosync事务成功时异步更新数据库。但是，我不知道这样做是否正确，或者是否有更好的标准技术来完成这项任务。有人可以解释一下如何将STM的ACI属性转换为Clojure程序中的ACID吗？

- yazzapps.com

4个回答

3

您可能会感兴趣：

阅读Alyssa Kwan修改的Clojure核心库，该库增加了对refs的持久性支持，请参见：ANN: Durable refs with ACID guarantees - Phase I, ANN: Durable Clojure - Phase II - Persistent Data Structures, ANN: Durable Clojure - Functions and Closures
使用Sergey Didenko的库，该库不能提供强大的持久性保证，但非常接近于此：Simple-Persistence-for-Clojure

其他方法可能对程序员不太透明。

- Sergey

FleetDB的链接指向了一篇关于葡萄酒的博客。 - Petrus Theron

2

STM模型非常适合跟踪多个系统的访问，因为它们发生变化。但是，它不太适用于数据持久性，因为这些更改需要在访问它们的线程的生命周期之外进行访问。

通常最好将ACID中的'D'与STM分开考虑。

- Arthur Ulfeldt

1

如果你想要一个具有快速内存访问和定期持久化的数据库，那么使用真正的数据存储，而不是尝试构建自己的数据库，这将是一项相当大的工作。 Redis 和 MongoDB 是两个不错的选择，但还有许多其他选项。你可以在 https://github.com/ragnard/redis-clojure 和 https://github.com/somnium/congomongo 找到 Redis 和 Mongo 的 Clojure 库。

- trptcolin

网页内容由stack overflow 提供, 点击上面的

可以查看英文原文，
原文链接

- bmillare · Accepted Answer

一般来说，将ACID的“D”添加到任何程序中都不是微不足道的，这取决于程序的要求。在实现之前需要确定一个重要的规范。

问题主体显示，您的程序似乎只在启动时读取并在STM更改后写入，数据库会滞后于STM中的值一小段时间。但是，如果包括其他程序在内的其他实例访问数据库，则需要使用锁定，在事务之前锁定对数据库的访问，并在写入数据库后解锁（顺便提一下，您的情况中数据库可以是任何东西，包括文件系统中的简单文件）。当存在多个读写时，两者都涉及数据库，无法避免此问题。

如果没有多次访问，则异步写入是可以的，因为您的程序在访问方面是单线程的，代码保证始终按顺序运行。

如果只有多个写线程和在启动后没有读取且只有单个实例，则只需确保正确的写入顺序。您可以使用代理完成此操作，其中代理基本上是写入到数据库的操作队列。您将dosync包装在参考事务和代理周围，这样除了持久性外，还可以获得耐久性。

一般来说，涉及副作用的要求越复杂，为确保ACID所需的技巧就越多。如果您有其他要求，则我给出的实现可能需要更改。

编辑：

(def db-agent (agent dummy-value))
(defn db-write [_ data] ;; make this intelligent to handle when db is not up
    (try
        (write-to-db data)
    (catch ... database fails, do a retry or let user know of problem))
    _)
;; in the transaction code
(dosync
    (alter my-ref ...)
    (send-off db-agent db-write @my-ref)) ;; ensure db gets written to