抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
OpenMPの人気と成長の重要性にもかかわらず,その同時性の形式的特性化は欠けている。本論文において,著者らは操作的意味論を通してそのような特性化を提供した。言語の意味記述は,特定の最終目標を提供するために書かれ,したがって,完全に詳細な実装の抽象化である。著者らは,実行トレースを効率的に収集する単語と呼ばれる新しいOpenMPデータレースチェッカーの構築を支援するための意味論を開発し,オフライン解析に対するトレースを対象とした。意味論は後者のフェーズで使用される。本論文の重要な貢献は以下の通りである。(1)規則の正確な集合を通してOpenMPの同時性を定義し,(2)著者らの意味論で言及されたOpenMPイベントがOMPTを通して収集できること,OpenMPの標準イベント収集メカニズム,および(3)この設計の利点を特性化することにより,系統的に設計することを支援する。著者らは,同時言語に対する形式的意味論を開発するメッセージが,意味論的な意味を持つと見なされなければならないが,そのような意味論は言語を明確に定義するのを助け,特に複数の同時性形式がしばしば使われるこの時代において,提案した将来の拡張を明らかにする助けとなる。Copyright 2018 The Institute of Electrical and Electronics Engineers, Inc. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】