Evaluación de técnicas de detección de errores en programas concurrentes

Una característica fundamental de los sistemas de software es que se construyen desde el principio sabiendo que deberán incorporar cambios a lo largo de su ciclo de vida. Todos los libros que tratan sobre ingeniería de software coinciden en que los sistemas son evolutivos. Incluso al evaluar el esfu...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Frati, Fernando Emmanuel
Otros Autores: De Giusti, Armando Eduardo
Formato: Tesis Trabajo de especializacion
Lenguaje:Español
Publicado: 2014
Materias:
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/36923
Aporte de:
id I19-R120-10915-36923
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
errores de concurrencia
Concurrent Programming
Parallel programming
paralelismo
Error-checking
depuración
spellingShingle Ciencias Informáticas
errores de concurrencia
Concurrent Programming
Parallel programming
paralelismo
Error-checking
depuración
Frati, Fernando Emmanuel
Evaluación de técnicas de detección de errores en programas concurrentes
topic_facet Ciencias Informáticas
errores de concurrencia
Concurrent Programming
Parallel programming
paralelismo
Error-checking
depuración
description Una característica fundamental de los sistemas de software es que se construyen desde el principio sabiendo que deberán incorporar cambios a lo largo de su ciclo de vida. Todos los libros que tratan sobre ingeniería de software coinciden en que los sistemas son evolutivos. Incluso al evaluar el esfuerzo que se debe invertir en un proyecto de software, se considera que un 20% está en el desarrollo y 80% se aplica al mantenimiento (Pfleeger & Atlee, 2009). Ian Sommerville estima que el 17% del esfuerzo de mantenimiento se invierte en localizar y eliminar los posibles defectos de los programas (Sommerville, 2006). Por ello, conseguir programas libres de errores es uno de los principales objetivos que se plantea (o se debería plantear) el desarrollador frente a cualquier proyecto de software. Por otro lado, las limitaciones a la integración impuestas por factores físicos como son la temperatura y el consumo de energía, se han traducido en la integración de unidades de cómputo en un único chip, dando lugar a los procesadores de múltiples núcleos. Para obtener la máxima eficiencia de estas arquitecturas, es necesario el desarrollo de programas concurrentes (Grama, Gupta, Karypis, & Kumar, 2003). A diferencia de los programas secuenciales, en un programa concurrente existen múltiples hilos en ejecución accediendo a datos compartidos. El orden en que ocurren estos accesos a memoria puede variar entre ejecuciones, haciendo que los errores sean más difíciles de detectar y corregir. En cómputo de altas prestaciones donde los tiempos de ejecución de las aplicaciones pueden variar de un par de horas hasta días, la presencia de un error no detectado en la etapa de desarrollo adquiere una importancia mayor. Por este motivo, resulta indispensable contar con herramientas que ayuden al programador en la tarea de verificar los algoritmos concurrentes y desarrollar tecnología robusta para tolerar los errores no detectados. En este contexto, la eficiencia de los programas monitorizados se ve comprometida por el overhead que introduce el proceso de monitorización. Este trabajo forma parte de las investigaciones para la tesis doctoral del autor en el tema "Software para arquitecturas basadas en procesadores de múltiples núcleos. Detección automática de errores de concurrencia". Como tal, su aporte constituye un estudio de las técnicas y métodos vigentes en la comunidad científica aplicados a la detección y corrección de errores de programación en programas concurrentes. Las siguientes secciones constituyen una introducción al proceso de detectar, localizar y corregir errores de software en programas secuenciales y se explican las complicaciones introducidas por los programas concurrentes. El Capítulo 2 trata los distintos errores que se pueden manifestar en programas concurrentes. El Capítulo 3 resume los antecedentes en técnicas de detección y corrección de errores de concurrencia y se justifica la elección de las violaciones de atomicidad como caso de error más general. El Capítulo 4 explica las características de un algoritmo de detección de violaciones de atomicidad, y da detalles de su implementación. El Capítulo 5 contiene las características de la plataforma de experimentación y de la metodología empleada. El Capítulo 6 proporciona los resultados del trabajo experimental. Finalmente, se presentan las conclusiones del trabajo y se proponen las líneas de investigación futuras.
author2 De Giusti, Armando Eduardo
author_facet De Giusti, Armando Eduardo
Frati, Fernando Emmanuel
format Tesis
Trabajo de especializacion
author Frati, Fernando Emmanuel
author_sort Frati, Fernando Emmanuel
title Evaluación de técnicas de detección de errores en programas concurrentes
title_short Evaluación de técnicas de detección de errores en programas concurrentes
title_full Evaluación de técnicas de detección de errores en programas concurrentes
title_fullStr Evaluación de técnicas de detección de errores en programas concurrentes
title_full_unstemmed Evaluación de técnicas de detección de errores en programas concurrentes
title_sort evaluación de técnicas de detección de errores en programas concurrentes
publishDate 2014
url http://sedici.unlp.edu.ar/handle/10915/36923
work_keys_str_mv AT fratifernandoemmanuel evaluaciondetecnicasdedetecciondeerroresenprogramasconcurrentes
bdutipo_str Repositorios
_version_ 1764820472326782979