面向超大规模数值模拟的领域通用高性能通信编程模型协同设计方法研究

超大规模数值模拟是高性能计算的重要应用领域。随着并行规模的不断提升和物理建模的日益复杂，超大规模数值模拟应用日益体现出显著的通信瓶颈，并随着超级计算机通信与计算能力差距的持续扩大而愈发严重。应用领域与超级计算机系统领域均开展了大量旨在提升通信性能的优化工作，但由于缺乏有效的协同使得对超大规模数值模拟领域的批量复杂应用通信性能提升有限。数值模拟领域应用的批量复杂性则为建立使能协同所需的领域抽象，即领域通用高性能通信编程模型，带来了巨大的挑战。为应对上述挑战，本项目研究：提出系统刻画批量应用领域通信语义的通信模式识别、分类和形式化方法；提出定量描述复杂应用通信行为的通信特征刻画方法；提出使能深度优化的领域通用通信编程模型设计方法。通过研究，形成系统刻画超大规模数值模拟领域通信需求的通信模式库、通信特征库和领域通用通信编程模型，为该领域与计算机系统协同通信优化奠定知识、方法和技术基础。

Extreme-scale numerical simulation is an important application area of high-performance computing. With the increasing of parallel computing scale and physical model complexity, communication is becoming a significant bottleneck in extreme-scale numerical simulations. Yet this bottleneck gets more and more serve since the performance gap between communication and computation keeps widening in modern supercomputers. Although many approaches have been investigated to improve the communication performance, both in the application domain and in the system community, they enjoy only limited successes for the batches of complex numerical applications in the whole extreme-scale numerical simulation domain, largely due to the lack of effective co-design. To enable the co-design, the domain abstraction, namely a domain-general high-performance communication programming model, shall be established, which remains a challenge in the presence of batches of complex applications in the domain..With the above challenge in mind, we study the following points in this project. We propose a methodology to systematically identify, categorize and formalize the communication patterns in batches of applications required by the extreme-scale numerical simulation domain. We propose a methodology to quantitatively describe the communication behaviors in complex domain applications. We propose a methodology to design a domain-general high-performance communication programming model which enables extensive communication optimization. Through these researches, we produce a communication pattern library, a communication characteristics library and a communication programming model which would describe systematically the communication requirements of extreme-scale numerical simulations, and prepare a solid foundation in knowledge, methodology, and technology for the co-design of communication optimization between the application domain and the computer systems.