有限なロケーションを持つ並行プロセス

スポンサーリンク

概要

論文の詳細を見る
並行性へのインターリビング・アップローチでは、計算の空間構造が考えられていなかった。その問題を扱うために最近提案されたモデルでは、動作を行なうことのできるサイトの数が無限であること、あるいは、プロセスが実行される前に、プロセスの空間構造が知られていることが仮定されている。本稿では、有限な空間資源(ロケーション)の集合を管理するマネジャーと並行プロセスを拡張することを提案する。そのマネジャーはプロセスにロケーションを割り当て、プロセスから解放されたロケーションを集める。ρという特別な動作が明示的にロケーションの解放をモデリングする。さらに、マネジャーの間に、ロケーションの相互提供が可能であることを示唆する。そのために、ロケーションの遅延双方向転送の戦略を紹介する。
1994-03-10

著者

関連論文

もっと見る

スポンサーリンク