Modularity 2016
Mon 14 - Thu 17 March 2016 Spain
Wed 16 Mar 2016 17:00 - 17:30 at MODULARITY - Concurrency and Recovery Chair(s): Steffen Zschaler

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

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
30m
Talk
A Type-and-Effect System for Asynchronous, Typed Events
Research Results
Yuheng Long Iowa State University, Hridesh Rajan Iowa State University
DOI
16:30
30m
Talk
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
30m
Talk
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