抄録/ポイント：
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
最新のメモリ一貫性モデルは複雑であり,電流系が許される緩和挙動の理由が困難であった。CやOpenCLのようなプログラミング言語は,同時アプリケーションを安全に書き込むために開発者が利用できるメモリモデルインタフェイスを提供する。この抽象化は,基礎となるシステムの違いに関係なく,インタフェイスを実装する任意のプラットフォームにわたって機能的ポータビリティを提供する。この強力な抽象化ヒンジは,そのインタフェイスを正しく実装するシステムの能力に関するものである。メモリ一貫性モデル検証のための多くの技法は,経験的試験を使用し,それは,非文書化行動を明らかにし,信頼された編集方式におけるバグを見つけるのに効果的であった。メモリモデル試験は,「リトマス試験」と呼ばれる小型同時ユニット試験から成る。これらの試験において,潜在的バグを含むある観測は,それらが本質的に確率的である複雑なプロセッサにおけるシステムステップの正確なインタリービングによってのみ引き起こされるので,非常に稀である。従って,各テストは,そのカバレッジに高レベルの信頼を提供するために,多くの時間実行しなければならない。本研究では,経験的記憶モデルテストを厳密に調べた。特に,複雑な応力ルーチンをナビゲーションし,多数の試験観察を解析する方法論を提案した。これらの洞察を用いて,より早い速度でより高い信頼結果をもたらすことができる応力パラメータを効率的に調整することができた。事前研究のメタ研究を実施することにより,そのようなアプローチの必要性を強調し,低い再現性と試験時間の不十分な使用の結果を明らかにした。著者らの調査を経験的データと共に提示した。OpenCLターゲットGPUは,大きなHPCサーバから電力効率の良いエッジデバイスまでのテストに対して,様々な異なるプラットフォームが存在するので,このドメインにおける実用的選択であると信じる。本研究で提示した試験は,3つの異なるベンダーから3GPUsをスパンした。提案手法は,結果における有意な分散にもかかわらず,GPUsを通して適用可能であることを示した。具体的には,筆者らの結果は,データペーキングを用いた調整において5倍以上の無損失高速化を示した。ポータブルストレスパラメータの定義は,著者らのドメインを一般化するとき,12%の効率を失う。チューニングのためのlitmus試験の優先順序。OpenCL2.0メモリモデルに対する適合テストスイートをテストし,インテルのコンパイラにおけるバグを発見した。著者らの方法は,突然変異試験を用いて他の2つのGPUに関して評価した。公式記憶モデル適合試験の推薦を終えた。Please refer to this article’s citation page on the publisher website for specific rights information. Translated from English into Japanese by JST.【JST・京大機械翻訳】
