Devito：自动快速有限差分计算
Devito: automated fast finite difference computation
摘要：
领域特定语言已成功地用于各种领域，以清晰地表达科学问题以及简化不同计算机体系结构上的实现和性能优化。虽然有大量的模板语言可用，但有限差分领域特定语言的设计已被证明具有挑战性，因为大多数实际用例需要超出有限差分抽象的附加功能。受现实世界的地震成像问题的复杂性的启发，我们介绍Devito，一个特定于域的语言，其中高层次的方程表示使用符号表达式从SymPy包。复杂的方程被自动操纵、优化并转换为高度优化的C代码，其目标是比手动调优的代码执行得更好。所有这一切都是透明的用户，谁只看到简洁的符号数学表达式。
英文摘要：
Domain specific languages have successfully been used in a variety of fields to cleanly express scientific problems as well as to simplify implementation and performance opti- mization on different computer architectures. Although a large number of stencil languages are available, finite differ- ence domain specific languages have proved challenging to design because most practical use cases require additional features that fall outside the finite difference abstraction. Inspired by the complexity of real-world seismic imaging problems, we introduce Devito, a domain specific language in which high level equations are expressed using symbolic expressions from the SymPy package. Complex equations are automatically manipulated, optimized, and translated into highly optimized C code that aims to perform compa- rably or better than hand-tuned code. All this is transpar- ent to users, who only see concise symbolic mathematical expressions.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
