DocumentCode :
3460023
Title :
Compiler Optimizations for Fault Tolerance Software Checking
Author :
Yu, Jing ; Garzarán, María Jesús
Author_Institution :
Univ. of Illinois at Urbana-Champaign, Champaign
fYear :
2007
fDate :
15-19 Sept. 2007
Firstpage :
433
Lastpage :
433
Abstract :
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 protected with parity or ECC, such as Intel Itanium, Sun UltraSPARC and IBM Power4-6 because software implementations can take advantage of this hardware feature and reduce some of the replicated instructions. We have evaluated our approach using LLVM as our compiler infrastructure and PIN for fault injection. Our experimental results with Spec benchmarks on a Pentium 4 show that in the case where memory is guaranteed not to be corrupted, performance improves by an average 6.2%. With more support for checkpoint performance improves by an average 14.7%. A software fault tolerant system that takes advantage of the register safe platforms improves by an average 16.0%. Fault injection experiments show that our techniques do not decrease fault coverage, although they slightly increase the number of segmentation faults.
Keywords :
checkpointing; optimising compilers; software fault tolerance; checkpointing; compiler optimization; fault tolerance software checking; Checkpointing; Error correction codes; Fault tolerance; Hardware; Optimizing compilers; Power system protection; Registers; Software safety; Software systems; Sun;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Parallel Architecture and Compilation Techniques, 2007. PACT 2007. 16th International Conference on
Conference_Location :
Brasov
ISSN :
1089-795X
Print_ISBN :
978-0-7695-2944-8
Type :
conf
DOI :
10.1109/PACT.2007.4336261
Filename :
4336261
Link To Document :
بازگشت