[Concepto][Exposicion] Bloqueo Mutuo.

En sistemas operativos, el bloqueo mutuo es el bloqueo permanente de un conjunto de procesos o hilos de ejecución en un sistema concurrente que compiten por recursos del sistema o bien se comunican entre ellos. A diferencia de otros problemas de concurrencia de procesos, no existe una solución general para los inter bloqueos. Todos los interbloqueos surgen de necesidades que no pueden ser satisfechas, por parte de dos o más procesos.

Condiciones necesarias.

Estas condiciones deben cumplirse simultáneamente y no son totalmente independientes entre ellas.
Sean los procesos P₀, P₁, ..., P_n y los recursos R₀, R₁, ..., R_m:

• Condición de exclusión mutua: existencia de al menos de un recurso compartido por los procesos, al cual sólo puede acceder uno simultáneamente.

• Condición de retención y espera: al menos un proceso P_i ha adquirido un recurso R_i, y lo retiene mientras espera al menos un recurso R_j que ya ha sido asignado a otro proceso.

• Condición de no expropiación: los recursos no pueden ser expropiados por los procesos, es decir, los recursos sólo podrán ser liberados voluntariamente por sus propietarios.

• Condición de espera circular: dado el conjunto de procesos P₀...P_m(subconjunto del total de procesos original),P₀ está esperando un recurso adquirido por P₁, que está esperando un recurso adquirido por P₂,... ,que está esperando un recurso adquirido por P_m, que está esperando un recurso adquirido por P₀. Esta condición implica la condición de retención y espera.
•  

Para informacion adcional sobre Bloqueo Mutuo, consultar la exposicion de ese dia.

Bloqueo Mutuo