Abstract
Reliability is a major issue for safety-critical embedded systems such as biomedical implants. In such systems, hardware fault tolerance techniques are usually not available in off-the-shelf processors, because of the intrinsic energy costs of hardware duplication or triplication. As an alternative, software schemes based on compiler transformations are used for error detection and recovery. A common software error class caused by hardware transient faults is Control-Flow Errors (CFEs). In this paper we demonstrate how a new technique based on software instrumentation can benefit from loop-unrolling, with huge impact on control-flow reliability. We show the impact of loop-unrolling on fault-coverage and performance of these schemes. Thanks to the proposed approach, significant fault-coverage concerning CFE can be obtained with no extra costs, and even faster than other available techniques with the same fault-coverage level.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Zhu, D.: Energy management for real-time embedded systems with reliability requirements. In: Proceedings of International Conference on Computer-Aided Design, ICCAD 2006, pp. 528–534 (November 2006)
Ganesh, T.S., et al.: Seu mitigation techniques for microprocessor control logic. In: Proceedings of the Sixth European Dependable Computing Conference (EDCC 2006), pp. 77–86 (2006)
Mahmood, A., McCluskey, E.J.: Concurrent error detection using watchdog processors-a survey. IEEE Trans. on Computers, 160–174 (1988)
Saxena, N., McCluskey, E.J.: Dependable adaptive computing systems the roar project. In: Proceedings of International Conference on Systems, Man, and Cybernetics, pp. 2172–2177 (1998)
Gunneflo, U., Karlsson, J., Torin, J.: Evaluation of error detection schemes using fault injection by heavy-ion radiation. In: Proceedings of Nineteenth International Symposium on Fault-Tolerant Computing, FTCS-19, pp. 340–347 (June 1989)
Khudia, D.S., Mahlke, S.: Low cost control flow protection using abstract control signatures. In: Proceedings of LCTES, pp. 3–12 (June 2013)
Feng, S., Gupta, S., Ansari, A., Mahlke, S.: Shoestring: Probabilistic soft-error reliability on the cheap. In: Proceedings of ASPLOS (2010)
Wang, N.J., Quek, J., Rafacz, T.M., Patel, S.J.: Characterizing the effects of transient faults on a high-performance processor pipeline. In: Proceedings of DSN (June 2004)
Oh, N., Shirvani, P.P., McCluskey, E.J.: Control flow checking by software signatures. IEEE Trans. on Reliability 51(1), 111–122 (2000)
Kanawati, G.A., Nair, V.S.S., Krishnamurthy, N., Abraham, J.A.: Evaluation of integrated system-level checks for on-line error detection. In: Proceedings of IEEE International Computer Performance and Dependability Symposium, pp. 292–301. IEEE (September 1996)
Nazarian, G., Seepers, R.M., Strydis, C., Gaydadjiev, G.N.: Compiler-aided methodology for low overhead on-line testing. In: International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIII), pp. 219–226 (July 2013)
Oh, N., Shirvani, P.P., McCluskey, E.: Error detection by duplicated instructions in super-scalar processors. IEEE Trans. on Reliability, 63–75 (March 2002)
Alkhalifa, Z., Nair, V.S., Krishnamurthy, N., Abraham, J.: Design and evaluation of system-level checks for on-line control flow error detection. IEEE Trans. on Parallel and Distributed Systems 10(6), 627–641 (1999)
Goloubeva, O., Rebaudengo, M., Reorda, M.S., Violante, M.: Soft-error detection using control flow assertions. In: 18th IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems, pp. 581–588. IEEE (November 2003)
Vemu, R., Abraham, J.: Ceda: Control-flow error detection using assertions. IEEE Trans. on Computers 90(9), 1233–1245 (2011)
Venkatasubramanian, R., Hayes, J.P., Murray, B.T.: Low-cost on-line fault detection using control flow assertions. In: 9th IEEE On-Line Testing Symposium, pp. 137–143. IEEE (July 2003)
Reis, G.A., et al.: Swift: software implemented fault tolerance. In: Proceedings of International Symposium on Code Generation and Optimization, CGO, pp. 243–254 (March 2005)
Parizi, R.B., Ferreira, R.R., Carro, L., Moreira, Á.F.: Compiler optimizations do impact the reliability of control-flow radiation hardened embedded software. In: Schirner, G., Götz, M., Rettberg, A., Zanella, M.C., Rammig, F.J. (eds.) IESS 2013. IFIP AICT, vol. 403, pp. 49–60. Springer, Heidelberg (2013)
Vemu, R., Gurumurthy, S., Abraham, J.: Acce: Automatic correction of control-flow errors. In: Int. Test Conference, pp. 1–10 (2007)
Bacon, D.F., Graham, S.L., Sharp, O.J.: Compiler transformations for high-performance computing. ACM Trans. Computing Surveys 26(4), 345–420 (1994)
Cosy compiler, http://www.ace.nl/compiler/cosy
George, M., Alfke, P.: Linear feedback shift registers in virtex devices (2007), http://www.xilinx.com
Synopsys processor designer, http://www.synopsys.com/Systems/BlockDesign/processorDev/Pages/default.aspx
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Nazarian, G., Carro, L., Gaydadjiev, G.N. (2014). Towards Code Safety with High Performance. In: Maehle, E., Römer, K., Karl, W., Tovar, E. (eds) Architecture of Computing Systems – ARCS 2014. ARCS 2014. Lecture Notes in Computer Science, vol 8350. Springer, Cham. https://doi.org/10.1007/978-3-319-04891-8_18
Download citation
DOI: https://doi.org/10.1007/978-3-319-04891-8_18
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-04890-1
Online ISBN: 978-3-319-04891-8
eBook Packages: Computer ScienceComputer Science (R0)