Error detection/correction and fault detection/recovery – Data processing system error or fault handling – Reliability and availability
Reexamination Certificate
2007-08-21
2007-08-21
Bonzo, Bryce P. (Department: 2113)
Error detection/correction and fault detection/recovery
Data processing system error or fault handling
Reliability and availability
C714S037000, C714S043000
Reexamination Certificate
active
10723252
ABSTRACT:
Described are techniques used for detection of inconsistent data structures. The state of a data structure is determined as “inconsistent” in accordance with a defined specification. In the event that a data structure is determined to be inconsistent, the data structure may be repaired. In the event that the repair fails in connection with a read or a write operation, the executing program may optionally take steps to allow the program to continue execution. In connection with a read operation, any value may be returned as a result of the read. In connection with a write operation, the data to be written is discarded such that no write of data is performed and program execution continues. The detection and repairs are determined in accordance with user specifications.
REFERENCES:
patent: 5291494 (1994-03-01), Bruckert et al.
patent: 5301287 (1994-04-01), Herrell et al.
patent: 5590329 (1996-12-01), Goodnow et al.
patent: 5838979 (1998-11-01), Hart et al.
patent: 5854924 (1998-12-01), Rickel et al.
patent: 5999731 (1999-12-01), Yellin et al.
patent: 6038378 (2000-03-01), Kita et al.
patent: 6247171 (2001-06-01), Yellin et al.
patent: 6377950 (2002-04-01), Peters et al.
patent: 6636994 (2003-10-01), Waschura et al.
patent: 2002/0059260 (2002-05-01), Jas
patent: 2003/0126590 (2003-07-01), Burrows et al.
patent: 2003/0188231 (2003-10-01), Cronce
patent: 2004/0015876 (2004-01-01), Applin
patent: 2004/0030780 (2004-02-01), Walters
patent: 2004/0153827 (2004-08-01), Schwabe
patent: 2005/0038832 (2005-02-01), Feigenbaum
patent: 2005/0060317 (2005-03-01), Lott et al.
patent: 2005/0076266 (2005-04-01), Costin
Demsky et al. “Role-Based Exploration of Object Oriented Programs” ACM 2002.
Rinard, Martin “An Integrated Synchronsization and Consistency Protocol for IMplementation of a High-Level Parallel Programming Language” IEEE 1996.
Jonathan D. Bright, et al., On-line Error Monitoring for Several Data Structures, AT&T Bell Laboratories, Murray Hill, New Jersey 07974, Computer Science Department, Johns Hopkins University, Baltimore, Maryland 21218, 10 pages.
Stefano Porcarelli, et al., Tuning of database audits to improve scheduled maintenance in communication systems, Univ. of Pisa, Computer Engineering Dep., Via Diotisalvi 2,I-56126, Pisa, Italy, Stefano.porcarelli@guest, cnuce.cnr.it; IEI/CNR, Via Moruzzi I, I-56100, Pisa, Italy {digiandomenico, chohra}@iei.pi.cnr.it; Univ. of Firenze, Dip. Sistemi e Informatica, V. Lombroso 6/17, I-50134, Firenza, Italy, andrea.bondavalli@cnuce.cnr.it, 10 pages.
Jim Gray, et al., The Recovery Manager of the System R Database Manager, Computing Surveys, vol. 13, No. 2, Jun. 1981, pp. 223-242.
P.J. Plauger, Chocolate, Mar. 1994, Embedded Systems Programming 81, 3 pages.
Michael Sannella, et al., Multi-way Versus One-way Constraints in User Interfaces: Experience with the DeltaBlue Algorithm; Technical Report 92-07-05a, Dept. of Computer Science and Engineering, University of Washington, May 1993, 38 pages.
Chung-Chi Jim Li, et al., Local Concurrent Error Detection and Correction in Data Structures Using Virtual Backpointers, IEEE Transactions on Computers, vol. 38, No. 11, Nov. 1989, pp. 1481-1482.
David Garlan, et al., Model-based Adaptation for Self-Healing Systems, School of Computer Science, Carnegie Mellon University, Pittsburgh, PA USA, garland@cs.cmu.edu, 6 pages.
Jonathan D. Bright, et al., Checking the Integrity of Trees, 10 pages.
G. Haugk, et al., Maintenance Capabilities, AT&T Technical Journal, vol. 64, No. 6, Jul.-Aug. 1985, pp. 1385-1416.
Samiha Mourad, et al., On the Reliability of the IBM MVS/XA Operating System, Concise Papers, IEEE Transactions on Software Engineering, vol. SE-13, No. 10, Oct. 1987, pp. 1135-1139.
Robert E. Strom, et al., Typestate: A Programming Language Concept for enhancing Software Reliability, IEEE Transactions on Software Engineering, vol. SE-12, No. 1, Jan. 1986, pp. 157-171.
David J. Taylor, et al., Principles of Data Structure Error Correction, IEEE Transactions on Computers, vol. C-31, No. 7, Jul. 1982, pp. 602-608.
Manuvir Das, et al., ESP: Path-Sensitive Program Verification in Polynomial Time, PLDI'02, Jun. 17-19, 2002, Berlin, Germany, pp. 57-68.
David Patterson, et al., Recovery Oriented Computing (ROC): Motivation, Definition, Techniques, and Case Studies, Computer Science Technical Report UCS/CSD-02-1175, U.C. Berkeley, Mar. 15, 2002, 16 pages.
Neeraj K. Gupta, et al., Auditdraw: Generating Audits the FAST Way, pp. 1-10.
Stefano Ceri, et al., automatic Generation of Production Rules for Integrity Maintenance, ACM Transactions on Database Systems, vol. 19, No. 3, Sep. 1994, pp. 367-422.
Aaron B. Brown, et al., Undo for Operators: Building an Undoable E-mail Store, University of California, Berkeley, EECS, Computer Science Division, 387 Soda Hall, #1776, Berkeley, CA, 94720-1776, USA {abrown, patterson}@cs.berkeley.edu, Jun. 2003, 14 pages.
George Candea, et al., Recursive Restartability: Turning the Reboot Sledgehammer into a Scalpel, Appears in Proceedings of the 8thWorkshop on Hot Topics in Operating Systems (HotOS-VIII), May 2001, 6 pages.
Stefano Ceri, et al., Deriving Production Rules for Constraint Maintenance, Proc. of 1990 VLDB Conference, pp. 566-577.
David G. Clarke, et al., Ownership Types for Flexible Alias Protection, Microsoft Research Institute, Macquarie University, Sydney, Australia {clad.potter,kjx}@mri.mq.edu.au, 17 pages.
Susan D. Urban, et al., Constraint Analysis: A Design process for Specifying Operations on Objects, IEEE Transactions on Knowledge and Data Engineering, vol. 2, No. 4, Dec. 1990, pp. 391-400.
James C. Corbett, et al., Bandera: Extracting Finite-state models from java Source Code, University of Hawai'i Department of Information, and Computer Science, Honolulu, HI 96822, Corbett@hawaii.edu, 10 pages.
Martin C. Rinard, Credible Compilation, Laboratory for Computer Science, Massachusetts Institute of Technology, Cambridge, MA 02139, Mar. 10, 1999, 38 pages.
James R. Larus, et al., EEL: Machine-Independent Executable Editing, Computer Sciences Department, University of Wisconsin-Madison, 1210 West Dayton Street, Madison, WI 53706, USA, {larus,schnarr}@cs.wisc.edu., pp. 291-300.
Michael d. Ernst, et al., Quickly Detecting Relevant Program Invariants, University of Washington Technical Report UW-CSE-99-11-01, Nov. 15, 1999, 12 pages.
Timothy Griffin, et al., Generating Update Constraints from PRL5.0 Specifications, AT&T Bell laboratories, Jul. 12, 1996, 10 pages.
Brian Demsky, et al., Role-Based Exploration of Object-Oriented Programs, Laboratory for Computer Science, Massachusetts Institute of Technology, Cambridge, MA 02139, bdemsky@mit.edu, 12 pages.
Daniel Jackson, Alloy: A Lightweight Object Modelling Notation, Laboratory for Computer Science, Massachusetts Institute of Technology, Nov. 27, 2001, 32 pages.
Gregor Kiczales, et al., Aspects-Oriented programming, Jun. 1997, 25 pages.
Abstract—Viktor Kuncak, et al., Role Analysis, POPL '02, Jan. 16-18, 2002, Portland, OR USA; 16 pages.
David A. Ladd, et al., Two Application Languages in Software Production, AT&T Bell Laboratories, 9 pages.
Christian Nentwich, et al., consistency Management with Repair Actions, Department of Computer Science, University College London, Gower Street, London WCIE 6BT,UK {c.nentwich, w.emmerich,a.finkelstein}@cs.ucl.ac.uk, 10 pages.
Susan S. Brilliant, et al., Analysis of Faults I a Multi-Version Software Experiment, Department of Computer Science, University of Virginia, Charlottesville, Virginia 22903, 36 pages.
Chandrasekhar Boyapati, et al., Ownership Types for Safe programming: Preventing Data Races and Deadlocks, OOPSLA '02, Nov. 4-8, 2002, Seattle, Washington, USA, pp. 211-230.
Timothy L. Kay, et al., Ray Tracing Complex Scenes, Dallas, Aug. 18-22, vol. 20, No. 4, 1986, pp. 269-278.
Martin C. Rinard, et al., Credible Compilation with Pointers, Laboratory for computer Science, Massachusetts Institute of Technology, Cambridge, MA 02139, {rinard,marinov}@lcs.mit.edu, 20 pages.
Beverly D. Sanford, et al., Center/Traconau
Demsky Brian C.
Rinard Martin C.
Bonzo Bryce P.
Massachusetts Institute of Technology
Muirhead and Saturnelli LLC
LandOfFree
Specification based detection and repair of errors in data... does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Specification based detection and repair of errors in data..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Specification based detection and repair of errors in data... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-3869958