一句话：提出 MC Mutants，用变异方法评估并改进内存一致性规范测试，以发现既有测试遗漏的 MCS 缺陷。
共享内存平台通过内存一致性规范（MCS）让开发者推理并行程序行为，但确保平台符合 MCS 十分困难，实际平台中已出现大量 bug。现有 MCS 测试方法虽能发现缺陷，其有效性却依赖测试环境（如是否施加合成内存压力）；同时，合法的 MCS 违规过于稀少，难以作为衡量测试效能的指标，导致既有方法遗漏关键 MCS bug。论文提出 MC Mutants，旨在通过变异体来评估并改进 MCS 测试，使测试环境与测试方法的有效性可被更可靠地度量和提升。摘要未报告具体实验结果。
Shared memory platforms provide a memory consistency specification (MCS) so that developers can reason about the behaviors of their parallel programs. Unfortunately, ensuring that a platform conforms to its MCS is difficult, as is exemplified by numerous bugs in well-used platforms. While existing MCS testing approaches find bugs, their efficacy depends on the testing environment (e.g. if synthetic memory pressure is applied). MCS testing environments are difficult to evaluate since legitimate MCS violations are too rare to use as an efficacy metric. As a result, prior approaches have missed critical MCS bugs.
@inproceedings{paperbot10000,
title = {MC Mutants: Evaluating and Improving Testing for Memory Consistency Specifications},
author = {Reese Levine and Tianhao Guo and Mingun Cho and Alan Baker and Raph Levien and David Neto and Andrew Quinn and Tyler Sorensen},
booktitle = {ASPLOS},
year = {2023},
doi = {10.1145/3575693.3575750}
}