database - Happstack 状态概念和文档？

Question

我开始制作 Haskell 网络服务器。我决定从 Happstack 和 Happstack-state 开始。而且我很难理解 Happstack-state 的概念和属性。它是一种新的数据库吗？还是只是像系统一样的对象图？

你能解释一下它的概念和属性（特别是关于 ACID，它是如何在磁盘上持久化数据的！）或者给我一个描述它的文档吗？

score 5 · Accepted Answer

下面是MACID的两个基本介绍：

唉，两者都没有涵盖 IxSet，它是一种经常与 MACID 一起使用以提供具有多个索引的集合（类似于 SQL 表）的数据类型。

MACID 是一种“ram cloud”风格的持久存储，这意味着您的整个数据集都存储在 RAM 中。它目前支持复制。开发版本专注于添加分片支持（除其他外）。

MACID 的独特之处在于它存储了普通的 Haskell 数据类型，并且查询是使用普通的 Haskell 函数编写的。您不仅限于 Haskell 数据类型的一小部分，例如 Int 和 String。相反，您可以使用几乎任何用户定义的数据类型。

尽管 MACID 将工作数据集存储在 RAM 中并且不是围绕关系模型构建的，但它仍然提供 ACID 保证。持久性属性确保一旦提交成功返回，如果它们是服务器故障（或重新启动），事件将不会丢失。

通过将每个更新事件记录到预写日志来实现持久性。如果服务器出现故障，则可以通过重播自上一个检查点以来的任何事件来恢复状态。

预写日志中的事件由更新函数的名称和该函数的参数组成。由于更新事件是纯粹的，因此重放它们总是会导致相同的最终状态。

存储在检查点或日志事件中的数据的实际二进制格式是通过创建 Serialize 类的实例来指定的。在大多数情况下，这可以通过调用模板-haskell 函数“deriveSerialize”来自动完成。还有一个 Migrate 类，用于在您更改数据类型时将值从旧格式迁移到新格式。

这里有一篇关于序列化和迁移机制的旧博客文章：

那篇文章指的是“HAppS”，但除了模块名称之外，它在 Happstack 中几乎相同。

希望这可以帮助。

score 3 · Accepted Answer

MACID 不是数据库，首先它只是一个 ACID 框架，也就是说，它关心事务安全，正是通过保存磁盘上的事务日志。最重要的是，您可以使用 eg IxSet，这是类固醇和标准选择的集合，但您也可以自己滚动。

恐怕我所知道的最好的文档就是源代码本身。HappStack 的文档完全不足。

2 回答 2