Curso de Posgrado en la U.N.S.L.

Curso de posgrado: "Arquitectura Multiprocesador".

• A cargo del Dr. Daniel Chaver de la Universidad Complutense de Madrid.
• El mismo se dictará durante la semana del 5 al 8de Julio en la aula de Posgrado del Departamento de Informática de la UNSL. (primer piso del Bloque II).
• Horario a confirmar.
  Interesados y consultas: rubenga@unsl.edu.ar

OBJETIVOS: Revisar los principales problemas y soluciones para mantener la coherencia, consistencia y sincronización en multiprocesadores de memoria compartida.
CONTENIDOS MINIMOS:

1. Coherencia: Protocolos tipo Snoopy, Protocolos basados en directorio.
2. Consistencia: Modelo de consistencia secuencial. Ejemplo deimplementación de alto rendimiento.
3. Sincronización: Exclusión mutua,Sincronización punto a punto, Barreras.

PROGRAMA:

• Tema 1: Introducción a los Multiprocesadores1.1 Arquitecturas Multiprocesador1.2 Modelos de programación1.3 Redes de interconexión
• Tema 2: Coherencia2.1 El problema de la coherencia2.2 Definición formal de Sistema Coherente2.3 Protocolos de Coherencia tipo Snoopy2.3.1 Protocolo MSI2.3.2 Protocolo MESI2.3.3 Protocolo MOESI2.3.4 Protocolo Dragón2.4 Protocolos de Coherencia basados en Directorio2.4.1 Directorios planos basados en memoria2.4.2 Directorios planos basados en cache2.5 Prácticas sobre el Simulador SMPCache2.6 Problemas
• Tema 3: Consistencia3.1 El problema de la consistencia3.2 Modelo de Consistencia Secuencial3.2.1 Definición formal3.2.2 Ejemplos3.3 Implementación de Alto Rendimiento3.4 Problemas
• Tema 4: Sincronización4.1 Exclusión Mutua4.1.1 Implementación simple Test&Set4.1.2 Criterios de rendimiento4.1.3 Implementación basada en Test&Set con retardo4.1.4 Implementación basada en Test-Test&Set con retardo4.1.5 Implementación basada en Load-Linked y Store-Conditional4.2 Sincronización Punto a Punto4.2.1 Implementación Software4.2.2 Implementación Hardware4.3 Barreras4.3.1 Barrera software centralizada4.3.2 Barrera software optimizada4.4 Problemas
  

SISTEMA DE EVALUACION: Examen Final

BIBLIOGRAFIA:

• David E. Culler, Jaswinder P. Singh, "Parallel Computer Architecture: Ahardware/software approach", Morgan Kaufmann Publishers, Inc.