SCAF 다운로드 SCAF 소스 코드 다운로드

SCAF

기타 카테고리

1.0.0

다운로드

SCAF : 추측 인식 공동 의존성 분석 프레임 워크

SCAF는 모듈 식 패션 메모리 분석과 (선택적으로) 투기 적 주장을 결합한 혁신적인 의존성 분석 프레임 워크입니다.

알아채다

SCAF의 전체 구현은 아직이 저장소에 통합되지 않았습니다. 카레로 사용할 수있는 모든 메모리 분석 모듈이 포함되어 있지만 몇 가지 다른 구성 요소 (예 : 프로파일 러)와 함께 투기 모듈은 현재 다른 저장소 (https://github.com/princetonUnsity/CPF)의 일부입니다.

출판물

이 연구의 참신, 디자인, 구현 및 평가는 Apostolakis et al.의 PLDI '20 논문에 설명되어 있습니다. 제목은 "SCAF : PREMUCUTION-AWARE 의존성 분석 프레임 워크"(ACM DL, PDF, Talk, Abstract).

PLDI 2020 논문에 제시된 평가 결과를 재현하려면 논문의 인공물을 참조하십시오.

이 작업은 CAF를 기반으로합니다 (CGO '17 By Johnson et al., ACM DL).

출판물에서 SCAF를 사용하는 경우 PLDI '20 Paper에 대한 인용에 감사드립니다.

 @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 교체/제거 또는 6 개월마다 강제 업데이트 (최소 미성년 업데이트 빈도)를 나타냅니다.
개정 : 0부터 시작합니다. 각 개정 버전에는 버그 수정 또는 증분 개선이 포함될 수 있습니다.