Sistemas Operativos. Concurrencia. Concurrencia de procesos. Concurrencia de procesos. Ejecución simultánea de procesos.

Transcripción

1 Sistemas Operativos Concurrencia Mario Medina Everybody understands what concurrency means? Two lies at once. Todos entienden qué significa concurrencia? Dos mentiras a la vez. Luis Felipe Cabrera Concurrencia Ejecución simultánea de procesos Sistema multiprogramado Provee a los procesos la ilusión de ejecución simultánea Sistema multiprocesador Permite la ejecución simultánea de procesos La velocidad relativa de ejecución de procesos es impredecible Procesos comparten recursos Competencia por recursos del sistema operativo Cooperación via recursos compartidos Cooperación via comunicación entre procesos Problemas de concurrencia Exclusión mutua Bloqueos mortales (deadlock) Inanición Sistemas Operativos, Sistemas Operativos, Sean dos procesos, A y B, que comparten una variable X, y que ambos quieren incrementar Incrementa X Incrementa X Al parecer, hay 2 casos: Se ejecuta A primero y luego B Se ejecuta B primero y luego A X siempre se incrementa en 2 A Lee X a un registro A Incrementa registro A Escribe registro en X Qué pasa si se ejecutan así? A Lee X a un registro A Incrementa registro A Escribe registro en X B Lee X a un registro B Incrementa registro B Escribe registro en X B Lee X a un registro B Incrementa registro B Escribe registro en X Falso! Operaciones no son atómicas Datos son leídos desde memoria a los registros del procesador Operaciones actúan sobre los registros Cada proceso tiene su propio conjunto de registros X se incrementa sólo una vez Cada proceso incrementa su propia copia local de X Una de las actualizaciones de X se pierde Sistemas Operativos, Sistemas Operativos,

2 Table 5.2 Process Interaction Aquésedebeelproblema? Carrera Dos o más procesos comparten un objeto Variable Flag Archivo Posición de memoria Dos o más procesos compiten por un objeto Procesos independientes pueden competir por recursos del sistema operativo Accesos a la variable interfieren entre sí Difícil de detectar A veces ocurre, a veces no No hay un sistema de control de acceso Si A está usando X, entonces B no puede usar X Exclusión mutua Ejecución correcta de un programa no debe depender de velocidad relativa de procesos Degree of Awareness Relationship Influence that one Process Has on the Other Processes unaware of each other Processes indirectly aware of each other (e.g., shared object) Processes directly aware of each other (have communication primitives available to them) Competition Cooperation by sharing Cooperation by communication process independent of the action of others process may depend on information obtained from others process may depend on information obtained from others Potential Control Problems Mutual exclusion Deadlock (renewable Mutual exclusion Deadlock (renewable Data coherence Deadlock (consumable Sistemas Operativos, Exclusión mutua Coherencia de datos y sección Exigencia básica para la concurrencia de procesos Procesos A y B comparten un recurso X Datos Archivos Memoria Dispositivos (impresora, pantalla, etc.) Sistema Monoprocesador Interrupciones pueden detener ejecución en cualquier punto Sistema Multiprocesador Dos procesos ejecutándose simultáneamente pueden acceder a la misma variable global Necesario proteger variables compartidas Controlar el código que accede a la variable Sección Parte del programa que accede a recursos compartidos Sean dos procesos, A y B, que comparten variables X e Y En ambos se cumple que X = Y X=X+1 Y = 2*Y Y=Y+1 X = 2*X Qué pasa si se ejecutan así? nuevo X: 2*(X + 1) nuevo Y: 2*Y + 1 X=X+1 Y=Y+1 Y = 2*Y X = 2*X Ya no se cumple que X=Y Se cumple exclusión mutua sobre las variables Necesario definir correctamente sección Sistemas Operativos, Sistemas Operativos,

3 Requisitos para exclusión mutua Exclusión mutua por hardware 1. Sólounprocesoestáen la sección en un momento dado 2. Un proceso interrumpido en la sección no no interfiere con el resto 3. No debe haber bloqueos mortales o inanición 4. Si ningún proceso está en la sección, cualquier proceso que quiere entrar puede hacerlo sin demora 5. No hay suposiciones sobre velocidad relativa de procesos 6. No hay suposiciones sobre el número de procesadores 7. Los procesos permanecen en la sección por un período finito Soluciones al problema de exclusión mutua Soluciones por hardware Soluciones por software a nivel de procesos Soluciones por software a nivel de sistema operativo Deshabilitación de Interrupciones Proceso se ejecuta hasta que termina o realiza llamada al sistema Exclusión mutua garantizada Proceso /* Sección no */ /* Deshabilita interrupciones */ /* Sección */ /* Rehabilita interrupciones */ /* Resto del programa */ Limita multiprogramación Eficiencia del sistema baja Solución no sirve en sistemas multiprocesadores Entrega control de interrupciones al usuario Error en programa de usuario paraliza sistema Sistemas Operativos, Sistemas Operativos, Instrucciones de máquina especiales Test-And-Set Instrucción realiza dos o más acciones sobre una posición de memoria en un único ciclo de instrucción Instrucción no puede ser interrumpida (Instrucciones atómicas) Ventajas Aplicable a cualquier número de procesadores Simple y fácil de verificar Fácil de definir varias secciones s Desventajas Procesador espera en ciclo ocioso (Busy Wait) Puede producirse inanición Puede producirse bloqueo mortal Test-And-Set(i) if(i == 0) { i = 1; return 1; } else return 0; Instrucción examina el valor de posición de memoria i si i = 0,locambiapor1yretorna1 si i = 1, retorna 0 Ejemplo int lock; while (Test-And-Set(lock) == 0) /* No hacer nada */ /* Sección */ lock = 0; Sistemas Operativos, Sistemas Operativos,

4 Exchange Soluciones por software a nivel de procesos Exchange(mem1, mem2) int temp; temp = mem1; mem1 = mem2; mem2 = temp; Intercambia los contenidos de las posiciones de memoria mem1 y mem2 en forma atómica Extensible a n procesos Ejemplo int key = 1; int lock; while (key == 1) Exchange(key, lock); /* Sección */ Exchange(key, lock); Acceso a sección por turnos Variable int turno compartida while(turno!= 0) while(turno!= 1) Procesos se alternan estrictamente en ingresar a la sección Solución no aprovecha plenamente concurrencia de procesos Qué pasasip 0 es mucho más rápido que P 1? Si P 0 falla, P 1 se bloquea permanentemente Solución: Cada proceso tiene su propia señal n lock + key i = n i=1 Sistemas Operativos, Sistemas Operativos, Otro intento Tercer intento Definir un vector compartido int flag[2] Un proceso puede preguntar por el flag del otro Siflages0,elotroprocesonoestá en sección while(flag[1] == 1) while(flag[0] == 1) Si P 0 falla fuera de su sección, P 1 puede entrar en su sección Solución no garantiza exclusión mutua! 1. P 0 ejecuta while() y encuentra flag[1] == 0 2. P 1 ejecuta while() y encuentra flag[0] == 0 3. P 0 ejecuta flag[0] = 1 y entra en sección 4. P 1 ejecuta flag[1] = 1 y entra en sección Avisar que se desea entrar en sección while(flag[1] == 1) while(flag[0] == 1) Solución garantiza exclusión mutua Solución puede causar Bloqueo Mortal 1. P 0 ejecuta flag[0] = 1 2. P 1 ejecuta flag[1] = 1 3. P 0 ejecuta while() y encuentra flag[1] == 1 4. P 1 ejecuta while() y encuentra flag[0] == 1 Ambos procesos esperan indefinidamente por el otro Sistemas Operativos, Sistemas Operativos,

5 Cuarto intento Algoritmo de Dekker Ceder la sección si otro proceso desea entrar while(flag[1] == 1) { while(flag[0] == 1) { Solución garantiza exclusión mutua Solución puede causar Bloqueo Vital 1. P 0 ejecuta flag[0] = 1 2. P 1 ejecuta flag[1] = 1 3. P 0 ejecuta while() y encuentra flag[1] == 1 4. P 1 ejecuta while() y encuentra flag[0] == 1 5. P 0 ejecuta flag[0] = 0 6. P 1 ejecuta flag[1] = 0 Ambos procesos esperan indefinidamente por el otro Cambio en velocidad relativa permitiría romper bloqueo Requiere de vector flag[] ydevariableintturno flag[n] avisa que proceso n desea entrar a la sección turno determina prioridad de ingreso en caso de conflicto while(flag[1] == 1) { while(flag[0] == 1) { if(turno == 1) { if(turno == 0) { while(turno == 1) while(turno == 0) /* No hacer nada */; /* No hacer nada */; Sistemas Operativos, Sistemas Operativos, Algoritmo de Peterson Requiere de vector flag[] ydevariableintturno flag[n] avisa que proceso n desea entrar a la sección turno determina prioridad de ingreso en caso de conflicto while(flag[1] == 1 while(flag[0] == 1 && turno == 1) && turno == 0) /* No hacer nada */; /* No hacer nada */; Similar a algoritmo de Dekker Más simple de entender e implementar Lo primero que un proceso hace es ceder el turno Como Dekker, usuario debe implementar algoritmo correctamente en su código Sistemas Operativos,