28.
10.
2011
Validating Core Parallel Software
Paul McKenney
IBM
A popular position in both industry and academia is that there is no
known way to validate parallel software. Although advocates of this
position have many theoretical arguments on their side, the fact is
that there is a large body of reliable parallel software running in
production in the world today, including the Linux kernel. That
said, training on parallel validation has primarily been on-the-job,
with few published best practices. This presentation represents a
first step towards codifying best practices for writing and
validating highly reliable performance-critical parallel software.
|