Complutense University Library

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

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

[img]
Preview
PDF
326kB
View download statistics for this eprint

==>>> Export to other formats

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.


Item Type:Trabajo Fin de Máster
Additional Information:

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

Directors:
DirectorsDirector email
Piñuel Moreno, Luis
Uncontrolled Keywords: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
Subjects:Sciences > Computer science > Hardware
Sciences > Computer science > Expert systems (Computer science)
ID Code:11388
Deposited On:02 Nov 2010 08:59
Last Modified:06 Feb 2014 09:03

Repository Staff Only: item control page