%要旨
\begin{abstract}
並列・分散環境におけるプログラミングは今後ますますその重要性を増していくと
考えられるが、フレームワークやデバッグ等を含めてスケーラビリティに優れた
分散プログラムを記述する事は非常に難しい。
ここでいうスケーラビリティとは、サービスを受けるユーザー数が小規模から大規模に変化し
ても同じ様に同等の能力を発揮できるという性能基準のことである。

そこで本研究室では、自然にスケーラブルな分散プログラムを書くことができる
プログラミングモデルとして``分散プログラミングモデル：Federated Linda''を
実装し、提案している。
Federated Lindaは、通常、一対多の通信を行う集中型サーバーであるLindaサーバー
を複数つなぎ、タプルのリレー転送によってスケーラビリティを保つ。

このFederated Lindaを用いる事で、自然にスケーラブルな分散プログラミングが書けるような
分散プログラミングモデルを提供することが本研究の目標である。

本論文では、Federated Linda を用いたより高度な実装としてルーティングテーブルの
収束速度やネットワークのスケーラビリティに対して優位なルーティングアルゴリズムである
``Compact Routing''の実装と、その実装の経験により得られた知見からFederated Lindaに
分散デバッグ機能を実装する事を提案する。

今回、Federated Linda は従来のC言語による実装からJava言語での実装に
移行した。Java言語を用いる事によりFederated Lindaが受ける恩恵として、
オブジェクト指向による高い再利用性や、リファクタリングを利用してのプログラムコードの質の向上
によって、短いスパンで新機能の開発がはかれるという点がある。

Java言語によるFederated Lindaを用いることにより、以前では実装が難しかった
Federated Lindaにおける分散デバッグの為のインターフェースの実装も行った。
これは、動いている分散ブログラムを止める事無く、通信のスケーラビリティを測定できるものである。
この機能を用いることで、以前では難しかった、分散アルゴリズムのデバッグを行うことを狙う。

最後には実装したデバッグインターフェースとJava版タプルサーバーについての評価を行い、
まとめとする。

今後の課題として、スケーラビリティを持った分散スナップショットによるデバッグの実装等が挙げられる。
\end{abstract}