Apache Sparkのご紹介（後半：技術トピック）

1. Apache Sparkのご紹介～技術トピック 2014年5月29日第16回 Hadoopソースコードリーディング発表資料 NTTデータ基盤システム事業本部 OSSプロフェッショナルサービス猿田浩輔

4. 4Copyright © 2013 NTT DATA Corporation • SparkではRDDと呼ばれる抽象データセットの変換を繰り返して目的の結果を得る • この一連の処理を、「ジョブ」と呼ぶ • Spark版ワードカウントの例典型的な処理イメージ // HDFS上のファイルからRDDを生成 1: val hdfsRdd = spark.textFile("hdfs://...") // 単語で構成されるシーケンスを作る 2: val splitRdd = hdfsRdd.flatMap(line => line.split(" ")) // 各単語をキーとし、値を1とするキーバリューペアを作る 3: val mappedRdd = mappedRdd.map(word => (word, 1)) // 単語をキーとし、同じキーを持つペアの値(1)を足しこむ 4: val reducedRdd = mappedRdd.reduceByKey(_ + _) // 計算結果をHDFS上のファイルに書き出す 5: counts.saveAsTextFile("hdfs://...")

5. 5Copyright © 2013 NTT DATA Corporation join map もう少し複雑な処理のイメージ HDFS上のファイルやリストなどのデータ構造など、様々なデータソースから RDDを生成できる ListなどのScalaコレクションオブジェクト HDFS HDFSなど様々なデータソースからRDDを生成可能・・・ Actionが適用された時点でジョブが生成され、実際の計算が始まる。 RDDはイミュータブルなので、このように遅延計算しても、逐次計算した場合と同じ結果が得られる filter filter distinct textFile parallelize filter map 原則、関数評価の直後に計算しない。生成された子RDDには親RDDと後に計算する関数を記憶しておく。このため計算コストやオブジェクトの生成コストが削減される map filterdistinct join reduceByKey 計算結果 join distinct [関数] 関数評価後のRDDRDD RDDの変換の方向変換関数 Action RDDはイミュータブルなので、変換のもとになったデータを変更せず、新規にデータを生成する最終的な計算結果

7. 7Copyright © 2013NTT DATA Corporation RDDとは? • コレクションのようなデータ構造であり、内部の要素をイテレートできる • 更に、Sparkの基本的なコンセプトを実現するために、次のような特徴を備える • パーティションに分割され、サーバ上で分散配置される • インメモリで保持される(なるべくディスクに着地させない) • 遅延計算される(計算を行うタイミングをスケジューリングされたあと、実際に計算される) • イミュータブル(フォールトトレラント性を担保するための特徴) RDD 要素（レコード）要素（レコード）パーティション要素（レコード）要素（レコード）パーティション RDDの基本構造サーバサーバパーティションの単位で複数のサーバに分散配置される。パーティションの数、分割の方法はRDDの種類や変換の種類によって決まる。実際の計算は要素ごとに実施される。

8. 8Copyright © 2013 NTT DATA Corporation 遅延計算 val sc = new SparkContext(...) val file = sc.textFile("hdfs://...") val errors = file.filter(line => line.contains("ERROR")) // Count all the errors errors.count() この時点では計算されないここで計算がスケジューリングされる。実際に計算が起こるタイミングはスケジューリングによる。サンプルコード計算がスケジューリングされない計算がスケジューリングされる

9. 9Copyright © 2013 NTT DATA Corporation フォールトトレラント性を実現するための特性  Sparkでは、大量のデータをオンメモリで分散処理するので、各サーバに分散配置されたデータ(パーティション)が処理中に欠損した場合に備えた仕組みが必要  欠損に備えつつ、ネットワーク転送を出来る限り避けたい  分散システムでは扱うデータをコピー（レプリカ作成）して保持する方法をとるものもあるが、ネットワーク転送をできるだけ避けるために、「得たいデータが失われていたら前のデータから再生成する」というアプローチをとっている。そのために以下の制約・前提条件を持っている。 • RDDはイミュータブルであること • 元データのデータソースは信頼性が高く(高可用/高堅牢) 、イミュータブルであること

10. 10Copyright © 2013 NTT DATA Corporation 例えば、のようにデータが生成された後に、のように3個目～５個目のRDDの一部が失われたものとする。次に5個目のRDDを再取得すると、のように2個目のRDDから必要なデータを再生成される。これは先の結果と同じ結果である。再生成により同じ結果が得られるのは、RDDがイミュータブルだからである。同様に1個目のRDDから後が失われていた場合は、信頼のおけるイミュータブルなデータソースから再生成すればよい、ということになる RDD フォールトトレラント性を実現するための特性 RDD外部 RDD RDD RDD RDDRDD外部 RDD RDD RDD RDDRDD外部 RDD RDD RDD

11. 11Copyright © 2013 NTT DATA Corporation RDDの依存関係  RDDの変換において、変換の元(親)のRDDと変換後 (子)のRDDの間には依存関係が定義される  依存関係は、スケジューリング(RDDの変換チェインを処理可能なタスクに分割する)に関係する  RDDの変換の依存関係には、以下の2種類がある • 狭い依存関係（Narrow Dependency） • 広い依存関係（Wide Dependency）

12. 12Copyright © 2013 NTT DATA Corporation 狭い依存関係の例 RDD1 パーティション1-1 This is a pen. This is a book. What is this? パーティション1-2 Thank you. No Problem. This is a cup. RDD2 パーティション2-1 This is a pen. This is a book. パーティション2-2 This is a cup. 「This is」 Filterの例親パーティションが単一の子パーティションの生成に関わっている依存関係

13. 13Copyright © 2013 NTT DATA Corporation 広い依存関係の例 RDD1 パーティション1-1 dog, white dog, black cat, white パーティション1-2 cat, black dog, brown cat, brown RDD2 パーティション2-1 dog, white dog, black パーティション2-2 GroupByKeyの例 dog, brown cat, black cat, brown cat, white キーに基づくグルーピングキー・バリュー形式のデータセット親パーティションが、複数の子パーティションの生成に関わっている依存関係

14. 14Copyright © 2013 NTT DATA Corporation 主な登場人物 • クラスタを構成するノード • クライアント : ジョブのキックを担当 • マスタ : クラスタ全体のリソース管理を担当 • ワーカ : 計算資源の提供/管理を担当 • ノード以外の主要な要素 • ドライバ : ユーザがRDDの変換を記述したプログラム • エグゼキュータ : ワーカ上で動作し、実際の計算処理を担当 • タスク : ジョブを、エグゼキュータが処理可能な粒度に分解した処理単位 • スケジューラ : ジョブをタスクに分割したり、タスクのエグゼキュータへの割り当てを担当 RDDの変換が、クラスタ上でどのように動作するか

19. 19Copyright © 2013 NTT DATA Corporation ステージ分割のステップ起点を移しながらRDD間の依存関係の解決とステージの成長、及びステージ間の依存関係を解決し、系譜がステージに分割される起点から狭い依存関係でたどれるRDDに起点を移し、親 RDDを再帰的にたどって依存関係の解決とステージの成長を繰り返す。狭い依存関係で閉じた範囲が限定された段階で当該ステージが確定する RDDの変換の方向狭い依存関係広い依存関係 RDD 成長中のステージ確定したステージステージ間の依存関係新規にステージを生成し、起点のRDDを加える変換の最後に出現する RDD(Actionが適用されるRDD)を、系譜をたどる起点とする起点から系譜をたどり、親ノードとの依存関係を解決する。狭い依存関係を持つ RDDを現在のステージに含め、ステージを成長させる現在の起点から広い依存関係でたどれるRDDに起点を移し、同様に親RDDとの依存関係の解決とステージの成長を繰り返す。新なステージは広い依存関係の子のRDDが属するステージの親ステージとなる変換の最後に出現するRDD

21. 21Copyright © 2013 NTT DATA Corporation 広い依存関係を発生させる変換の実行例 4個 3個 1個 3個 countByKey countByKey関数で、図形ごと、色ごとに数をカウントする 2個 2個 1個 RDD 変換関数パーティション RDD内の要素グループ RDD1 RDD2 パーティショナによって要素の振り分け方が異なる。この例の場合、色ごとに要素を振り分ける

23. 23Copyright © 2013 NTT DATA Corporation • Sparkでは同一スケジューラで制御される複数のジョブで、RDDを共有することができる • 共有しているRDDがすでに計算済みで、メモリやディスクに実体を持つ場合、当該 RDDを生成するための前段のステージの実行を省略することができる。 • 明示的にRDDをキャッシュした場合 • ステージ内の最後のRDD(シャッフル直前のRDD) ステージの実行要否を判定する他のジョブでキャシュされた RDD 後続のRDDがすでに計算済みなので、親ステージの実行は不要親ステージ子ステージ

24. 24Copyright © 2013 NTT DATA Corporation  DAGSchedulerが、実行対象の個々のステージに対してタスクを定義する  各ステージにおいて、ステージ内の最後のRDDのパーティション数から、当該ステージのタスク数が決まる  ステージに含まれるRDDの変換チェインから、タスクあたりの処理範囲が決まるタスクの生成 filter (青い図形を除外) map (図形の形を変換) union パーティション数 = 4なので、このステージのタスク数は4。個々のタスクが異なるエグゼキュータで実行されるステージ内の最後のRDDのパーティションから、親RDDの方向に一意にたどれる。一意にたどれる範囲が1タスク。

25. 25Copyright © 2013 NTT DATA Corporation • RDDにはプリファードロケーションが定義されている場合がある。DAGSchedulerは、タスクを実行するエグゼキュータを選ぶにあたって、プリファードロケーションをヒントに用いる。 • RDDにプリファードロケーションが定義されていない場合は、親RDDを通り掛け順にたどり、最初に見つかったプリファードロケーションを用いる。タスクの実行場所の決定

26. 26Copyright © 2013 NTT DATA Corporation • プリファードロケーションはRDDの種類ごとに定義される。HDFSをデータソースとするRDDはプリファードロケーション = ブロックの実体が配置されているノードなので、データローカリティが担保される。 • データソースをもとに生成されるRDDはプリファードロケーションを持つので、いつかはプリファードロケーションが見つかる。タスクの実行場所の決定

27. 27Copyright © 2013 NTT DATA Corporation  ステージを構成するタスク群は「タスクセット」としてTaskSchedulerに渡される。  TaskSchedulerはタスクセット単位で実行順序のスケジューリングを行う。  TaskSchedulerはタスクセットの実行順序を決定するまでにタスクセットを登録しておく「プール」を1つ以上保持する。スケジューリング方式によってプールの数や使い方が異なる。  標準で2つのスケジューリング方式が用意されている  FIFO  単一のプールを用いて、キューに様に扱う。プールに登録されたタスクセットを順にスケジューリングする  FAIR  複数のプールを用いて、各プールから公平にタスクセットを取り出し、スケジューリングする。タスクの実行順序のスケジューリング

28. 28Copyright © 2013 NTT DATA Corporation  Resilient Distributed Datasets: A Fault-Tolerant Abstraction for In-Memory Cluster Computing （http://www.cs.berkeley.edu/~matei/papers/2012/nsdi_spark.pdf）  Resilient Distributed Datasets: A Fault-Tolerant Abstraction for In-Memory Cluster Computing （http://www.cs.berkeley.edu/~matei/papers/2011/tr_spark.pdf）  Spark: Cluster Computing with Working Sets （http://www.cs.berkeley.edu/~matei/papers/2010/hotcloud_spark.pdf）（参考）論文紹介

Apache Sparkのご紹介 （後半：技術トピック）