He escrito algunos códigos para aplicaciones que requieren una resistencia extrema a fallar de manera insegura. El código se escribió completamente en lenguaje ensamblador y se guardaron dos copias de muchas variables importantes, con un delta fijo entre ellas. En lugar de calcular y almacenar el valor de la segunda variable en función de la primera, el código sería algo así como:
' Code to add reg1a to reg2a and maintain delta invariants
if reg1b reg1a + REG1_DELTA then error
if reg2b reg2a + REG2_DELTA then error
reg2b += reg1b - REG1_DELTA
reg2a += reg1a
if reg2b reg2a + REG2_DELTA then error
Cualquier registro que se dañó se marcaría inmediatamente como un error. Sería improbable que varios registros se corrompan de tal manera que evite casualmente un error. Debido a que los registros 'b' no se calculan en base a los registros 'a', un error que golpea un registro 'a' no causará el correspondiente cambio correspondiente en un registro 'b', sin importar cuándo ocurra.