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
16:00 - 17:30
|A Type-and-Effect System for Asynchronous, Typed Events|
|On Ordering Problems in Message Passing Software|
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 UniversityDOI
|Fault Tolerance with Aspects: A Feasibility Study|
Sven Karol Technische Universität Dresden, Norman A. Rink TU Dresden, Germany, Bálint Gyapjas TU Dresden, Germany, Jeronimo Castrillon Technische Universität DresdenDOI