一种验证并发程序中违反原子性错误是否被正确修复的方法

（12）发明专利申请

（21）申请号 CN201410709983.6 （22）申请日 2014.11.28

（71）申请人 南京大学;江苏苏测软件检测技术有限公司

地址 210093 江苏省南京市鼓楼区汉口路22号

（10）申请公布号 CN104536878A

（43）申请公布日 2015.04.22

（72）发明人 徐宝文;周骏贵;时清凯;陈振宇;张驰;濮力;程秀才;谢佩章;王婧宇 （74）专利代理机构 南京天翼专利代理有限责任公司

代理人 奚铭

（51）Int.CI

G06F11/36;

权利要求说明书 说明书 幅图

（54）发明名称

一种验证并发程序中违反原子性错误是否被正确修复的方法

（57）摘要

一种验证并发程序中违反原子性错误是否

被正确修复的方法，利用原始程序执行错误时的执行日志，结合原子性错误的各种模式构造新的、适合于修复后程序的执行日志，并通过观察修复后的程序是否能够按照新的日志正确执行来判断原子性错误是否被修复。用户在并发程序出错后，使用同步化方法修复原子性错误，本发明方法能够帮助用户在重复执行修复程序若干次后

自动判断bug是否被正确修复。本发明方法不要求用户知道Bug的准确位置，符合用户检验错误是否被修复的习惯性方法。

法律状态

法律状态公告日

2015-04-22 2015-04-22 2015-04-22 2015-05-20 2015-05-20 2015-05-20 2017-09-12 2017-09-12 2019-05-17

法律状态信息

公开 公开 公开

实质审查的生效 实质审查的生效 实质审查的生效 授权 授权

专利权人的姓名或者名称、地址的变更

法律状态

公开 公开 公开

实质审查的生效 实质审查的生效 实质审查的生效 授权 授权

专利权人的姓名或者名称、地址的变更

权利要求说明书

一种验证并发程序中违反原子性错误是否被正确修复的方法的权利要求说明书内容是....请下载后查看

说明书

一种验证并发程序中违反原子性错误是否被正确修复的方法的说明书内容是....请下载后查看