Algoritmos para Verificação de Consistência e Coerência de Memória Compartilhada em Multicore Chips

Abstract

Com o fim da escala de Dennard os projetos de processadores começaram a utilizar processamento paralelo para continuar aumentando a velocidade de execução de programas. Os processadores multinúcleos são um conjunto núcleos interligados que compartilham uma memória. Para ganhar mais velocidade, estes processadores fazem uso de caches privadas o que leva a problemas de coerência. Para resolver estes e outros problemas de memória compartilhada surge os modelos de consistência de memória (MCM). Este trabalho aborda o problema de verificação destes modelos durante o tempo de projeto. Neste trabalho foi utilizado um gerador de testes aleatórios estado da arte que produz testes para que o verificador faça a detecção de comportamentos incoerentes com as especificações do MCM. O objetivo principal é validar um verificador desenvolvido pelo grupo de pesquisa do orientador comparando com outros verificadores. Esta técnica inovadora (Spec&Check) promete ser mais eficaz que os outros verificadores \textit{runtime} e também ser adaptável a diferentes arquiteturas. O trabalho do bolsista foi ajudar no tratamento de resultados, ajudar a inserir falhas sintéticas nos projetos testados e implementar um verificador (SRSB) para servir de comparação com o Spec&Check. Este trabalho já rendeu ao bolsista co-autoria de um trabalho aceito em evento internacional qualificado (ICCAD) e ainda pode render mais uma co-autoria de outra publicação internacional no mesmo tema com a expansão dos resultados experimentais e melhoras teóricas no trabalho do Spec&Check.