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

28. 10. 2011

Validating Core Parallel Software

Paul McKenney


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.
25. Jun 2020
· Copyright © 2001-2019 Operating Systems Group, TU Dresden | Impressum ·