D匹配 swMATH编号： 44356 软件作者： 刘浩鹏；李广普；杰弗里·卢克曼。；李嘉欣；鲁、珊；哈里亚迪S.古纳维。；田，陈 描述： DCatch：自动检测云系统中的分布式并发错误。在大数据和云计算时代，分布式系统的可靠性至关重要。不幸的是，分布式并发错误（也称为DCbug）广泛存在。它们隐藏在分布式云系统的巨大状态空间中，并根据分布式计算和通信的时间安排以非确定性的方式表现出来。需要有效的技术来检测DCbug。本文介绍了DCbug检测领域中的试点解决方案DCatch。DCatch通过分析分布式系统的正确执行来预测DCbug。为了构建DCatch，我们设计了一组happens-before规则，对现实世界分布式云系统中的各种通信和并发机制进行建模。然后，我们构建了运行时跟踪和跟踪分析工具，以有效地识别这些系统中并发的冲突内存访问。最后，我们设计了一些工具来帮助消除误报并触发DCbug。我们已经在四个具有代表性的开源分布式云系统上对DCatch进行了评估，它们是Cassandra、Hadoop MapReduce、HBase和ZooKeeper。通过监控这些系统上七个工作负载的正确执行，DCatch报告了32个DCbug，其中20个是真正有害的。 主页： https://people.cs.uchicago.edu/~shanlu/paper/asplos17-prepint.pdf 关键词： 并发错误;分布式系统;Bug检测;云计算 相关软件： 分贝;SAMC公司;米哈;MODIST公司;Coq公司;常春藤;铁人舰队;常春藤;z3（零3）;github;快速通道;ASM公司;对等SIM;TLA公司;D3S公司;张开;BuzzPSS系统;数据瓶;内科;升高 引用于： 2文件 全部的 前5名6位作者引用 2 努诺·马查多 1 法比奥·科埃略 1 梅亚，弗朗西斯科 1 弗朗西斯科·奈维斯 1 乔·卡洛斯·佩雷拉 1 豪尔赫·索萨·品托 0连载引用 在1个字段中引用 2 计算机科学（68至XX） 按年份列出的引文