| 大会名称 |
|---|
| 2010年 情報科学技術フォーラム(FIT) |
| 大会コ－ド |
| F |
| 開催年 |
| 2010 |
| 発行日 |
| 2010/8/20 |
| セッション番号 |
| 4B |
| セッション名 |
| モデル検査・検証・信頼性 |
| 講演日 |
| 2010/09/08 |
| 講演場所(会議室等) |
| B会場（総合学習プラザ1F 第6講義室） |
| 講演番号 |
| B-021 |
| タイトル |
| Happened-Before関係による非分散マルチタスクプログラムに対する排他制御機構デッドロックの定義 |
| 著者名 |
| 土江 晋哉, 大森 晃, |
| キーワード |
| デッドロック, deadlock, 静的解析, static analysis |
| 抄録 |
| あるプログラムにおいてデッドロックが発生する可能性の有無を確認するためには，静的解析によって潜在的なデッドロックをチェックすることが効果的である．本研究ではデッドロックの静的解析をより厳密に行うことを目指し，最も基本的な2タスク2資源から成るマルチタスクプログラムについて，デッドロックの定義を与える． |
| 本文pdf |
| PDF download (365.4KB) |