诸如社交网络系统和电子商务平台之类的现代应用程序集中于使用大规模存储系统来存储和检索数据。在存在并发访问的情况下，这些存储系统会权衡隔离性以提高性能。隔离级别越弱，存储系统就可以表现出更多的行为，并且由开发人员来确保他们的应用程序可以容忍这些行为。但是，这些弱行为实际上很少在实践中发生，太在应用程序的控制范围之外，这使得开发人员很难针对弱隔离级别测试其代码的健壮性。本文介绍了MonkeyDB，这是一个用于测试存储支持的应用程序的模拟存储系统。MonkeyDB支持键值接口以及多个隔离级别下的SQL查询。它使用隔离级别的逻辑规范在读取操作中计算所有可能的返回值的集合。然后，MonkeyDB从该集合中随机返回一个值。我们证明了MonkeyDB可以很好地覆盖弱行为，这在极限范围内是完整的。我们测试各种应用程序的断言仅在弱隔离下失败。MonkeyDB可以通过少量尝试来破坏这些断言中的每一个。



"点击查看英文标题和摘要"