买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

申请/专利权人：华中科技大学

摘要：本发明公开了一种针对持久内存并发程序的崩溃一致性故障检测方法及系统，包括：S1、通过编译器对待测持久内存并发程序中的访存指令以及持久内存相关接口进行插桩，得到可执行程序；S2、按照待测持久内存并发程序的输入规则，生成多个输入参数作为可执行程序的输入构成输入参数集；S3、分别获取各输入参数下，可执行程序中各访存指令所访问的持久内存地址所对应的访存模式、以及控制可执行程序产生先写后读的访存时序后可执行程序中各访存指令所访问的持久内存地址所对应的访存模式；并判断各访存模式中是否存在基于未持久化的数据写持久内存的模式，若存在，则判定为一致性故障；本发明能够高效准确地检测持久内存并发程序中的一致性故障。

主权项：1.一种针对持久内存并发程序的崩溃一致性故障检测方法，其特征在于，包括以下步骤：S1、通过编译器对待测持久内存并发程序中的访存指令以及持久内存相关接口进行插桩，得到可执行程序；插桩代码用于崩溃一致性故障检测；S2、按照所述待测持久内存并发程序的输入规则，生成多个输入参数作为所述可执行程序的输入，构成输入参数集；S3、分别获取所述输入参数集中输入参数下，所述可执行程序中各访存指令所访问的持久内存地址所对应的访存模式、以及通过所述插桩代码控制所述可执行程序产生先写后读的访存时序后所述可执行程序中各访存指令所访问的持久内存地址所对应的访存模式；并在上述过程中，通过所述插桩代码判断所得各访存模式中是否存在基于未持久化的数据写持久内存的模式，若存在，则判定为一致性故障；其中，所述持久内存地址所对应的访存模式的形式为Ix，Iy，Px，Py，Ix和Iy表示访问该持久内存地址的连续两条指令，Px表示执行指令Ix后数据的持久化状态，Py表示执行指令Iy后数据的持久化状态；所述基于未持久化的数据写持久内存的模式为：当Ix为写指令，Px为执行指令Ix后的数据处于未持久化状态，Iy为读指令时，将与执行指令Iy获取的数据有数据依赖的任意数据写到持久内存的操作；所述步骤S3包括：对所述输入参数集中的各输入参数，分别执行以下步骤：S31、在所述输入参数集中的输入参数input下，运行所述可执行程序，得到当前运行环境下所述可执行程序中各访存指令所访问的持久内存地址所对应的访存模式，并通过所述插桩代码判断各访存模式中是否存在所述基于未持久化的数据写持久内存的模式，若存在，则判定为一致性故障，并保存可执行程序中出现所述基于未持久化的数据写持久内存的模式时的函数调用栈以及对应的持久内存映射文件；S32、选择所述可执行程序中各访存指令所访问的持久内存地址中访问次数大于预设访问次数的持久内存地址，得到所选持久内存地址集；S33、对所述所选持久内存地址集中的所选持久内存地址，分别执行以下操作：对所选持久内存地址所对应的各读写指令，通过所述插桩代码分别在所述所选持久内存地址所对应的各读指令前加延迟直到对应的写指令完成或延迟时间达到预设时长，以实现先写后读的访存时序；在所述输入参数input下，重新运行可执行程序，得到当前运行环境下所述可执行程序中各访存指令所访问的持久内存地址所对应的访存模式，并通过所述插桩代码判断各访存模式中是否存在所述基于未持久化的数据写持久内存的模式，若存在，则判定为一致性故障，并保存可执行程序中出现所述基于未持久化的数据写持久内存的模式时的函数调用栈以及对应的持久内存映射文件。

全文数据：

权利要求：

百度查询： 华中科技大学 针对持久内存并发程序的崩溃一致性故障检测方法及系统