Biblioteca de la Universidad Complutense de Madrid

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

Impacto



Quintás Rodríguez, Jorge (2010) Mecanismo de detección de violaciones de atomicidad de reducido coste hardware. [Trabajo Fin de Máster]

[img]
Vista previa
PDF
326kB


Resumen

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.


Tipo de documento:Trabajo Fin de Máster
Información Adicional:

Máster en Investigación en Informática, Facultad de Informática, Departamento de Arquitectura de Computadores y Automática, curso 2009-2010

Directores (o tutores):
NombreEmail del director (o tutor)
Piñuel Moreno, Luis
Palabras clave:Errores de concurrencia, Coherencia cache, Depuración, Detección de errores, Violaciones de atomicidad, Carreras de datos, Arquitecturas multicore, Soporte hardware Concurrency bugs, Cache coherence, Debugging, Bug detection, Atomicity violations, Data races, Multicore arquitectures, Hardware support
Materias:Ciencias > Informática > Hardware
Ciencias > Informática > Sistemas expertos
Código ID:11388
Depositado:02 Nov 2010 08:59
Última Modificación:06 Feb 2014 09:03

Sólo personal del repositorio: página de control del artículo