- 【Updated on May 12, 2025】 Integration of CiNii Dissertations and CiNii Books into CiNii Research
- Trial version of CiNii Research Knowledge Graph Search feature is available on CiNii Labs
- 【Updated on June 30, 2025】Suspension and deletion of data provided by Nikkei BP
- Regarding the recording of “Research Data” and “Evidence Data”
Development of a Tasking Deadlock Detector for Ada 2012 Programs
Bibliographic Information
- Other Title
-
- Ada 2012プログラムのためのタスキングデッドロック検出ツール
Search this article
Description
プログラミング言語Adaは高信頼性の求められる組込みシステム開発のための並行型プログラミング言語である.Adaプログラムにおいて,タスクの同期待ちによるデッドロック(タスキングデッドロック)が発生しうる.Ada 95以前のバージョンでは,タスキングデッドロックの完全な識別方法が提案されており,また,その動的検出ツールが開発されている.一方,Ada 2005およびAda 2012においては,新たな同期待ち処理の追加により,Adaプログラム中に新たな種類のタスキングデッドロックが発生する可能性があるが,まだそれについての報告はされていない.さらに,Ada 2005およびAda 2012で新たに導入された機能や文法が存在するため,Ada 95プログラムのためのタスキングデッドロック動的検出ツールはAda 2012プログラムでは利用することができない.本発表では,Ada 2012プログラムで新たに生じうるタスキングデッドロックについての調査結果を報告する.そして,Ada 2012プログラムに対応したタスキングデッドロックの動的検出ツールの実現とその有用性を示す.
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.
Journal
-
- 情報処理学会論文誌プログラミング(PRO)
-
情報処理学会論文誌プログラミング(PRO) 6 (2), 105-105, 2013-08-29
情報処理学会
- Tweet
Keywords
Details 詳細情報について
-
- CRID
- 1050845762833423872
-
- NII Article ID
- 110009602865
-
- NII Book ID
- AA11464814
-
- ISSN
- 18827802
-
- Text Lang
- ja
-
- Article Type
- journal article
-
- Data Source
-
- IRDB
- CiNii Articles