1. Kandemir224/MAPLD 20041 Reliability-Aware OS Support for FPGA-Based Systems M. Kandemir, G. Chen, and F. Li Department of Computer Science & Engineering The Pennsylvania State University, USA

2. Kandemir 224/MAPLD 2004 2 Introduction and Acronyms Increasing soft-error rates make reliability an important factor in system design Our focus: Reliability-aware OS scheduling for FGPA based systems FPGA: Field Programmable Gate Array CLB: Configurable Logic Block STG: SubTask Graph

3. Kandemir 224/MAPLD 2004 3 The Reconfigurable System CLB Configurable Logic Block a 6X8 CLB array the interconnects and input-output blocks are omitted Process 1 Process 2 Process 3

4. Kandemir 224/MAPLD 2004 4 Improving Reliability Traditionally, OS-scheduler schedules parallel executions of multiple processes to maximize FPGA space utilization Data dependencies between different processes might prevent the full utilization of FPGA space Our approach utilizes the available FPGA space to duplicate processes and improve reliability

5. Kandemir 224/MAPLD 2004 5 Duplicating Processes CLB Process 1 Process 2 Process 3 Duplicate of Process 3 Duplicate of Process 1

6. Kandemir 224/MAPLD 2004 6 Issues in Duplicating Processes Tasks (processes) have different criticality Each task may require a different amount of FPGA space Duplications can cause performance degradation We use a QoS parameter to indicate the maximum tolerable performance degradation A checker task is scheduled for each duplicated task to check the outputs of the primary task and the duplicate

7. Kandemir 224/MAPLD 2004 7 Subtask Graph (STG) ViVi VjVj Each process to be scheduled is presented by a subtask graph Each node represents a process code portion (subtask) that will be executed in a single quantum of time once it gets scheduled. The j th node of process i is denoted as STG ij Indicates a data or control dependence from v i to v j

8. Kandemir 224/MAPLD 2004 8 Subtask Graph ViVi VjVj Since our processes are extracted from the same application, there might be data dependences between different processes

9. Kandemir 224/MAPLD 2004 9 Our Approach Five Step Task duplication under QoS guarantees Current implementation focuses only on error detection Annotation step QoS specification step Task identification step Task ranking step Scheduling step

10. Kandemir 224/MAPLD 2004 10 Our Approach Annotation step QoS specification step Task identification step Task ranking step Scheduling step The application programmer indicates which data structure are critical from the reliability view point using annotations. The application programmer also indicates the tolerable latency during application execution as a result of the reliability provided.

11. Kandemir 224/MAPLD 2004 11 Our Approach Annotation step QoS specification step Task identification step Task ranking step Scheduling step An automatic application code analyzer analyzes the source code, and identifies tasks. Based on how these tasks operate on critical data, they are ranked. They are ordered from the most important task to the least important one.

12. Kandemir 224/MAPLD 2004 12 Our Approach Annotation step QoS specification step Task identification step Task ranking step Scheduling step The OS scheduler is modified such that whenever there is opportunity, the OS duplicates tasks that run on FPGA device. Whenever the scheduler predicts the QoS limit is about to be reached, it stops duplicating the tasks.

13. Kandemir 224/MAPLD 2004 13 Experimental Setup An error injection module injects errors with a specified probability Two real-life embedded applications: encr and usonic The performance of our reliability-aware scheduler is compared with that of a normal Short-Job-First scheduler Tolerate at most 5% performance degradation Rank tasks according to the frequency of accesses to critical data Fatal errors: Errors that would lead to crash of the application

14. Kandemir 224/MAPLD 2004 14 Experimental Data

15. Kandemir 224/MAPLD 2004 15 Ongoing Work Experimenting with a diverse set of benchmarks Implementing task duplication within other types of OS schedulers such as First-Come-First-Server

16. Kandemir 224/MAPLD 2004 16 Conclusion The OS scheduler tries to provide reliability through task duplication under QoS guarantees Improving FPGA space utilization by duplicating for reliability Providing reliability for critical tasks first Catching most fatal errors