SCAF

SCAF: uma estrutura de análise de dependência colaborativa com conhecimento de especulação

O SCANF é uma estrutura inovadora de análise de dependência que combina em uma análise de memória de moda modular e (opcionalmente) afirmações especulativas.

Perceber

A implementação completa do SCANF ainda não está integrada neste repositório. Todos os módulos de análise de memória disponíveis estão incluídos, mas os módulos de especulação, juntamente com alguns outros componentes (por exemplo, Profilers), atualmente fazem parte de outro repositório (https://github.com/princetonuniversity/cpf).

Publicações

A novidade, design, implementação e avaliação deste trabalho são descritos no artigo PLDI '20 de Apostolakis et al. Intitulado "SCAF: uma estrutura de análise de dependência consciente da especulação" (ACM DL, PDF, Talk, Resumo).

Para reproduzir os resultados da avaliação apresentados no artigo PLDI 2020, consulte o artefato do artigo:

Este trabalho se baseia no CAF (CGO '17 por Johnson et al., ACM DL).

Se você usar o SCAN em uma publicação, apreciaríamos uma citação no artigo do 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}
}

Esquema de numeração da versão

O número da versão está na forma de [v major.minor.revision ]

• Principal : Cada versão principal corresponde a uma versão LLVM específica (por exemplo, versão 9 corresponde LLVM 9, versão 11 Matches LLVM 11)
• Menor : começa em 0, cada versão menor representa uma ou mais substituições/remoções da API que podem afetar os usuários ou uma atualização forçada a cada seis meses (a frequência mínima de atualização menor)
• Revisão : começa em 0; Cada versão de revisão pode incluir correções de bugs ou melhorias incrementais

Atualizar frequência

• Principal : corresponde aos lançamentos do LLVM em uma base de melhor esforço
• Menor : pelo menos uma vez por seis meses, no máximo uma vez por mês (1/mês ~ 2/ano)
• Revisão : pelo menos uma vez por mês, no máximo duas vezes por semana (2/semana ~ 1/mês)

Pré -requisitos

LLVM 9.0.1

Construir scaf

Para construir e instalar o SCAN, execute a partir do diretório raiz do repositório: make

Execute make clean do diretório raiz para limpar o repositório.

Run make uninstall do diretório raiz para desinstalar o SCAF.

Configuração

O SCANS é personalizável e pode ser usado como uma análise de memória conservadora se os módulos de especulação estiverem desativados.

Usuários

Se você tiver algum problema em usar essa estrutura, fique à vontade para criar um problema! Vamos tentar o nosso melhor para ajudar.

Contribuições

Congratulamo -nos com contribuições da comunidade para melhorar essa estrutura e desenvolvê -la para atender a mais usuários.

Licença

O SCAN está licenciado sob a licença do MIT.