[論文レビュー] Bringing Together Dynamic Geometry Software and the Graphics Processing Unit

Aaron Montag, Jürgen Richter-Gebert|arXiv (Cornell University)|Aug 14, 2018

Computer Graphics and Visualization Techniques参考文献 20被引用数 4

ひとこと要約

本論文は、CindyScriptと呼ばれる高水準スクリプト言語を自動的にGPU互換のGLSLシェーダにトランスコンパイルすることで、GPUコンピューティングをダイナミックジオメトリリソフトウェア（DGS）にシームレスに統合するフレームワークを提示する。WebGLを用いてDGS環境内で直接GPU実行を可能にすることで、低レベルのシェーダプログラミングを学ぶ必要のない非専門家が、数学的可視化、シミュレーション、探索的研究のためのリアルタイムで並列処理が可能な環境を提供する。実装例として、レイトレーシングされた代数的表面、流体シミュレーション、インタラクティブな複素関数可視化が示されている。

ABSTRACT

We equip dynamic geometry software (DGS) with a user-friendly method that enables massively parallel calculations on the graphics processing unit (GPU). This interplay of DGS and GPU opens up various applications in education and mathematical research. The GPU-aided discovery of mathematical properties, interactive visualizations of algebraic surfaces (raycasting), the mathematical deformation of images and footage in real-time, and computationally demanding numerical simulations of PDEs are examples from the long and versatile list of new domains that our approach makes accessible within a DGS. We ease the development of complex (mathematical) visualizations and provide a rapid-prototyping scheme for general-purpose computations (GPGPU). The possibility to program both CPU and GPU with the use of only one high-level (scripting) programming language is a crucial aspect of our concept. We embed shader programming seamlessly within a high-level (scripting) programming environment. The aforementioned requires the symbolic process of the transcompilation of a high-level programming language into shader programming language for GPU and, in this article, we address the challenge of the automatic translation of a high-level programming language to a shader language of the GPU. To maintain platform independence and the possibility to use our technology on modern devices, we focus on a realization through WebGL.

研究の動機と目的

• CPUベースのダイナミックジオメトリリソフトウェアとGPUの高パフォーマンス並列処理の間のギャップを埋めるため。
• 非専門家が低レベルのシェーダプログラミングを学ぶことなく、なじみのあるスクリプト環境内で複雑なGPU加速計算を実行できるようにするため。
• WebGLを用いたプラットフォームに依存しない、ブラウザベースのソリューションを提供し、現代のデバイス（タブレットやスマートフォンを含む）でリアルタイムレンダリングとシミュレーションを実現するため。
• DGSフレームワーク内に一般目的GPUコンピューティング（GPGPU）のための迅速プロトタイピング環境を構築するため。
• 複素解析、物理シミュレーション、数値解析の分野における実装を通じて、GPU加速された数学的可視化の実現可能性と教育的価値を示すため。

提案手法

• コアとなる手法は、未型付けの高水準スクリプト言語（CindyScript）を、GPU実行を目的としたOpenGL Shading Language（GLSL）に自動的にシンボリックトランスコンパイルすることである。
• 再帰的構文木解析により、GPU並列化に適したコードセグメントを特定し、固定点アルゴリズムを用いて型を推論することで、トランスパイラー中での正しさを保証する。
• WebGLを活用することで、プラットフォームに依存しない互換性と、プラグイン不要のブラウザデプロイメントを実現し、タブレットやスマートフォンを含む現代のデバイスでも利用可能にする。
• GPU計算は、テクスチャから読み取るcolorplotコマンドによってトリガーされ、パーティクルシミュレーションやPDEソルバーなどのデータ並列処理が並列で実行可能となる。
• システムはDGS環境内にGPU加速レンダリングと計算を統合し、幾何的・代数的オブジェクトのインタラクティブな操作を可能にする。
• 本アプローチは、代数的表面のレイキャスティング、複素関数の位相図、リーマン球面上のステレオグラフィック投影といった高度な可視化をサポートする。

実験結果

リサーチクエスチョン

• RQ1 DGSにおける高水準スクリプト言語を、一般目的GPUコンピューティングを可能にする最適化されたGLSLコードに自動的にトランスパイルすることは可能か？
• RQ2 GPU加速数値シミュレーション（例：n体問題、ナビエ＝ストークス方程式）を、使いやすさを損なわせることなくDGS環境に統合できるか、その範囲はどの程度か？
• RQ3 非専門家が、低レベルのGPUプログラミングを抽象化した統合スクリプトインターフェースを用いて、複雑な数学的可視化をどれほど効果的に作成できるか？
• RQ4 GPU加速は、現代のWebベースプラットフォームにおけるダイナミックジオメトリリソフトウェアに、どの程度のパフォーマンス向上と使いやすさの改善をもたらすか？
• RQ5 DGSにおけるGPUコンピューティングの統合は、STEM分野における数学的発見と教育的関与をどのように向上させ得るか？

主な発見

• トランスコンパイラはCindyScriptをGLSLに正常に変換し、ユーザーが直接シェーダコードを書く必要なしにDGS環境内でGPU実行を可能にした。
• 500個の正電荷および500個の負電荷を有する粒子の10^6回の相互作用を含むシミュレーションがリアルタイムで実現され、CPUオンリーアーキテクチャに比べ顕著なパフォーマンス向上が確認された。
• ナビエ＝ストークス方程式のGPU実装は、ネイティブなWebGL実装に比べて約1/4のコード量で達成された。
• 代数的表面のレイキャスティングおよび複素関数（位相図、テイラー展開、リーマン球面への射影など）のインタラクティブ可視化が、GPU加速によりリアルタイムでレンダリングされた。
• 2件の学士論文が、シェーダプログラミング経験のない学生がCindyGLを用いて高度なGPU加速可視化および教育教材を自ら作成できたことを示した。
• 本フレームワークにより、1つのHTMLファイルでインタラクティブでGPU加速された数学的コンテンツをデプロイ可能となり、タブレットやスマートフォンを含む現代のデバイスでの広範なアクセス性が実現された。