Wiki de Sistemas Operativos - Contribuciones del usuario [es]

Lista de contribuidores de la wiki en 2014-2015

2015-01-27T10:00:24Z

Leoberbue:

* Pérez Morral, Mateo (Usuario: matpermor)
* Rodríguez Valencia, Enrique (Usuario: erodriguez19)
* Manzano Rueda, Álvaro (Usuario: alvmanrue)
* Mantas Nakhai, Roberto (Usuario: robmannak)
* Bernal Bueno, Leonardo Juan (Usuario: leoberbue)

Definición de interbloqueo

2014-11-28T08:50:51Z

Leoberbue: /* Ejemplo */

También conocido como '''bloqueo mutuo''' o '''deadlock'''.

Es una espera circular permanente de dos o más procesos. Existen una serie de [[Condiciones para el interbloqueo y estrategias de resolución#condiciones|condiciones]] para que se produzca y una serie de [[Condiciones para el interbloqueo y estrategias de resolución#estrategias|estrategias]] para resolverlos.

* Ejemplo simple:

[[Archivo: Ssoo wiki.png]]

Se aprecian dos procesos (P1 y P2), cada uno con un recurso diferente asociado (R1 y R2). Llega un punto en el que el proceso P1 ha adquirido el recurso R1 y el proceso P2 ha adquirido el recurso R2 y cada proceso necesita el otro recurso. Este es el punto de interbloqueo.

Según [http://es.wikipedia.org/wiki/Edsger_Dijkstra Dijkstra], una configuración de procesos y recursos es '''estado seguro''' si a partir de ella podemos seguir ejecutando código, es decir, no se producen interbloqueos.

= Ejemplo =

El siguiente ejemplo ilustra el problema con semáforos.

Dados dos procesos P1 y P2 con el siguiente código, con semáforos '''x''' e '''y''' con contadores a 1:

<pre>P1 P2
-- --

while(1) { while(1) {
down(x); down(y);
acceso recurso_x(); acceso_recurso_y();
down(y); down(x);
acceso_recurso_y(); acceso_recurso_x();
up(y); up(x);
up(x); up(y);
} }
</pre>

El cronograma, suponiendo Round Robin con quantum de 3 unidades sería:

<pre>
X = El proceso pasa a estado bloqueado.
/ = El proceso pasa a estado preparado.
> = Fin de su ejecución
</pre>
<pre>
| #1| #2| #3| | | | #4| |
P1|---|---|---| | | |---X |
| | | | | | | | |
| | | | #1| #2| #3| | #4|
P2| | | |---|---|---| |---X
| | | | | | | | |
|___|___|___|___|___|___|___|___|
0 1 2 3 4 5 6 7 8
</pre>

En el que se puede ver la situación de interbloqueo.

Si repetimos con quantum 4:

<pre>
| #1| #2| #3| #4| | | #5| #6| #7| #1| | | | | #2| #3| #4| / | |
P1|---|---|---|---/ | |---|---|---|---/ | | | |---|---|---X | | |
| | | | | | | | | | | | | | | | | | | | |
| | | | | #1| #2| | | | | #3| #4| #5| #6| | | | #7| #1| #2|
P2| | | | |---|---X | / | |---|---|---|---/ | | |---|---|---X
| | | | | | | | | | | | | | | | | | | | |
|___|___|___|___|___|___|___|___|___|___|___|___|___|___|___|___|___|___|___|___|
0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20
</pre>

La condición de carrera se produce igualmente, pero más tarde.

--[[Usuario:Leoberbue|Leoberbue]] ([[Usuario discusión:Leoberbue|discusión]]) 16:50 25 nov 2014 (CET)

Subidas de notas

2014-11-25T15:52:39Z

Leoberbue:

Pérez Asién, Manuel (manperasi)

Rojas Fernández, Alberto (albrojfer1)

Poley González, Cristian (cripolgon)

González Tornay, Ángeles (anggontor1)

Viejo Morales, Francisco Javier (fraviemor)

Abadín Barrantes, Daniel José (danababar)

Manzano Rueda, Álvaro (alvmanrue)

Bernal Bueno, Leonardo Juan (leoberbue)

Definición de interbloqueo

2014-11-25T15:50:32Z

Leoberbue:

También conocido como '''bloqueo mutuo''' o '''deadlock'''.

Es una espera circular permanente de dos o más procesos. Existen una serie de [[Condiciones para el interbloqueo y estrategias de resolución#condiciones|condiciones]] para que se produzca y una serie de [[Condiciones para el interbloqueo y estrategias de resolución#estrategias|estrategias]] para resolverlos.

* Ejemplo simple:

[[Archivo: Ssoo wiki.png]]

Se aprecian dos procesos (P1 y P2), cada uno con un recurso diferente asociado (R1 y R2). Llega un punto en el que el proceso P1 ha adquirido el recurso R1 y el proceso P2 ha adquirido el recurso R2 y cada proceso necesita el otro recurso. Este es el punto de interbloqueo.

Según [http://es.wikipedia.org/wiki/Edsger_Dijkstra Dijkstra], una configuración de procesos y recursos es '''estado seguro''' si a partir de ella podemos seguir ejecutando código, es decir, no se producen interbloqueos.

'''Ejemplo:''' Dados los procesos P1 y P2, su código es el siguiente.

<pre>P1 P2
-- --

while(1){ while(1){
down(x); down(y);
acceso recurso_x(); acceso_recurso_y();
down(y); down(x);
acceso_recurso_y(); acceso_recurso_x();
up(y); up(x);
up(x); up(x);
} }
</pre>

Cronograma para los siguientes valores según planificación Round Robin:

q=3;
x=1;
y=1

<pre>
X = El proceso pasa a estado bloqueado.
/ = El proceso pasa a estado preparado.
> = Fin de su ejecución
</pre>
<pre>
| #1| #2| #3| | | | #4| |
P1|---|---|---| | | |---X |
| | | | | | | | |
| | | | #1| #2| #3| | #4|
P2| | | |---|---|---| |---X
| | | | | | | | |
|___|___|___|___|___|___|___|___|
0 1 2 3 4 5 6 7 8
</pre>

q=4;
x=1;
y=1

<pre>
| #1| #2| #3| #4| | | #5| #6| #7| #1| | | | | #2| #3| #4| / | |
P1|---|---|---|---/ | |---|---|---|---/ | | | |---|---|---X | | |
| | | | | | | | | | | | | | | | | | | | |
| | | | | #1| #2| | | | | #3| #4| #5| #6| | | | #7| #1| #2|
P2| | | | |---|---X | / | |---|---|---|---/ | | |---|---|---X
| | | | | | | | | | | | | | | | | | | | |
|___|___|___|___|___|___|___|___|___|___|___|___|___|___|___|___|___|___|___|___|
0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20
</pre>
--[[Usuario:Leoberbue|Leoberbue]] ([[Usuario discusión:Leoberbue|discusión]]) 16:50 25 nov 2014 (CET)