[论文解读] Ebb: A DSL for Physical Simulation on CPUs and GPUs

Gilbert Bernstein, Chinmayee Shah+5 more|arXiv (Cornell University)|Jun 24, 2015

Parallel Computing and Optimization Techniques参考文献 16被引用 5

一句话总结

Ebb 是一种用于物理模拟的领域特定语言（DSL），采用三层架构将应用逻辑、几何领域库与基于关系的底层运行时抽象分离。通过编译为高效的并行代码，它在 CPU 和 GPU 上均实现了高性能模拟，其性能最高可达手写优化 GPU 代码的 27% 以内，当无法使用 GPU 优化方案时，相比优化后的 CPU 代码性能最高提升 9 倍。

ABSTRACT

Designing programming environments for physical simulation is challenging because simulations rely on diverse algorithms and geometric domains. These challenges are compounded when we try to run efficiently on heterogeneous parallel architectures. We present Ebb, a domain-specific language (DSL) for simulation, that runs efficiently on both CPUs and GPUs. Unlike previous DSLs, Ebb uses a three-layer architecture to separate (1) simulation code, (2) definition of data structures for geometric domains, and (3) runtimes supporting parallel architectures. Different geometric domains are implemented as libraries that use a common, unified, relational data model. By structuring the simulation framework in this way, programmers implementing simulations can focus on the physics and algorithms for each simulation without worrying about their implementation on parallel computers. Because the geometric domain libraries are all implemented using a common runtime based on relations, new geometric domains can be added as needed, without specifying the details of memory management, mapping to different parallel architectures, or having to expand the runtime's interface. We evaluate Ebb by comparing it to several widely used simulations, demonstrating comparable performance to hand-written GPU code where available, and surpassing existing CPU performance optimizations by up to 9$ imes$ when no GPU code exists.

研究动机与目标

• 解决在异构架构（如 CPU 和 GPU）上构建高效、可移植模拟代码的挑战。
• 通过统一的抽象将多种几何领域（如网格、网格和粒子）统一起来，以简化模拟开发。
• 通过让物理学家和工程师专注于算法和物理原理，而非底层并行编程，降低模拟开发的技术门槛。
• 通过允许在不修改运行时或语言的情况下添加新的几何领域，实现可扩展性。
• 通过共享的关系接口支持在不同领域之间组合多种物理现象。

提出的方法

• Ebb 采用三层架构：使用 Ebb 编写的应用代码、基于关系数据模型构建的领域特定库，以及针对 CPU 和 GPU 的底层运行时。
• 如规则网格、四面体网格和粒子系统等几何领域作为库实现，使用统一的关系 API 抽象低层内存和执行细节。
• 关系模型以列式格式存储数据，支持在不同架构上实现高效的并行访问与优化。
• Ebb 运行时将 Ebb 代码编译为针对 CPU 和 GPU 优化的内核，动态调度执行并管理内存布局。
• 系统支持动态编译与重新编译，以实现数据布局和内核执行策略的自动调优。
• 支持与外部库集成，以处理不支持的功能（如傅里叶变换或碰撞检测），确保系统可扩展性。

实验结果

研究问题

• RQ1 如何设计一种物理模拟 DSL，使其在不牺牲性能的前提下高效地支持 CPU 和 GPU？
• RQ2 统一的关系数据模型能否有效抽象模拟中多种几何领域（如网格、网格和粒子）？
• RQ3 DSL 如何支持在不同几何领域之间组合多种物理现象？
• RQ4 高级 DSL 在多大程度上可实现与手写优化 GPU 代码相当的性能？
• RQ5 系统如何扩展以支持动态操作（如粒子插入或自适应重网格化）？

主要发现

• Ebb 在多个模拟中性能达到手写优化 GPU 代码的 27% 以内，证明了其出色的可移植性与效率。
• 当缺乏 GPU 优化基线时，Ebb 相比优化后的 CPU 代码性能最高提升 9 倍，凸显其在纯 CPU 场景下的有效性。
• 关系抽象实现了不同几何领域（如四面体网格、非结构化网格和粒子）之间的无缝互操作性，通过统一 API 实现。
• 三层架构成功将应用逻辑与底层实现解耦，使应用开发者可专注于物理和算法。
• 系统支持动态编译与自动调优，实现在运行时对数据布局和内核执行策略的优化。
• Ebb 支持与外部库集成，以补充缺失功能（如碰撞检测和傅里叶变换），确保其核心能力之外的可扩展性。