Development of a Tasking Deadlock Detector for Ada 2012 Programs

IPSJ

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

Keywords

Details 詳細情報について

Report a problem

Back to top