SCAF

SCAF: рамка анализа зависимости, оспаривающих спекуляции.

SCAF - это инновационная структура анализа зависимости, которая объединяется в модульном анализе модной памяти и (необязательно) спекулятивными утверждениями.

Уведомление

Полная реализация SCAF еще не интегрирована в этот репозиторий. Все доступные модули для анализа памяти включены, но модули спекуляций вместе с несколькими другими компонентами (например, профилировщиками) в настоящее время являются частью другого репозитория (https://github.com/princetonuniversity/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 Matches LLVM 9, версия 11 Matches LLVM 11)
• НЕ МНОЖЕСТВЕННЫЙ : начинается с 0, каждая незначительная версия представляет собой одну или несколько замены API/удаления, которые могут повлиять на пользователей или принудительное обновление каждые шесть месяцев (минимальная небольшая частота обновления)
• Пересмотр : начинается с 0; Каждая версия для ревизии может включать исправления ошибок или дополнительные улучшения

Обновление частоты

• Основной : совпадает с выпусками LLVM на основе наилучшей эффективности
• Меньше всего : по крайней мере один раз за шесть месяцев, не более раз в месяц (1/месяц ~ 2/год)
• Пересмотр : по крайней мере один раз в месяц, не более два раза в неделю (2/неделя ~ 1/месяц)

Предварительные условия

LLVM 9.0.1

Строить SCAF

Чтобы построить и установить SCAF, запустите из корневого каталога репозитория: make

Запустите, make clean из корневого каталога, чтобы очистить хранилище.

Запустите, make uninstall от корневого каталога до удаления SCAF.

Конфигурация

SCAF настраивается и может использоваться в качестве консервативного анализа памяти, если отключены модули спекуляций.

Пользователи

Если у вас есть какие -либо проблемы с использованием этой структуры, не стесняйтесь создавать проблему! Мы постараемся помочь.

Вклад

Мы приветствуем взносы сообщества для улучшения этой структуры и развития его, чтобы удовлетворить больше пользователей.

Лицензия

SCAF лицензирован по лицензии MIT.