文献

J-GLOBAL ID：202002241780577405   整理番号：20A0855163

最初の人種の後に何が起こるのか? 幸福に基づく動的人種検出の予測力の強化【JST・京大機械翻訳】

What happens-after the first race? enhancing the predictive power of happens-before based dynamic race detection

著者 (3件)： Mathur Umang (University of Illinois at Urbana-Champaign, USA) ,  Kini Dileep (Akuna Capital, USA) ,  Viswanathan Mahesh (University of Illinois at Urbana-Champaign, USA)
資料名： Proceedings of the ACM on Programming Languages  (Proceedings of the ACM on Programming Languages)
巻： 2  号： OOPSLA  ページ： 1-29  発行年： 2018年 
JST資料番号： W5683A  ISSN： 2475-1421  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 動的レース検出は,観測されたプログラム実行がプログラムにおけるデータレースの存在を明らかにするかどうかを決定する問題である。この問題を解決するための古典的アプローチは,Lamportの前(HB)関係によって順序付けされない一対の相反するメモリアクセスがあるかどうかを検出することである。Hbベースのレース検出は偽陽性を報告しないことが知られている。すなわち,それは音である。しかしながら,HBの健全性保証は,非秩序化,相反するイベントの最初のペアがスケジュール可能なデータレースであることを約束するだけである。すなわち,実行のイベントの再順序付けがないので,スケジューリング可能なレースではない,HB非秩序化矛盾データアクセスのペアがあり,そこでは,レースにおけるイベントは互いにすぐに実行できる。著者らは,SHBによって同定される矛盾するデータアクセスのペアを正確に特性化するスケジュール可能な前(SHB)と呼ばれる新しい部分的順序を導入して,予定されるあらゆるHB-レースをSHBによって同定した。従って,SHBの部分次数は真に健全である。著者らは,SHBを用いてスケジュール可能なレースを検出するための線形時間,ベクトルクロックアルゴリズムを提示した。著者らの実験は,動的レース検出-SHBに対する著者らのアルゴリズムの価値が,わずかな性能オーバーヘッドを持ち,健全性を損なうことなく実世界ソフトウェアアプリケーションから実行することができることを実証した。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】

著者キーワード (5件)： 並行性 ,  動的プログラム解析 ,  起こりやすい ,  レース検出 ,  健全性

分類 (4件)： 言語プロセッサ  (JD03040F) ,  計算機システム開発  (JD02010R) ,  オペレーティングシステム  (JD03020J) ,  ディジタル計算機方式一般  (JC02010O)

タイトルに関連する用語 (3件)： 人種 ,  予測 ,  強化