25. 01. 2013Parallelism with Asynchronous Lambdas on Fiasco.OC/L4ReJan BierbaumTU DresdenZwischenpräsentation der Diplomarbeit
"Grand Central Dispatch" (GCD) stellt einen alternativen Ansatz für die Erschließung von Nebenläufigkeit innerhalb eines Prozesses dar: Statt der manuellen Verwaltung einzelner Threads durch den Entwickler findet hierbei die Organisation indirekt mittels Warteschlangen statt, in die einzelne abzuarbeitende Programmabschnitte eingestellt werden. Im Vortrag werden zunächst GCD selbst sowie die damit in engem Zusammenhang stehende Technik der "blocks" kurz vorgestellt. Im Hauptteil folgen einige Details zur Implementierung sowie dem aktuellen Stand der Portierung auf L4Re. 25. 01. 2013Implementation of a Fault Injection Framework for Fiasco.OCMartin UnznerTU DresdenVerteidigung der Belegarbeit
There are several well-approved methods to protect software against faulty hardware. However, each layer of replication adds costly overhead, so we aim at protecting only the important parts of the system. An operating system needs to rely on a functional kernel, so we need to ensure that the kernel always works. To find the regions in the code that are most sensitive to the consequences of transient hardware faults, I wrote a framework that enables the programmer to do fault injection campaigns on arbitrary target programs. Using Fail*, a flexible fault injection framework, and the Bochs IA-32 emulator, I developed a custom experiment suite featuring four types of fault injection that is capable of performing injections in the kernel. I am going to explain my experiment framework and present the fault injection campaign I ran using it. |
28. Oct 2020
|
|
· Copyright © 2001-2022 Operating Systems Group, TU Dresden | Impressum · |