Compiler Optimizations for Fault Tolerance Software Checking

@article{Yu2007CompilerOF,
  title={Compiler Optimizations for Fault Tolerance Software Checking},
  author={Jing Yu and Mar{\'i}a Jes{\'u}s Garzar{\'a}n},
  journal={16th International Conference on Parallel Architecture and Compilation Techniques (PACT 2007)},
  year={2007},
  pages={433-433}
}
In this work we propose a set of compiler optimizations to identify and remove redundant checks from the replicated code. Two checks are considered redundant if they check the same variable. In this work we evaluate two levels of hardware or system support: memory without support for checkpointing and rollback, where memory is guaranteed to not be corrupted with wrong values and memory with low-cost support for checkpointing and rollback. We also consider the situation where register file is… CONTINUE READING