×

D3S公司

swMATH ID: 44357
软件作者: 刘学政、郭振宇、王曦、陈飞波、连晓晨、汤健、吴铭、M.Frans Kaashoek、郑章
说明: D3S:调试部署的分布式系统。测试大规模分布式系统是一项挑战,因为一些错误只有在涉及机器和网络故障的分布式事件序列之后才会显现出来。D3S是一个检查器,允许开发人员在已部署系统的分布式属性上指定谓词,并在系统运行时检查这些谓词。当D3S发现问题时,它会产生导致问题的状态变化序列,使开发人员能够快速找到问题的根本原因。开发人员以简单有序的编程风格编写谓词,而D3S则以分布式并行方式检查这些谓词,以允许检查可扩展到大型系统和容错。通过使用二进制插装,D3S可以透明地与遗留系统一起工作,并且可以在运行时更改要检查的谓词。对5个部署系统的评估表明,D3S可以在运行时检测非平凡的正确性和性能错误,并且性能开销低(小于8
主页: https://www.usenix.org/legacy/event/nsdi08/tech/full_papers/lu_xuezheng/liu_xue zheng.pdf
相关软件: ASM公司PeerSim公司Coq公司TLA公司MODIST公司D匹配张开BuzzPSS系统数据瓶dBug(分贝)内科升高SAMC公司压铸Elas测试乌姆西姆米哈糕点Hadoop公司行星实验室
引用于: 1文件

0连载引用

在1个字段中引用

1 计算机科学(68至XX)

按年份列出的引文