HPC 正确性峰会报告，2017 年 1 月 25--26 日，华盛顿特区
分布式、并行与集群计算
2017-05-23 v1
摘要
保持 HPC 的领导地位需要支持大规模和高保真度的模拟。在本研究中，我们详细阐述了实现这一目标所面临的最重大的生产力挑战之一，即日益增长的 bug 倾向，尤其是在面对日益增长的硬件和软件异构性以及纯粹的系统规模时。我们确定了必须主动及时启动新研究以应对这些挑战的关键领域，并创建新的正确性工具，这些工具理想情况下即使在向百亿亿次级计算迈进的过程中也必须发挥重要作用。最后，我们提议举办一个为期两天的研讨会，以便更广泛地讨论本报告中指出的问题，并确定启动这些新研究方向的具体计划。
引用
@article{arxiv.1705.07478,
title = {Report of the HPC Correctness Summit, Jan 25--26, 2017, Washington, DC},
author = {Ganesh Gopalakrishnan and Paul D. Hovland and Costin Iancu and Sriram Krishnamoorthy and Ignacio Laguna and Richard A. Lethin and Koushik Sen and Stephen F. Siegel and Armando Solar-Lezama},
journal= {arXiv preprint arXiv:1705.07478},
year = {2017}
}
备注
57 pages