Loading…
This event has ended. View the official site or create your own event → Check it out
This event has ended. Create your own
View analytic
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 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.

Speakers
avatar for Paul E. McKenney

Paul E. McKenney

Distinguished Engineer, IBM
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, networking protocols at SRI International, and work as a self-employed contract programmer on soft-realtime projects. His hobbies include what passes for running... Read More →


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

Attendees (25)