WEKO3
アイテム
エージェント指向並列言語Orgelの静的解析による最適化
https://ipsj.ixsq.nii.ac.jp/records/16884
https://ipsj.ixsq.nii.ac.jp/records/168843f1b9eaa-a67d-477b-8bea-cd29c0d9e23d
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-TPRO4203008.pdf (37.2 kB)
|
Copyright (c) 2001 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | Trans(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 2001-03-15 | |||||||
| タイトル | ||||||||
| タイトル | エージェント指向並列言語Orgelの静的解析による最適化 | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | Optimizing an Agent - oriented Parallel Programming Language Orgel with Static Analysis | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| キーワード | ||||||||
| 主題Scheme | Other | |||||||
| 主題 | 発表概要 | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||
| 資源タイプ | journal article | |||||||
| 著者所属 | ||||||||
| 豊橋技術科学大学 | ||||||||
| 著者所属 | ||||||||
| 豊橋技術科学大学 | ||||||||
| 著者所属 | ||||||||
| 豊橋技術科学大学 | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Toyohashi University of Technology | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Toyohashi University of Technology | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Toyohashi University of Technology | ||||||||
| 著者名 |
山本, 繁弘
大野, 和彦
中島, 浩
× 山本, 繁弘 大野, 和彦 中島, 浩
|
|||||||
| 著者名(英) |
Shigehiro, Yamamoto
Kazuhiko, Ohno
Hiroshi, Nakashima
× Shigehiro, Yamamoto Kazuhiko, Ohno Hiroshi, Nakashima
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | 我々はマルチエージェント型の並列プログラミング言語Orgelの設計・開発を行っている．Orgelは，並行/並列の実行単位であるエージェントが，抽象的な通信路であるストリームによって明示的にメッセージ送信を行う言語である．Orgelでは，プログラマが問題をエージェントという並列処理単位に切り分けることに加えて，多くの並列言語と異なりストリームのエージェントへの接続をすべて宣言的に記述する．このため，プログラムの実行モデルは非常に明確である．エージェント内の処理はC言語を拡張した文法で記述し，逐次に実行される．したがって，プログラマはOrgelの枠組により実行モデルを構築し，個々の処理内容を従来のスタイルで記述するだけで，通信のタイミングなどに苦慮することなく容易に並列プログラミングを行うことができる．Orgelでは宣言的な記述により，コンパイル時に並列実行モデルが明確になっている．そのため，並列モデルが宣言的でない他の多くの並列言語に比べて詳細な静的解析が可能であり，より強力な最適化を施すことができる．本稿では，エージェント間を流れるメッセージの依存関係を解析する手法と，その結果を利用して通信やエージェントのスケジューリングを最適化する手法について述べる． | |||||||
| 論文抄録(英) | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | We are developing a parallel programming language named Orgel based on multi-agent paradigm. In the execution model of Orgel, a set of agents are connected with abstract communication channels called streams. The agents run in parallel sending asynchronous messages through the streams. In an Orgel program, each unit of parallel execution is specified as an agent by the programmer. The connections among agents and streams are declaratively specified. Thus, parallel execution model is clear. Each agent executes sequential code described using a C-extended syntax. Therefore, the programmer designs execution models on the agent framework, and describes details in usual programming style. This feature leads to easy parallel programming without sufferig from timing bugs. The declarative specification of parallel execution model in Orgel also makes the static analysis much effective, compared to other parallel languages. With the result of such analysis, strong optimization is possible. In this presentation, we describe a scheme for dependency analysis among messages. With the analysis result, we also show the optimization of communications and scheduling of the agents. | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AA11464814 | |||||||
| 書誌情報 |
情報処理学会論文誌プログラミング（PRO） 巻 42, 号 SIG03(PRO10), p. 74-74, 発行日 2001-03-15 |
|||||||
| ISSN | ||||||||
| 収録物識別子タイプ | ISSN | |||||||
| 収録物識別子 | 1882-7802 | |||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
