WEKO3
-
RootNode
アイテム
Safe AmbientsのためのJavaフレームワーク
https://ipsj.ixsq.nii.ac.jp/records/74635
https://ipsj.ixsq.nii.ac.jp/records/7463567a5ccda-dcd9-4db8-8f96-407fbde0fa8e
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-TPRO0403004.pdf (460.2 kB)
|
Copyright (c) 2011 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | Trans(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 2011-06-29 | |||||||
| タイトル | ||||||||
| タイトル | Safe AmbientsのためのJavaフレームワーク | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | A Java Framework for Safe Ambients | |||||||
| 言語 | ||||||||
| 言語 | 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
× Shota, Okada Seiji, Umatani Tomoyuki, Hayashi Masahiro, Yasugi Taiichi, Yuasa
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | アンビエント計算はプロセス代数の一種であり，並行プロセス間の協調動作や計算機間のコード移動は，アンビエントの移動動作として表現される．アンビエントの階層を用いることで，LAN，PC クラスタ，マルチコアプロセッサ，モバイルエージェントなどを統一的に表現可能な点が特徴である．本発表では，アンビエント計算の一種であるSafeアンビエントに基づく，並列・分散計算のためのJavaフレームワークを提案する．本フレームワークを用いると，分散環境の構成要素をアンビエントとして統一的に記述し直接実行できる．アンビエントは通常の Java オブジェクトとして記述されるため，各アンビエントにインスタンス変数やメソッドを持たせることで，Java プログラマにとって分かりやすく簡潔なプログラムを書くことができる．フレームワークの実装においては，コード変換により JVM 間のアンビエントの移動を実現している．また単一 JVM 内においては，たとえば Java の入出力 API の完了待ちなどを考慮し，複数のプロセスは複数の Java スレッドにより並列実行されるのが望ましい．しかし，細粒度なプロセスを 1 対 1 に Java スレッドに対応づけるとプロセス生成のコストが大きくなる．本フレームワークは，Safe アンビエントの型情報を利用し，どのプロセス （またはアンビエント） を 1 つの Java スレッドに対応づけるかを適切に選択する． | |||||||
| 論文抄録(英) | ||||||||
| 内容記述タイプ | 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 Java framework for parallel and distributed computing, based on Safe Ambients. Each component of distributed environments is uniformly represented as an ambient and executed directly. Since each ambient is a normal Java object, it can contain instance variables and instance methods so that we can write programs in a practical manner and writing programs becomes easier. In the implementation of our framework, movements of ambients among JVMs are achieved by the code translation. In a single JVM, some events considered (e.g, waiting for finish of I/O APIs), multiple processes should be executed using several Java threads in parallel. However, creating a new Java thread for each fine-grain process at runtime is rather expensive. Therefore, our framework decides which process (or ambient) is mapped to a Java thread using type information of Safe Ambients. | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AA11464814 | |||||||
| 書誌情報 |
情報処理学会論文誌プログラミング（PRO） 巻 4, 号 3, p. 26-41, 発行日 2011-06-29 |
|||||||
| ISSN | ||||||||
| 収録物識別子タイプ | ISSN | |||||||
| 収録物識別子 | 1882-7802 | |||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
