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 Mar Times are displayed in time zone: Greenwich Mean Time : Belfast change
Wed 16 Mar
Times are displayed in time zone: Greenwich Mean Time : Belfast change
16:00 - 17:30 | Concurrency and RecoveryResearch Results at MODULARITY Chair(s): Steffen ZschalerKing'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 LongIowa State University, Mehdi BagherzadehIowa State University, Eric LinIowa State University, USA, Ganesha UpadhyayaIowa State University, USA, Hridesh RajanIowa State University DOI | ||
17:00 30mTalk | Fault Tolerance with Aspects: A Feasibility Study Research Results Sven KarolTechnische Universität Dresden, Norman A. RinkTU Dresden, Germany, Bálint GyapjasTU Dresden, Germany, Jeronimo CastrillonTechnische Universität Dresden DOI |