×

SAMC公司

swMATH ID: 44345
软件作者: Tanakorn Leesatapornwongsa、Mingzhe Hao、Pallavi Joshi、Jeffrey F.Lukman、Haryadi S.Gunawi
说明: SAMC,语义软件模型检查:SAMC是一种分布式系统模型检查程序,简称dmck。传统的dmck(如dBug、CrystalBall或MODIST)对系统节点之间发送的消息进行重新排序。它们在每次运行中注入的故障不会超过一个。否则会加剧国家空间探索。SAMC是语义感知的,这意味着它知道被测系统对事件的反应。这些知识用于查找论文所称的深层错误,这些错误包括许多崩溃/重启。有4种语义模式用于实现这一目的:局部消息独立(LMI);崩溃消息独立性(CMI);碰撞恢复对称性(CRS);重新启动同步对称(RSS)。上飞公司还采用经过战斗验证的技术来减少状态空间爆炸:状态对称性、体系结构对称性和基于独立性的动态偏序减少(DOPR)。作者测试了Zookeeper、Hadoop/Yarn和Cassandra,在这些系统中发现了已知和新的错误。
主页: https://sadraskol.com/posts/reading-notes-samc-semantic-ware-model-checking/
相关软件: MODIST公司铁人舰队D匹配dBug(分贝)米哈Coq公司常春藤z3(零3)常春藤github快速通道ASM公司PeerSim公司TLA公司D3S公司张开BuzzPSS系统数据瓶内科升高
引用于: 4文件

按年份列出的引文