{"id":68449,"updated":"2025-01-22T00:11:06.523141+00:00","links":{},"created":"2025-01-18T23:28:29.580112+00:00","metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00068449","sets":["934:935:6064:6066"]},"path":["6066"],"owner":"10","recid":"68449","title":["Cプログラムのデータ競合の動的検出法"],"pubdate":{"attribute_name":"公開日","attribute_value":"2010-03-16"},"_buckets":{"deposit":"09dd415a-581b-4d7d-a643-a65b75eb3dc5"},"_deposit":{"id":"68449","pid":{"type":"depid","value":"68449","revision_id":0},"owners":[10],"status":"published","created_by":10},"item_title":"Cプログラムのデータ競合の動的検出法","author_link":["0","0"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"Cプログラムのデータ競合の動的検出法"},{"subitem_title":"A Dynamic Technique for Detecting Dataraces in C Programs","subitem_title_language":"en"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"発表概要","subitem_subject_scheme":"Other"}]},"item_type_id":"3","publish_date":"2010-03-16","item_3_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"東京工業大学計算工学専攻"},{"subitem_text_value":"東京工業大学計算工学専攻"},{"subitem_text_value":"東京工業大学物理情報システム専攻"}]},"item_3_text_4":{"attribute_name":"著者所属(英)","attribute_value_mlt":[{"subitem_text_value":"Department of Computer Science, Tokyo Institute of Technology","subitem_text_language":"en"},{"subitem_text_value":"Department of Computer Science, Tokyo Institute of Technology","subitem_text_language":"en"},{"subitem_text_value":"Department of Information Processing, Tokyo 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/68449/files/IPSJ-TPRO0302008.pdf"},"date":[{"dateType":"Available","dateValue":"2012-03-16"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-TPRO0302008.pdf","filesize":[{"value":"32.7 kB"}],"mimetype":"application/pdf","priceinfo":[{"tax":["include_tax"],"price":"0","billingrole":"5"},{"tax":["include_tax"],"price":"0","billingrole":"6"},{"tax":["include_tax"],"price":"0","billingrole":"15"},{"tax":["include_tax"],"price":"0","billingrole":"44"}],"accessrole":"open_date","version_id":"0a6b1704-13ad-48cc-8007-2d6ba7791eac","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 2010 by the Information Processing Society of Japan"}]},"item_3_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"荒堀, 喜貴"},{"creatorName":"権藤, 克彦"},{"creatorName":"前島, 英雄"}],"nameIdentifiers":[{}]}]},"item_3_creator_6":{"attribute_name":"著者名(英)","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Yoshitaka, Arahori","creatorNameLang":"en"},{"creatorName":"Katsuhiko, Gondow","creatorNameLang":"en"},{"creatorName":"Hideo, Maejima","creatorNameLang":"en"}],"nameIdentifiers":[{}]}]},"item_3_source_id_9":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AA11464814","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-7802","subitem_source_identifier_type":"ISSN"}]},"item_3_description_7":{"attribute_name":"論文抄録","attribute_value_mlt":[{"subitem_description":"本発表では，C プログラムのデータ競合の動的検出法を提案する．既存の動的競合検出法のほとんどがスレッドのみを対象としている．しかし，C では UNIX シグナルなどの非同期割込みもデータ競合の主要因である．我々の提案手法は Choi らの手法を拡張してスレッド競合と割込み競合の両方を検出できるようにする．主なアイデアは，非同期割込み処理を 1 回の擬似スレッド実行として扱うことである．アイデアは単純であるが，拡張の実現にはいくつかの課題がある．我々はこれらの課題を複数の動的解析法を組み合わせて解決する．実験の結果，我々の手法は大規模実用 C プログラムの広範なデータ競合の検出にきわめて有効であることが分かった．","subitem_description_type":"Other"}]},"item_3_description_8":{"attribute_name":"論文抄録(英)","attribute_value_mlt":[{"subitem_description":"We propose a practical approach to dynamic datarace detection for C programs. Most existing approaches to dynamic datarace detection target only threads. However, asynchronous interrupts (e.g., UNIX signals) are also a major source of dataraces for C. Our approach extends a technique proposed by J.D. Choi, et al. to handle both threads and interrupts. The main idea is to treat every asynchronous-interrupt handling as one-time execution of a pseudo thread. Despite the simplicity of the idea, however, this extension raises several challenging issues. We address these issues with a unique combination of dynamic analysis techniques. Our experimental results show that our approach is quite effective in detecting a broad class of dataraces in large real-life C programs.","subitem_description_type":"Other"}]},"item_3_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"50","bibliographic_titles":[{"bibliographic_title":"情報処理学会論文誌プログラミング（PRO）"}],"bibliographicPageStart":"50","bibliographicIssueDates":{"bibliographicIssueDate":"2010-03-16","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"2","bibliographicVolumeNumber":"3"}]},"relation_version_is_last":true,"weko_creator_id":"10"}}