[論文レビュー] 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は、関係に基づく3層アーキテクチャを用いてアプリケーションロジック、幾何的ドメインライブラリ、低レベルのランタイム抽象化を分離する、物理シミュレーション向けのドメイン固有言語（DSL）である。Ebbは、効率的な並列コードにコンパイルすることで、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は3層アーキテクチャを採用している：Ebbで書かれたアプリケーションコード、関係データモデルに基づいたドメイン固有のライブラリ、CPUおよびGPUをターゲットとした低レベルランタイム。
• 定期的グリッド、四面体メッシュ、粒子系といった幾何的ドメインは、一貫した関係的APIを用いたライブラリとして実装され、低レベルのメモリおよび実行の詳細が抽象化される。
• 関係モデルはデータを列指向の形式で格納し、異なるアーキテクチャ間で効率的な並列アクセスと最適化を可能にする。
• EbbランタイムはEbbコードをCPUおよびGPU向けの最適化されたカーネルにコンパイルし、実行を動的にスケジューリングし、メモリレイアウトを管理する。
• 動的コンパイルおよび再コンパイルをサポートすることで、データレイアウトおよびカーネル実行戦略の自動チューニングが可能になる。
• Fourier変換や衝突検出といった未対応の機能については、外部ライブラリとの統合を可能にし、拡張性を確保する。

実験結果

リサーチクエスチョン

• RQ1 物理シミュレーション用のDSLが、パフォーマンスを犠牲にすることなく、CPUおよびGPUの両方を効率的にターゲットにできるか。
• RQ2 一貫した関係的データモデルが、グリッド、メッシュ、粒子といった多様な幾何的ドメインを効果的に抽象化できるか。
• RQ3 DSLが、異なる幾何的ドメインをまたいで複数の物理現象を組み合わせることをどのようにサポートできるか。
• RQ4 高レベルのDSLが、手で最適化されたGPUコードと同等のパフォーマンスを達成できるか。
• RQ5 動的処理（例：粒子の挿入、適応的リメッシュ）をサポートするために、システムをどのように拡張できるか。

主な発見

• Ebbは複数のシミュレーションにおいて、手で最適化されたGPUコードの27%以内のパフォーマンスを達成し、高いポータビリティと効率性を示した。
• GPU最適化ベースラインが存在しなかった場合、Ebbは最適化されたCPUコードを最大9倍の性能で上回り、CPUオンリーシナリオにおける有効性を強力に示した。
• 関係的抽象化により、四面体メッシュ、非構造的グリッド、粒子といった異なる幾何的ドメイン間で、共通のAPIを通じてシームレスな相互運用性が実現された。
• 3層アーキテクチャは、アプリケーションロジックと低レベルの実装を効果的に分離し、アプリケーション開発者が物理法則やアルゴリズムに集中できるようにした。
• 動的コンパイルおよび自動チューニングをサポートすることで、実行時におけるデータレイアウトおよびカーネル実行戦略の最適化が可能になった。
• Ebbは、衝突検出やFourier変換といった欠落機能のための外部ライブラリ統合を可能にし、コア機能を超えた拡張性を確保した。