SCAF
1.0.0
SCAF هو إطار مبتكر لتحليل الاعتماد يجمع بين تحليلات ذاكرة الأزياء المعيارية والتأكيدات المضاربة (اختياريا).
لم يتم دمج التنفيذ الكامل لـ SCAF في هذا المستودع. يتم تضمين جميع وحدات تحليل الذاكرة المتاحة بشكل تنظيمي ، ولكن وحدات التكهنات جنبا إلى جنب مع عدد قليل من المكونات الأخرى (على سبيل المثال ، profilers) هي حاليا جزء من مستودع آخر (https://github.com/princetoniversity/cpf).
تم وصف الجدة والتصميم والتنفيذ وتقييم هذا العمل في ورقة PLDI '20 بواسطة Apostolakis et al. بعنوان "SCAF: إطار تحليل الاعتماد على التكهنات" (ACM DL ، PDF ، Talk ، Abstract).
لإعادة إنتاج نتائج التقييم المقدمة في ورقة PLDI 2020 ، يرجى الرجوع إلى قطعة أثرية من الورقة:
يعتمد هذا العمل على CAF (CGO '17 بواسطة 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.0.1
لإنشاء وتثبيت SCAF ، قم بالتشغيل من دليل جذر المستودع: make
تشغيل make clean من دليل الجذر لتنظيف المستودع.
تشغيل make uninstall من الدليل الجذر لإلغاء تثبيت SCAF.
SCAF قابل للتخصيص ويمكن استخدامه كتحليل ذاكرة محافظة إذا تم تعطيل وحدات المضاربة.
إذا كان لديك أي مشكلة في استخدام هذا الإطار ، فلا تتردد في إنشاء مشكلة! سنبذل قصارى جهدنا للمساعدة.
نرحب بالمساهمات من المجتمع لتحسين هذا الإطار وتطويره لتلبية المزيد من المستخدمين.
SCAF مرخصة بموجب ترخيص معهد ماساتشوستس للتكنولوجيا.
