{"updated":"2025-01-21T16:01:21.665816+00:00","metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00090458","sets":["1164:1867:7090:7091"]},"path":["7091"],"owner":"11","recid":"90458","title":["仮想マシンモニタを用いた割込み処理のデバッグ手法"],"pubdate":{"attribute_name":"公開日","attribute_value":"2013-02-21"},"_buckets":{"deposit":"77c04d64-a091-40dd-a7f2-7723fcdcb2b8"},"_deposit":{"id":"90458","pid":{"type":"depid","value":"90458","revision_id":0},"owners":[11],"status":"published","created_by":11},"item_title":"仮想マシンモニタを用いた割込み処理のデバッグ手法","author_link":["0"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"仮想マシンモニタを用いた割込み処理のデバッグ手法"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"仮想化","subitem_subject_scheme":"Other"}]},"item_type_id":"4","publish_date":"2013-02-21","item_4_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"慶応義塾大学"},{"subitem_text_value":"慶応義塾大学"},{"subitem_text_value":"東京農工大学／JST CREST"},{"subitem_text_value":"慶応義塾大学／JST CREST"}]},"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/90458/files/IPSJ-OS13124006.pdf"},"date":[{"dateType":"Available","dateValue":"2015-02-21"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-OS13124006.pdf","filesize":[{"value":"2.2 MB"}],"mimetype":"application/pdf","priceinfo":[{"tax":["include_tax"],"price":"660","billingrole":"5"},{"tax":["include_tax"],"price":"330","billingrole":"6"},{"tax":["include_tax"],"price":"0","billingrole":"11"},{"tax":["include_tax"],"price":"0","billingrole":"44"}],"accessrole":"open_date","version_id":"e21b340e-1de6-421b-afeb-197dbebc16a4","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 2013 by the Information Processing Society of Japan"}]},"item_4_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"宮原俊介"},{"creatorName":"吉村剛"},{"creatorName":"山田浩史"},{"creatorName":"河野健二"}],"nameIdentifiers":[{}]}]},"item_4_source_id_9":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AN10444176","subitem_source_identifier_type":"NCID"}]},"item_4_textarea_12":{"attribute_name":"Notice","attribute_value_mlt":[{"subitem_textarea_value":"SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc."}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourceuri":"http://purl.org/coar/resource_type/c_18gh","resourcetype":"technical report"}]},"item_4_description_7":{"attribute_name":"論文抄録","attribute_value_mlt":[{"subitem_description":"オペレーティングシステム(OS)の複雑化，多機能化に伴い，OS内部に存在するバグが増え続けている．OSのデバッグが困難である要因のひとつに割込みによる非同期処理がある．割込み処理はその非同期性から再現性が低く，バグレポートがあっても同一の状況を再現したり，あるいはコード修正後の動作検証が極めて難しい．静的解析やモデル検査といった手法を適用しようとしても，扱うべき状態数が爆発しやすく現実的にはかなりの困難が伴う．本研究では，割込みのタイミングを意図的に制御可能にすることによりデバッグを支援する手法を提案する．提案手法では仮想マシンモニタを利用し割込みのタイミングを意図的に制御する．仮想マシンモニタの，割込みをエミュレートするコードに変更を加えることで指定したコード位置に任意の割込みを発生させることができるようにしている．この手法を用いることで，割込みの発生を故意に起こし，開発段階での割込み処理のデバッグを支援することができる．本手法の有用性を示すために，Linuxに実在した割込み依存のバグを２つ再現し，提案手法により検出できることを確認した．","subitem_description_type":"Other"}]},"item_4_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"8","bibliographic_titles":[{"bibliographic_title":"研究報告システムソフトウェアとオペレーティング・システム（OS）"}],"bibliographicPageStart":"1","bibliographicIssueDates":{"bibliographicIssueDate":"2013-02-21","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"6","bibliographicVolumeNumber":"2013-OS-124"}]},"relation_version_is_last":true,"weko_creator_id":"11"},"created":"2025-01-18T23:40:02.104515+00:00","id":90458,"links":{}}