Mecanismo de detección de violaciones de atomicidad de reducido coste hardware

Abstract

Con la difusión de los procesadores multicore los fallos de concurrencia se han convertido en un problema desafiante. De entre ellos son especialmente problemáticas las violaciones de atomicidad, que suponen un 66% de los fallos de concurrencia que no son interbloqueos. En este trabajo presentamos un algoritmo que es capaz de detectar violaciones de atomicidad que afectan a una variable compartida. Para llevar a cabo la detección empleamos el mínimo soporte hardware, utilizando la información que nos ofrece el protocolo de coherencia cache. [ABSTRACT] With multicore processors becoming widespread, concurrency bugs have become a challenging problem. Betweem them, atomicity violations are specially problematic and they account for the 66% of all the concurrency bugs, excluding deadlocks. In this work we introduce an algorithm wich can detect atomicity violations concerning one shared variable. To achieve the detection we use the minimal hardware support, using information collected from the cache coherence protocol.