CITI has stopped operations in 2014, to co-launch NOVA LINCS THIS SITE IS NOT BEING UPDATED SINCE 2013
citi banner
Home Page FCT/UNL UNL
  Home  \  Seminars @ CITI  \  Seminar Page Login  
   
banner bottom
File Top
Finding kernel concurrency bugs
{ Wed, 29 Oct 2014, 14h00 }

By: Pedro Fonseca  [ hide info ]

Pedro Fonseca

Country: Portugal

Affiliation: Max Planck Institute for Software Systems ( DE )


Bio:

Pedro Fonseca is a final year graduate student at MPI-SWS and he is broadly interested in improving the reliability of software. Recently he has been working on techniques to help developers find concurrency bugs in complex software. In the past, he has worked in several other areas, including Byzantine fault tolerant systems, accountability, peer-to-peer systems and OS architectures.


The fact that concurrency bugs are only triggered under certain instruction interleavings makes this class of bugs particularly difficult to find and reproduce. In practice, developers often rely on stress tests, which consist in repeatedly running test cases, hoping to explore different interleavings and to eventually execute the interleavings that trigger the concurrency bugs.

In this talk I will describe the design of a virtual machine monitor, SKI, that allows developers to systematically test operating system kernels for concurrency bugs. In contrast with stress tests, our tool takes full control over the interleavings of the kernel threads and is able to explore the interleaving space systematically, according to its scheduling algorithm. The design of SKI does not require modifications to the tested kernel and our experience using the tool shows that SKI is effective at finding and reproducing real-world kernel concurrency bugs.


Hosted by: Computer Systems

Location: DI seminars room

File Bottom