\section{ プロトコルエンジンとタプル空間}

Federated Lindaとは、複数のタプル空間を相互に
結ぶプロトコルエンジンによって
接続する分散プログラミングモデルである。
Lindaと同じAPIを持つが、
Lindaが一つのタプル空間を共有するのに対し、
Federated Lindaは複数のタプル空間を個別に持つ。
クライアントのアクセス数に対応して、
タプルスペースの数を増やし処理を分散させる事により、スケーラビリティを保つ。

% タプルスペース内の情報はプロトコルエンジンが切断されても
% そこに残る。プロトコルエンジンは、再接続することにより、自然に
% 計算を再開できる。このように、Federated Linda は実際のインターネット
% 上で起きる通信切断に強いフレームワークとなっている。

% この耐切断性を実現するためには、タプルスペースの持続性(Persistency)
% が重要であるが、一方で、プロトコルエンジンが状態を持たないように
% することが望ましい。
%  ってことは、プロトコルエンジンがトランザクションをサポート
%  した方が良いってことだよな〜