『徳島大学 教育・研究者情報データベース (EDB)』---[学外] /
ID: Pass:

登録内容 (EID=274182)

EID=274182EID:274182, Map:0, LastModified:2018年12月4日(火) 16:07:19, Operator:[池田 建司], Avail:TRUE, Censor:0, Owner:[池田 建司], Read:継承, Write:継承, Delete:継承.
種別 (必須): 学術論文 (審査論文) [継承]
言語 (必須): 英語 [継承]
招待 (推奨):
審査 (推奨): Peer Review [継承]
カテゴリ (推奨):
共著種別 (推奨):
学究種別 (推奨):
組織 (推奨):
著者 (必須): 1.下村 隆夫
役割 (任意):
貢献度 (任意):
学籍番号 (推奨):
[継承]
2.池田 建司 ([徳島大学.大学院社会産業理工学研究部.理工学域.知能情報系.知能工学分野]/[徳島大学.理工学部.理工学科.情報光システムコース.知能工学講座])
役割 (任意):
貢献度 (任意):
学籍番号 (推奨):
[継承]
題名 (必須): (英) 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 (日) (読)
ISSN (任意):
[継承]
(必須): 542 [継承]
(必須):
(必須): 233 259 [継承]
都市 (任意):
年月日 (必須): 西暦 2014年 1月 8日 (平成 26年 1月 8日) [継承]
URL (任意):
DOI (任意): 10.1007/978-3-319-04702-7_14    (→Scopusで検索) [継承]
PMID (任意):
NAID (任意):
WOS (任意):
Scopus (任意): 2-s2.0-84958530569 [継承]
評価値 (任意):
被引用数 (任意):
指導教員 (推奨):
備考 (任意): 1.(英) Print ISBN 978-3-319-04701-0  (日)    [継承]
2.(英) Online ISBN 978-3-319-04702-7  (日)    [継承]

標準的な表示

和文冊子 ● Takao Shimomura and Kenji Ikeda : Two Types of Deadlock Detection: Cyclic and Acyclic, Intelligent Systems for Science and Information, Studies in Computational Intelligence, Vol.542, (号), 233-259, 2014.
欧文冊子 ● Takao Shimomura and Kenji Ikeda : Two Types of Deadlock Detection: Cyclic and Acyclic, Intelligent Systems for Science and Information, Studies in Computational Intelligence, Vol.542, (号), 233-259, 2014.

関連情報

Number of session users = 3, LA = 0.47, Max(EID) = 373285, Max(EOID) = 998647.