文献

J-GLOBAL ID：201702212145499891   整理番号：17A0795841

SDA雲:適応型動的データ競合検出のためのマルチVMアーキテクチャ【Powered by NICT】

SDA-CLOUD: A Multi-VM Architecture for Adaptive Dynamic Data Race Detection

著者 (4件)： Jia Changjiang (City University of Hong Kong, Tat Chee Avenue, Hong Kong) ,  Yang Chunbai (City University of Hong Kong, Tat Chee Avenue, Hong Kong) ,  Chan W. K. (City University of Hong Kong, Tat Chee Avenue, Hong Kong) ,  Yu Yuen Tak (City University of Hong Kong, Tat Chee Avenue, Hong Kong)
資料名： IEEE Transactions on Services Computing  (IEEE Transactions on Services Computing)
巻： 10  号： 1  ページ： 80-93  発行年： 2017年 
JST資料番号： W2437A  ISSN： 1939-1374  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： コンクリートサービスは数プログラム成分の,その各々が設計時間や実行時間のいずれかでサービスに統合されるから構成されている。コンクリートサービスを試験では,テスタが多様なサービス消費シナリオの下でその成分のそれぞれの正しさを検証すべきである。種々の配置下でこれらの成分のプログラム実行の解析開発者を比較し,特定問題を可能にした。は驚くほどこのギャップの橋渡しをすることへの研究は少ない。本論文では,著者らの知る限り,著者らは動的データレース検出へのマルチ仮想マシン(マルチVM)手法を用いて動的解析としてサービスを設計する際の最初の研究を提案した。動的データレース検出に関するほとんどすべての既存の研究は同じであったが単一編集並行プログラム成分に検出精度,効率,及びスレッドインタリービングシナリオの被覆率を改善することに焦点を当てた。著者らのモデルは連続的にVM例を選択し,それぞれが同じプログラム成分の異なる編集版をホストとデータ競合を検出するための最先端の検出器。そのようなものとして,このモデルは,ビルディングブロックとして存在するレース検出器を革新的に,より高レベルの抽象化で動作する。実験により筆者らの提案を評価した。実験はマルチVMアプローチは,複数の編集バージョンのモニタリングにおける実行可能であり,量と検出確率の両方で異なる種属を検出できることを明らかにした。限られた実行予算制約の下で,マルチVMアプローチは,単一編集バージョンのみを用いた手法よりもレース検出においてより有意に効果的である。一コンパイル版に深く隠されたいくつかの品種は,同じサービス成分のいくつかの他のコンパイルバージョンで有意に検出可能であることが分かった。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： 仮想機械システム ,  被覆率 ,  回路試験器 ,  検出器 ,  動的解析 ,  *計算機アーキテクチャ ,  人間 ,  モデル ,  プログラム実行 ,  編集 ,  *検出
準シソーラス用語： 検出確率 ,  *データ競合 ,  検出精度 ,  実行時間 ,  *競合検出 , 【Automatic Indexing@JST】

分類 (1件)： パターン認識  (JE07000S)

タイトルに関連する用語 (4件)： 雲 ,  競合検出 ,  マルチ ,  アーキテクチャ