文献

J-GLOBAL ID：201802229316367770   整理番号：18A1481027

2変数の原子力違反を予測する方法【JST・京大機械翻訳】

A Method for Predicting Two-Variable Atomicity Violations

著者 (3件)： Sun Zhuo ,  Zeng Reng ,  He Xudong
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2018  号： QRS  ページ： 103-110  発行年： 2018年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 最も一般的な非デッドロック同時性バグとして,多スレッドプログラムの徹底的試験が多数のインタリービングのために不可能であるので,アトミック違反は試験中に検出するのが極端に困難である。近年の研究は,主に単一変数アトミック違反に焦点を当てている。しかし,それらの方法は,含まれる複数の変数によるアトミック違反を予測するか,または見つけることができない。多くの変数は本質的に相関し,一貫した方法で相関ピアと一緒にアクセスする必要がある。これらの変数は,矛盾する更新または読み取りを避けるために,一貫してあるいはアクセスされることのどちらかを,一緒に更新する必要がある本論文では,変数間のアクセス相関と変数間のアクセス相関を推論し,モデル検査を用いてアトミック性違反を予測するアルゴリズムを含む,変数と可変アクセスのアトミック違反パターンの間のアクセス相関に基づいて,2変数アトミック違反を予測するための方法を提示した。この方法の有効性をいくつかの実世界システムで評価した。Copyright 2018 The Institute of Electrical and Electronics Engineers, Inc. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： アルゴリズム ,  インタリービング ,  *デッドロック ,  ソフトウェア障害 ,  モデル検査 ,  同時性 ,  スレッド
準シソーラス用語： アトミック性 , 【Automatic Indexing@JST】

分類 (5件)： 図形・画像処理一般  (JE04010I) ,  音声処理  (JE05000E) ,  医用画像処理  (JE04020T) ,  符号理論  (ND02030R) ,  NMR一般  (BM07041R)

タイトルに関連する用語 (3件)： 変数 ,  原子力 ,  予測