Automatic detection and repair of errors in data structures

被引：56

作者：

Demsky, B ^{[1
]}

Rinard, M ^{[1
]}

机构：

[1] MIT, Comp Sci Lab, Cambridge, MA 02139 USA

来源：

ACM SIGPLAN NOTICES | 2003年 / 38卷 / 11期

关键词：

design; languages; reliability; data structure repair; data structure invariants;

D O I：

10.1145/949343.949314

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

We present a system that accepts a specification of key data structure consistency constraints, then dynamically detects and repairs violations of these constraints, enabling the program to continue to execute productively even in the face of otherwise crippling errors. Our experience using our system indicates that the specifications are relatively easy to develop once one understands the data structures. Furthermore, for our set of benchmark applications, our system can effectively repair inconsistent data structures and enable the program to continue to operate successfully.

引用

页码：78 / 95

页数：18

共 29 条

[1]

[Anonymous], 2002, UCBCSD021175

[2]

[Anonymous], 2002, WORKSH SELF HEAL AD

[3]

BOYAPATI C, 2002, ACM C OBJ OR PROGR S

[4] Recursive restartability: Turning the reboot sledgehammer into a scalpel [J].

Candea, G ;

Fox, A .

EIGHTH WORKSHOP ON HOT TOPICS IN OPERATING SYSTEMS, PROCEEDINGS, 2001, :125-130

[5] AUTOMATIC-GENERATION OF PRODUCTION RULES FOR INTEGRITY MAINTENANCE [J].

CERI, S ;

FRATERNALI, P ;

PARABOSCHI, S ;

TANCA, L .

ACM TRANSACTIONS ON DATABASE SYSTEMS, 1994, 19 (03) :367-422

[6]

CERI S, P 1990 VLDB C, P566

[7]

CHOI JD, 2002, P SIGPLAN 02 C PROGR

[8]

CLARKE DG, 1998, P 13 ANN C OBJ OR PR

[9]

CORBETT JC, 2000, P 22 INT C SOFTW ENG

[10]

DAS M, 2002, P SIGPLAN 02 C PROGR

← 1 2 3 →