是否有ARIES或其他可确保ACID的算法的通用实现？

Question

我有一个应用程序，我想自动执行某些操作。 但是，这些操作正在远程存储上发生，并且连接可能会断开，操作可能会失败等。

关于如何强制实施ACID属性的文献很多，例如预写日志记录，ARIES等。但是有这些可用的通用实现吗？

本质上，我正在寻找的是一些库/ API / etc。 我可以在其中提供一些稳定的存储（例如本地硬盘）进行日志记录，并执行我的特殊操作（在不稳定的远程存储上），并使用此假设的帮助代码来处理大部分ACID簿记。

显然，我需要提供自己的自定义代码来回滚某些事情，但似乎可以将日志记录，扫描日志等的高级操作概括化并包装在某些库中。

这样的事情存在吗？

Answer 1

在C＃中， System.IO.Log命名空间具有与日志相关的帮助程序，尽管它本身不能直接帮助隔离，但它可能与您要查找的内容很接近。 如果使用LogRecordSequence，您将在其下获得一个相当复杂的日志实现。

另外， sqlite可以完成所有这些工作，并且属于公共领域。 我想它的存储引擎等在某种程度上是可分离的，尽管您可能必须自己拆开它。