To enable correct program execution on unreliable hardware, software can be made fault-tolerant by adding program statements or machine instructions for fault detection and recovery. Manually modifying programs does not scale, and extending compilers to emit additional machine instructions lacks flexibility. However, since software-implemented hardware fault tolerance (SIHFT) can be understood as a cross-cutting concern, we propose aspect-oriented programming as a suitable implementation technique. We prove this proposition by implementing an AN encoder based on AspectC++. In terms of performance and fault coverage, we achieve comparable results to existing compiler-based solutions.
Wed 16 MarDisplayed time zone: Belfast change
Wed 16 Mar
Displayed time zone: Belfast change
16:00 - 17:30 | Concurrency and RecoveryResearch Results at MODULARITY Chair(s): Steffen Zschaler King's College London | ||
16:00 30mTalk | A Type-and-Effect System for Asynchronous, Typed Events Research Results DOI | ||
16:30 30mTalk | On Ordering Problems in Message Passing Software Research Results Yuheng Long Iowa State University, Mehdi Bagherzadeh Iowa State University, Eric Lin Iowa State University, USA, Ganesha Upadhyaya Iowa State University, USA, Hridesh Rajan Iowa State University DOI | ||
17:00 30mTalk | Fault Tolerance with Aspects: A Feasibility Study Research Results Sven Karol Technische Universität Dresden, Norman A. Rink TU Dresden, Germany, Bálint Gyapjas TU Dresden, Germany, Jeronimo Castrillon Technische Universität Dresden DOI |