Programación Concurrente

Apuntes

• Módulo I: Conceptos y recursos para la programación concurrente
• Motivación de la programación concurrente
• Recursos para programación concurrente
• Interaccion entre procesos de un programa concurrente
• Patologías de programa concurrentes.
• Sincronización basada en intercambio de mensajes
• Sincronización basada en memoria compartida.

• Módulo II: Programación concurrente con POSIX
• Introducción al estándar POSIX.
• Sistema Operativo MaRTE OS.
• Gestión de Threads.
• Gestión del Tiempo.
• Planificación de Threads.
• Sincronización.
• Señales.
• Temporizadores y Relojes de Tiempo de Ejecución.

• Módulo III: Formalización de la concurrencia: Redes Petri
• Redes de Petri: definición, formalización y ejecución
• Redes de Petri: propiedades y métodos de análisis.
• Redes de Petri: modelado de sistemas concurrentes.
• Extensiones de las redes de Petri: temporización.

Documentación

• Enlaces:

Prácticas 

• Práctica 1. Instalación de MaRTE y pthread_join.
• Práctica 2. Serpiente con threads.
• Práctica 3. Dibuja dos serpientes (palinificación).
• Práctica 4. Juego Tron.
• Práctica 5. Rendezvous con señales.
• Práctica 6. Medida y monitorización de tiempos de ejecución.