Detección de interleavings no serializables usando contadores de hardware

El análisis de interleavings es una técnica que permite detectar violaciones de atomicidad en programas de memoria compartida. Los errores de concurrencia están fuertemente ligados al no determinismo presente en la ejecución de las aplicaciones, por lo que se considera necesario contar con herramien...

Descripción completa

Guardado en:

Detalles Bibliográficos
Autores principales:	Frati, Fernando Emmanuel, Olcoz Herrero, Katzalin, Piñuel Moreno, Luis, Naiouf, Marcelo, De Giusti, Armando Eduardo
Formato:	Objeto de conferencia
Lenguaje:	Español
Publicado:	2012
Materias:	Ciencias Informáticas arquitecturas paralelas Parallel Architectures programa concurrente Hardware Distributed error de concurrencia detección de errores depuración contadores de hardware
Acceso en línea:	http://sedici.unlp.edu.ar/handle/10915/23631
Aporte de:	SEDICI (UNLP) de Universidad Nacional de La Plata

id	I19-R120-10915-23631
record_format	dspace
institution	Universidad Nacional de La Plata
institution_str	I-19
repository_str	R-120
collection	SEDICI (UNLP)
language	Español
topic	Ciencias Informáticas arquitecturas paralelas Parallel Architectures programa concurrente Hardware Distributed error de concurrencia detección de errores depuración contadores de hardware
spellingShingle	Ciencias Informáticas arquitecturas paralelas Parallel Architectures programa concurrente Hardware Distributed error de concurrencia detección de errores depuración contadores de hardware Frati, Fernando Emmanuel Olcoz Herrero, Katzalin Piñuel Moreno, Luis Naiouf, Marcelo De Giusti, Armando Eduardo Detección de interleavings no serializables usando contadores de hardware
topic_facet	Ciencias Informáticas arquitecturas paralelas Parallel Architectures programa concurrente Hardware Distributed error de concurrencia detección de errores depuración contadores de hardware
description	El análisis de interleavings es una técnica que permite detectar violaciones de atomicidad en programas de memoria compartida. Los errores de concurrencia están fuertemente ligados al no determinismo presente en la ejecución de las aplicaciones, por lo que se considera necesario contar con herramientas que permitan detectar su presencia en entornos de producción. Lamentablemente, los algoritmos que implementan esta técnica suelen ser muy costosos en tiempo de ejecución, restringiendo su uso a etapas de prueba del software. Este trabajo muestra cómo se pueden utilizar los contadores hardware presentes en las arquitecturas de los procesadores actuales para detectar la ocurrencia de interleavings no serializables. Esta optimización permitirá disminuir el overhead que introducen las herramientas de detección de errores de concurrencia.
format	Objeto de conferencia Objeto de conferencia
author	Frati, Fernando Emmanuel Olcoz Herrero, Katzalin Piñuel Moreno, Luis Naiouf, Marcelo De Giusti, Armando Eduardo
author_facet	Frati, Fernando Emmanuel Olcoz Herrero, Katzalin Piñuel Moreno, Luis Naiouf, Marcelo De Giusti, Armando Eduardo
author_sort	Frati, Fernando Emmanuel
title	Detección de interleavings no serializables usando contadores de hardware
title_short	Detección de interleavings no serializables usando contadores de hardware
title_full	Detección de interleavings no serializables usando contadores de hardware
title_fullStr	Detección de interleavings no serializables usando contadores de hardware
title_full_unstemmed	Detección de interleavings no serializables usando contadores de hardware
title_sort	detección de interleavings no serializables usando contadores de hardware
publishDate	2012
url	http://sedici.unlp.edu.ar/handle/10915/23631
work_keys_str_mv	AT fratifernandoemmanuel detecciondeinterleavingsnoserializablesusandocontadoresdehardware AT olcozherrerokatzalin detecciondeinterleavingsnoserializablesusandocontadoresdehardware AT pinuelmorenoluis detecciondeinterleavingsnoserializablesusandocontadoresdehardware AT naioufmarcelo detecciondeinterleavingsnoserializablesusandocontadoresdehardware AT degiustiarmandoeduardo detecciondeinterleavingsnoserializablesusandocontadoresdehardware
bdutipo_str	Repositorios
_version_	1764820466051055616

Detección de interleavings no serializables usando contadores de hardware

Ejemplares similares