SoftECC : a system for software memory integrity checking

SoftECC is software memory integrity checking agent. SoftECC repeatedly computes page-level checksums as an efficient means to verify that a page's contents have not changed. Memory errors that occur between two checksum computations will cause the two checksum values to disagree. Legitimate memory writes also cause a change in checksum value, so a page can only be protected during periods of time when it is not being written to. Preliminary measurements with an implementation of SoftECC in the JOS kernel on the x86 architecture show that SoftECC can halve the number of undetectable soft errors using minimal compute time.

Department dc:contributor.department

Massachusetts Institute of Technology. Dept. of Electrical Engineering and Computer Science.

Grantor dc:publisher

Massachusetts Institute of Technology

Year dc:date.issued

2005

Author dc:creator

• Dopson, Dave

Advisor dc:contributor.advisor

• Frans Kaashoek.

• Electrical Engineering and Computer Science.

Statement dc:rights

• M.I.T. theses are protected by copyright. They may be viewed from this source for any purpose, but reproduction or distribution in any format is prohibited without written permission. See provided URL for inquiries about permission.

Licence dc:rights.uri

• http://dspace.mit.edu/handle/1721.1/7582

Language dc:language.iso

eng

Handle dc:identifier.uri

http://hdl.handle.net/1721.1/36769

OAI identifier oai:identifier

oai:dspace.mit.edu:1721.1/36769