Concurrencia y Sincronización

Un programa con varios hilos puede aprovechar todos los núcleos del equipo, pero en cuanto dos de ellos leen y escriben el mismo dato el resultado deja de depender del código y pasa a depender del azar: del orden en que el planificador los intercala. Los errores aparecen de vez en cuando, desaparecen al depurar y rara vez se repiten dos veces igual. Escribir código concurrente correcto exige entender qué puede ocurrir en cada intercalado posible.

El curso empieza por ver la condición de carrera con un programa real y por definir la sección crítica. Sigue con las herramientas, de la más básica a la más expresiva: operaciones atómicas, mutex, semáforos, variables de condición y monitores. Con ellas resuelve los problemas clásicos, productor-consumidor, lectores-escritores y la cena de los filósofos, y estudia el peor fallo de la sincronización: el interbloqueo, con sus técnicas de prevención, evasión y detección. Los ejemplos se escriben en C con pthreads y se ejecutan en Linux; los algoritmos se estudian además en simulaciones interactivas en JavaScript.