徳島大学 教育・研究者情報データベース(EDB)

Education and Research Database (EDB), Tokushima University

徳島大学ウェブサイトへのリンク

著作: [下村 隆夫]/[池田 建司]/Two Types of Deadlock Detection: Cyclic and Acyclic/Intelligent Systems for Science and Information, Studies in Computational Intelligence

ヘルプを読む

「著作」(著作(著書,論文,レター,国際会議など))は,研究業績にかかる著作(著書,論文,レター,国際会議など)を登録するテーブルです. (この情報が属するテーブルの詳細な定義を見る)

  • 項目名の部分にマウスカーソルを置いて少し待つと,項目の簡単な説明がツールチップ表示されます.

この情報をEDB閲覧画面で開く

EID
274182
EOID
934735
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日
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