Publication: Mecanismo de detección de violaciones de atomicidad de reducido coste hardware
Loading...
Files
Official URL
Full text at PDC
Publication Date
2010
Authors
Advisors (or tutors)
Editors
Journal Title
Journal ISSN
Volume Title
Publisher
Citations
Exportar
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.
Description
Máster en Investigación en Informática, Facultad de Informática, Departamento de Arquitectura de Computadores y Automática, curso 2009-2010