通过抽象进行缩放--用Devito进行地震反演的高性能矢量波模拟
Scaling through abstractions -- high-performance vectorial wave simulations for seismic inversion with Devito
摘要：
Devito是一个基于特定领域语言和编译器技术的开源Python项目。在勘探地震学中快速HPC应用开发的需求的驱动下，语言和编译器自成立以来已经发生了显着的变化。复杂的边界条件，张量收缩，稀疏运算和交错网格和子域等功能都得到了支持;可以生成基本上任意复杂度的运算符。为了适应这种灵活性，同时确保性能，数据依赖性分析被用来调度循环和检测计算属性，如并行性。本文给出了倾斜横观各向同性介质中拟声波方程和弹性波方程的MPI平行传播子及其伴随子的生成和模拟。在HPC Cloud系统中对工业规模的合成模型进行了模拟，并达到了28 TFLOP/s的性能，从而证明了Devito适用于生产级地震反演问题。
英文摘要：
[Devito] is an open-source Python project based on domain-specific language and compiler technology. Driven by the requirements of rapid HPC applications development in exploration seismology, the language and compiler have evolved significantly since inception. Sophisticated boundary conditions, tensor contractions, sparse operations and features such as staggered grids and sub-domains are all supported; operators of essentially arbitrary complexity can be generated. To accommodate this flexibility whilst ensuring performance, data dependency analysis is utilized to schedule loops and detect computational-properties such as parallelism. In this article, the generation and simulation of MPI-parallel propagators (along with their adjoints) for the pseudo-acoustic wave-equation in tilted transverse isotropic media and the elastic wave-equation are presented. Simulations are carried out on industry scale synthetic models in a HPC Cloud system and reach a performance of 28TFLOP/s, hence demonstrating Devito's suitability for production-grade seismic inversion problems.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
