Académique Documents
Professionnel Documents
Culture Documents
E. ) CE, el proceso se ejecuta sin interrupcién dentro del valor de la cuota de tiempo asignada hasta su finalizacién. A continuacién el sistema operativo planificara otro proceso para ejecucién, esta operacién corresponde a la conmutacién de procesos cuya duracién es C. Por To tanto, la eficacia sera: Dado que el tiempo de ejecucién del proceso es mucho mas grande que el tiempo invertido en la conmutacién de tareas, es decir, E >> C, la eficacia es précticamente de! 100% (#-~100%). Este valor de la eficiencia resulta evidente dado que la CPU ha empleado todo su tiempo en la ejecucién del proceso, Por otra parte, como se ha comentado otros procesos no han podido comenzar stu ejecucién, por lo que sus tiempos de espera son grandes. ©) Eneste caso el valor del cuanto es inferior al tiempo de ejecucién real del proceso, por lo que éste debera ser planificado £/Q veces. Estas conmutaciones de tareas necesarias conllevan una perdida de tiempo de C x (E/Q). Por lo tanto, sustituyendo en la expresién de Ia eficiencia los valores anteriores a 2 100% & a+e x 100 b+cx& 4) En este caso el valor del cuanto es igual al tiempo de conmutacién de tareas, @ = C, que corresponde a un caso particular del apartado anterior, por lo tanto si se sustituye en su expresion, se tiene: E j= 50% Este resultado es totalmente esperado, ya que si el cuanto es igual al tiempo de conmutacién, el procesador se pasa la mitad del tiempo ejecutando el proceso y la otra mitad conmutando. €) Finalmente se va a considerar el caso en el que el valor del cuanto es proximo a cero. Si, de la misma forma, se sustituye en la expresién del apartado c), este valor, Q = 0, se tiene: Ey-% De nuevo este resultado es predecible. La CPU pasa todo el tiempo conmutando tareas y no las ejecuta, dado que el tiempo asignado para ello es nulo. Por lo tanto, toda su labor resulta inétil,2-12 Problemas resueltos 31 ee Problema 2-9 {Quéalgoritmo minimiza el tiempo de espera medio? Demuéstrelo, Solucion Elalgoritmo que minimiza el tiempo de espera medio es el algoritmo SIF (primero la tarea mas corta). Para la demostracin supéngase un sistema con m trabajos cuyos tiempos de ejecucién son 1), f3, f+ ¥ fy Sin perdida de generalidad se va a considerar que el orden de ejecucién es P;, Pa, ... y Py y que el tiempo de conmutacién de tarea es despreciable, Bajo estas suposiciones, el tiempo de espera de cada proceso se puede calcular y queda recogido en la Tabla 2.11 Trabajo Tiempo de espera Py o ‘Tabla 2.11: Tiempo de espera de los n procesos De acuerdo con los resultados de la Tabla 2.11, el tiempo de espera medio es (suma de los tiempos de espera de cada proceso dividido entre el niimero total de procesos): = aD t(D) nt Para minimizar este tiempo, 1) debe er el ndimero mas pequefio de la serie {1}, 13,13... stn} porque es el que contribuye mas a E (al ir mutiplicado por el factor mayor (1 ~ 1)), a continuacién fy debe ser el mas pequefio de {1p, 13, fy} y asi sucesivamente. Entonces 1, debe ser el trabajo de menor tiempo de ejecucién, después fy, ete, Orden que es el que determina el algoritmo SJF. _ Problema 2-10 Supéngase que se tienen que realizar cinco trabajos cuyas caracteristicas se muestran en la Tabla 2.12. Estos trabajos llegan en el orden descrito en esta tabla, Se pide: a) Realizar los diagramas de Gantt que ilustren Ie ejecucién de estos trabajos utilizando los algoritmos siguientes: FCFS (primero en llegar primero en ser servido), SJF (primera tarea mis82 2 Gestion de procesos corta), SRT (tiempo que queda mas corto), RR (prioridad circular) con un cuanto de 1 ms y, finalmente, una planificacion por prioridades no expropiativo. b) Determinar para cada uno de los procesos con cada uno de los algoritmos de planificacién anteriores el tiempo de retoro, Calcular la media resultante para cada algoritmo ¢) Idem para la eficiencia 4) Idem para el tiempo de espera €) Idem para el tiempo de respuesta 1) Analizar los resultados anteriores y extraer consecuencias. Trabajo Tlempo de wo de CPU Prioid To 1 2 10 4 3 2 3 Soluciin a) El algoritmo FCFS (primero en llegar primero en ser servido) (First-Come-First-Served) corresponde a la disciplina de planificacién en la que los procesos en estado preparado acceden al procesador en el orden en que llegan a dicho estado, sin expropiaciones. La implementacién del planificador FCFS es bastante directa, y su ejecucién da lugar a pocos recargos, Los procesos argos hacen esperar a los cortos. El diagrama de Gantt a que da lugar esta planificacién es el uiente: 1 2 [> [3] s 1 u 3 1s 2 El algoritmo SJF (primera tarea mis corta) (Shortest-Job-First) es una disciplina de planificacién no expropiativa en el cual el trabajo (0 proceso) en espera con el tiempo estimado de ejecucién hasta su terminacién més corto, es el siguiente en ser ejecutado, SJF favorece a los trabajos cortos a costa de los mas largos. Si dos trabajos tienen el mismo tiempo se seleccionan segiin la estrategia FCES. Asi, los procesos 3 y 4 requieren del mismo tiempo de ejecucién luego el orden de ejecucién de acuerdo a su orden de Ilegada sera primero el proceso 3 y luego el 4.2:12 Problemas resueltos 83 b) °) Iv]os «| 5 2 13 5 ut Ea EL algoritmo SRT (tiempo que queda més corto) (Shortest-Remaining-Time). Es la contraparte expropiativa del SJF. El proceso con el tiempo estimado de ejecucion menor para legar a su terminacién es el siguiente en ser ejecutado, incluyendo las nuevas llegadas. En nuestro caso como estin planificados los trabajos (no Ilegando ninguno nuevo), y como se parte del mas corto en tiempo, siempre seguird siendo el mis corto a medida que se ejecuta, por lo que es igual que el algoritmo SJF La diferencia tiene lugar cuando los trabajos no estin planificados, ya que de esta forma se pone de manifiesto la cualidad expropiativa de este algoritmo, que es lo que le diferencia del SIF, por ejemplo, si se esta ejecutando un proceso con un tiempo de ejecucién de 6 s y han pasado 3 s, y entra un proceso que requiere 2 s para ejecutarse, le expropiard EL algoritmo RR (prioridad circular) (Round Robin) los procesos se despachan en FCFS pero se Jes otorga una cantidad limitada de tiempo de CPU llamada cuanto. Si un proceso no termina antes de expirar su tiempo de CPU, entonces la CPU es expropiada y otorgada al siguiente proceso en espera. EE 123 45 678 9 © EL algoritmo de prioridades (no expropiativo) En esta estrategia de planificacién por prioridades cada proceso tiene asignada una y el de mayor prioridad es el que toma el procesador. Asi, suponiendo que el orden de maxima prioridad es para el de prioridad | y asi sucesivamente y que 4 igualdad de prioridades se seleccionan segiin la estrategia FCFS se tiene el siguiente diagrama de Gantt: Ci ; ; ; 1 7 9 0 2 EL tiempo de retorno corresponde al tiempo transcurrido desde el lanzamiento de un proceso hasta su finalizacién, La Tabla 2.13 muestra el tiempo de retorno de cada proceso para cada algoritmo, como se puede observar de cada diagrama de Gantt anterior. La eficiencia (Ep es la fraccién de tiempo medio durante el cual el procesador esté ocupado de ‘manera ttil en la ejecucién de un proceso:84 2Ge n de procesos donde el tiempo de ejecucién titil o real es Uy el tiempo de uso de CPU total es 7. A la hora de calcular la eficiencia del procesador para un proceso se ha tenido en cuenta que el tiempo itil, U, corresponde al tiempo de ejecucién real de ese proceso (dado por la Tabla 2.12) frente al tiempo total de uso de la CPU, 7, (ejecucién y conmutacién) o tiempo que transcurre hasta que el proceso en concreto finalice su ejecucién, que corresponderd al tiempo de retorno de dicho proceso (dado por la Tabla 2.13), En la Tabla 2-14 se resume los resultados encontrados. [trabajo FCS RR SF Prioridad 1 1 1 1 1 2 2 2 0 3 3 7 3 9 4 is s | os 21 - 5 21 1" 7 Tiempo medio aa | ins 82 ua ‘Tabla 2.13: Fltiempo de retomo para los cinco procesos segin los diferentes algoritmos de planificacién Trabajo rerse%) | RR) | suFQ% | Prioridaa rs) 1 100 100 100 109 2 90.90 a1 a761 3 3 15,38 28,57 ” 66,66 22,22 4 T 13,33 28 40 952 5 | 257 3529 454 es | _ Tempo meio oe 4129 e176 S401 ‘Tabla 2-14 La eficiencia para los cinco procesos segiin los diversos algoritmos de planificacin 4d) El tiempo de espera corresponde al tiempo que un proceso consume esperando la asignacién de recursos debido a a competencia con otros en un sistema con multiprogramacién. Mateméticamente se puede expresar como el tiempo de retorno menos el tiempo de ejecucién. En la Tabla 2.15 se recogen los célculos realizados. ¢) El tiempo de respuesta a un evento corresponde al intervalo de tiempo que transcurre desde que se sefiala un evento hasta que se ejecuta la primera instruccién de la rutina de servicio de dicho evento, En definitiva es el tiempo que esti esperando en el estado de preparado o bloqueado para empezar a ejecutarse. Asi, a partir de estos resultados se puede calcular el tiempo de respuesta,2:12 Problemas resueltos 85 como queda recogido en la Tabla 2.16 Trabajo FCES RR SIF Priovidad i o ° ° ° 3 " 5 1 7 4 5 6 3 9 15 " 5 Tiempo medio 5 66 4 72 ‘Tabla 2.18: El tiempo de espera pata los cinco procesos sexin los diversosalgoritmos de planificacién r — Trabajo Fors RR SIF 1 ° 0 ° 0 [ 2 1 1 u 9 3 " 2 1 7 4 3 3 > ° 5 1s 5 5 1 f Tiempo medio 8 2 4 | ‘Tabla 2.16: El tiempo de respuesta para los cinco procesos segin los diversosalgoritmos de planificacién 4) Del anilisis de las tablas anteriores se puede concluir que los mejores resultados se obtienen para el algoritmo SIF: + El menor tiempo de retorno medio (8,2) + La mayor eficiencia media de la CPU (61,7%) + El tiempo de espera medio més pequefio (4) — eee Problema 2-14 Supdngase que se tienen que realizar cinco trabajos cuyas caracteristicas se muestran en la Tabla 2.17. Estos trabajos llegan en el orden descrito en esta tabla, Sepide: 4) Realizar un diagrama de Gantt que ilustre Ia ejecucién de estos trabajos para los algoritmos: FCFS (primero en llegar primero en ser servido), RR (prioridad circular) con cuanto de | ms, SIF (primera tarea mas corta), prioridades no expropiativo.2 Gestion de procesos b) {Cual es el tiempo de retorno de cada trabajo para cada uno de los algoritmos anteriores de planificacién?, {Cudl es el tiempo de espera de cada trabajo para cada uno de los algoritmos, anteriores de planificacién? Razonar sobre el tiempo de espera medio de cada algoritmo. Trabajo “Tiempo de uso de CPU Priridad H 10 3 2 1 1 3 2 3 4 1 4 5 5 2 ‘Tabla 2.17; Resumen de los procesos a ejecutar con sus prioridades y tiempos de ejecucién Solucion ) A continuacién se presentan los diagramas de Gantt para los algoritmos indicados: + Algoritmo FCFS: la carga de trabajo se procesa simplemente en orden de llegada, sin expropiaciones. 1 0 + Algoritmo RR: E! planificador va asignando el procesador a cada proceso de forma secuencial durante el cuanto de tiempo definido.2-42 Problemas resueltos 87 * Algoritmo de Prioridades (no expropiativo): Cada proceso tiene asignada una prioridad y el de mayor prioridad en el estado preparado es el que toma el procesador. 2 5 1 3s fa t 6 16 «1 b) El tiempo de retomo es el tiempo que transcurre desde que un proceso se crea hasta que se completa por el sistema, Entonces, el tiempo de retorno es el indicado en Ia Tabla 2.18, Trabajo CRS. RR SIE Prioridad 1 0 9 9 16 2 a 1 ' 3 1B 7 4 1s 4 4 4 2 6 19 a 9 6 Tiempo medio Ba of? 2 ‘Tabla 2. El tiempo de retorno para los cinco procesos segin los diversos algor 9s de plan El tiempo de espera, como se ha definido previamente se calcula como el tiempo de retorno menos el de ejecucién. De acuerdo con esta definicién el tiempo de espera se recoge en la Tabla 2.19. Trabajo FcRS, RR SIF Prioridad 1 ° ° ° © 0 1 ° 0 3 i 5 2 16 4 B 3 1 «| 5 a ° 4 1 Tiempo medio 46 sa 32 82 ‘Tabla 2.19; El tiempo de espera para los cinco procesos segin los diversos algoritmos de planificacién El tiempo de espera mas pequefio corresponde al algoritmo SJF, como era de esperar, ya que esta esirategia es Optima desde el punto de vista de minimizar el tiempo medio de espera de los trabajos ‘en espera de ejecucién.88 2 Gestion de procesos Problema 2-12 En un sistema operativo multiproceso se dispone de un planificador que emplea el algoritmo por prioridad circular, RR, con gestidn de la lista de preparados por FCFS y con valor de cuanto de 10 ms. (Se supone despreciable el tiempo de conmutacidn de tarea). Sean tres procesos, cuya ejecucién si no existieran otros seria la representada en la Figura 2.25. Figura 22 + Ejecucién secuencial de los tres procesos El tiempo para realizar la operacién de entrada y salida es de 4 ms y para simplificar s6lo se hace sobre un nico dispositivo, Un proceso puede estar en los siguientes estados: + Esperando en la cola de preparados: P + Ejecuténdose: £ + Esperando a que el dispositivo de E/S quede libre: W” + Realizando una operacin de E/S: O En la Tabla 2.20 se indi finalizar su ejecucién (en ms): el instante de legada al sistema de cada proceso y su tiempo necesario para Trabajo Tiempo méximo necesario. 1 0 26 20 v ‘Tabla 2.20: Resumen de los provesos a ejecutar a) Dibujar la evolucién temporal de los procesos del sistema, sefialando el estado en el que se encuentra cada proceso. Asi como la ocupacién temporal de la CPU 0 diagrama de Gantt. b) Calcular para cada proceso la eficiencia.2:12 Problemas resueltos 89 a) A continuacién se presentan los estados por los que pasa cada proceso, asi como Ia evolucién temporal de la CPU, medido en milisegundos: Proceso I: E ’ FE o jel « 0 20 28 2 Me Proceso 2: Pp elwl] o - e 2 rr a si , e]o |r ze | | 28 no 8 Pa PU: 1 2 1 a fey a 3 2 ‘| w 20 8 2 Me 2 3 b) La eficiencia para los diferentes procesos es la siguiente: Proceso 1: u 26 E=¥ = 28x 100 = 68.42% 7x 100 = 2 % Proceso 2: Proceso 3:90 2 Gestién de procesos Problema 2-13 Se deben ejecutar cinco trabajos: P}, P2, P3, Py y Ps. Sus tiempos de ejecucién (en ms) previstos son: 9, 6,3, Sy X. ;En que orden se deberian de ejecutar aplicando el algoritmo SJF?. Calcular el tiempo de espera medio para cada uno de los casos. (Obviamente, la solucién propuesta dependerd de X). Solucion A continuacién se va a aplicar el algoritmo SJF para los diferentes casos del valor del tiempo de ejecucién, X, que establece diferentes drdenes de ejecucidn de los procesos. El resultado de la planificacion se representara ‘mediante diagramas de Gantt. Asi, 1) Para el caso 0 <.X <= 3, el diagrama de Gantt es el siguiente: Ps % ” ” ” x x3 Xe8 xe X42 De acuerdo con esta planificacién, el tiempo de espera y el tiempo de retorno se recogen en la Tabla 2.21 ‘Trabajo | T.deretorna(ms) | T. de espera (ms) [a x23 xe 14 Py or % x8 x03 Ps x 0 ‘Tabla 2.21: Tiempo de retorno y de espera de los distintos procesos El tiempo de espera media es: T, ‘espera media = (AX+25)/5 ms 2) Para el caso 3 <'<= 5, se obtiene el siguiente diagrama de Gantt 3 x03 xe xe ve23 Construyendo la misma tabla que en el caso anterior se obtiene el tiempo de espera medio:2-12 Problemas resueltos 31 espera media = (BX+28)/S ms 3) Para el caso 5 < X <= 6, de nuevo se calcula el diagrama de Gantt: Ps % Ps a ™ 3 5 x48 xe Rehaciendo los céleulos se puede obtener de igual forma el tiempo de espera medio: Tespera_media = (2X+33)/5 ms 4) Para el caso 6 < V'<=9 se obtiene el siguiente diagrama de Gantt: ry % a Ps » 3 8 i Xe) Construyendo una tabla similar a la Tabla 2.21 se calcula el tiempo de espera medio: Tespera media = (X+39)/S ms 5) Finalmente, para el caso 9[ pide pro #A > [pit pme ac preparados eau Figura 2.27: Lista de estados preparados después dela ejecucién del algoritmo SIF Como la politi elegida para el planificador a corto plazo es por prioridad circular, los procesos hardin uso de la CPU, es decir, pasaran al estado de ejecucién segimn indica el siguiente diagrama de Gantt A «T<] SOS % SSR RSD 2S as El tiempo de retorno se calcula a través del diagrama de Gantt o mediante los calculos siguientes: Proceso A: 96,S425x445 x 10=199ms Proceso B: 25x34 15+3%0,5=91,5 ms Proceso C: 209+25 + 18+2%0,5=245 ms Como se puede observar, todas las tareas finalizan antes de su tiempo critico. El tiempo de espera es el tiempo de retorno menos el tiempo de ejecucisn: Proceso A: 199-80= 119 ms Proceso B: 91,5-40=51,5 ms Proceso C: 245—120= 125 msén de procesos Problema 2-16 La Tabla 2.25 recoge la informacion de cinco procesos que se van a ¢jecutar en un sistema, Tiempo de legada (ms) | Tempo de ejeeuelén (ms) ° 0 8 t 2 c 2 3 D 3 1 FE 4 5 ‘Tabla 2.25; Resumen de las caracteristicas de los procesos para gjecucién Calcular el tiempo de retorno de cada uno de los trabajos y representar la ejecucién en diagramas de Gantt para los siguientes algortimos: a) FC b) SRT ©) RR, con cuanto de 2 ms. Si el cuanto de un proceso en ejecucién expira a la vez que la llegada de lun nuevo proceso, entonces el nuevo proceso se aflade a la cola de procesos preparados antes que el proceso que termina. Despreciar el tiempo necesario para el cambio de contexto. Solu n A continuacién se presentan los diagramas de Gantt para los algoritmos indicados a) Algoritmo FCFS: La carga de trabajo se procesa simplemente en orden de llegada, sin expropiaciones. 4 8 c D 10 B 5 Fa b) Algoritmo SRT: Se selecciona el trabajo con el menor valor de tiempo restante de ejecucién, incluyendo los nuevos que Heguen. Corresponde a la versién expropiativa del algoritmo SIF. [-L= lef « e 4 -2:12 Problemas resueltos 97 ©) Algoritmo RR: A todos los procesos en estado preparado se les asigna un tiempo de ejecucién co | E 2 4 Is 25 3 4 b) Algoritmo RR: A todos los procesos en estado preparado se les asigna un tiempo de ejecucién denominado cuanto. planificador va asignando el procesador a cada tarea de forma secuencial por el cuanto de tiempo definido, na = Ee 4 8 2 6 20 24 «OMS yo 4 LLos tiempos de retorno de los procesos se caleulan teniendo en cuenta el tiempo en el que acaban los procesos, medido en los diagramas de Gantt, menos los tiempos de llegada. Estos tiempos quedan recogidos en la Tabla 2.28 ‘Trabajo SIF RR 4 4 a [8 at %6 ec | » |» D i 5 se | 3 [| 3 Problema 2-18 La Tabla 2.29 recoge la informacién de cinco procesos que se van a ejecutar en un sistema, Calcular el tiempo de retorno de cada uno de los trabajos y representar la ejecucién en diagramas de Gantt para los siguientes algoritmos: a) FCS b) SIF ©) RR, con cuanto de 2 ms. Si el cuanto de un proceso en ejecucién expira a la vez que la llegada de un nuevo proceso, entonces el nuevo proceso se afiade a la cola de procesos en espera de ejecutarse2-12 Problemas resueltos 99 antes que el proceso que termina. 4) Idem, pero RR con prioridades, teniendo en cuenta que la méxima prioridad corresponde a4 y la minima a 1. Despreciarel tiempo necesario para el cambio de contexto, ‘Trabajo | ‘Thempode egada(ms) | Tiempo de eecucton (ms) | Prorkdad a 1 8 2 2 2 2 Cc 3 1 3 D 4 2 4 z 5 5 1 ‘Tabla 2.29: Resumen de las caracterstieas de los procesos paraejecucin Solucion ‘Accontinuacién se presentan los diagramas de Gantt para los algoritmos indicados. En todos los casos, hasta transcurrido Ims no se tiene ningtin proceso en la lista de preparados por lo que la CPU estar inactiva, a) Algoritmo FCES: la carga de trabajo se procesa simplemente en orden de Ilegada, sin expropiaciones. b) Algoritmo SUF: Se selecciona el trabajo con el menor valor de tiempo restante de ejecucién, sin incluir los nuevos que Hleguen. ©) Algoritmo RR: A todos los procesos en estado preparado se les asigna un tiempo de ejecucién denominado cuanto, EI planificador va asignando el procesador a cada tarea de acuerdo con el orden de Hlegada que se mantiene en la lista de preparados. Asi, por ejemplo, cuando finaliza el proceso 4, han transcurrido 3 ms, por lo que en la lista de procesos preparados se tendri a los procesos B y Cy se incorpora de nuevo el proceso 4. Ahora bien, de estos tres procesos el que100 2 Gestion de procesos tiene mayor antighedad es el B, por lo que sera el que pase a ejecucién. 4 | @ jel a | ov | e& | a | eg joa fe ros Ss 6 8 0 2 4 16 rn 4) Algoritmo RR con prioridades: En este caso el planificador va asignando el procesador a cada tarea de acuerdo con el orden que establecen las prioridades en la lista de preparados. De esta forma cuando finaliza el proceso 4, han transcurrido 3 ms, por lo que en la lista de procesos preparados se tendré a los procesos B y C y se incorpora de nuevo el proceso 4. Ahora bien, de estos tres procesos el que tiene mayor prioridad es el B, por lo que sers el que pase a ejecucién. a4 | 6 | op je} a | a | oa | ek | ec le ro s 7 8 2 a 16 wo Los tiempos de retorno de los procesos se calculan teniendo en cuenta el tiempo en el que acaban los procesos, medido en los diagramas de Gantt, menos los tiempos de llegada, Estos tiempos quedan recogidos ena Tabla 2.30. Trabajo CFS su RR RR com priridades 4 ® 8 7 B 5 ° 0 3 3 © 9 7 3 5 D 10 0 6 3 e 4 1 is a ‘Tabla 2.30: El tiempo de retorno para los cinco procesos segimn los diversos algoritmos de planificSincronizacion y comunicacion de procesos Las tareas que corren en un sistema se diseflan para llevar a cabo un objetivo comin y, por lo tanto, es necesario que algunas de ellas se comuniquen entre sf; adems, en su ejecucién competiran por conseguir los recursos del sistema, una zona de datos especificos, o un dispositivo de £/S y dicha competicién se debe regular proporcionando los mecanismos adecuados para la sincronizacién de los procesos. También se precisa esta sincronizacién para establecer un orden de ejecucién de las tareas que sea coherente con el objetivo global del sistema, Las técnicas de sincronizacién que se presentan en este tema son el fundamento del procesamiento concurrente. Existen dos métodos bisicos de comunicacién entre procesos: comparticiin de datos e intereambio de informacién, En este tema se trata inicialmente el problema de la comunicacién entre procesos mediante comparticién de datos y se realiza su introduccién estudiando el problema de la exclusién mutua, Se introducen después los semdforos, que son un procedimiento sencillo, pero potente, para la solucién de los problemas de Ia exclusién mutua y de la sincronizacién entre procesos. Los semaforos constituyen el mecanismo basico fundamental para el problema de la sincronizacion, A continuacion se sigue con el estudio de los monitores. Estos proporcionan un mecanismo alternativo al de los semiforos, con una solucién més estructurada al proporcionar abstraccién de los datos que se comparten, Los mensajes proporcionan una solucién al problema de la concurrencia de procesos que integra Ia sincronizacién y la comunicacién entre ellos y resulta adecuado tanto para sistemas centralizados como para distribuidos. El método de intercambio de informacién mediante mensajes necesita siempre de un proceso emisor, de otro receptor asi como de la informacién que debe intercambiarse. inalmente se trata el problema del interbloqueo (deadlock), que aparece frecuentemente en los sistemas, multitarea y en los multiprogramados. Una situacion de interbloqueo se produce cuando dos o mas procesos entran en un estado que imposibilita a cualquiera de ellos salir del estado en que se encuentra. A dicha situacién se llega porque cada proceso adquiere algin recurso necesario para su operacion a la vez que espera aque se iberen otros recursos que retienen otros procesos, llegandose a una situacién que hace imposible que ninguno de ellos pueda continuar. Se analizan las cuatro condiciones que, de forma simultanea, se deben cumplir para que se produzca un interbloqueo y se proponen diferentes estrategias para manejar dicho problema,