@article{oai:ipsj.ixsq.nii.ac.jp:00086056,
 author = {堀場, 匠一朗 and 江藤, 正通 and 浅井, 宏樹 and 津邑, 公暁 and 松尾, 啓志 and Shoichiro, Horiba and Masamichi, Eto and Hiroki, Asai and Tomoaki, Tsumura and Hiroshi, Matsuo},
 issue = {5},
 journal = {情報処理学会論文誌コンピューティングシステム（ACS）},
 month = {Oct},
 note = {マルチコア環境における並列プログラミングでは，共有メモリへのアクセス制御にロックが広く用いられてきた．しかし，ロックには並列性の低下やデッドロックの発生などの問題がある．そこで，ロックを用いない並行性制御機構として，トランザクショナル・メモリが提案されている．このハードウェアによる一実装である LogTM においては， possible_cycle と呼ばれるフラグを用いてデッドロックの発生を検出する．しかしこの手法では，デッドロックの判定に偽陽性が存在し，アボートが過剰に発生する可能性がある．そこで本稿では， 3 者以上のトランザクション間の依存関係を考慮することでデッドロックを検出可能とする手法を提案し，さらに適切なアボート対象を選択する手法も検討する．シミュレーションによる評価の結果，提案手法によりアボートの発生が抑制され，ログの書き戻しコストなどが削減されることで，最大 31.5% の高速化を確認した．, 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.},
 pages = {43--54},
 title = {デッドロック検出の厳密化によるLogTMのアボート削減手法},
 volume = {5},
 year = {2012}
}