Betriebssysteme · Institut für Systemarchitektur · Fakultät Informatik · TU Dresden



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.
17. Oct 2018
· Copyright © 2001-2010 Operating Systems Group, TU Dresden | Impressum ·