开发者社区 问答 正文

如何测试其他系统和功能?

如何测试其他系统和功能?

展开
收起
游客hmzk6xi5mlygs 2022-05-12 14:38:40 411 分享 版权
1 条回答
写回答
取消 提交回答
  • 在满足线性一致性的条件下,History会有各种可能的Log排列。若History在任何顺序下输入Model,都因为不能满足Model自身的约束,则可以反证系统不满足线性一致性。实际在Jepsen的线性一致性求解用的knossos,不会这样全部排列遍历的,具体用的可线性化验证算法——WGL

    2022-05-12 17:15:37
    赞同 展开评论