『徳島大学 教育・研究者情報データベース (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.