title: 分散フレームワークAliceのMeta Data Segment author: 照屋のぞみ profile:琉球大学 工学部 情報工学科 河野研 # 研究目的(1/3) * 当研究室が開発している並列分散フレームワークAliceではスケーラブルな分散プログラムを信頼性高く記述できる環境を実現する * ここで言う信頼性とは定められた環境下で安定して仕様に従った動作を行うことを指す * Aliceでは当研究室が提案しているデータを Data Segment、タスクを Code Segment という単位で分割して記述するプログラミング手法を採用している # 研究目的(2/3) * Aliceでは、ComputationとMetaComputationに階層化し、コアな仕様と複雑な例外処理に分離する。 * 分散環境構築などの複雑な処理はAliceがMeta Computationとして提供する * コードの変更を抑え、変更前の信頼性を保ったまま拡張可能にする # 研究目的(3/3) * 本研究では、Alice上に実用的な分散アプリケーションが制作できることを示すために画面配信システムTreeVNCを構築する * 構築するにあたり必要となった圧縮機能をAliceのMeta Computationとして実装した * もとのTreeVNCとの比較を行うことでMeta Computationの役割と有効性を示す # Data Segment と Code Segment * Aliceではデータを **Data Segment(DS)** 、タスクを **Code Segment(CS)** という単位に分割して依存関係を記述することでプログラミングを行う。 * CSはInput DS(入力されるDS)とOutput DS(出力されるDS)を持つ。 * CSはkeyで指定されたDSが全て揃うと実行されるという性質を持つ。 ![opt](./images/dsandcs.svg){:width="50%"} # CodeSegmentの依存関係 * データの依存関係にないCSは並列実行される * データの依存関係がある場合は Input DS が揃うと順に実行される * DSはCSに専有されるためロックの記述を必要としない ![opt](./images/dsandcs2.svg){:width="60%"} # Data Segment Manager * DS の集合体であるデータベースを **DS Manager(DSM)** と呼ぶ。 * Local DSM … 各ノード固有のデータベース。 * Remote DSM … 他のノードの Local DSM の proxy。接続しているノードの数だけ存在する。 * DSM 内の DS には対になる String型のkey が存在し、 DSM 名と key を指定しすることで DS の保存、取得を行う。 ![opt](./images/remote_datasegment.svg){:width="50%"} # Computation と Meta Computation * Aliceでは、計算の本質的な処理をComputatin、Computationとは直接関係ないが別のレベルでそれを支える処理をMeta Computationとして分けて考える。 * 分散トポロジーの構成、通信の切断・再接続時の処理などはMeta ComputationとしてAliceが提供 * プログラマは目的の処理だけ記述し通信部分などはMeta Computationを指定することでシンプルな記述を実現 # Computation と Meta Computation * DS/CSの接続の間にMeta Computationが実行されている * AliceのMeta ComputationもCS/DSにより実現される * Meta ComputationはCS の処理を支えるMeta CSとMeta CSに管理されるMeta DSに分けられる ![opt](./pictures/MetaCSDS.svg){:width="70%"} # TreeVNCへの応用 * AliceのMeta Computationの有効性を示すため実用的な例題であるTreeVNCを実装する * TightVNCをもとにした木構造画面配信システム * 画面処理や分散処理が混在する複雑なTreeVNCも、Aliceを用いればTightVNCからの変更が少ない見通しの良い記述で構成可能 # TreeVNCで必要な機能 TreeVNCのComputation(VNCサーバからデータを受け取り表示)を支える機能をMeta Computationとして実装する * TreeTopologyの構成・管理(Topology Manager) * ノード間通信の切断時・再接続時の処理(ClosedEventManager) * ノードの接続状態確認(KeepAlive) * 子ノードへのデータの転送(flip) * データの圧縮 # Meta Computationの追加 * TreeVNCの数MByteの画面差分データを配信し続けるためデータを圧縮している * 画面データを圧縮して送る → 解凍して画面表示 → 再圧縮して子ノードへ転送 * 圧縮状態のまま子ノードに送信ができれば、解凍・再圧縮 するオーバーヘッドを無くすことができる * 圧縮のMeta Computationと転送のMeta Computationを追加した # 圧縮表現(Meta DS)の追加 * DSを複数作るのではなく、1つのDSに対しMeta DSとして以下の表現を同時に持たせる
1. 一般的なJavaのオブジェクト LocalDSMにputしたときの形式 2. シリアライズ化されたバイナリオブジェクト RemoteDSMにputしたときの形式 3. 2を圧縮したバイナリオブジェクト 今回追加した形式 |
TreeVNC | AliceVNC |
行数 | 単語数 | TightVNCからの変更行数 | |
---|---|---|---|
TreeVNC | 19502 | 73646 | 7351 |
AliceVNC | 14647 | 59217 | 1129 |
減少率 (%) | 25 | 20 | 75 |
平均値 | 最高値 | |
---|---|---|
TightVNC | 13.63 | 97 |
TreeVNC | 15.33 | 141 |
AliceVNC | 10.95 | 99 |