[論文レビュー] Clash of the Lambdas Through the Lens of Streaming APIs

Aggelos Biboudis, Nick Palladinos+1 more|arXiv (Cornell University)|Jan 1, 2014

Logic, programming, and type systems参考文献 9被引用数 2

ひとこと要約

この論文は、JVMおよび .NET プラットフォーム上での Java、C#、F#、Scala におけるストリーミング API のラムダ抽象化のパフォーマンスへの影響を評価する。Java の成熟した実装は優れたパフォーマンスを示す一方、ScalaBlitz や LinqOptimizer のような最適化ライブラリは一般的なクエリパターンにおける効率を顕著に向上させることを明らかにした。

ABSTRACT

The introduction of lambdas in Java 8 completes the slate of statically-typed, mainstream languages with both object-oriented and functional features. The main motivation for lambdas in Java has been to facilitate stream-based declarative APIs, and, therefore, easier parallelism. In this paper, we evaluate the performance im-pact of lambda abstraction employed in stream processing, for a va-riety of high-level languages that run on a virtual machine (C#, F#, Java and Scala) and runtime platforms (JVM on Linux and Win-dows,.NET CLR for Windows, Mono for Linux). Furthermore, we evaluate the performance gain that two optimizing libraries (ScalaBlitz and LinqOptimizer) can offer for C#, F # and Scala. Our study is based on small-scale throughput-benchmarking, with sig-nificant care to isolate different factors, consult experts on the sys-tems involved, and identify causes and opportunities. We find that Java exhibits high implementation maturity, which is a dominant factor in benchmarks. At the same time, optimizing frameworks can be highly effective for common query patterns.

研究の動機と目的

• 複数のハイレベル言語におけるストリームベースの宣言的 API におけるラムダ抽象化のパフォーマンスオーバーヘッドを評価すること。
• 実装の成熟度と最適化ライブラリの有無が、関数型スタイルのストリーム処理におけるランタイムパフォーマンスに与える影響を調査すること。
• 異なる仮想マシンおよびオペレーティングシステム上でのラムダ実行におけるパフォーマンス要因を分離し、分析すること。
• ドメイン特化最適化ライブラリ（ScalaBlitz、LinqOptimizer）が一般的なクエリパターンのパフォーマンス向上にどの程度効果を発揮するかを評価すること。

提案手法

• Java、C#、F#、Scala における JVM および .NET CLR プラットフォーム上でのパフォーマンス差を測定するため、小規模なスループットベンチマークを実施した。
• ランタイムプラットフォーム、言語機能、ライブラリ使用状況といった変数を慎重に分離し、正確なパフォーマンス比較を実現した。
• システムスペシャリストの助言を得て、パフォーマンス観察の妥当性を検証し、パフォーマンス差の根本原因を同定した。
• 最適化ライブラリ（ScalaBlitz および LinqOptimizer）が一般的なストリームクエリパターンに与える影響を評価した。
• ラムダ抽象化が宣言的かつ並列プログラミングを可能にする有効性を評価するため、ストリーム処理ワークロードに焦点を当てた。

実験結果

リサーチクエスチョン

• RQ1 ストリーム処理ワークロードにおいて、Java、C#、F#、Scala におけるラムダ抽象化のパフォーマンスはどのように異なるか？
• RQ2 特に Java において、実装の成熟度がラムダパフォーマンスに与える相対的影響は何か？
• RQ3 ScalaBlitz や LinqOptimizer のような最適化ライブラリは、一般的なストリームクエリパターンのパフォーマンスをどの程度向上させ得るか？
• RQ4 プラットフォームの違い（Linux/Windows 上の JVM、Windows 上の .NET CLR、Linux 上の Mono）は、ラムダ実行パフォーマンスにどのように影響するか？

主な発見

• Java は実装の成熟度が高く、多数のベンチマークシナリオで優れたパフォーマンスを示した。
• 言語間のパフォーマンス格差は、仮想マシンおよびラムダランタイム実装の成熟度に強く影響を受けていた。
• ScalaBlitz や LinqOptimizer のような最適化ライブラリは、一般的なストリームクエリパターンにおいて顕著なパフォーマンス向上をもたらした。
• 予測可能なパターンを持つ関数型スタイルのストリームパイプラインでは、最適化ライブラリによるパフォーマンス向上が特に顕著であった。
• スペシャリストの助言を通じたパフォーマンス要因の分離により、VM 層の最適化と JIT コンパイルがラムダ実行効率において重要な役割を果たしていることが明らかになった。