文献

J-GLOBAL ID：202002253871996045   整理番号：20A1798605

制約解決と動的スライシングのための統合アプローチをデバッグする並行性競争に向けて【JST・京大機械翻訳】

Towards concurrency race debugging an integrated approach for constraint solving and dynamic slicing

著者 (6件)： Zheng Long (Huazhong University of Science and Technology, Wuhan, P.R. China) ,  Liao Xiaofei (Huazhong University of Science and Technology, Wuhan, P.R. China) ,  Jin Hai (Huazhong University of Science and Technology, Wuhan, P.R. China) ,  He Bingsheng (National University of Singapore, Singapore) ,  Xue Jingling (University of New South Wales, Sydney, Australia) ,  Liu Haikun (Huazhong University of Science and Technology, Wuhan, P.R. China)
資料名： ACM Proceedings  (ACM Proceedings)
号： PACT ’18  ページ： 1-13  発行年： 2018年 
JST資料番号： D0698C  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 既存のデータ人種検出器は,それらの発生に対する人種条件を与えることができるが,それらの理解のための基本的理由も同定できる。本論文では, w味だけでなくデータ人種も理解できる簡潔なスケジュールを提供するための新しいデバッギングフレームワークを提案した。本研究の重要な革新は,動的スライシングを制約解決技術に統合することである。著者らは,データ人種から生じるバグの行動を特徴付けるために,人種表示(メモリアクセスの割合)を用いることを提案した。人種表示制約を符号化することにより,既存の制約解決システムにより,バグイ行動処理スケジュールを生成することができ,さらに提案したデータレーススライシング技法により,根原因として最小に単純化される。結果は,攻撃行動の曝露における人種表示の有効性を示した。実世界とベンチマークプログラムの両方の評価により,根本原因スケジュールは,元のスケジュールと比較して,99.7%少ないイベントと99.3%少ないスレッド間コンテキストスイッチで,最先端によって検出される382のデータレースのうち376を診断できることを示した。Please refer to this article’s citation page on the publisher website for specific rights information. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 簡素化 ,  デバッギング ,  検出器 ,  *ソフトウェア障害 ,  有効性 ,  ベンチマーク ,  スレッド
準シソーラス用語： スライシング ,  メモリアクセス ,  コンテキストスイッチ , 【Automatic Indexing@JST】

分類 (2件)： 計算機システム開発  (JD02010R) ,  パターン認識  (JE07000S)

タイトルに関連する用語 (6件)： 制約 ,  スライシング ,  統合 ,  デバッグ ,  並行 ,  競争