racebench是用于测试中断并发缺陷检测工具的基准测试集[1]。在NASAC 2019原型竞赛（并发竞争类）中首次对外发布。 根目录下是一些示例程序，主要用于理解中断数据访问冲突的7种缺陷模式[2]。
本目录下的示例程序是最终竞赛采用的测试集的一部分，在2019年11月11日发布，供竞赛参与者对工具进一步调试。 约定：
- 每个目录下为一个完整的可编译运行的样例程序，工具应对该程序进行独立分析；
- 函数名约定：*main为主程序，*isr[isr_num]为中断处理程序入口。isr_num越大，表示中断优先级越高。
- 每个样例程序的最后一行用注释给出来该样例中潜在的违反变量访问序的BUG。
本目录将于11月20日公布，是最终竞赛的所有测试集。
- [1] 陈睿, 杨孟飞. 航天嵌入式软件数据访问冲突基准测试集研究[J]. 中国空间科学技术, 2017(3).
- [2] 陈睿,杨孟飞,郭向英. 基于变量访问序模式的中断数据竞争检测方法[J]. 软件学报(3):547-561.