Scala ActorライブラリによるSafe Ambientsフレームワークの実装

• Item type: Trans(1)
• 公開日: 2012-08-20
• タイトル: Scala ActorライブラリによるSafe Ambientsフレームワークの実装
• タイトル / 言語: en
• タイトル: Implementation of the Safe Ambients Framework Using Scala Actor Library
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: [発表概要]
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_6501
• 資源タイプ: journal article
• 著者所属: 京都大学大学院情報学研究科
• 著者所属: 京都大学大学院情報学研究科
• 著者所属: 京都大学大学院情報学研究科
• 著者所属: 京都大学大学院情報学研究科
• 著者所属: 京都大学大学院情報学研究科
• 著者所属(英): en
• 著者所属(英): Graduate School of Informatics, Kyoto University
• 著者所属(英): en
• 著者所属(英): Graduate School of Informatics, Kyoto University
• 著者所属(英): en
• 著者所属(英): Graduate School of Informatics, Kyoto University
• 著者所属(英): en
• 著者所属(英): Graduate School of Informatics, Kyoto University
• 著者所属(英): en
• 著者所属(英): Graduate School of Informatics, Kyoto University
• 著者名: 岡田, 翔太; 馬谷, 誠二; 林, 奉行; 八杉, 昌宏; 湯淺, 太一
• 著者名(英): Shota, Okada; Seiji, Umatani; Tomoyuki, Hayashi; Masahiro, Yasugi; Taiichi, Yuasa
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: アンビエント計算はプロセス代数の一種であり，並行プロセス間の協調動作や計算機間のコード移動は，アンビエントの移動動作として表現される．アンビエントの階層を用いることで，LAN，PCクラスタ，マルチコアプロセッサ，モバイルエージェントなどを統一的に表現可能な点が特徴である．本発表では，アンビエント計算の一種であるSafeアンビエントに基づく，並列・分散計算のためのScalaフレームワークを提案する．本フレームワークを用いると，分散環境の構成要素をアンビエントとして統一的に記述し，アンビエントの形で実行できる．アンビエントは通常のオブジェクトとして記述されるため，各アンビエントにインスタンス変数やメソッドを持たせることができ，分かりやすく簡潔なプログラムを記述することができる．Scalaを用いることで，従来のJavaによるフレームワークに比べ，アンビエントの定義をより簡潔に記述できるようになっている．異なる計算機間のアンビエントの移動は，Scalaのクロージャオブジェクトを受け渡すことにより実現している．Safeアンビエントでは，アンビエント全体を1つのScalaアクタとして実行するのが望ましい場合と，それに含まれるプロセスを別々のアクタとして実行するのが望ましい場合がある．本フレームワークでは，アンビエントの型を用いて，どちらの方法により実行するかを適切に選択する．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: The Ambient calculus is a kind of process calculi. Code migration among computers and synchronized movement among parallel processes are represented as movements of ambients. LANs, PC clusters, multicore processors and mobile agents are uniformly represented as components of the hierarchy of ambients. In our presentation, we propose a Scala framework for parallel and distributed computing, based on Safe Ambients. Each component of distributed environments is uniformly represented and executed as an ambient. Since each ambient is a normal Scala object, it can contain instance variables and instance methods so that we can write programs in a practical manner. By implementing the framework in Scala, we can write definitions of ambients easier than the previous framework implemented in Java. Movements of ambients among different computers are achieved by delivering Scala's closure objects. From the study of Safe Ambients, we find that there are two ways for executing ambients using Scala actors; each ambient should be executed using only a single actor, or multiple processes included in one ambient should be executed using different actors. Our framework chooses the suitable way for executing each ambient using its type information.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AA11464814
• 書誌情報: 情報処理学会論文誌プログラミング（PRO）; 巻 5, 号 3, p. 61-61, 発行日 2012-08-20
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 1882-7802
• 出版者 / 言語: ja
• 出版者: 情報処理学会