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

Question

我有一个应用程序，我想以原子方式执行某些操作。 但是，这些操作是在远程存储上发生的，连接可能会断开，操作可能会失败，等等。

关于如何强制执行 ACID 属性（预写日志记录、ARIES 等）的文献很多，但是否有这些可用的通用实现？

基本上我正在寻找的是一些库/API/等。我可以在其中提供一些稳定的存储（例如本地硬盘）用于日志记录，并执行我的特定操作（在不稳定的远程存储上），并让这个假设的帮助代码处理大量的 ACID 簿记。

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

这样的事情存在吗？

Answer 1

在 C# 中，System.IO.Log 命名空间具有与日志相关的帮助器，这可能与您要查找的内容接近，但它本身并不能直接帮助隔离。如果你使用 LogRecordSequence，你会在它下面得到一个非常复杂的日志实现。

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