WEKO3
アイテム
実行効率のよい順路式の実現方法
https://ipsj.ixsq.nii.ac.jp/records/16168
https://ipsj.ixsq.nii.ac.jp/records/161684df92c53-8753-4a61-b202-05146d3a62fe
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-JNL2303013.pdf (644.4 kB)
|
Copyright (c) 1982 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | Journal(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 1982-05-15 | |||||||
| タイトル | ||||||||
| タイトル | 実行効率のよい順路式の実現方法 | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | An Effective Implementation of Path Expressions | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| キーワード | ||||||||
| 主題Scheme | Other | |||||||
| 主題 | 論文 | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||
| 資源タイプ | journal article | |||||||
| 著者所属 | ||||||||
| 慶応義塾大学情報科学所 | ||||||||
| 著者所属 | ||||||||
| 東京銀行 | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Institute of Information Science, Keio University | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Bank of Tokyo | ||||||||
| 著者名 |
土居, 範久
久良知, 健
× 土居, 範久 久良知, 健
|
|||||||
| 著者名(英) |
Norihisa, Doi
Ken, Kurachi
× Norihisa, Doi Ken, Kurachi
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | 順路式(path expression)は 共用対象に対して可能な実行の履歴(history)を指定することにより 並行型プロセス間の同期をとろうとするものである.順路式の記述能力 並行型プログラムの検証等に及ぼす効果に関する研究もまだ十分行われていないが 並行型プロセスの同期を静的に指定しようとする試みは高く評価されている.しかし その実現方法に関しては 実行効率のよい実現方法の研究は あまり行われていない.本論文では 実行効率と記述能力を考慮した順路式およびその実現方法を提案し 提案した実現方法の妥当性を検討するために作成した並行型プログラミングシステムについて述べる.実現方法としては 計数型セマフォに対する.P-V命令およびawait-cause命令を用いる.単純順路式を機能面でかなり拡張しても 実行効率のよい実現方法があることが確かめられた.この方法は 一般順路式を実現する際に 最適化の方法の一つとして用いることも可能である | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AN00116647 | |||||||
| 書誌情報 |
情報処理学会論文誌 巻 23, 号 3, p. 312-320, 発行日 1982-05-15 |
|||||||
| ISSN | ||||||||
| 収録物識別子タイプ | ISSN | |||||||
| 収録物識別子 | 1882-7764 | |||||||
