いう単位で分割して記述する手法を提唱している。Segmentは整数や文字列や構造体などの基本的なデータの集まりである。Segmentを出力するタスクである。-この手法を用いて、スケーラブルな分散プログラムを信頼性高く記述できることを目的とした並列分散フレームワークAliceを開発した。Computationという処理を挟むことで、コードを大きく変更せずに挙動変更を可能にしている。Computationが仕様の変更を抑えた信頼性の高い拡張を可能にするということはTreeVNCの例題などから確認された。Things)で通信するサービスが広く使われるようになり、分散計算の+重要性は増している。分散計算では参加する台数に寄らずサービスの質を維持するスケーラビリティ、要求された+仕様を満たす信頼性とともに、拡張性が要求される。ハードウェアは日進月歩であり、同じサービスであっても、+使用するハードウェアに適用するための拡張が必須となっている。-しかし、NAT越えなどのMetaComputationを実装しようとした際、現状では拡張が困難であり再設計が望ましいことが判明した。-また、それに伴いAliceの直感的でないAPIを改善し、型の整合性を保証することで信頼性を向上させるべきだと考えた。いう単位で分割して記述している。Segmentのプールにキーを用いてお互いに書き込むという手法を用いている。Segmentのキーを指定して取得(take)または参照(peek)し、それらがそろった時点で実行を並列に行う。Computationという処理を挟むことで、コードを大きく変更せずに挙動変更を可能にしている。+分散型画面共有システムTreeVNCなどの実装によりその有効性が確認されている。Managerが有効であった。-本研究ではAliceで得られた知見を元に分散フレームワークChristieの設計を行った。-Christieでは、APIにJavaのアノテーションを用いることでシンプルな記述で信頼性の高いプログラミングを実現する。Managerを複数立ち上げられるようにしたことでNAT越えなどの拡張に対応した。キーと取得モードの設定をJavaのオブジェクトの作成される側(constructor)で行ったり、+作成側で行なったりする自由度があり、キーによる通信の見通しが良くないということが判明した。Segmentの管理を大域変数的なSingletonで行なっており、複数のAliceのインスタンスを+同一プロセス上で起動できない。Computationを実装することができなかった。大域Singletonは、その性質上、どこからでもアクセス+できるために除去は困難であると判明した。+Aliceの直感的でないAPIを改善し、型の整合性を保証することで信頼性を向上させるべきだと考えた。-+本研究ではAliceで得られた知見を元に分散フレームワークChristieの設計を行った。用いてキーと取得モードの記述を行う。必要だった実行時の型変換を隠すことができるようになった。Managerを使用することで単一プロセスでのテストやNAT越えなどの拡張が可能になった。+本論文では、他の並列分散フレームワークであるAkkaやHazelcastとの比較も行う。