SCAF

SCAF：一個猜測 - 意識到的協作依賴分析框架

SCAF是一個創新的依賴分析框架，將模塊化時尚記憶分析和（（可選））投機性斷言結合在一起。

注意

SCAF的完整實施尚未集成到此存儲庫中。包括所有可用的內存分析模塊，但是投機模塊以及其他一些組件（例如，profilers）當前是另一個存儲庫的一部分（https://github.com/princetonuniverity/cpf）。

出版品

Apostolakis等人的PLDI '20論文中描述了這項工作的新穎性，設計，實施和評估。標題為“ SCAF：猜測意識依賴分析框架”（ACM DL，PDF，Talk，摘要）。

為了重現PLDI 2020年論文中提出的評估結果，請參閱本文的文物：

這項工作是建立在CAF（CGO '17，Johnson等人，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開始，每個次要版本代表可能影響用戶或強制更新一次的一個或多個API替換/刪除（最小次要更新頻率）
• 修訂：從0開始；每個修訂版本可能包括錯誤修復或增量改進

更新頻率

• 專業：匹配LLVM發行的最佳基礎
• 未成年人：至少每六個月一次，最多每月一次（1/月〜2/年）
• 修訂：至少每月一次，最多每週兩次（2/週〜1/月）

先決條件

LLVM 9.0.1

構建SCAF

要構建和安裝SCAF， make從存儲庫根目錄運行：

從根目錄中運行make clean以清潔存儲庫。

運行從根目錄到卸載SCAF的make uninstall 。

配置

SCAF是可自定義的，如果禁用了推測模塊，則可以用作保守的內存分析。

用戶

如果您使用此框架有任何麻煩，請隨時創建問題！我們將盡力提供幫助。

貢獻

我們歡迎社區的捐款改善此框架並將其發展起來，以適應更多用戶。

執照

SCAF已獲得MIT許可證的許可。