\section{ Scaleする分散プログラム}

Internet 上で動作している分散プログラムは、例えば、DNS、
SMTP、NNTP、あるいは、さまざまなP2PやDHTなどがある。
これらのサービスで重要なのは、Scalability つまり、
サービスの規模が大きくなっても、応答速度などの要求仕様を
満たすことである。このようなプログラムは、一つのコンピュータ
に閉じた逐次型のプログラムや、マルチスレッドのプログラムとは
様相が異なる。

Federated Linda\cite{kono05b,kono05f} は、計算モデルが明解なLinda\cite{linda} を
複数接続することで、分散プログラムの作り方を明確なモデル
上で学ぶことができるようにするように設計されている。

我々は、この上で投票システムやCompact Routing\cite{Abraham04compactname-independent,kono08c} 等を
実装して来たが、分散プログラムは、それ自体が複雑なだけで
なく、デバッグ自体の困難さが問題であることがわかってきた。

最初の目標は、琉大情報工学科にある200台規模のPCクラスタ
上で、Federated Linda を用いた分散プログラムを作成し
デバッグすることである。

分散プログラムは正しい答えを出すだけでなく、Scalability
があるかどうかを調べることが必要である。PCクラスタ上の
デバッグでは、デバッグ自体に通信が必要であり、その通信が
Scalability に影響しないようにする必要がある。