{"updated":"2025-01-21T17:50:42.867891+00:00","metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00086056","sets":["934:1119:6676:6895"]},"path":["6895"],"owner":"11","recid":"86056","title":["デッドロック検出の厳密化によるLogTMのアボート削減手法"],"pubdate":{"attribute_name":"公開日","attribute_value":"2012-10-15"},"_buckets":{"deposit":"57e9c230-6fc5-4423-9e73-df4dfc6304f4"},"_deposit":{"id":"86056","pid":{"type":"depid","value":"86056","revision_id":0},"owners":[11],"status":"published","created_by":11},"item_title":"デッドロック検出の厳密化によるLogTMのアボート削減手法","author_link":["0","0"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"デッドロック検出の厳密化によるLogTMのアボート削減手法"},{"subitem_title":"Reducing Aborts on LogTM by Strictly Detecting Deadlocks","subitem_title_language":"en"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"[トランザクショナルメモリ] ハードウェア・トランザクショナル・メモリ，マルチスレッド，デッドロック，メモリアクセス競合","subitem_subject_scheme":"Other"}]},"item_type_id":"3","publish_date":"2012-10-15","item_3_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"名古屋工業大学"},{"subitem_text_value":"名古屋工業大学"},{"subitem_text_value":"名古屋工業大学／現在，株式会社デンソー"},{"subitem_text_value":"名古屋工業大学"},{"subitem_text_value":"名古屋工業大学"}]},"item_3_text_4":{"attribute_name":"著者所属(英)","attribute_value_mlt":[{"subitem_text_value":"Nagoya Institute of Technology","subitem_text_language":"en"},{"subitem_text_value":"Nagoya Institute of Technology","subitem_text_language":"en"},{"subitem_text_value":"Nagoya Institute of Technology／Presently with DENSO CORPORATION","subitem_text_language":"en"},{"subitem_text_value":"Nagoya Institute of Technology","subitem_text_language":"en"},{"subitem_text_value":"Nagoya Institute of Technology","subitem_text_language":"en"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_publisher":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"情報処理学会","subitem_publisher_language":"ja"}]},"publish_status":"0","weko_shared_id":-1,"item_file_price":{"attribute_name":"Billing file","attribute_type":"file","attribute_value_mlt":[{"url":{"url":"https://ipsj.ixsq.nii.ac.jp/record/86056/files/IPSJ-TACS0505007.pdf"},"date":[{"dateType":"Available","dateValue":"2014-10-15"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-TACS0505007.pdf","filesize":[{"value":"970.6 kB"}],"mimetype":"application/pdf","priceinfo":[{"tax":["include_tax"],"price":"660","billingrole":"5"},{"tax":["include_tax"],"price":"330","billingrole":"6"},{"tax":["include_tax"],"price":"0","billingrole":"16"},{"tax":["include_tax"],"price":"0","billingrole":"11"},{"tax":["include_tax"],"price":"0","billingrole":"14"},{"tax":["include_tax"],"price":"0","billingrole":"15"},{"tax":["include_tax"],"price":"0","billingrole":"44"}],"accessrole":"open_date","version_id":"d2d29349-b8f7-4424-857f-cd01ddf35d94","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 2012 by the Information Processing Society of Japan"}]},"item_3_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"堀場, 匠一朗"},{"creatorName":"江藤, 正通"},{"creatorName":"浅井, 宏樹"},{"creatorName":"津邑, 公暁"},{"creatorName":"松尾, 啓志"}],"nameIdentifiers":[{}]}]},"item_3_creator_6":{"attribute_name":"著者名(英)","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Shoichiro, Horiba","creatorNameLang":"en"},{"creatorName":"Masamichi, Eto","creatorNameLang":"en"},{"creatorName":"Hiroki, Asai","creatorNameLang":"en"},{"creatorName":"Tomoaki, Tsumura","creatorNameLang":"en"},{"creatorName":"Hiroshi, Matsuo","creatorNameLang":"en"}],"nameIdentifiers":[{}]}]},"item_3_source_id_9":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AA11833852","subitem_source_identifier_type":"NCID"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourceuri":"http://purl.org/coar/resource_type/c_6501","resourcetype":"journal article"}]},"item_3_source_id_11":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"1882-7829","subitem_source_identifier_type":"ISSN"}]},"item_3_description_7":{"attribute_name":"論文抄録","attribute_value_mlt":[{"subitem_description":"マルチコア環境における並列プログラミングでは，共有メモリへのアクセス制御にロックが広く用いられてきた．しかし，ロックには並列性の低下やデッドロックの発生などの問題がある．そこで，ロックを用いない並行性制御機構として，トランザクショナル・メモリが提案されている．このハードウェアによる一実装である LogTM においては， possible_cycle と呼ばれるフラグを用いてデッドロックの発生を検出する．しかしこの手法では，デッドロックの判定に偽陽性が存在し，アボートが過剰に発生する可能性がある．そこで本稿では， 3 者以上のトランザクション間の依存関係を考慮することでデッドロックを検出可能とする手法を提案し，さらに適切なアボート対象を選択する手法も検討する．シミュレーションによる評価の結果，提案手法によりアボートの発生が抑制され，ログの書き戻しコストなどが削減されることで，最大 31.5% の高速化を確認した．","subitem_description_type":"Other"}]},"item_3_description_8":{"attribute_name":"論文抄録(英)","attribute_value_mlt":[{"subitem_description":"Lock-based synchronization techniques have been commonly used for parallel programming on multi-core processors. However, lock can cause deadlock and poor scalability. Hence, hardware transactional memory has been proposed and studied for lock-free synchronization. In LogTM, an implementation of hardware transactional memory, a flag called ‘possible cycle’ is used for detecting dead-locks. However, a false positive can occur and it leads to useless aborts. In this paper, we propose a deadlock detection method for LogTM by considering dependencies between several transactions, and also discuss how to decide which transaction should be aborted. The result of the experiment shows that the proposed method improves the performance 31.5% in maximum.","subitem_description_type":"Other"}]},"item_3_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"54","bibliographic_titles":[{"bibliographic_title":"情報処理学会論文誌コンピューティングシステム（ACS）"}],"bibliographicPageStart":"43","bibliographicIssueDates":{"bibliographicIssueDate":"2012-10-15","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"5","bibliographicVolumeNumber":"5"}]},"relation_version_is_last":true,"weko_creator_id":"11"},"created":"2025-01-18T23:37:29.829716+00:00","id":86056,"links":{}}