Magic Faults in Linux Kernel

From Master Projects
Jump to: navigation, search


has title::Magic Faults in the Linux Kernel
status: finished
Master: project within::Parallel and Distributed Computer Systems
Student name: student name::Razvan Ghitulete
Dates
Start start date:=2014/03/01
End end date:=2014/08/01
Supervision
Supervisor: Andrew S. Tanenbaum
Second supervisor: Erik van der Kouwe
Second reader: has second reader::Cristiano Giuffrida
Thesis: has thesis::Media:Thesis.pdf
Poster: has poster::Media:Posternaam.pdf

Signature supervisor



..................................

Abstract

Computers and more specifically software has been ridden with bugs. Either introduced by a faulty algorithm or simply by failing to take into consideration all possible errors that might occur during runtime. Furthermore, studies have shown that there is a steady rate of bugs per lines of code, no matter how well tested the given piece of code is.

The Linux Kernel, the biggest and most popular open source initiative, is also what powers the internet. Although it has one of the most popular and secure code bases, to err is human and new bugs can always avoid the vigilance of the developers and make their way onto million of computer systems. It is also the most famous open-source monolithic kernel.

The Magic framework is not really that different in goal from existing mechanisms in the Linux kernel. It is also designed to ease the access to runtime information. The extensive information provided could even be used to sketch out a kernel memory garbage collector, though it would not be exactly feasible, it serves as an excellent example as to the detail level of the meta-information the framework can offer during runtime.

EDFI is a fault injection framework that is designed to inject static as well as dynamic faults into software components. It can be used to asses the reliability of a software application to injected faults, providing answers to `What if?` questions regarding the possible slips of developers.