Algoritmos para prevenir el bloqueo mutuo de procesos o hilos en Sistemas Operativos

Universidad de Talca. Tapia, López. Informe de investigación y aplicación del módulo.

1

Algoritmos para prevenir el bloqueo mutuo de
procesos o hilos en Sistemas Operativos
Tapia Campos, Roxana y López Donoso, Daniel.
rotapia09@alumnos.utalca.cl
dlopezd@alumnos.utalca.cl
Universidad de Talca


Resumen—Los algoritmos para prevenir el bloqueo
mutuo como el Algortimo del Banquero, elAlgoritmo de
Asignación Recursiva, el Algoritmo de Seguridad y el
Algoritmo de Petición de Recursos, tienen como objetivo
detectar los estados inseguros de un sistema. Esta detección se
hace mediante la suposición de “qué pasaría si se eligiera
éste proceso para continuar la secuencia de procesos” si esta
suposición indica que ocurrirá un bloqueo mutuo, se procede a
elegir otro procesopara asegurar un estado seguro del sistema.
Como los algoritmos requieren una etapa de prueba o
suposición podría ocurrir que ningún recurso esté siendo
asignado en el tiempo de prueba, lo que podría ocasionar una
lentitud en el sistema.

Índice de Términos— Algoritmo del Banquero Algoritmo de Asignación Recursiva - Algoritmo de Seguridad
– Algoritmo de Petición de Recursos.

I. INTRODUCCIÓNEn la vida cotidiana constantemente asignamos
recursos a distintos procesos, por ejemplo, al
solicitar un préstamo en un banco pequeño y
sabemos que el dinero del banco es finito.
Supongamos que los recursos pueden ser accedidos
por sólo un proceso a la vez y existen múltiples
procesos tratando de acceder a los recursos (muchos
clientes solicitando préstamos) entonces debe existir
unaforma de poder administrar los recursos para
evitar que un proceso espere a otro proceso que
está en espera porque el sistema no dispone de
recursos para completar la solicitud (administrar el
dinero para asegurar que todos los préstamos se
pueden conceder sin quedar en la banca rota).
En los sistemas operativos los recursos
mencionados pueden ser lógicos o físicos y la
situación en queningún proceso se puede completar
por falta de recursos es conocido como bloqueo

Sistemas Operativos 2012/2

mutuo o deadlock. Para evitar el bloqueo mutuo de
procesos o hilos existen diferentes algoritmos que
se ocupan de encontrar la secuencia correcta de
procesos de tal manera que siempre se dispongan de
recursos para completarlos.
A continuación revisaremos cuatro algoritmos
principalespara estos efectos.

II. ALGORITMO DEL BANQUERO
Supongamos que al igual que un banco,
disponemos de cierta cantidad para prestar, digamos
$24.000. Al banco llegan tres clientes que requieren
préstamos de $8.000, $13.000 y $10.000
respectivamente, si sumamos estas cantidades
notaremos que no disponemos de los recursos
suficientes para satisfacer a nuestros clientes.
Decidimos prestar alprimer cliente $6.000, al
segundo $8.000 y al tercero $7.000, de esta manera
hemos asignado recursos a nuestros tres clientes y
además nos quedan $3.000 para prestar, pero no
hemos cumplido las expectativas de ninguno. Para
poder satisfacer la demanda de nuestros clientes
tenemos que: al primer cliente asignar $2.000 más,
al segundo $5.000 y al tercero $3.000. Con el dinero
que disponemossólo podríamos satisfacer la
demanda del cliente 1 o 3 pero no la del cliente 2,
además sabemos que ningún cliente devolverá el
préstamo a menos que le hayamos prestado la
cantidad solicitada en un comienzo. Así podríamos
prestar $2.000 más al cliente 1, quedarnos con
$1.000 y después disponer de $9.000 en la banca
cuando sea devuelto; o prestar $3.000 al cliente 3 y
luego disponer de$10.000 en la banca; el préstamo
del cliente dos no lo podemos satisfacer con los
$3.000 que tenemos en estos momentos.
Haremos lo siguiente, prestemos $2.000 más al

Universidad de Talca. Tapia, López. Informe de investigación y aplicación del módulo.

cliente 2, de esta manera sólo necesitaría $3.000
para completar su solicitud inicial y nosotros aún
tendríamos $1.000 en la banca, ¡pero...