Objetivos generales:
Resolver problemas complejos de cómputo concurrente de manera crítica y creativa. Entender los aspectos de concurrencia y tolerancia a fallas de: sistemas operativos y bases de datos.
Temas:
I Introducción
II Exclusión mutua
III Sincronización con y sin bloqueo
IV Recursos múltiples
V Problemas clásicos de sincronización
VI Consenso
VII Temas selectos
Bibliografía básica:
1. Gadi Taubenfeld, Synchronization Algorithms and Concurrent Programming, Pearson / Prentice Hall, 2006.
2. Maurice Herlihy y Nir Shavit, The Art of Multiprocessor Programming, Morgan Kaufmann, 2008.
Se estudiaran tambien articulos publicados recientemente en congresos y revistas del area