×

dBug(分贝)

swMATH ID: 44352
软件作者: 吉里·西姆萨、兰迪·布莱恩特、加思·吉布森
说明: dBug:分布式系统的系统评估。本文介绍了“dBug”的设计、实现和评估,该工具利用手动工具对分布式和并发系统进行系统评估。具体来说,对于给定的分布式并发系统、其初始状态和工作负载,dBug工具系统地研究了工作负载触发的并发事件可能发生的顺序。此外,dBug可选地使用部分降阶机制来避免探索等效阶。通过提供正确性检查,dBug工具能够验证给定并发工作负载的所有可能序列化是否正确执行。遇到错误时,该工具会生成一个跟踪,可以重放该跟踪以调查错误。我们将dBug工具应用于两个分布式系统——用C实现的并行虚拟文件系统(PVFS)和用C++实现的基于FAWN的键值存储(FAWN-KV)。特别是,我们将这两个系统与dBug集成,以暴露由于并发导致的不确定性。该机制用于验证从固定初始状态并发执行多个基本操作的结果是否符合PVFS和FAWN-KV的高级规范。实验证据表明,dBug工具能够以模块化、实用化的方式系统地探索分布式系统的行为,和有效的方式
主页: https://www.cs.cmu.edu/~jsimsa/dbug/ssv2010.pdf
相关软件: D匹配SAMC公司米哈MODIST公司Coq公司铁人舰队常春藤z3(零3)常春藤github快速通道ASM公司PeerSim公司TLA公司D3S公司张开BuzzPSS系统数据瓶内科升高
引用于: 2文件

0连载引用

在1个字段中引用

2 计算机科学(68至XX)

按年份列出的引文