SCAF

SCAF：推測に対応する共同依存分析フレームワーク

SCAFは、モジュラーファッションメモリ分析と（オプションでは）投機的アサーションを組み合わせた革新的な依存分析フレームワークです。

知らせ

SCAFの完全な実装は、このリポジトリにまだ統合されていません。すべてのクロレクティで利用可能なメモリ分析モジュールが含まれていますが、現在、いくつかの他のコンポーネント（プロファイラーなど）とともに投機モジュールは、現在別のリポジトリ（https://github.com/princetonuniversity/cpf）の一部です。

出版物

この作業の斬新さ、設計、実装、および評価は、Apostolakis et al。 「scaf：a qualculation-aware依存分析フレームワーク」（acm dl、pdf、talk、abstract）というタイトル。

PLDI 2020ペーパーに記載されている評価結果を再現するには、論文のアーティファクトを参照してください。

この作業は、CAF（CGO '17 by Johnson et al。、ACM DL）に基づいています。

出版物でSCAFを使用する場合、PLDI '20の論文への引用に感謝します。

 @inproceedings{apostolakis:2020:pldi,
author = {Apostolakis, Sotiris and Xu, Ziyang and Tan, Zujun and Chan, Greg and Campanoni, Simone and August, David I.},
title = {SCAF: A Speculation-Aware Collaborative Dependence Analysis Framework},
year = {2020},
isbn = {9781450376136},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
url = {https://doi.org/10.1145/3385412.3386028},
doi = {10.1145/3385412.3386028},
booktitle = {Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation},
pages = {638–654},
numpages = {17},
keywords = {collaboration, dependence analysis, speculation},
location = {London, UK},
series = {PLDI 2020}
}

バージョン番号スキーム

バージョン番号は[v major.minor.revision ]の形式です

• メジャー：各メジャーバージョンは特定のLLVMバージョンと一致します（例：バージョン9はLLVM 9、バージョン11マッチLLVM 11）
• マイナー：0から始まり、各マイナーバージョンは、ユーザーに影響を与える可能性のある1つまたは複数のAPIの交換/除去を表します。
• リビジョン：0から開始。各リビジョンバージョンには、バグの修正または増分の改善が含まれる場合があります

頻度を更新します

• メジャー：LLVMリリースに最適なエフォルトで一致する
• マイナー：少なくとも6か月に1回、最大で月に1回（1/月〜2年/年）
• 改訂：少なくとも月に1回、最大で週に2回（2/週〜1か月）

前提条件

LLVM 9.0.1

SCAFを構築します

SCAFを構築およびインストールするには、リポジトリルートディレクトリからmakeします。

ルートディレクトリからmake clean 、リポジトリをクリーニングします。

ルートディレクトリからmake uninstall実行して、SCAFをアンインストールします。

構成

SCAFはカスタマイズ可能であり、投機モジュールが無効になっている場合、保守的な記憶分析として使用できます。

ユーザー

このフレームワークを使用するのに問題がある場合は、お気軽に問題を作成してください！私たちは支援するために最善を尽くします。

貢献

コミュニティからの貢献を歓迎し、このフレームワークを改善し、より多くのユーザーに対応するために進化させます。

ライセンス

SCAFは、MITライセンスに基づいてライセンスされています。