| 研究課題/領域番号 |
12680352
|
|---|
| 研究種目 |
基盤研究(C)
|
| 配分区分 | 補助金 |
|---|
| 応募区分 | 一般 |
|---|
| 研究分野 |
計算機科学
|
|---|
| 研究機関 | 岡山大学 |
|---|
研究代表者 |
村上 昌己 岡山大学, 大学院・自然科学研究科, 助教授 (60239499)
|
|---|
| 研究期間 (年度) |
2000 – 2003
|
| 研究課題ステータス |
完了 (2003年度)
|
| 配分額 *注記 |
2,300千円 (直接経費: 2,300千円)
2003年度: 600千円 (直接経費: 600千円)
2002年度: 500千円 (直接経費: 500千円)
2001年度: 500千円 (直接経費: 500千円)
2000年度: 700千円 (直接経費: 700千円)
|
|---|
| キーワード | 並行計算 / 分散システム / 線形論理 / プロセス代数 / 高階通信 / code streaming / 多重集合書き換え / 動的変更 / 名前の有効範囲 / π計算 / コードストリーミング / 非同期分散系 / 国際研究者交流 / イギリス / モーバイルプロセス / プログラム変換 |
|---|
| 研究概要 |
本研究の目的・着想に至った経緯は以下のようなものである。すなわち近年のネットワーク技術の進歩にともない、広域に分散した環境における情報処理の様々な技術の開発・研究が進められている。なかでも、ネットワークによって結合された複数のサイト間を移動する計算主体を用いる処理技術の可能性は、深い関心を集めている.このような背景より、移動型並行計算に関する理論の確立は、移動計算系を用いた様々な情報処理の技術の理論的基礎となるもので、重要な研究課題である。
本研究では、さまざまな移動計算の形態のうち、扱う対象を特に技術的に応用形態が広く重要と思われる形態に絞って、それらについての理論的定式化を行なうことを目的とした。その結果本研究によって得られた成果は、主に以下のようにまとめられる。まず移動型並行計算の新たな形態としてのcode streamingの提案である。本研究では、プログラム・コードの転送を行う高階のプロセス間通信の形態として、従来の非同期通信の枠組みを拡張し、non atomicな高階の通信としてcode streamingを導入した。もうひとつの成果は、並行/分散システムにおける名前資源の有効範囲の新たな記述方法の導入である。この記述法は従来のモデルに比べて、複数の名前の有効範囲を正確に同時に表現することが可能であり、移動型計算におけるプロセス/メッセージの転送による有効範囲の入れ子関係の変化を明解に記述可能なものである。
|
