数据集概述
本数据集是论文《Challenges in Empirically Testing Memory Persistency Models》的配套研究材料，包含实验所需的石蕊测试代码、辅助脚本及原始输出数据。数据集支持论文结果的复现与方法验证，为内存持久性模型的实证测试研究提供完整的实验素材。
文件详解
- 文档文件:
- README.md: Markdown格式的说明文档，介绍数据集内容、复现方法及背景信息
- 代码文件:
- litmus_test_x86.c、litmus_test_arm.c、litmus_test_mthread_arm.c: C语言编写的石蕊测试代码，用于不同架构的内存持久性测试
- check_persistency_property.py、identify_geometric.py: Python脚本，用于持久性属性验证与几何特征识别
- validation_x86.au3、validation_arm.au3: AutoIt脚本，用于x86和ARM架构的实验验证
- 数据文件:
- DDRDetective_log_preamble.csv、DDRDetective_log_successive.csv: CSV格式的DDR Detective日志文件，包含State、Address、Command等字段，记录内存操作过程数据
- 配置文件:
- DDRDetective_setup_x86.ddr4d、DDRDetective_setup_arm.ddr4d: DDR Detective工具的配置文件，用于不同架构的实验环境设置
- 图片文件:
- process.png、flow.png: PNG格式的图片文件，展示实验流程或处理过程
适用场景
- 计算机体系结构研究: 用于内存持久性模型的实证测试方法研究
- 系统软件验证: 支持内存持久性属性验证工具的开发与优化
- 学术研究复现: 辅助复现ICSE NIER'24论文中的实验结果
- 内存测试技术分析: 分析不同架构下内存持久性测试的挑战与解决方案
