2.10.3 OS/Concurrencia

Temas:
Core

• Abstracción de hilos relativa a la concurrencia
• Condiciones de carrera, regiones críticas (rol de interrupciones, si es necesario). Ver también: Computación Paralela y Distribuida (PDC) -Programs
• Interbloqueos (deadlocks) e inanición. Ver también: Computación Paralela y Distribuida (PDC) -Coordination
• Problemas de multiprocesador (bloqueos de giro (spin-locks), reentrada).
• Concurrencia multiproceso vs multihilo
• Creación de hilos, estados, estructuras. Ver también: Fundamentos de Sistemas (SF) -Foundations
• APIs de hilos
• Interbloqueos e inanición (condiciones necesarias/mitigaciones). Ver también: Computación Paralela y Distribuida (PDC) -Coordination
• Implementar código seguro para hilos (semáforos, bloqueos mutex, variables de condición). Ver también: Arquitectura y Organización (AR) -PerformanceEnergyEfficiency, Fundamentos de Sistemas (SF) -Evaluation, Computación Paralela y Distribuida (PDC) -Evaluation
• Condiciones de carrera en memoria compartida. Ver también: Computación Paralela y Distribuida (PDC) -Coordination

Non Core

• Gestionar acceso atómico a objetos del SO (por ejemplo, gran bloqueo del kernel vs muchos bloqueos pequeños vs estructuras de datos sin bloqueo como listas)

Aprendizaje esperado (Learning Outcomes):
Core:

1. Comprender las ventajas y desventajas de la concurrencia como funciones inseparables dentro del marco del sistema operativo [Explicar]
2. Comprender cómo la implementación a nivel de arquitectura resulta en problemas de concurrencia incluyendo condiciones de carrera [Explicar]
3. Comprender problemas de concurrencia en sistemas multiprocesador [Explicar]
4. Comprender el rango de mecanismos que pueden emplearse a nivel del sistema operativo para realizar sistemas concurrentes y describir los beneficios de cada uno [Explicar]
5. Comprender técnicas para lograr sincronización en un sistema operativo (por ejemplo, describir cómo puede implementarse un semáforo usando primitivas del SO) incluyendo control de intra-concurrencia y uso de atómicos de hardware [Explicar]
6. Analizar con precisión código para identificar condiciones de carrera y soluciones apropiadas para abordarlas [Analizar]