迭戈·塞佩达;萨基布·乔杜里;李楠;拉斐尔·洛佩兹;王新哲;沃伊切赫·戈拉布 针对多字持久同步原语的线性化能力测试。 （英语） Zbl 07650869号 Felber，Pascal（ed.）等人，第23届分布式系统原理国际会议，OPODIS 2019，瑞士诺伊沙特尔，2019年12月17日至19日。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。153，第19条，第17页（2020年）。 摘要：持久内存可以在出现故障后恢复内存中的数据结构，而不是从保存在慢速辅助存储中的状态重建它们。正确实现这种可恢复的数据结构具有挑战性，因为它们的底层算法必须同时处理并行性和故障，这使得它们特别容易受到编程错误的影响。因此，传统的正确性证明应该与其他方法相结合，例如模型检查或软件测试，以最小化未发现缺陷的可能性。本研究特别关注软件测试的算法原理，尤其是针对条件交换操作等多字持久同步原语的线性化能力分析。在此背景下，我们描述了一种有效的线性化决策过程，并讨论了其在检测多字持久原语实现中先前未知错误的实际应用。关于整个系列，请参见[Zbl 1434.68024号]。 引用于1文件 MSC公司： 68米14 分布式系统 68平方米 计算机系统环境下的性能评估、排队和调度 关键词：共享内存;持久存储器;同步;多字原语;并发;正确性;软件测试 软件：TLA公司 PDF格式BibTeX公司 XML格式引用 \textit{D.Cepeda}等人，LIPIcs——莱布尼茨国际程序。通知。153，第19条，第17页（2020；Zbl 07650869） 全文： 内政部