WEKO3
アイテム
On a Method of Detecting a Deadlock
https://ipsj.ixsq.nii.ac.jp/records/60191
https://ipsj.ixsq.nii.ac.jp/records/601911bf07cf8-09f9-4c64-b9ff-6657f8977fdf
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-InfP1200006.pdf (146.6 kB)
|
Copyright (c) 1972 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | InfP(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 1972-01-01 | |||||||
| タイトル | ||||||||
| タイトル | On a Method of Detecting a Deadlock | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | On a Method of Detecting a Deadlock | |||||||
| 言語 | ||||||||
| 言語 | eng | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||
| 資源タイプ | journal article | |||||||
| 著者所属 | ||||||||
| Nippon Software Co. Ltd. | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Nippon Software Co., Ltd. | ||||||||
| 著者名 |
Ryosuke, Hotaka
× Ryosuke, Hotaka
|
|||||||
| 著者名(英) |
Ryosuke, Hotaka
× Ryosuke, Hotaka
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | A new method for detecting and characterizing system deadlocks is presented.An ordinary matrix representation for a finite directed graph is used to detect the existence of deadlocks.I.E.among n concurrent jobs deadlocks exist if and only if A=0 (where A denotes the matrix used for representing the graph). | |||||||
| 論文抄録(英) | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | A new method for detecting and characterizing system deadlocks is presented.An ordinary matrix representation for a finite directed graph is used to detect the existence of deadlocks.I.E.among n concurrent jobs,deadlocks exist if and only if A=0 (where A denotes the matrix used for representing the graph). | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AA00674393 | |||||||
| 書誌情報 |
Information Processing in Japan 巻 12, 号 0, p. 31-33, 発行日 1972-01-01 |
|||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
