WEKO3
アイテム
Ada 2012プログラムのためのタスキングデッドロック検出ツール
https://ipsj.ixsq.nii.ac.jp/records/94947
https://ipsj.ixsq.nii.ac.jp/records/949473f3bb779-c837-4ec8-bf0d-1f6deadf6d3b
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-TPRO0602012.pdf (90.2 kB)
|
Copyright (c) 2013 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | Trans(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 2013-08-29 | |||||||
| タイトル | ||||||||
| タイトル | Ada 2012プログラムのためのタスキングデッドロック検出ツール | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | Development of a Tasking Deadlock Detector for Ada 2012 Programs | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| キーワード | ||||||||
| 主題Scheme | Other | |||||||
| 主題 | [発表概要] | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||
| 資源タイプ | journal article | |||||||
| 著者所属 | ||||||||
| 埼玉大学大学院理工学研究科 | ||||||||
| 著者所属 | ||||||||
| 埼玉大学大学院理工学研究科 | ||||||||
| 著者所属 | ||||||||
| 埼玉大学大学院理工学研究科 | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Department of Information and Computer Sciences, Saitama University | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Department of Information and Computer Sciences, Saitama University | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Department of Information and Computer Sciences, Saitama University | ||||||||
| 著者名 |
驛場, 猛雄
× 驛場, 猛雄
|
|||||||
| 著者名(英) |
Takeo, Ekiba
× Takeo, Ekiba
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | プログラミング言語Adaは高信頼性の求められる組込みシステム開発のための並行型プログラミング言語である．Adaプログラムにおいて，タスクの同期待ちによるデッドロック（タスキングデッドロック）が発生しうる．Ada 95以前のバージョンでは，タスキングデッドロックの完全な識別方法が提案されており，また，その動的検出ツールが開発されている．一方，Ada 2005およびAda 2012においては，新たな同期待ち処理の追加により，Adaプログラム中に新たな種類のタスキングデッドロックが発生する可能性があるが，まだそれについての報告はされていない．さらに，Ada 2005およびAda 2012で新たに導入された機能や文法が存在するため，Ada 95プログラムのためのタスキングデッドロック動的検出ツールはAda 2012プログラムでは利用することができない．本発表では，Ada 2012プログラムで新たに生じうるタスキングデッドロックについての調査結果を報告する．そして，Ada 2012プログラムに対応したタスキングデッドロックの動的検出ツールの実現とその有用性を示す． | |||||||
| 論文抄録(英) | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | Ada is a concurrent programming language for programming high reliable embedded systems. A method to completely identify tasking deadlocks in Ada 95 programs was proposed, and, a tasking deadlock detector, to detect tasking deadlocks in Ada 95 programs at run-time, was also developed. The tasking deadlock detector for Ada 95 programs cannot be used for Ada 2012 programs because Ada 2012 has several changes from Ada 95 from viewpoint of syntax or facility. However, no tasking deadlock detector for Ada 2012 programs has been developed. This presentation presents a tasking deadlock detector for Ada 2012 programs, and shows its effectiveness. | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AA11464814 | |||||||
| 書誌情報 |
情報処理学会論文誌プログラミング（PRO） 巻 6, 号 2, p. 105-105, 発行日 2013-08-29 |
|||||||
| ISSN | ||||||||
| 収録物識別子タイプ | ISSN | |||||||
| 収録物識別子 | 1882-7802 | |||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
