Jepsen：Datomic Pro 1.0.7075 测试报告

Jepsen 对 Datomic Pro 1.0.7075 进行了测试，发现其事务间安全性比声称的更强，不仅每个历史记录都是可序列化的，而且绑定到单个节点的会话也表现出强会话可序列化性。然而，在事务内部，Datomic 的行为表现得好像操作是并发执行的，这可能违反三种最广泛接受的可序列化性形式化定义。测试中还发现，Datomic 的事务函数在并发执行时可能导致数据不一致，违反预期的不变性。