LLOV:OpenMPプログラムのための高速静的データレースチェッカー【JST・京大機械翻訳】

Bora Utpal; Das Santanu; Kukreja Pankaj; Joshi Saurabh; Upadrasta Ramakrishna; Rajopadhye Sanjay

プレプリント

J-GLOBAL ID：202202201764175700 整理番号：22P0095388

LLOV:OpenMPプログラムのための高速静的データレースチェッカー【JST・京大機械翻訳】

LLOV: A Fast Static Data-Race Checker for OpenMP Programs

出版者サイト {{ this.onShowPLink() }} 複写サービスで全文入手
高度な検索・分析はJDreamⅢで

この文献はプレプリントです。プレプリントについてはこちらをご確認ください。

著者 (6件)： , , , , ,
資料名：
発行年： 2019年12月27日プレプリントサーバーでの情報更新日： 2020年09月01日
JST資料番号： O7000B 資料種別：プレプリント
記事区分：プレプリント発行国：アメリカ合衆国 (USA) 言語：英語 (EN)

※このプレプリント論文は学術誌に掲載済みです。なお、学術誌掲載の際には一部内容が変更されている可能性があります。

Exaスケールコンピューティングの時代において,効率的並列プログラムの書き込みは不可欠であり,同時に,音並列プログラムの書き込みは非常に困難である。OpenMPのようなフレームワークとの並列化は比較的容易であるが,これらのプログラムにおけるデータレースはバグの重要なソースである。本論文では,LLVMコンパイラフレームワークに基づくOpenMPプログラムのための,LLOV,高速,軽量,言語診断,および静的データレースチェッカーを提案する。LLOVを,様々な良く確立されたベンチマークに関して,他の最先端のデータレースチェッカーと比較した。LLOVの精度,およびF1スコアは,他のチェッカーと同等であり,一方,大きさは,より速かった。知る限りでは,LLOVは,C/C++またはFORTRANプログラムをデータレースフリーに検証できる最先端のデータレースチェッカー間の唯一のツールである。【JST・京大機械翻訳】

, , , , , , , , , , , ,
, , , , 【Automatic Indexing@JST】

計算機システム開発 , 言語プロセッサ , ディジタル計算機方式一般

前のページに戻る