Informática, 3º curso, 1er cuatrimestre
Sistemas Concurrentes y Distribuidos.
207 preguntas tipo test verificadas sobre concurrencia, monitores, paso de mensajes y tiempo real.
- 7
- recursos
- 6
- ECTS
Materiales.
Estrategia intensiva de 7 días, análisis del formato de examen con penalización (-0.5), selección de ejercicios prácticos clave y consejos para arrasar con Capel.
Resolución exhaustiva de los 63 problemas de las Relaciones 1, 2 y 2-2 (Capel 2026, Infomates e Ismael Sallami) explicados paso a paso con demostraciones formales, algoritmos de exclusión mutua, código C++11, semáforos y monitores.
Cuaderno intensivo de 35 páginas con los 19 problemas clave del sprint de 4 días resueltos al detalle: exclusión mutua (Peterson, Hyman, Dijkstra, Swap), monitores (puente, olla, aseo, filósofos, SU vs SC) y lógica de Hoare/Bernstein.
Resolución íntegra y auditoría crítica de los exámenes oficiales de 2021 y 2025 (repetido): semáforos POSIX asimétricos, cerrojo de aforo FIFO, monitores con prioridad dinámica, cuenta bancaria y demostraciones formales de Hoare y Owicki-Gries.
Documento de 8 páginas de alta densidad con plantillas maestras completas (1 cara por plantilla) en C++ oficial (HoareMonitor) y pseudocódigo canónico, diccionario de adaptación a problemas típicos y checklist de entrega para el Prof. Manuel I. Capel Tuñón.