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) 按年份列出的引文