elle:基于周期检测的黑盒交易安全检查器

埃勒 Elle是用于黑盒数据库的事务一致性检查器。 纯粹基于客户对交易的观察，并在对数据类型和操作的限制最小的情况下，它可以告诉您该观察是否表现出各种交易异常。 像聪明的律师一样，埃勒（Elle）在故事中寻找一系列事件，而这些事件不可能按该顺序发生，并使用该推断来证明故事不一致。 简而言之，Elle是： 常规：Elle处理多种数据类型，并且对事务结构只施加了最小的实际约束。 高效：Elle在历史记录长度上是线性的，并且关于并发性，它是恒定的，而不是指数的。 有效：Elle在发现了意外异常，从内部一致性违规到反依赖周期到脏读，丢失的更新再到实时违规。 声音：Elle可以从Adya，Liskov和O'Neil的找到所有（非谓词）异常。 说明性的：Elle可以指出出现一致性冲突的最少事务集； 其结论易于理解和验证。 该存储库包含Elle一致性检查器的及其，可用于检查自己的历史记录