Generating and Executing Dependable Application Software on UnReliable Embedded Systems (Get-SURE) - II

点击翻译按钮获取中文摘要

As hardware components in computer systems have become more unreliable due to the technology scaling, hardware errors, resulting from soft errors (e.g., transient faults) and permanent errors (e.g., aging), have become unavoidable. It is, therefore, crucial for system designers to exploit effective hardware and software techniques to improve the dependability. This research proposal aims to achieve dependability improvement by adopting reliability-driven compilation, offline and online software techniques in a cross-layer fashion while considering unreliable hardware components. To bridge the gap between hardware and software techniques for achieving a high degree of reliability, the project will explore software resilience modeling (considering the proper hardware-level fault models) and optimization to guide system software and application software generation (through compiler) towards reliability improvement. After reducing the error probabilities in our funding phase-I (2013-2014), this proposal for our funding phase-II (2015-2016) investigates reliability-guided compilation and system software techniques with collaborative multi-granularity error detection and recovery under process variations and aging effects. In particular, we will explore: (1) reliability/resilience, application, and execution time models considering cores with heterogeneous hardening levels; (2) reliability-driven compiler back-end and linker under aging effects; (3) compiler-driven design and optimization of multi-granularity error detection and recovery modes; (4) power-/performance-constrained reliability optimization for manycore systems; and (5) compiler-guided run-time support for error detection and recovery. Both offline and online techniques are required and will be explored in the project in order to find effective means of how to adapt them to each other.