datasheets.com EBN.com EDN.com EETimes.com Embedded.com PlanetAnalog.com TechOnline.com  
Events
UBM Tech
UBM Tech
Welcome Guest Log In | Register

Landslide: A Simics Extension for Dynamic Testing of Kernel Concurrency Errors

Authored on: Dec 2, 2013 by Ben Blum et al

Technical Paper / Product Paper

0 0
More InfoLess Info
Landslide is a Simics module designed for finding concurrency bugs in operating system kernels, with a focus on Pebbles. This paper explains the testing environment (the course, 15-410, and the kernel, Pebbles) and the testing technique; describes how Landslide takes advantage of certain features that Simics provides that other testing environments (such as virtualization) do not; outlines Landslide's design, implementation, and user interface; presents some results from a preliminary evaluation of Landslide, and discusses potential directions for future work.

Please disable any pop-up blockers for proper viewing of this paper.

0 comments
write a comment

Please Login

You will be redirected to the login page

×

Please Login

You will be redirected to the login page

×

Please Login

You will be redirected to the login page