Advertisement

A Preliminary Fault Injection Framework for Evaluating Multicore Systems

  • Anna Lanzaro
  • Antonio Pecchia
  • Marcello Cinque
  • Domenico Cotroneo
  • Ricardo Barbosa
  • Nuno Silva
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7613)

Abstract

Multicore processors are becoming more and more attractive in embedded and safety-critical domains because they allow increasing the performance by ensuring reduced power consumption. However, moving to multicore systems raises novel dependability challenges: the number of cores, concurrency issues, shared resources and interconnections among cores make it hard to develop and validate software deployed on the top of multicore processors.

This paper discusses a preliminary fault injection framework, which aims to investigate dependability properties of multicore-based systems. The proposed framework leverages the error reporting architecture provided by modern processors and has been instantiated in the context of the Intel Core i7 processor. Fault injection campaigns have been conducted under the Linux OS to show the benefits of the framework.

Keywords

Dependability Multicore Fault Injection Machine Check Error Intel Core i7 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Aussaguès, C., Chabrol, D., David, V.: PharOS, a multicore OS ready for safety-related automotive systems: results and future prospects. In: Software and Systems, pp. 1–10 (2010)Google Scholar
  2. 2.
    Navet, N., Monot, A., Bavoux, B.: Multi-source and multicore automotive ECUs-OS protection mechanisms and scheduling, vol. 2010 (2010)Google Scholar
  3. 3.
    Agrou, H., Sainrat, P., Gatti, M.: A design approach for predictable and efficient multi-core processor for avionics. Digital Avionics (2011)Google Scholar
  4. 4.
    Kinnan, L.: Use of multicore processors in avionics systems and its potential impact on implementation and certification. In: Avionics Systems Conference, DASC 2009 (2009)Google Scholar
  5. 5.
    Zhu, Y.: Medical Image Viewing on Multicore Platforms Using Parallel Computing Patterns. IT Professional 12(2), 33–41 (2010)CrossRefGoogle Scholar
  6. 6.
    Mushtaq, H., Al-Ars, Z., Bertels, K.: Survey of fault tolerance techniques for shared memory multicore/multiprocessor systems. In: 2011 IEEE 6th International Design and Test Workshop (IDT), pp. 12–17 (December 2011)Google Scholar
  7. 7.
    Lee, D., Na, J.: A Novel Simulation Fault Injection Method for Dependability Analysis. IEEE Design & Test of Computers 26(6), 50–61 (2009)CrossRefGoogle Scholar
  8. 8.
    Leveraging virtualization in Aerospace and Defense applications, Radisys white paper (November 2011)Google Scholar
  9. 9.
    Madeira, H., Rela, M., Moreira, F., Silva, J.G.: RIFLE: A General Purpose Pin-Level Fault Injector. In: Echtle, K., Powell, D.R., Hammer, D. (eds.) EDCC 1994. LNCS, vol. 852, pp. 199–216. Springer, Heidelberg (1994)Google Scholar
  10. 10.
    International Organization for Standardization. Product Development: Software Level. ISO/DIS 26262-6 (2009)Google Scholar
  11. 11.
    Gunneflo, U., Karlsson, J., Torin, J.: Evaluation of Error Detection Schemes Using Fault Injection by Heavy Radiation. In: Proceedings of the Fault Tolerant Computing Symposium - FTCS-19, pp. 340–347 (1989)Google Scholar
  12. 12.
    Segall, Z., Vrsalovic, D., Siewiorek, D., Kownacki, J., Barton, J., Dancey, R., Robinson, A., Lin, T.: FIAT - Fault Injection Based Automated Testing Environment. In: Proceedings of the 18th IEEE International Symposium on Fault Tolerant Computing - FTCS 1988, pp. 102–107 (1988)Google Scholar
  13. 13.
    Kanawati, G.A., Kanawati, N.A., Abraham, J.A.: FERRARI: A Tool for the Validation of System Dependability Properties. In: Proceedings of the 22nd IEEE International Fault Tolerant Computing Symposium, FTCS-22, pp. 336–344 (1992)Google Scholar
  14. 14.
    Kao, W.-L., Iyer, R.K., Tang, D.: FINE: A Fault Injection and Monitoring Environment for Tracing the UNIX System Behavior under Faults. IEEE Transactions on Software Engineering 19, 1105–1118 (1993)CrossRefGoogle Scholar
  15. 15.
    Carreira, J., Madeira, H., Silva, J.G.: Xception: Software Fault Injection and Monitorintg in Processor Functional Units. IEEE Transactions on Software Engineering 24 (1998)Google Scholar
  16. 16.
    Hari, S.K.S., Li, M.-L., Ramachandran, P., Choi, B., Adve, S.V.: mSWAT: Low-Cost Hardware Fault Detection and Diagnosis for Multicore Systems. In: MICRO 2009, New York (December 2009)Google Scholar
  17. 17.
    Jacques-Silva, G., Kalbarczyk, Z., Iyer, R.K.: Dependability Assessment of Operating Systems in Multi-core Architectures. In: Fast Abstract in the 38th Int. Symp. on Dependable Systems and Networks, Anchorage, Alaska (June 2008)Google Scholar
  18. 18.
    Faraji, I., Didehban, M., Zarandi, H.R.: Analysis of Transient Faults on a MIPS-Based Dual-Core Processor. In: Int. Conf. on Availability, Reliability, and Security - ARES 2010, Krakow, Poland (2010)Google Scholar
  19. 19.
    Lanzaro, A., Cotroneo, D., Duraes, J., Silva, N., Barbosa, R.: Multicore Systems: Challenges for creating a representative fault model for fault injection. In: DASIA Int’l Space System Engineering Conference, Dubrovnik, Croatia (May 2012)Google Scholar
  20. 20.
    Salfner, F., Troger, P., Tschirpke, S.: Cross-Core Event Monitoring for Processor Failure Prediction. In: Int. Conf. on High Performance Computing & Simulation, HPCS 2009, Leipzig, Germany (2009)Google Scholar
  21. 21.
    Intel 64 and IA-32 Architectures Software Developer’s Manual vol. 3: System Programming Guide, http://www.intel.com/
  22. 22.
    Kleen, A.: Machine check handling on Linux. SUSE Labs (August 2004)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Anna Lanzaro
    • 1
  • Antonio Pecchia
    • 1
  • Marcello Cinque
    • 1
  • Domenico Cotroneo
    • 1
  • Ricardo Barbosa
    • 2
  • Nuno Silva
    • 2
  1. 1.Dipartimento di Informatica e SistemisticaUniversitá degli Studi di Napoli Federico IINaplesItaly
  2. 2.ASD-T Aeronautics, Space, Defense and TransportationCritical Software SACoimbraPortugal

Personalised recommendations