A C/C++ Source-to-Source Compiler for Dependable Applications
DSN '00 Proceedings of the 2000 International Conference on Dependable Systems and Networks (formerly FTCS-30 and DCCA-8)
Proceedings of the 36th annual IEEE/ACM International Symposium on Microarchitecture
Application-Based Metrics for Strategic Placement of Detectors
PRDC '05 Proceedings of the 11th Pacific Rim International Symposium on Dependable Computing
MiBench: A free, commercially representative embedded benchmark suite
WWC '01 Proceedings of the Workload Characterization, 2001. WWC-4. 2001 IEEE International Workshop
A compiler-microarchitecture hybrid approach to soft error reduction for register files
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Static analysis to mitigate soft errors in register files
Proceedings of the Conference on Design, Automation and Test in Europe
Impact of Software Optimization on Variable Lifetimes in a Microprocessor-Based System
DELTA '11 Proceedings of the 2011 Sixth IEEE International Symposium on Electronic Design, Test and Application
Hi-index | 0.00 |
Several criteria can be used to evaluate the criticality of registers and memory locations at compile time. This evaluation is useful to guide optimizations with respect to robustness constraints and soft error mitigation. In this paper, we analyze in detail the impact of compilation optimizations on the system dependability, using four different criteria. We show that optimizations enabled by default lead to criticality increase. However, selectively picking optimizations may increase the robustness of a system even if the consequences of a given optimization option may vary from a program to another. We also identify some optimizations that induce a significant increase in criticality and must be used with care.