Wiki de Sistemas Operativos - Contribuciones del usuario [es]

Solución Ejercicio 1

2011-12-14T20:07:56Z

Jualopviz: /* Ejecutados = [P3] / Disponibles = [ 2 1 1 ] */

=Solucion=

==Solucion Visual==

[[Discusión:Solución_Ejercicio_1|Solución con tablas]] // [[Usuario:Migoligon|Migoligon]] 15:19 27 nov 2011 (UTC)

==Solución Texto==
Se sigue el algoritmo visto en clase:

1.Buscar un proceso cuya suma recAsig + recDisp >= recMax
2.Suponemos que se asignan dichos recursos y el proceso termina su ejecución.
Sumamos sus recursos al vector recDisp y añadimos el proceso a la lista de finalizados.
3.Repetir primer paso hasta terminar todos los procesos (siendo un estado estable)
o bien hasta el punto en el que no sea posible ninguna asignación de recursos,
existiendo pues interbloqueo.

Comprobamos si se puede ejecutar P1:

R1: recAsig=1 recDisp=1 --> recAsig + recDisp = 2 / recMax=1
¿recAsig+recDisp >= recMax? 2>=1 --> ok

R2: recAsig=1 recDisp=0 --> recAsig + recDisp = 1 / recMax=1
¿recAsig+recDisp >= recMax? 1>=1 --> ok

R3: recAsig=0 recDisp=1 --> recAsig + recDisp = 1 / recMax=2
¿recAsig+recDisp >= recMax? 1<2 --> No se puede ejecutar

Comprobamos si se puede ejecutar P2:

R1: recAsig=0 recDisp=1 --> recAsig + recDisp = 1 / recMax=0
¿recAsig+recDisp >= recMax? 1>=0 --> ok

R2: recAsig=0 recDisp=0 --> recAsig + recDisp = 0 / recMax=1
¿recAsig+recDisp >= recMax? 0<1 --> No se puede ejecutar

Comprobamos si se puede ejecutar P3:

R1: recAsig=1 recDisp=1 --> recAsig + recDisp = 2 / recMax=1
¿recAsig+recDisp >= recMax? 2>=1 --> ok

R2: recAsig=1 recDisp=0 --> recAsig + recDisp = 1 / recMax=1 ==> Dispone de los 3 recursos necesarios, por tanto
¿recAsig+recDisp >= recMax? 1>=1 --> ok se puede ejecutar.

R3: recAsig=0 recDisp=1 --> recAsig + recDisp = 1 / recMax=1
¿recAsig+recDisp >= recMax? 1>=1 --> ok

===== Ejecutados = [P3] / Disponibles = [ 2 1 1 ] =====

Comprobamos si se puede ejecutar P1 (Hay nuevos recursos disponibles,los liberados por P3):

R1: recAsig=1 recDisp=2 --> recAsig + recDisp = 3 / recMax=1
¿recAsig+recDisp >= recMax? 3>=1 --> ok

R2: recAsig=1 recDisp=1 --> recAsig + recDisp = 2 / recMax=1
¿recAsig+recDisp >= recMax? 2>=1 --> ok

R3: recAsig=0 recDisp=1 --> recAsig + recDisp = 1 / recMax=2
¿recAsig+recDisp >= recMax? 1<2 --> No se puede ejecutar

Comprobamos si se puede ejecutar P2 (Hay nuevos recursos disponibles,los liberados por P3):

R1: recAsig=0 recDisp=2 --> recAsig + recDisp = 2 / recMax=0
¿recAsig+recDisp >= recMax? 2>=0 --> ok

R2: recAsig=0 recDisp=1 --> recAsig + recDisp = 1 / recMax=1 ==> Dispone de los 3 recursos necesarios,por tanto
¿recAsig+recDisp >= recMax? 1>=1 --> ok se puede ejecutar.

R3: recAsig=1 recDisp=1 --> recAsig + recDisp = 2 / recMax=1
¿recAsig+recDisp >= recMax? 2>=1 --> ok

===== Ejecutados = [P3,P2] / Disponibles = [ 2 1 2 ]=====

Comprobamos si se puede ejecutar P1 (Hay nuevos recursos disponibles,los liberados por P2):

R1: recAsig=1 recDisp=2 --> recAsig + recDisp = 3 / recMax=1
¿recAsig+recDisp >= recMax? 3>=1 --> ok

R2: recAsig=1 recDisp=1 --> recAsig + recDisp = 2 / recMax=1 ==> Dispone de los 3 recursos necesarios,por tanto
¿recAsig+recDisp >= recMax? 2>=1 --> ok se puede ejecutar.

R1: recAsig=0 recDisp=2 --> recAsig + recDisp = 2 / recMax=2
¿recAsig+recDisp >= recMax? 2>=2 --> ok

===== Ejecutados = [P3,P2,P1] / Disponibles = [ 3 2 2 ] =====

Es una configuración de estado seguro ya que se ejecutan los 3 procesos sin dar lugar a interbloqueos.

Solución Ejercicio 1

2011-12-14T19:29:44Z

Jualopviz: /* Solución Texto */

=Solucion=

==Solucion Visual==

[[Discusión:Solución_Ejercicio_1|Solución con tablas]] // [[Usuario:Migoligon|Migoligon]] 15:19 27 nov 2011 (UTC)

==Solución Texto==
Se sigue el algoritmo visto en clase:

1.Buscar un proceso cuya suma recAsig + recDisp >= recMax
2.Suponemos que se asignan dichos recursos y el proceso termina su ejecución.
Sumamos sus recursos al vector recDisp y añadimos el proceso a la lista de finalizados.
3.Repetir primer paso hasta terminar todos los procesos (siendo un estado estable)
o bien hasta el punto en el que no sea posible ninguna asignación de recursos,
existiendo pues interbloqueo.

Comprobamos si se puede ejecutar P1:

R1: recAsig=1 recDisp=1 --> recAsig + recDisp = 2 / recMax=1
¿recAsig+recDisp >= recMax? 2>=1 --> ok

R2: recAsig=1 recDisp=0 --> recAsig + recDisp = 1 / recMax=1
¿recAsig+recDisp >= recMax? 1>=1 --> ok

R3: recAsig=0 recDisp=1 --> recAsig + recDisp = 1 / recMax=2
¿recAsig+recDisp >= recMax? 1<2 --> No se puede ejecutar

Comprobamos si se puede ejecutar P2:

R1: recAsig=0 recDisp=1 --> recAsig + recDisp = 1 / recMax=0
¿recAsig+recDisp >= recMax? 1>=0 --> ok

R2: recAsig=0 recDisp=0 --> recAsig + recDisp = 0 / recMax=1
¿recAsig+recDisp >= recMax? 0<1 --> No se puede ejecutar

Comprobamos si se puede ejecutar P3:

R1: recAsig=1 recDisp=1 --> recAsig + recDisp = 2 / recMax=1
¿recAsig+recDisp >= recMax? 2>=1 --> ok

R2: recAsig=1 recDisp=0 --> recAsig + recDisp = 1 / recMax=1 ==> Dispone de los 3 recursos necesarios, por tanto
¿recAsig+recDisp >= recMax? 1>=1 --> ok se puede ejecutar.

R3: recAsig=0 recDisp=1 --> recAsig + recDisp = 1 / recMax=1
¿recAsig+recDisp >= recMax? 1>=1 --> ok

===== Ejecutados = [P3] / Disponibles = [ 2 1 1 ] =====

Comprobamos si se puede ejecutar P1 (Hay nuevos recursos disponibles,los liberados por P3):

R1: recAsig=1 recDisp=2 --> recAsig + recDisp = 3 / recMax=1
¿recAsig+recDisp >= recMax? 3>=1 --> ok

R2: recAsig=1 recDisp=1 --> recAsig + recDisp = 2 / recMax=1
¿recAsig+recDisp >= recMax? 2>=1 --> ok

R1: recAsig=0 recDisp=1 --> recAsig + recDisp = 1 / recMax=2
¿recAsig+recDisp >= recMax? 1<2 --> No se puede ejecutar

Comprobamos si se puede ejecutar P2 (Hay nuevos recursos disponibles,los liberados por P3):

R1: recAsig=0 recDisp=2 --> recAsig + recDisp = 2 / recMax=0
¿recAsig+recDisp >= recMax? 2>=0 --> ok

R2: recAsig=0 recDisp=1 --> recAsig + recDisp = 1 / recMax=1 ==> Dispone de los 3 recursos necesarios,por tanto
¿recAsig+recDisp >= recMax? 1>=1 --> ok se puede ejecutar.

R2: recAsig=1 recDisp=1 --> recAsig + recDisp = 2 / recMax=1
¿recAsig+recDisp >= recMax? 2>=1 --> ok

===== Ejecutados = [P3,P2] / Disponibles = [ 2 1 2 ]=====

Comprobamos si se puede ejecutar P1 (Hay nuevos recursos disponibles,los liberados por P2):

R1: recAsig=1 recDisp=2 --> recAsig + recDisp = 3 / recMax=1
¿recAsig+recDisp >= recMax? 3>=1 --> ok

R2: recAsig=1 recDisp=1 --> recAsig + recDisp = 2 / recMax=1 ==> Dispone de los 3 recursos necesarios,por tanto
¿recAsig+recDisp >= recMax? 2>=1 --> ok se puede ejecutar.

R1: recAsig=0 recDisp=2 --> recAsig + recDisp = 2 / recMax=2
¿recAsig+recDisp >= recMax? 2>=2 --> ok

===== Ejecutados = [P3,P2,P1] / Disponibles = [ 3 2 2 ] =====

Es una configuración de estado seguro ya que se ejecutan los 3 procesos sin dar lugar a interbloqueos.

Planificador de procesos

2011-10-22T20:38:16Z

Jualopviz: /* ¿Qué es el planificador de procesos? */

= ¿Qué es el planificador de procesos? =

El planificador de procesos (''process scheduler'', en inglés) es la parte del sistema operativo que se encarga de seleccionar a qué proceso se asigna el recurso procesador y durante cuánto tiempo.

= ¿Qué funciones tiene el planificador de procesos? =

El planificador de procesos tiene como funciones principales:

* Llevar el control del estado de cada proceso.
* Decidir qué proceso usará el procesador y durante cuanto tiempo, para ello empleará un cierto criterio en base al cual tomará las decisiones. Si implementa multiprogramación, deberá emplear un criterio que evite que un proceso monopolice el procesador.
* Asignar el procesador al proceso, restableciendo el contexto de la ejecución del proceso por donde fuere.
* Retirar el procesador al proceso, salvando el contexto de la ejecución del proceso, para poder restablecerlo posteriormente una vez que vuelva a ser asignado.

El planificador de procesos es software, por tanto, requiere emplear el recurso procesador para ejecutar su código.

= Ejemplo =

Para la siguiente configuración de procesos:

* Proceso Pa: Llega en el instante de tiempo 0. Realiza una llamada al sistema bloqueante cada 1 unidad de tiempo, la operación bloqueante se resuelve tras 2 unidades de tiempo. Para finalizar su ejecución requiere 4 unidades de ejecución.
* Proceso Pb: Llega en el instante de tiempo 1. Para finalizar su ejecución requiere 4 unidades de ejecución.
* Suponga que el proceso Pa tiene mayor prioridad que el proceso Pb, por tanto, el planificador debe de dejar paso al proceso Pa siempre que éste esté en estado preparado.

La evolución de la asignación del procesador que realizaría el planificador es la siguiente:

[[Archivo:Procesos.jpg]]

En este ejercicio, podemos decir que el proceso Pa muestra un comportamiento '''interactivo''', ya que bloquea mucho, mientras que el proceso Pb muestra es un proceso '''por lotes''', ya que emplea el procesador hasta que el planificador se lo retira.

Estados de los procesos

2011-10-22T20:09:24Z

Jualopviz: /* Diagrama de estados simplificado */

Todo proceso en un sistema operativo presenta un estado que indica la situación de la ejecución en que se encuentra. El número de posibles estados varía de un sistema operativo a otro.

= Diagrama de estados simplificado =

Consideramos que todo proceso puede estar, como mínimo, en uno de los siguientes tres estados:

* '''Activo''': el proceso está empleando la CPU, por tanto, está ejecutándose. Pueden haber tantos procesos activos como procesadores haya disponibles. Por tanto, si el sistema dispone de un único procesador, únicamente puede haber un proceso activo a la vez.
* '''Preparado''': el proceso no está ejecutándose pero es candidato a pasar a estado activo. Es el planificador el que, en base a un criterio de planificación, decide qué proceso selecciona de la lista de procesos preparados para pasar a estado activo.
* '''Bloqueado''': el proceso está pendiente de un evento externo que le ha hecho bloquear, tales como una operación de lectura/escritura, la espera de finalización de un proceso hijo, una señal o una operación sobre un semáforo. El dispositivo/hecho externo "avisa" al S.O. cuando ha terminado la acción que realizaba mediante una INTERRUPCIÓN, dejando el S.O. lo que está haciendo para atender a esta última. Tras esto, el S.O. comprueba cuales son los procesos que fueron bloqueados por ese evento externo, cambiándolos al estado de preparado.

[[Archivo:SSOO2.jpg]]

La transición de activo a preparado y viceversa depende de decisiones tomadas por el '''planificador del sistema operativo''' en base a un cierto criterio. La transición de activo a bloqueado, y de bloqueado a preparado puede inducirlas el programador mediante llamadas al sistema.

Hay tres posibles situaciones en las que se ejecutará el planificador del sistema operativo:
* El proceso que se encuentra en el estado activo hace una llamada al sistema que, por su naturaleza, resulta en una transición al estado bloqueado. Este es el caso de las llamadas read(), write(), wait(), pause(), entre muchas otras. Al pasar a estado bloqueado, se invoca al planificador para que decida que otro proceso se asignará al procesador.
* Si el proceso que se encuentra en el estado activo excede el tiempo máximo de asignación, en caso de que lo hubiere.
* Si el proceso que hasta ese momento se encontraba en estado activo termina de ejecutar su código.

Además, algunos sistemas operativos disponen de un estado terminado en el que los procesos pasan antes de terminar su ejecución.

En el caso del núcleo de Linux, existen tres tipos de estados bloqueado y dos estados terminado: http://www.ibm.com/developerworks/linux/library/l-task-killable/