XPS: EXPL: CCA: Collaborative Research: Nixing Scale Bugs in HPC Applications

XPS：EXPL：CCA：协作研究：消除 HPC 应用程序中的规模错误

• 批准号: 1438963
• 负责人: Martin Burtscher
• 金额: $ 15万
• 依托单位: Texas State University - San Marcos
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2014
• 资助国家: 美国
• 起止时间: 2014-09-01 至 2017-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1438963&HistoricalAwards=false
• 关键词: XPS; EXPL; CCA; Collaborative; Research

Large-scale simulation is a fundamental component of modern science and engineering. Unfortunately, programs written to perform simulations on large-scale parallel computers frequently suffer from software defects that result from the sheer scale and the variety of parallelization approaches employed. Especially egregious are software bugs that occur when large resource allocations (e.g., memory requests) are made. Formally based active-testing techniques are essential to locate such defects. However, these testing tools are themselves seldom run on parallel machines, let alone at large scale, making it difficult and very time consuming to find scale bugs with high assurance. Efforts to parallelize verification tools should reuse existing technology for easy parallelization, result collection, and fault handling. Key innovations of this project include the insight that large-scale verification runs can be described through work-flows, which makes it possible to take advantage of already available distributed computing platforms, in particular Swift/T from Argonne. The complementary backgrounds of the PIs are well matched with the need to push both formal aspects and distributed verification in the context of three widely-used concurrency models, namely MPI, OpenMP, and CUDA. This work will help create a public distributed formal active testing framework. The tools and case-study software driving this research will be maintained by the PIs and released freely under open-source licenses through websites and repositories. They will facilitate large-scale debugging of scientific simulation codes by researchers and software developers in academia, government labs, and industry. The project will also generate pedagogical material and best practices, helping educate students in the use of existing work-flow based problem solving approaches. It will help train present and future scientists, engineers, and programmers, thus assisting in maintaining our nation's leadership in computing, homeland and energy security, and STEM education.

大规模模拟是现代科学和工程的基本组成部分。不幸的是，为在大规模平行计算机上执行模拟的程序所写的程序经常遭受由纯粹的规模和所采用的平行化方法所致的软件缺陷。特别是当进行大量资源分配（例如，内存请求）时发生的软件错误。正式基于现场测试技术对于定位此类缺陷至关重要。但是，这些测试工具本身很少在并行机器上运行，更不用说大规模地运行，这使得很难找到具有很高保证的规模错误。并行化验证工具的努力应重复使用现有技术以容易并行化，结果收集和故障处理。该项目的关键创新包括可以通过工作流程来描述大规模验证运行的见解，这使得可以利用已经可用的分布式计算平台，尤其是来自Argonne的Swift/T。 PI的互补背景与在三种广泛使用的并发模型（即MPI，OpenMP和CUDA）的背景下，需要在正式方面和分布式验证中进行良好匹配。这项工作将有助于创建公共分布式正式的主动测试框架。驱动此研究的工具和案例研究软件将由PIS维护，并通过网站和存储库在开源许可下自由发布。他们将促进学术界，政府实验室和行业的研究人员和软件开发人员对科学模拟代码进行大规模调试。该项目还将生成教学材料和最佳实践，帮助教育学生使用现有的基于工作流的问题解决方法。它将有助于培训现在和未来的科学家，工程师和程序员，从而帮助维持国家在计算，家园和能源安全以及STEM教育方面的领导能力。