文献

J-GLOBAL ID：201702218451758936   整理番号：17A1286460

アクセス依存性を得る:プログラムの動的解析の基礎技術のレビュー【JST・京大機械翻訳】

Approaches to Obtaining Shared Memory Dependences for Dynamic Analysis of Concurrent Programs: A Survey

著者 (4件)： Jiang Yanyan (計算机軟件新技術国家重点実験室(南京大学),江蘇南京210023;南京大学 計算机科学与技術系,江蘇南京210023) ,  Xu Chang (計算机軟件新技術国家重点実験室(南京大学),江蘇南京210023;南京大学 計算机科学与技術系,江蘇南京210023) ,  Ma Xiaoxing (計算机軟件新技術国家重点実験室(南京大学),江蘇南京210023;南京大学 計算机科学与技術系,江蘇南京210023) ,  Lv Jian (計算机軟件新技術国家重点実験室(南京大学),江蘇南京210023;南京大学 計算机科学与技術系,江蘇南京210023)
資料名： Ruanjian Xuebao  (Ruanjian Xuebao)
巻： 28  号： 4  ページ： 745-763  発行年： 2017年 
JST資料番号： C2542A  ISSN： 1000-9825  CODEN： RUXUEW  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 中国 (CHN)  言語： 中国語 (ZH)

抄録/ポイント： それは,誤ったトリガー,難しいデバッグ,および難しい検出を伴う。このチャレンジに対処するために,動的プログラム解析技術は,プログラムの実行を観測または制御することによって,その品質保証を実現する。並列プログラムの不確実性は主に共有メモリによるもので、その動的分析の基本的な問題は、スレッドが共有メモリを共有する順序を獲得することであり、つまりアクセス依存を獲得することである。本論文は,4つの評価指標(即時性,正確性,効率性,単純化),2つの方法(オンライン追跡,オフライン合成),2つの応用(軌道分析,同時制御)を含む,アクセス依存性取得技術のフレームワークを提案した。既存の技術の総括と分析の枠組みにおける空白を通して、将来の可能な研究方向について展望した。Data from Wanfang. Translated by JST【JST・京大機械翻訳】

シソーラス用語： 簡素化 ,  品質保証 ,  スレッド ,  *動的解析 ,  不確実性 ,  プログラム解析 ,  共有メモリ
準シソーラス用語： オフライン ,  オンライン ,  正確性 ,  評価指標 ,  並列プログラム , 【Automatic Indexing@JST】

著者キーワード (4件)： concurrency ,  multi-processor system ,  dynamic analysis ,  shared memory dependence

分類 (2件)： 計算機システム開発  (JD02010R) ,  ディジタル計算機方式一般  (JC02010O)

タイトルに関連する用語 (5件)： アクセス ,  依存性 ,  動的解析 ,  基礎 ,  レビュー