Back To Schedule
Wednesday, September 18 • 10:50am - 11:40am
Advances in Validation of Concurrent Software - Paul E. McKenney, IBM

Sign up or log in to save this to your schedule, view media, leave feedback and see who's attending!

Validation of concurrent software that runs on a billion devices is challenging.  In this case, "one in a million" bugs will occur a thousand times.  Some projects have worked hard to meet this challenge.  The Linux kernel has added -next testing for pre-merge-window patches, automated randconfig build/boot/test of maintainer-tree commits, and the Trinity syscall-malice tool.  In addition, validation tools such as Coccinelle, lockdep, sparse, and valgrind have also helped squash a great many nasty bugs.  However, improvements reliability are inevitably consumed by increasingly aggressive usage, which of course exposes more problems, requiring fixes and more validation.  This talk will look at some ways that this validation might be carried out, ranging from even more aggressive testing to bleeding-edge verification techniques.

Audience: Aggresssive developers and testers.

avatar for Paul McKenney

Paul McKenney

Distinguished Engineer, IBM Linux Technology Center, Beaverton
Paul E. McKenney is a Distinguished Engineer with the IBM Linux Technology Center, where he maintains the RCU implementation within the Linux kernel. He has been coding for four decades, more than half of that on parallel hardware. His prior lives include the DYNIX/ptx kernel at Sequent... Read More →

Wednesday September 18, 2013 10:50am - 11:40am
Celestin A

Attendees (0)