文献

J-GLOBAL ID：202202237749910775   整理番号：22A1209870

フォールトのパターン化に基づく並行システムのデバッグ支援

著者 (3件)： 張漢明 (南山大 理工) ,  沢田篤史 (南山大 理工) ,  野呂昌満 (南山大 理工)
資料名： アカデミア 理工学編(Web)  (Academia. Sciences and Engineering. Journal of the Nanzan Academic Society (Web))
巻： 22  ページ： 158-172 (WEB ONLY)  発行年： 2022年03月 
JST資料番号： U1990A  ISSN： 2434-4125  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 本研究の目的は,並行プログラムの同期問題に関するデバッグを支援することである.目的を達成するための基本的なアイデアは,プログラムのフォールトと軌跡の間の関係を定式化することである.本研究では,並行プログラムの典型的な同期問題に着目し,セマフォアを用いた同期問題の解法に対するプログラムのフォールトと軌跡の関係を,フォールトパターンとして提示することを目指す.本稿では,セマフォアを用いた第一種の読み書き問題の解法を対象として,フォールトと軌跡の間の定式化について議論する.(著者抄録)

シソーラス用語： *計算機プログラミング ,  故障点標定 ,  *デバッギング ,  同期 ,  同期制御 ,  記録 ,  プログラム実行 ,  軌跡 ,  プログラムの正しさ ,  資源割付 ,  *パターン形成 ,  並列処理
準シソーラス用語： セマフォ ,  *パターン化 ,  フォールト位置特定 ,  実行履歴 ,  *並行プログラミング

分類 (1件)： システムプログラミング一般  (JD03010Y)

タイトルに関連する用語 (4件)： パターン化 ,  並行 ,  デバッグ ,  支援