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

发明专利有效专利

申请号：
CN201410709983.6
IPC分类号：G06F11/36
申请日期：
2014-11-28
申请人：
南京大学;江苏苏测软件检测技术有限公司

基础信息

权利要求

说明书

PDF全文

法律信息

引证文献

著录项信息

专利名称	一种验证并发程序中违反原子性错误是否被正确修复的方法
申请号	CN201410709983.6	申请日期	2014-11-28
法律状态	暂无	申报国家	中国
公开/公告日	2015-04-22	公开/公告号	CN104536878A
优先权	暂无	优先权号	暂无
主分类号	G06F11/36 ? IPC结构图谱： G 物理 G0 仪器 G06 计算；推算；计数 G06F 电数字数据处理（基于特定计算模型的计算机系统入G06N） G06F11/00 错误检测；错误校正；监控（在基于记录载体和传感器之间的相对运动而实现的信息存储中的错误检测、校正或监控所用的方法或装置入 G11B 20/18；监控，即，监控记录或重现的进程入G11B 27/36；静态存储中所用的方法或装置入G11C29/00）〔1，4，2006.01〕 G06F11/36 通过软件的测试或调试防止错误〔7〕	IPC分类号	G;0;6;F;1;1;/;3;6查看分类表>
申请人	南京大学;江苏苏测软件检测技术有限公司	申请人地址	江苏省南京市鼓楼区汉口路22号变更专利地址、主体等相关变化，请及时变更，防止失效
权利人	南京大学,江苏苏测检测认证有限公司	当前权利人	南京大学,江苏苏测检测认证有限公司
发明人	徐宝文;周骏贵;时清凯;陈振宇;张驰;濮力;程秀才;谢佩章;王婧宇
代理机构	南京天翼专利代理有限责任公司	代理人	奚铭

摘要

一种验证并发程序中违反原子性错误是否被正确修复的方法，利用原始程序执行错误时的执行日志，结合原子性错误的各种模式构造新的、适合于修复后程序的执行日志，并通过观察修复后的程序是否能够按照新的日志正确执行来判断原子性错误是否被修复。用户在并发程序出错后，使用同步化方法修复原子性错误，本发明方法能够帮助用户在重复执行修复程序若干次后自动判断bug是否被正确修复。本发明方法不要求用户知道Bug的准确位置，符合用户检验错误是否被修复的习惯性方法。

序号	公开(公告)号	公开(公告)日	申请日	专利名称	申请人
该专利没有引用任何外部专利数据！

序号	公开(公告)号	公开(公告)日	申请日	专利名称	申请人
该专利没有被任何外部专利所引用！

我浏览过的专利

专利服务由北京酷爱智慧知识产权代理公司提供