著作: [下村 隆夫]/[池田 建司]/Two Types of Deadlock Detection: Cyclic and Acyclic/Intelligent Systems for Science and Information, Studies in Computational Intelligence
ヘルプを読む
「著作」（著作（著書，論文，レター，国際会議など））は，研究業績にかかる著作（著書，論文，レター，国際会議など）を登録するテーブルです． (この情報が属するテーブルの詳細な定義を見る)
- 項目名の部分にマウスカーソルを置いて少し待つと，項目の簡単な説明がツールチップ表示されます．
編集する
複製して登録
削除する| 種別 | 必須 | 学術論文(審査論文) | |||
|---|---|---|---|---|---|
| 言語 | 必須 | 英語 | |||
| 招待 | 推奨 | ||||
| 審査 | 推奨 | Peer Review | |||
| カテゴリ | 推奨 | ||||
| 共著種別 | 推奨 | ||||
| 学究種別 | 推奨 | ||||
| 組織 | 推奨 | ||||
| 著者 | 必須 | ||||
| 題名 | 必須 |
(英) Two Types of Deadlock Detection: Cyclic and Acyclic |
|||
| 副題 | 任意 | ||||
| 要約 | 任意 |
(英) Concurrent programs are difficult to test and debug due to their non-deterministic execution. For deadlocks, traditional deadlock detection algorithms depend on finding cycles in lock graphs created from application programs. This paper first introduces three kinds of blocked relations, lock-blocked, wait-blocked, and join-blocked for Java multi-threaded programs. Previous work does not consider the wait-blocked relations, nor the influence of thread interruption. The paper then proposes two types of deadlocks based on these blocked relations, that is, block-cycle type deadlocks and waiting-block type deadlocks which are acyclic. It also presents an example of implementation to detect these types of deadlocks, and addresses future directions. |
|||
| キーワード | 推奨 | ||||
| 発行所 | 推奨 | Springer | |||
| 誌名 | 必須 |
(英) Intelligent Systems for Science and Information, Studies in Computational Intelligence
|
|||
| 巻 | 必須 | 542 | |||
| 号 | 必須 | ||||
| 頁 | 必須 | 233 259 | |||
| 都市 | 任意 | ||||
| 年月日 | 必須 | 2014年 1月 8日 | |||
| URL | 任意 | ||||
| DOI | 任意 | 10.1007/978-3-319-04702-7_14 (→Scopusで検索) | |||
| PMID | 任意 | ||||
| NAID | 任意 | ||||
| WOS | 任意 | ||||
| Scopus | 任意 | 2-s2.0-84958530569 | |||
| 評価値 | 任意 | ||||
| 被引用数 | 任意 | ||||
| 指導教員 | 推奨 | ||||
| 備考 | 任意 |
|
|||