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

By: Pedro Fonseca  [ show info ]

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