WEKO3
アイテム
トランザクショナル記号実行
https://ipsj.ixsq.nii.ac.jp/records/111093
https://ipsj.ixsq.nii.ac.jp/records/11109381d4ef98-0edc-4a9b-b7bc-89a4f6b11f07
名前 / ファイル | ライセンス | アクション |
---|---|---|
![]() |
Copyright (c) 2013 by the Information Processing Society of Japan
|
|
オープンアクセス |
Item type | National Convention(1) | |||||||||
---|---|---|---|---|---|---|---|---|---|---|
公開日 | 2013-03-06 | |||||||||
タイトル | ||||||||||
タイトル | トランザクショナル記号実行 | |||||||||
言語 | ||||||||||
言語 | jpn | |||||||||
キーワード | ||||||||||
主題Scheme | Other | |||||||||
主題 | データベースとメディア | |||||||||
資源タイプ | ||||||||||
資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||||||
資源タイプ | conference paper | |||||||||
著者所属 | ||||||||||
東工大 | ||||||||||
著者所属 | ||||||||||
東工大 | ||||||||||
著者名 |
荒堀喜貴
× 荒堀喜貴
× 横田治夫
|
|||||||||
論文抄録 | ||||||||||
内容記述タイプ | Other | |||||||||
内容記述 | ソフトウェアの信頼性や性能の解析に利用される動的記号実行は,静的な解析手法に比べ正確かつスケーラブルという利点を持つ.しかし,大規模分散データ処理系のように並列分散かつ動的に再構成可能な計算システムを対象とする場合,従来の動的記号実行は次の理由で機能しない:(1)並列分散計算の非決定性により解析結果が不安定,(2)対象システムの動的再構成によって解析データの整合性が破綻する. 我々はこれらの問題の解決に向け,トランザクショナル記号実行(TXSE)と呼ぶ新たな動的解析方式を提案する.TXSEは,並列分散データ工学分野で培われたトランザクション処理(TP)の概念に基づき,動的記号実行の枠組みを拡張したものである.具体的には,(1)動的記号実行の制約処理をTPの競合検出/解消問題に帰着させる事でパス/状態解析の網羅率を安定化し,(2)制約を含む動的解析データをマルチバージョン管理する事でシステムの再構成前後での解析整合性を維持する.本発表では,TXSEの概要と有効性の予備評価を報告する. | |||||||||
書誌レコードID | ||||||||||
収録物識別子タイプ | NCID | |||||||||
収録物識別子 | AN00349328 | |||||||||
書誌情報 |
第75回全国大会講演論文集 巻 2013, 号 1, p. 545-546, 発行日 2013-03-06 |
|||||||||
出版者 | ||||||||||
言語 | ja | |||||||||
出版者 | 情報処理学会 |