Practical Formal Correctness Checking of Million-Core Problem Solving Environments for HPC

Provided by: The University of Tulsa
Topic: Hardware
Format: PDF
While formal correctness checking methods have been deployed at scale in a number of important practical domains, the authors believe that such an experiment has yet to occur in the domain of high performance computing at the scale of a million CPU cores. This paper presents preliminary results from the Uintah Runtime Verification (URV) project that has been launched with this objective. Uintah is an asynchronous task-graph based problem-solving environment that has shown promising results on problems as diverse as fluid-structure interaction and turbulent combustion at well over 200K cores to date.

Find By Topic