7、历史模型的构建与解读

历史模型的构建与解读

1. 唯一性约束系统的建模

在构建需要唯一性约束的系统时，必须使用有状态模型。有状态模型可以用来判断所需的值是否已被使用，关系数据库的索引和事务特性在此发挥作用。

1.1 有状态模型的特性

有状态模型必须集中放置，因为有状态模型的副本无法强制执行唯一性。向一个副本插入数据时，需要阻塞以咨询其他副本。只有当该唯一值在大多数副本（通常是简单多数）中都未被保留时，才能被接受，可以使用诸如 Paxos 之类的共识算法来达成多数共识。

1.2 唯一性要求的实现

以用户名注册为例，历史模型可用于注册请求以及接受或拒绝响应。客户端可以在系统边缘将请求记录为事实，这些事实将被传递到有权访问有状态模型的中央机构。有状态模型强制执行唯一性约束，中央机构根据有状态模型决定是否批准请求，并将该决定记录为后续事实。响应会返回给发出请求的客户端，客户端通过查询请求事实的后续事实（接受或拒绝）来确定请求的用户名是否唯一。不过，历史模型本身不能保证请求不会有更多的后续事实，这种保证来自于对中央机构借助有状态模型做出决策的信任。

以下是该流程的 mermaid 流程图：

graph LR
    A[客户端发起注册请求] --> B[记录请求为事实]
    B --> C[事实传递到中央机构]
    C --> D{中央机构检查唯一性}
    D -- 唯一 --> E[批准请求，记录决定为后续事实]
    D -- 不唯一 --> F[拒绝请求，记录决定为后续事实]
    E --> G[响应返回客户端]