1 | Introducción a Concurrencia | Introducción a Rust |
2 | Modelo Fork Join | Práctica sobre Fork Join |
3 | Programación Asincrónica | Práctica sobre Programación Asincrónica Vectorización |
4 | Corrección / Sección Crítica / Locks | Práctica sobre Locks |
5 | Sincronización / Semáforos y Barreras Monitores | Práctica sobre Sincronizacion |
6 | Redes de Petri | Práctica sobre Redes de Petri |
7 | Pasaje de Mensajes / Canales Actores | Práctica Channels y Actores |
8 | Concurrencia Distribuida: Algoritmos de Exclusión Mutua - Repaso de Redes. Sockets en UNIX | Práctica sobre Sockets y Exclusión Mutua distribuida |
9 | Concurrencia Distribuida (parte 2): Algoritmos de Elección - Sockets en Rust | Práctica de Algoritmos de Elección |
10 | Concurrencia Distribuida (parte 3): Transacciones - Deadlocks | Práctica de Transacciones Distribuidas |
11 | Ambientes Distribuidos | Práctica de Transacciones Distribuidas |
Especiales | Lenguajes para concurrencia | Taller de Testing |