Guardat en:
| Autor principal: | |
|---|---|
| Format: | Recurso digital |
| Idioma: | anglès |
| Publicat: |
Zenodo
2026
|
| Matèries: | |
| Accés en línia: | https://doi.org/10.5281/zenodo.18761024 |
| Etiquetes: |
Afegir etiqueta
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
|
Taula de continguts:
- <p>Version 1.1 (Revised and expanded)</p> <p>This version introduces several improvements to the original DME paper:</p> <p>- Reformulated Diversity Divergence Theorem with explicit three-part structure and probabilistic bound P ≤ (ρL/R)^{N-1}<br>- Added Assumption 2.2 (Replica-Private Address Spaces) to strengthen fault model<br>- Clarified memory footprint: 512 bytes per replica covers CPU context + hash state only (stack/heap allocated separately)<br>- Added Listing 1 with per-replica execution loop showing fetch-execute-hash-compare cycle<br>- Added note that while tested in virtualised environment, DME can be implemented natively in assembly on physical hardware<br>- Minor corrections and formatting improvements</p> <p>Original abstract:<br>Redundancy-based fault tolerance techniques typically execute identical binaries with identical address layouts, leaving systems vulnerable to correlated control-flow faults. This paper introduces Divergent Multi-Version Execution (DME), which combines address-space decorrelation with per-instruction full-state hashing. Identical instruction bytes are preserved across replicas, while basic blocks are mapped to distinct addresses. After each instruction, replicas compute incremental state hashes and perform synchronous comparison.</p>