-
公开(公告)号：CN111274058B
公开(公告)日：2024-04-02
申请号：CN202010067792.X
申请日：2020-01-20
Applicant: 东南大学
Abstract: 本发明公开了一种轻量级冗余断言筛选方法，该方法基于断言检错度和良性后果检出率衡量断言重要性，根据断言重要性筛选同一脆弱点处的断言，筛除重要性低的断言。基于断言间的冗余度筛选不同脆弱点间的断言，筛除冗余断言。本发明降低了断言对SDC(Silent Data Corruption)错误的检测代价，提高了检测效率。此外，本发明在降低断言的良性后果错误检出率，提升检错度方面也有显著效果。
-
公开(公告)号：CN112131034B
公开(公告)日：2023-07-25
申请号：CN202011005441.2
申请日：2020-09-22
Applicant: 东南大学
IPC: G06F11/07
Abstract: 本发明公开了一种基于检测器位置的检查点软错误恢复方法，称为DPCKPT；所述方法包括以下步骤：第一步：加载添加检测器的程序，作为本方法的输入；第二步：部署初始检查点并划分程序段；第三步：计算程序段的时间开销；第四步：判断程序段内检查点的充足性，若检查点不足，则为程序段添加额外的检查点；第五步：判断程序段内检查点的可删性，删除可删检查点。DPCKPT在等时检查点间隔的检查点方法基础上，将检测器位置考虑在内，对等时检查点间隔方法的检查点进行重新部署，以降低检查点方法带来的时间开销，进而减少程序总体运行时间。本发明降低了程序总体运行时间。
-
公开(公告)号：CN111274058A
公开(公告)日：2020-06-12
申请号：CN202010067792.X
申请日：2020-01-20
Applicant: 东南大学
Abstract: 本发明公开了一种轻量级冗余断言筛选方法，该方法基于断言检错度和良性后果检出率衡量断言重要性，根据断言重要性筛选同一脆弱点处的断言，筛除重要性低的断言。基于断言间的冗余度筛选不同脆弱点间的断言，筛除冗余断言。本发明降低了断言对SDC(Silent Data Corruption)错误的检测代价，提高了检测效率。此外，本发明在降低断言的良性后果错误检出率，提升检错度方面也有显著效果。
-
公开(公告)号：CN112131034A
公开(公告)日：2020-12-25
申请号：CN202011005441.2
申请日：2020-09-22
Applicant: 东南大学
IPC: G06F11/07
Abstract: 本发明公开了一种基于检测器位置的检查点软错误恢复方法，称为DPCKPT；所述方法包括以下步骤：第一步：加载添加检测器的程序，作为本方法的输入；第二步：部署初始检查点并划分程序段；第三步：计算程序段的时间开销；第四步：判断程序段内检查点的充足性，若检查点不足，则为程序段添加额外的检查点；第五步：判断程序段内检查点的可删性，删除可删检查点。DPCKPT在等时检查点间隔的检查点方法基础上，将检测器位置考虑在内，对等时检查点间隔方法的检查点进行重新部署，以降低检查点方法带来的时间开销，进而减少程序总体运行时间。本发明降低了程序总体运行时间。
-
-
-
Search Results
4
records
(took 0.026 seconds)
