Software para arquitecturas basadas en procesadores de múltiples núcleos : (Record no. 56243)

MARC details
000 -CABECERA
campo de control de longitud fija 04749nam a2200289 a 4500
003 - IDENTIFICADOR DEL NÚMERO DE CONTROL
campo de control AR-LpUFIB
005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN
campo de control 20250311170432.0
008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL
campo de control de longitud fija 230201s2015 ag a om 000 0 spa d
024 8# - Otro identificador estandar
Número estándar o código DIF-M7081
-- 7266
-- DIF006464
040 ## - FUENTE DE LA CATALOGACIÓN
Centro catalogador/agencia de origen AR-LpUFIB
Lengua de catalogación spa
Centro/agencia transcriptor AR-LpUFIB
100 1# - ENTRADA PRINCIPAL--NOMBRE DE PERSONA
Nombre de persona Frati, Fernando Emmanuel
245 10 - MENCIÓN DE TÍTULO
Título Software para arquitecturas basadas en procesadores de múltiples núcleos :
Resto del título detección automática de errores de concurrencia
260 ## - PUBLICACIÓN, DISTRIBUCIÓN, ETC.
Fecha de publicación, distribución, etc. 2015
300 ## - DESCRIPCIÓN FÍSICA
Extensión 149 p. :
Otras características físicas il. +
Material acompañante/anejo 1 CD-ROM
502 ## - NOTA DE TESIS
Nota de tesis Tesis (Doctorado en Ciencias Informáticas) - Universidad Nacional de La Plata. Facultad de Informática, 2015.
505 0# - NOTA DE CONTENIDO CON FORMATO
Nota de contenido con formato 1. Introducción -- 1.1. Fundamentación -- 1.2. Objetivos y metodología -- 1.3. Contribuciones -- 1.4. Organización de la tesis -- 2. Marco teórico: errores de programación -- 2.1. Introducción -- 2.2. Depuración de programas secuenciales -- 2.3. Programas concurrentes -- 2.4. Errores de concurrencia -- 2.4.1. Condiciones de carrera -- 2.4.2. Deadlock -- 2.4.3. Violación de orden -- 2.4.4. Violación de atomicidad simple -- 2.4.5. Violación de atomicidad multivariable -- 2.4.6. ¿Qué tan frecuentes son estos errores -- 2.5. Resumen -- 3. Caso de estudio: detección de violaciones de atomicidad -- 3.1. Introducción -- 3.2. Antecedentes -- 3.3. Método de análisis de interleavings -- 3.4. Implementación de AVIO -- 3.5. Resultados experimentales del capítulo -- 3.5.1. Plataforma de experimentación -- 3.5.2. Benchmarks -- 3.5.3. Capacidad de Detección de Errores -- 3.5.4. Análisis de Rendimiento -- 3.6. Resumen -- 4. Definición del problema -- 4.1. Introducción -- 4.2. Ejecución de programas concurrentes -- 4.2.1. Soporte hardware -- 4.2.2. Soporte software -- 4.2.3. Modelo de ejecución -- 4.3. Implementación de algoritmos de detección -- 4.3.1. Instrumentación -- 4.3.2. Extensiones hardware -- 4.4. Oportunidades de optimización -- 4.4.1. Overhead causado por la instrumentación -- 4.4.2. Hipótesis -- 4.5. Resumen -- 5. Eventos de hardware -- 5.1. Introducción -- 5.2. Contadores hardware -- 5.2.1. Soporte hardware -- 5.2.2. Soporte software -- 5.3. Uso de los contadores -- 5.4. Identificar el evento que se desea detectar -- 5.4.1. Protocolo de coherencia cache -- 5.5. Microbenchmarks representativos de eventos -- 5.6. Resultados experimentales del capítulo -- 5.6.1. Validación del evento candidato -- 5.6.2. Indicador de accesos inseguros -- 5.6.3. Patrones de accesos a datos compartidos -- 5.6.4. Frecuencia y distribución de interleavings no serializables -- 5.7. Resumen -- 6. Instrumentación dinámica guiada por eventos -- 6.1. Introducción -- 6.2. Muestreo de eventos -- 6.3. Modelo Simple -- 6.4. Modelo para aplicaciones paralelas -- 6.4.1. Gestor de Interrupciones (GI) -- 6.4.2. Programa Objeto de Estudio (POE) -- 6.5. Modelo de Instrumentación Dinámica Guiado por Eventos -- 6.5.1. Activado de la rutina de análisis -- 6.5.2. Desactivado de la rutina de análisis -- 6.5.3. Aspectos de diseño -- 6.6. Resumen -- 7. Experimentación y resultados obtenidos -- 7.1. Introducción -- 7.2. AVIO Consciente de Compartición -- 7.2.1. Detalles de implementación -- 7.3. Configuración experimental -- 7.3.1. Elección de un intervalo de muestreo óptimo -- 7.4. Rendimiento -- 7.5. Capacidad de detección -- 7.5.1. Prueba de detección en los kernels -- 7.5.2. Prueba de detección en aplicaciones reales -- 7.5.3. Comparación de bugs informados entre AVIO y AVIO-SA -- 7.6. Discusión -- 7.6.1. Interleavings detectados como criterio de comparación -- 7.6.2. Comparación basada en re-ejecución -- 7.7. Resumen -- 8. Conclusiones y Líneas de Trabajo Futuras -- 8.1. Líneas futuras -- Apéndices -- A. Detección de condiciones de carrera -- A.1. Happens before -- A.2. Lockset -- B. Benchmaks -- B.1. Introducción -- B.1.1. Benchmarks para evaluar capacidad de detección -- B.1.2. Benchmarks para desempeño -- C. SPLASH-2: distribución de eventos -- C.1. Introducción -- D. SPLASH-2: distribución de interleavings -- D.1. Introducción -- E. Apache -- E.1. Introducción -- E.2. Compilación e instalación -- E.3. Configuración -- E.4. Ejecución
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada ARQUITECTURA DE SOFTWARE
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada PROGRAMACIÓN CONCURRENTE
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada ARQUITECTURAS MULTICORE
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada SISTEMAS CONCURRENTES
700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA
Nombre de persona De Giusti, Armando Eduardo ,
-- Director/a
700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA
Nombre de persona Naiouf, Ricardo Marcelo ,
-- Codirector/a
700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA
Nombre de persona Olcoz Herrero, Katzalín ,
-- Codirector/a
700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA
Nombre de persona Piñuel Moreno, Luis ,
-- Asesor/a científico/a
856 40 - LOCALIZACIÓN Y ACCESO ELECTRÓNICOS
Identificador Uniforme del Recurso <a href=" http://catalogo.info.unlp.edu.ar/meran/getDocument.pl?id=1201"> http://catalogo.info.unlp.edu.ar/meran/getDocument.pl?id=1201</a>
942 ## - ELEMENTOS DE PUNTO DE ACCESO ADICIONAL (KOHA)
Tipo de ítem Koha Tesis de posgrado
Holdings
Estado de retiro Estado de pérdida Estado dañado Disponibilidad Biblioteca permanente Biblioteca actual Fecha de adquisición Número de inventario Total de préstamos Signatura topográfica completa Código de barras Fecha visto por última vez Precio válido a partir de Tipo de ítem Koha Colección Identificador Uniforme del Recurso
      Consulta en Sala Biblioteca de la Facultad de Informática Biblioteca de la Facultad de Informática 11/03/2025 DIF-04457   TES 15/29 DIF-04457 11/03/2025 11/03/2025 Tesis de posgrado    
      No corresponde Biblioteca de la Facultad de Informática Biblioteca de la Facultad de Informática 11/03/2025         11/03/2025 11/03/2025 Tesis de posgrado Biblioteca digital http://sedici.unlp.edu.ar/handle/10915/44643
      No corresponde Biblioteca de la Facultad de Informática Biblioteca de la Facultad de Informática 11/03/2025         11/03/2025 11/03/2025 Tesis de posgrado Biblioteca digital http://catalogo.info.unlp.edu.ar/meran/getDocument.pl?id=1201