Detecção de falhas em processadores VLIW

Abstract

A proposta deste trabalho é a de fornecer um método de confiabilidade de baixo cus-to para processadores VLIW, mesclando modificações no código das aplicações e no hardware do processador alvo. O método foi aplicado ao processador ρ-VEX, processa-dor VLIW embarcado soft-core desenvolvido na TU Delft (Delft University of Techno-logy). A técnica de base adotada é a de replicação de código no nível mais baixo de gra-nularidade, o de instrução, e posterior comparação dos resultados produzidos pela ope-ração original e de sua réplica durante a execução. Procura-se produzir o menor impacto negativo possível, tanto no tamanho do código como no desempenho das aplicações, através da replicação apenas das operações necessárias, uso dos recursos livres do pro-cessador quando possível (unidades funcionais não utilizadas por uma instrução VLIW) e comparação realizada em hardware apenas nos pontos críticos de execução da aplica-ção. O método consiste unicamente na detecção de erros, a correção dos erros não é realizada. Uma avaliação é feita: onze benchmarks são utilizados para estimar o cresci-mento do código e a degradação do desempenho na execução destes.