%%% 氏名・所属（和文および英文，発表者に○印をつけて下さい） 
% 和文氏名 
\author{○高橋 慧\affiref{u-tokyo}
        \and 田浦 健次朗\affiref{u-tokyo}
        \and 近山 隆\affiref{u-tokyo}
}
% 英文氏名
\author{○Kei Takahashi\affiref{u-tokyo}
        \and Kenjiro Taura\affiref{u-tokyo}
        \and Takashi Chikayama\affiref{u-tokyo}
}

\affilabel{u-tokyo}{東京大学\\
The University of Tokyo}

%%% 代表者連絡先（氏名，住所，電話，Fax，電子メールアドレス） 
\contact{
高橋 慧
〒113-8656 東京都文京区本郷7-3-1\\
東京大学大学院 情報理工学系研究科 電子情報学専攻\\
TEL: (03)5841-6398\qquad FAX: (03)5841-6398\\
email: kay@logos.ic.i.u-tokyo.ac.jp}
}

%%% タイトル（和文論文の場合は和文と英文の両方） 
% 和文タイトル
\title{Distributed Aggregate with Migration}
% 英文タイトル
\etitle{Design and Implementation of a New Programming Language}


\begin{abstract}
グリッド環境においては、与えられた資源を最大限活用するためにプロセッサ
数の増減に対応したいという要請がある。同時に記述が簡単に行え、かつ実行
速度を損なわないことが望ましい。
現状では多くの並列プログラムはメッセージパッシングを用いて記述されてい
るが、これは下層の処理に近すぎて、簡潔にアルゴリズムを表現できない場合
が多い。また多くの場合通信相手の指定にプロセッサ番号を用いるため、プロ
セッサ数増減に対応するにはデータとプロセッサ番号の対応をプログラマが
管理する必要があり、記述は難しい。

これらを改善するモデルとして、分散オブジェクトモデルが提案されている。
分散オブジェクトではオブジェクト指向の記述が行え、またデータの識別にプ
ロセッサではなくオブジェクトを用いるので、プロセッサ増減に対応したプロ
グラムの記述が簡単になる。しかし、分散配列などプロセッサ間にまたがる大
きなデータを扱う場合、分散オブジェクトではオブジェクト単位でしかデータ
を扱えないため、簡単には効率の良い記述ができない。

本発表では、大きな配列などインデックスにより識別される集合を用いる際、
プロセッサ数の変化に対応した並列プログラムを簡単に記述できる、「分散集
合オブジェクト」を提案し実装した。
実装においては要素と断片の対応を分散保持し、メッセージの集中を防いで性
能を損なわないようにした。
この分散集合オブジェクトモデルの下でアプリケーションを記述し、動作の確
認と性能評価を行った。


\end{abstract}


\begin{eabstract}
In a grid environment, it is required to support the number changes of
processors which participating in the computation. 
Presently, most parallel programs are written with message passing model;
but it is not easy to write complicated programs with this model, since
a programmer must maintain a conversion table of data and processors
on his own. 

In order to solve this problem, distributed object models are presented.
A parallel program can support number changes of processors by migration. 
It is, however, still hard to write a data structure distributed among
processors -- such as distributed array -- with supporting processor
number changes.

We propose the Distributed Aggregate Model as an extension of
Distributed Object Model. It handles a data structure identified with
indices, like distributed array.
In our distributed aggregate model, each object can be distributed
among processors as fractions, but looks like one object to
programmers. So a programmer can write a program without worrying
about its distribution.
When he/she calls a method, he/she specifies the range, not a certain
fraction. This enables him to write distributed programs easily
regardless of data position.
Messages are reached directly, so it makes a performance comparable
to message passing model.

We implemented this framework, wrote a programming example of
partial differential equation, and assured that it operates correctly
even when the number of processors changes dynamically.
\end{eabstract}

%%% 論文誌投稿を希望の有無 （どちらか残してください）
% 希望しない

%%% オリジナル論文とサーベイ論文の種別指定  （どちらか残してください）
% オリジナル論文