Compiler-Implemented Differential Checksums: Effective Detection and Correction of Transient and Permanent Memory Errors
Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
Beitragende
Abstract
The detection of memory errors is common practice in safety-critical software, for example in the automotive and avionics industry. International safety standards recommend using checksums for protecting critical data in computer memories. Typical implementations verify the checksum before data access and recompute it after modification using the same algorithm. However, we show that this approach can sometimes dramatically worsen the reliability of computer systems with regard to transient memory faults, and also permanent faults remain undetected. A solution with significant conceptual advantages is constituted by differential checksum algorithms, which update the respective checksum without full recomputation on data modification. We present a compiler-based solution that inserts differential checksums into C/C++ data structures automatically to cope with their increased complexity. An extensive fault-injection campaign with the TACLeBench benchmark collection shows that differential checksums reduce silent data corruptions by 95% on average whereas non-differential checksums turn out to be mostly ineffective because they introduce a window of vulnerability.
Details
| Originalsprache | Englisch |
|---|---|
| Titel | Proceedings - 2023 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2023 |
| Herausgeber (Verlag) | Institute of Electrical and Electronics Engineers (IEEE) |
| Seiten | 81-94 |
| Seitenumfang | 14 |
| ISBN (elektronisch) | 9798350347937 |
| ISBN (Print) | 979-8-3503-4794-4 |
| Publikationsstatus | Veröffentlicht - 30 Juni 2023 |
| Peer-Review-Status | Ja |
Konferenz
| Titel | 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks |
|---|---|
| Kurztitel | DSN 2023 |
| Veranstaltungsnummer | 53 |
| Dauer | 27 - 30 Juni 2023 |
| Webseite | |
| Ort | Palácio da Bolsa |
| Stadt | Porto |
| Land | Portugal |
Externe IDs
| Scopus | 85169026509 |
|---|---|
| ORCID | /0000-0002-1427-9343/work/166764856 |
Schlagworte
ASJC Scopus Sachgebiete
Schlagwörter
- Complexity theory, Data structures, Program processors, Safety, Software, Software algorithms, Software reliability, Compiler, Dependability, Software Implemented Hardware Fault Tolerance, Memory Error, Permanent Fault, Soft Error, Checksum, Transient Fault, Fault Injection, Fault Tolerance