2024-03-29T08:45:23Zhttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaipmhoai:ipsj.ixsq.nii.ac.jp:000949472020-10-27T05:02:43Z00934:00935:07043:07252
Ada 2012プログラムのためのタスキングデッドロック検出ツールDevelopment of a Tasking Deadlock Detector for Ada 2012 Programsjpn[発表概要]http://id.nii.ac.jp/1001/00094928/Articlehttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_action_common_download&item_id=94947&item_no=1&attribute_id=1&file_no=1Copyright (c) 2013 by the Information Processing Society of Japan埼玉大学大学院理工学研究科埼玉大学大学院理工学研究科埼玉大学大学院理工学研究科驛場, 猛雄後藤, 祐一程, 京徳プログラミング言語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.AA11464814情報処理学会論文誌プログラミング(PRO)621051052013-08-291882-78022013-08-23