Resumen de Sistemas Operativos

Basado en el Stallings 4ta y 5ta edicin Espaol

Captulo: Procesos
Concepto de Proceso
Informalmente un proceso es un programa en ejecucin. Es la unidad de ejecucin ms pequea planificable.
Un proceso est formado por 3 componentes:
Un programa ejecutable.
Datos asociados necesarios para el programa (variables, espacio de trabajo, buffers, etc.).
Contexto de ejecucin o estado del proceso (contenido en el PCB).
El contexto de ejecucin o estado del proceso es el componente ms esencial, ya que incluye toda la
informacin que el SO necesita para administrar el proceso y que el procesador necesita para ejecutarlo
correctamente.
Proceso vs Programa
Proceso como entidad activa y dinmica (asignacin dinmica de memoria)

Programa entidad pasiva y esttica.

Un programa se convierte en un proceso cuando se carga en memoria su archivo ejecutable.

La relacin entre proceso y programa no es de uno a uno. Es decir dentro de un proceso pueden ejecutarse tanto
un programa de usuario como uno del sistema operativo.
Proceso en Memoria

Pgina 1 de 70

Pila del proceso Datos temporales (Direcciones de retorno, parmetros de funciones, variables
locales)
Memoria (HEAP) Cumulo de memoria. Es la memoria que se le asigna dinmicamente al proceso en
tiempo de ejecucin.
Seccin de datos Variables Globales.
Seccin de Texto Cdigo del programa.

Bloque de Control de Proceso (PCB)

Cada proceso se representa en el SO mediante un bloque de control de proceso. Este contiene un conjunto de
atributos utilizados por el SO para el control/administracin del proceso.
La informacin contenida en el PCB se puede agrupar en 3 categoras:
1. Identificacin del proceso
Identificador del proceso. Identificador del proceso Padre. Identificador del usuario.
2. Informacin de estado del procesador
Registros de CPU: contador del programa, cdigos de condicin (acarreo, signo, cero,
desbordamiento, igualdad) e Informacin de estado (incluye habilitacin/inhabilitacin de
interrupciones y modo de ejecucin). Esta informacin de los registros debe guardarse, junto con el
contador del programa, cada vez que se interrumpe el proceso para que pueda restaurarse cuando el
proceso reanude su ejecucin.
Nota: PSW (Palabra de estado del programa). Conjunto de registros que contienen la informacin de
estado.
Nota: El contador del programa contiene la direccin de la siguiente instruccin que va a ejecutar el
proceso.
3. Informacin de control del proceso
Informacin de planificacin de CPU (prioridad del proceso, etc.). Informacin de gestin de
memoria. Informacin contable (uso de CPU, etc.). Informacin del estado de E/S (lista de archivos
abiertos, dispositivos de E/S asignados al proceso, etc.).
El PCB es la estructura ms importante del SO. El conjunto de PCBs define el estado del SO.
El PCB es parte de la imagen del proceso (Datos de usuarios, programa de usuario, pila del sistema y PCB). La
ubicacin de la imagen del proceso depende del esquema de gestin de memoria utilizado. En particular, en
sistemas que utilizan memoria virtual, toda la imagen de un proceso activo est siempre en memoria secundaria.
Cuando una imagen se carga en memoria principal, esta se copia en vez de moverse.
Pgina 2 de 70

Control de procesos
Se utilizan 2 modos de ejecucin:
Modo Usuario No se permite la ejecucin de instrucciones privilegiadas. El intento de ejecucin de
una instruccin privilegiada en este modo produce una excepcin.

Modo Kernel Permite ejecucin de instrucciones privilegiadas (llamadas al sistema, tratamiento de

interrupciones, asignacin de espacio de memoria a los procesos, etc.)

La razn por la que se usan estos 2 modos, se debe a que es necesario proteger al SO y a las estructuras del
mismo, como los PCB, de las injerencias de los programas de usuarios.
Nota: Cmo sabe el procesador en qu modo va a ejecutar? Hay un bit en el PSW (Palabra de estado del
programa) que indica el modo de ejecucin.
Nota: Cmo se cambia de modo? El bit cambia como respuesta a ciertos sucesos. El control se encuentra
inicialmente en manos del SO (modo Kernel). Cuando se da el control a una aplicacin de usuario se pasa a
modo usuario. El control finalmente se tiene que devolver al SO a travs de una excepcin o interrupcin.
Cambio de Proceso, Cambio de Contexto y Cambio de Modo
Cambio de proceso Cambio del uso de la CPU de un proceso de otro.
Cambio de contexto Cuando un proceso pasa de memoria a CPU o de CPU a memoria.
Cambio de modo Cuando se cambia de modo Kernel a modo usuario o viceversa.
Cambio de Proceso

Cambio de
contexto

Cada vez que se produce una interrupcin o llamada al sistema, se debe guardar el estado del proceso que se
est ejecutando para luego poder reanudar la ejecucin. Se trata la interrupcin o llamada al sistema y luego se
carga nuevamente un PCB. Este puede ser el PCB del proceso que se estaba ejecutando u el PCB de otro
proceso.
Por lo tanto, un cambio de proceso, implica inevitablemente un cambio de contexto. En cambio, un cambio de
contexto no implica siempre un cambio de proceso, ya que se puede volver a cargar el proceso que se estaba
ejecutando.
Pgina 3 de 70

Un cambio de contexto NO involucra siempre un cambio de modo.

Un cambio de modo NO involucra siempre un cambio de contexto. Se puede cambiar el modo sin cambiar el
estado del proceso (pgina 134 del Stallings).
Esto se debe a que se puede ejecutar casi todo el software del SO en el contexto de un programa de usuario (el
SO se ejecuta dentro del proceso de usuario). Esto sirve para recordar que hay una distincin entre el concepto
de programa y proceso y que la relacin entre los 2 no es de uno a uno. Es decir dentro de un proceso pueden
ejecutarse tanto un programa de usuario como uno del sistema operativo y los programas del SO que se ejecutan
en los diferentes procesos de usuarios son idnticos.

Explicacin de este enfoque: Cuando se produce una interrupcin, se salva el contexto de procesador y
tiene lugar un cambio de modo hacia una rutina del SO. Sin embargo, la ejecucin contina dentro del
proceso de usuario en curso. De esta manera no se ha llevado a cabo un cambio de proceso (y por ende
de contexto), sino un cambio de modo dentro del mismo proceso. Debido al cambio de modo usuario a
modo Kernel, el usuario no puede entrometerse ni estorbar en las rutinas del SO, aun cuando estas estn
ejecutndose en el entorno de proceso de usuario. Cuando el SO termina su trabajo, determina que el
proceso en curso debe continuar ejecutndose, entonces un cambio de modo continua el programa
interrumpido del proceso en curso (aunque puede determinar cambiar el proceso).
Ventaja de este enfoque: Un programa de usuario se interrumpe para emplear alguna rutina del SO,
luego se reanuda y todo se produce SIN LA PENALIZACIN DE 2 CAMBIOS DE PROCESO (sacar
el proceso en ejecucin, cargar la rutina del SO, sacar la rutina del SO, reanudar/ejecutar un proceso
de usuario).

Observacin: Otro enfoque trata al SO como entidad separada que opera en modo privilegiado. El concepto de
proceso se aplica solo a los programas de usuario.
Nota: Cundo se puede producir un cambio de proceso? En cualquier momento en el que el SO haya tomado el
control a partir del proceso que est actualmente ejecutndose. Los sucesos que pueden darle el control al SO
son:

Interrupcin Hardware externa: originada por algn tipo de suceso que es externo e independiente del
proceso que est ejecutndose. Interrupcin de E/S, Interrupcin de reloj.

Interrupcin Hardware interna (Excepciones): causada por una condicin de error generada dentro del
proceso que est ejecutndose (divisin por 0, el desbordamiento, el acceso a una posicin de memoria
no permitida, acceso ilegal a un archivo, etc.) o por condiciones anmalas (Fallo de pgina, etc.)

Interrupcin Software (Llamadas al sistema): Generadas por el programa en ejecucin. Llamadas al

Pgina 4 de 70

sistema para que el SO ejecute instrucciones privilegiadas en nombre del programa.

Nota: Sobre el cambio de modo. Cada vez que se produce una interrupcin: Se salva e contexto del programa
que est ejecutndose. Se asigna al contador del programa la direccin del programa de tratamiento de la
interrupcin. Finalmente cambia de modo de usuario a modo Kernel para poder ejecutar las instrucciones
privilegiadas del programa de la interrupcin.
Nota: Que constituye salvar el contexto del programa? Se debe salvar cualquier informacin que pueda
alterarse por la ejecucin de la rutina de tratamiento de la interrupcin y todo lo necesario para reanudar el
programa interrumpido (Debe salvarse la parte del PCB que se denomina Informacin de estado del
procesador).
Modelo de 7 estados
La principal tarea del SO es controlar la ejecucin de los procesos

Cada uno de los procesos de los procesos puede estar en uno de los siguientes estados:
1. Nuevo el proceso se acaba de crear, pero an no es admitido por el SO como proceso ejecutable (an
no est cargado en la MP. Se mantiene en MS).
2. Listo el proceso est preparado para poder ejecutarse (en MP y listo para ejecutarse).
3. Ejecutando el proceso est actualmente en ejecucin
4. Bloqueado el proceso no se puede ejecutar hasta que se produzca cierto suceso (en MP esperando un
suceso)
Pgina 5 de 70

5. Terminado por alguna razn el SO saco al proceso del grupo de procesos ejecutables.
6. Bloqueado y suspendido el proceso est en MS esperando un suceso.
7. Listo y suspendido el proceso est en MS pero est disponible para su ejecucin tan pronto que se
cargue en MP
Nota: MP (Memoria Principal), MS (Memoria Secundaria).
La figura indica los tipos de sucesos que producen cada transicin de estados para un proceso. Algunas
aclaraciones:

Nulo Nuevo: Las razones para la creacin de un proceso son, Trabajo por lotes, Conexin interactiva
(el usuario crea un proceso desde un terminal), el SO crea un proceso para dar un servicio y un proceso
crea otro proceso.

Ejecucin Varios: Por espera de un suceso, por fin de Quantum, Yield (proceso que sede
voluntariamente el procesador y fin de proceso.
Importante: Un proceso puede pasar de Ejecucin Listo, nicamente, si abandona
involuntariamente la CPU (Preemptive /Apropiativo /Con desalojo), ya sea por una Interrupcin
de Reloj o porque se pas a preparado un otro proceso con mayor prioridad.
Si la planificacin es Non-Preemptive/ No Apropiativo / sin desalojo) el proceso se ejecuta hasta
que termina o hasta que tenga que hacer una E/S (pasa a bloqueados), por lo que NO es posible
que un proceso pase del estado en ejecucin a listo.

Varios Terminado: Un proceso puede terminar en cualquier momento. Por eso estn las transiciones
de Listo a Terminado, Bloqueado a Terminado, etc.

Bloqueados: Es conveniente tener una cola de bloqueados por cada suceso, ya que si hay 1 sola cola de
bloqueados, el SO debera recorrer toda la lista en busca de aquellos procesos que esperaban que ocurra
el suceso. En cambio, si se tiene una cola por suceso, directamente la lista entera del suceso puede pasar
al estado de listo.

Procesos Suspendidos (Necesidad del intercambio)

1. Por ms que haya multiprogramacin (varios procesos en MP), el procesador podra estar desocupado la
mayor parte del tiempo. Esto se debe a que el procesador es mucho ms rpido que cualquier operacin
de E/S, lo cual podra generarse una situacin en que todos los procesos estn en estado bloqueado y el
Pgina 6 de 70

procesador no tenga proceso para ejecutar.

Una solucin a este problema, es el intercambio (swap), que significa mover una parte del proceso o
todo el proceso de la MP a MS. De esta manera se baja el grado de multiprogramacin, permitiendo el
ingreso de un nuevo proceso listo para ejecutar (depende del diseo se puede traer un Nuevo proceso o
uno Suspendido y listo). Por lo general se suspende aquel proceso bloqueado que hace tiempo esta
esperado un suceso.
2. Otros motivos de suspensin: cambios en los requisitos de memoria, para mejorar la estabilidad del
sistema, el proceso puede ser causante de un problema, por solicitud del proceso padre, por solicitud de
un usuario, un proceso temporal que se ejecuta cada cierto tiempo, etc.
Nota: El intercambio, en s, es una operacin de E/S a disco por lo que existe la posibilidad de que el problema
empeore e vez de mejorar (aunque la E/S de disco es la ms rpida del sistema y por lo general suele mejorar
el rendimiento).
Importante: Incluso en un sistema de Memoria Virtual, el SO siempre tendr que expulsar de vez en cuando
algunos procesos, de forma explcita y completa (mediante intercambio), con el objetivo de mejorar el
rendimiento, ya que el rendimiento de un sistema de memoria virtual puede desplomarse si hay un nmero
suficientemente grande de procesos activos.

Pgina 7 de 70

Capitulo: Planificacin de la CPU

Casi todos los recursos de la PC se planifican antes de usarlos. La CPU, es uno de los principales recursos de la
PC, as que su correcta planificacin resulta crucial en el diseo del SO.
La clave de la multiprogramacin est en la planificacin (varios procesos en MP para optimizar el uso de
CPU), ya que en s, la planificacin es una gestin de las colas que minimice el tiempo de espera, de
respuesta y de ejecucin y maximice el rendimiento del entorno (uso de CPU y tasa de procesamiento).
Planificadores del Procesador
PLP (Planificador de largo plazo): Determina el grado de multiprogramacin (cuantos procesos pueden
estar en MP). A su vez debe lograr la estabilidad del sistema (un equilibrio entre procesos CPU BOUND
e IO BOUND).

PMP (Planificador de Mediano plazo): Controla el grado de multiprogramacin. Encargado de realizar

el intercambio (swap) para baja el grado de multiprogramacin.

PCP (Planificador de corto plazo): Controla el grado de multiprocesamiento (cantidad de procesos que
se puede estar ejecutando a la vez). Encargado de determinar qu proceso se va a ejecutar. Tambin
conocido como distribuidor (dispatcher).

PELP (Planificador extra largo plazo): En base a un histrico de procesos ejecutados puede cambiar el
algoritmo de planificacin o el grado de multiprogramacin.

Nota: Los nombres de los planificadores hacen referencia a la frecuencia con la que estas funciones se ejecutan.
Pgina 8 de 70

Algoritmos de planificacin a corto plazo

El planificador a corto plazo se ejecuta cuando se produce:
1. Llamada al sistema (Ejecucin Espera).
2. Interrupcin de Reloj (Ejecucin Preparado).
3. Interrupcin de E/S (Espera Preparado).
4. Terminacin del proceso (Ejecucin Terminado).
Nota:
Cuando la planificacin solo tiene lugar en las situaciones 1 y 4, se dice que el esquema de planificacin
es Non-Preemptive / No Apropiativo / Sin Desalojo / Cooperativo ya que el SO no tiene la capacidad
de quitarle la CPU al proceso hasta que este termine o ceda voluntariamente la CPU con una llamada al
sistema.
Si la planificacin tambin tiene lugar en las situaciones 2 y 3, se dice que el esquema de planificacin
es Preemptive / Apropiativo / Con Desalojo ya que el SO tiene la capacidad de quitarle la CPU al
proceso mediante un fin de quantum o debido a que paso a preparado un proceso con ms prioridad que
el proceso que se est ejecutando.
Los diferentes algoritmos de planificacin de la CPU tienen distintas propiedades y la eleccin de un algoritmo
en particular puede favorecer a una clase de procesos sobre otros. Los criterios son los siguientes:

Rendimiento / Tasa de procesamiento (): Cantidad de procesos que se procesan por unidad de tiempo.
Utilizacin de la CPU (throughput) (): No desperdiciar el uso de la CPU.

Tiempo de espera (waiting time) (): Tiempo que un proceso tarda en ejecutarse (tiempo que est en la
cola de listos).
Tiempo de respuesta (response time) (): Tiempo desde que el procesador se pone en la cola de listos

hasta que genera una E/S.

Minimizar la varianza del tiempo de respuesta, significa que si se vuelve a ejecutar el mismo proceso, su
tiempo de respuesta debera ser el mismo. Esto es una diferencia con Minimizar el promedio del tiempo
de respuesta. En sistemas interactivos conviene minimizar la varianza del tiempo de respuesta (ya que el
tiempo de respuesta es predecible. Siempre tarda lo mismo).

Tiempo de Retorno (turnaround time) (): Tiempo que tarda un proceso de pasar de listo terminado
(es el tiempo total que est en el sistema).

Nota: Maximizar () / Minimizar ()

Los algoritmos de planificacin a corto plazo son:
Pgina 9 de 70

1.
2.
3.
4.
5.
6.

FCFS
SJF
Por Prioridades
Por Turnos (RR, round robin)
Colas Multinivel
Colas Multinivel Realimentadas

Planificacin FCFS (Sin desalojo)

Primero en llegar, primero en ser atendido.
Ventajas:
No se producen muertes por inanicin.
Desventajas:

Tiempo de espera medio largo y se modifica notablemente segn el orden en que lleguen los
procesos.

Problemtico para sistemas de tiempo compartido por no ser con desalojo.

Rinde mejor con procesos CPU bound que con I/O bound. Puede provocar un uso ineficiente de
la CPU y de los dispositivos de E/S.
Efecto convoy: muchos procesos I/O bound esperan mucho tiempo a que un proceso CPU bound
se termine de ejecutar. Esto hace que la utilizacin de la CPU y los dispositivos sea menor que si
se ejecutar primero los I/O bound.

Planificacin SJF (Sin desalojo o Con Desalojo)

Primero ejecuta el ms corto (Ordena por la siguiente rfaga de CPU ms corta). Si 2 procesos tienen la misma
rfaga de CPU, se desempata por FCFS.
Ventajas:
Tiempo de espera medio disminuye y se mantiene por ms que cambie el orden de llegada de los
procesos.
Desventajas:

Se puede producir muerte por Inanicin.

Mucho OVERHEAD. No se puede saber cul es la siguiente rfaga de CPU. Solo se puede
aproximar, lo que requiere de clculos extras.
Se usa frecuentemente como mecanismo de planificacin a largo plazo.
Pgina 10 de 70

SJF en s, es un algoritmo por prioridades Cuanto ms larga sea la rfaga de CPU, menor prioridad
Tiempo estimado de la prxima Rfaga Tn+1 = Tn. + Rn (1 ) siendo 0 1
Tn tiempo estimado de la rfaga anterior
Rn tiempo real de la rfaga anterior
Si tiende a 0 se le da poca bola al estimado anterior. Si tiende a 1 poca bola al real anterior.
Observacin: SPN sin desalojo, SRT con desalojo.
Observacin: SRT a diferencia de RR no genera interrupciones adicionales. Tambin debera devolver un mejor
tiempo de retorno ya que atiende inmediatamente a los procesos de menor duracin.
Planificacin por Prioridades (Sin desalojo o Con Desalojo)
Primero se atiende el de mayor prioridad. Se asume que 0 es la prioridad ms alta.
Ventajas:
Tiempo de espera medio disminuye y se mantiene por ms que cambie el orden de llegada de los
procesos.
Desventajas:

Se puede producir muerte por Inanicin.

Se puede solucionar la muerte por Inanicin aplicando un mecanismo de envejecimiento. Se
aumenta gradualmente la prioridad de los procesos que estn esperando en el sistema durante
mucho tiempo.

Planificacin HRRN (Sin desalojo)

Primero el de mayor tasa de respuesta. (Basado en prioridades)
Tasa de Respuesta R = W + S / S
Siendo W tiempo de espera y S tiempo de rfaga esperado.
Cuanto mayor R, mayor prioridad
Tiene en cuenta la edad del proceso (por W, tiempo de espera). Por lo tanto elimina el problema de inanicin.
Planificacin RR (Con desalojo)
Igual que FCFS pero con desalojo por fin de quantum.
Si Q es muy grande: Termina siendo igual que FCFS
Si Q es muy chico: Produce mucho OVERHEAD.
Importante:
Ante simultaneidad de evento se atiende primero:
Pgina 11 de 70

1.
2.
3.
4.

Excepcin
Interrupcin Q
Interrupcin E/S
Llamada al sistema

Anexo: Procesos y Planificacin

Verdaderos y Falsos de Final
1. El algoritmo HRRN es ms equitativo y justo que SJF.
Verdadero. En SJF los procesos pueden morir por inanicin debido a que solamente le da prioridad al
proceso que tenga la siguiente rfaga de CPU ms corta. En cambio, HRRN le da prioridad a los
procesos ms cortos, pero tambin tiene en cuenta la edad de los procesos segn el tiempo que lleva
en espera (por su frmula)

Pgina 12 de 70

Capitulo: Hilos
Un hilo es un proceso ligero. Un proceso ahora est compuesto por uno o ms hilos. Cada hilo puede realizar
una tarea.
Proceso Monohebra vs Miltihebra

En un modelo multihilo:
Los hilos de un mismo proceso comparten el cdigo, datos y los recursos del proceso (comparten
el mismo espacio de direcciones).

Cada hilo tiene su propia pila y su bloque de control de hilo (adems del bloque de control de
proceso).

Ventajas de los hilos

Sus beneficios se derivan de las implicaciones de rendimiento:
1. Economa: Se consume mucho menos tiempo en crear/finalizar y realizar cambios entre hilos debido a
que comparten recursos del proceso al que pertenecen. (PRINCIPAL VENTAJA DE LOS HILOS).
2. Compartir recursos: Permite que una aplicacin tenga varios hilos que realizan una actividad diferente
dentro del mismo espacio de memoria.
3. Capacidad de respuesta: Una aplicacin puede realizar varias tareas a la vez e inclusive seguir
ejecutndose aunque parte de ella este bloqueada.
4. Utilizacin de multiprocesador: Las hebras pueden ejecutarse en paralelo en cada procesador
Pgina 13 de 70

incrementando el grado de concurrencia.

5. Los hilos de un mismo proceso pueden comunicarse ente si, sin invocar al ncleo.
Estado de un proceso
Ejecucin, listo y bloqueado. No tiene sentido asociar estados de suspensin ya que pertenece al concepto de
proceso.
Hilos a nivel de usuario vs Hilos a nivel del ncleo
En una aplicacin ULT:
La gestin de hilos la realiza la aplicacin (biblioteca de hilos). El ncleo no es consciente de la
existencia de hilos (el SO solamente ve un proceso con un hilo, no sabe de la existencia de hilos).
Por defecto un proceso comienza su ejecucin con un nico hilo cuyo proceso es gestionado por el SO.
El proceso puede crear un nuevo hilo que se ejecuta dentro del mismo proceso. La creacin se lleva a
cabo por la biblioteca de hilos. La planificacin de los hilos tambin est a cargo de la biblioteca de
hilos. Cuando el control pasa a la biblioteca, se salva el contexto del hilo actual, que se restaura cuando
el control pasa de la biblioteca al hilo.
Todas las operaciones descriptas, se llevan a cabo en el espacio de usuario dentro de un mismo proceso.
El ncleo no tiene conocimientos de ellas. El ncleo contina planificando el proceso como una nica
unidad y asignndole un nico estado.

Si un hilo realiza una llamada al sistema, se bloquea todo el proceso (la biblioteca el SO, el ULT sigue
ejecutando, por lo tanto cuando el proceso vuelve a ejecutar, sigue ejecutando el mismo ULT). Lo
mismo pasa si al proceso se le acaba el quantum de tiempo, para la biblioteca, el hilo que estaba
corriendo, sigue en estado ejecutando (aunque verdaderamente no est haciendo uso de la CPU). Cuando
el SO le devuelve a CPU al proceso, continua en ejecucin el hijo que estaba ejecutando antes de que se
bloqueara el proceso.

Si un hilo A solicita a otro hilo B del mismo proceso que realice alguna accin. El hilo A se pone en
bloqueado y el hilo B pasa a Ejecutando. Importante darse cuenta que el paso de un proceso a otro, lo
realiza la biblioteca de hilos y que el proceso sigue en estado ejecutando.

Ventajas de los ULT:

El intercambio de hilos no necesita de los privilegios del modo Kernel, por estos comparten el espacio
de direcciones de usuario de un mismo proceso. NO se necesitan 2 cambios de modo: de usuario a
Kernel y de Kernel a usuario.

Planificacin especifica cada aplicacin planifica sus hilos mediante la biblioteca de hilos segn le
convenga.
Pgina 14 de 70

Los ULT pueden ejecutarse en cualquier SO. No es necesario realizar cambios en el ncleo subyacente.

Desventajas de los ULT:

La mayora de las llamas al sistema son bloqueantes, por cual cada vez que un ULT realiza una llamada
al sistema, bloquea todo el proceso.

No aprovecha el multiprocesamiento. El SO puede asignar un solo proceso a un solo procesador cada

vez. Por lo tanto se puede ejecutar un hilo de cada proceso en cada instante.

Nota: se puede solucionar mediante la tcnica de jacketing (recubrimiento) que convierte una llamada
bloqueadora en una llamada no bloqueadora.
En una aplicacin KLT:
El SO conoce la existencia de los hilos y se encarga de realizar la gestin de los mismos.
Ventajas de los KLT:
Resuelve los problemas de los ULT:
Si se bloquea uno de los hilos, no bloquea a todo el proceso. El ncleo puede planificar otro hilo del
mismo proceso.

Aprovecha el multiprocesamiento. El SO puede planificar diferentes hilos de un mismo proceso en

diferentes procesadores.

Desventaja de los KLT:

El cambio de un hilo a otro requiere de cambio de modo.

Tipo de relacin entre los ULT y KLT

Muchos a uno: mltiples hilos de usuario a uno de Kernel. Desventaja que no hay concurrencia ya que 1
solo hilo ULT puede acceder al ncleo a la vez (no hay multiprocesamiento). Adems una llamada
bloqueante bloquea a todo el proceso.

Uno a Uno: Soluciona los 2 problemas de Muchos a uno, aunque el problema es que por cada UTL hay
que crear un KLT, por lo puede repercutir en el rendimiento. Se debe restringir el nmero de hilos
soportados por el sistema.

Muchos a Muchos: Soluciona el problema de uno a uno.

Pgina 15 de 70

Capitulo: Concurrencia (exclusin Mutua y Sincronizacin)

La concurrencia es fundamental en la:
Multiprogramacin
Multiprocesamiento

Procesamiento distribuido (gestin de varios procesos, ejecutndose en sistemas de computadores

mltiples y distribuidos).

La concurrencia comprende un gran nmero de cuestiones de diseo del SO como es la comparticin de

recursos, comunicacin entre procesos, asignacin de recursos a los procesos, etc.
Principios generales de la Concurrencia
En un sistema multiprogramado con un nico procesador, los procesos se intercalan en el tiempo para dar la
apariencia de ejecucin simultnea, a diferencia de un sistema multiprocesamiento en el que consigue
procesamiento paralelo real.
Aunque intercalacin y superposicin representen formas de ejecucin diferente, ambas tcnicas pueden
contemplarse como ejemplos de procesamiento concurrente y ambas plantean los mismos problemas.
Las dificultades que presenta la concurrencia son:
1. Compartir recursos globales est lleno de riesgos. Si dos procesos hacen uso al mismo tiempo del
mismo recurso, el orden en que se ejecuten las lecturas y escrituras, es crtico.
2. Es difcil gestionar la asignacin ptima de recursos.
3. Resulta difcil localizar un error de programacin.
El problema de concurrencia se presenta en la multiprogramacin debido a que una interrupcin puede detener
la ejecucin de instrucciones de un proceso en cualquier momento y dar lugar a otro sin que este all finalizado.
En el caso de un sistema multiprocesador, se tiene la misma condicin y adems el problema puede ser causado
por 2 procesos que se estn ejecutando simultneamente y que intenten ambos acceder a la misma variable
global (Recordemos que la velocidad relativa de ejecucin de los procesos es impredecible.)
Sin embargo, la solucin al problema de la concurrencia para ambos tipos de sistemas es la misma:
CONTROLAR EL ACCESO AL RECURSO COMPARTIDO.
Moraleja:
La exigencia bsica para soporta la concurrencia de procesos es la posibilidad de hacer cumplir la exclusin
mutua, es decir la capacidad de prohibir a los dems procesos realizar una accin cuando un proceso haya
obtenido el permiso (un solo proceso puede hacer uso de la regin critica a la vez)
Pgina 16 de 70

Nota:
Un sistema operativo no Apropiativo est esencialmente libre de condiciones de carrera en lo que respecta a
las estructuras de datos del Kernel (ejemplo: lista de todos los archivos abiertos) ya que hay solo 1 proceso
activo en el Kernel en cada momento.
Interaccin ente procesos
Los procesos que se ejecutan concurrentemente pueden ser procesos independientes o procesos cooperativos:

Procesos independientes Aquel que NO puede afectar o verse afectado por los restantes procesos que
se encuentran en el sistema. Cualquier proceso que NO comparte datos con ningn otro proceso es un
proceso independiente.

Procesos cooperativos Aquel que puede afectar o verse afectado por los restantes procesos que se
encuentran en el sistema. Cualquier proceso que comparte datos con otros procesos es un proceso
cooperativo. Los procesos cooperativos pueden compartir un espacio de memoria directamente
(cooperacin por compartimiento) o compartir datos solo a travs de archivos o mensajes (cooperacin
por comunicacin). El primer caso se consigue mediante el uso de hilos.

En el caso de los procesos independientes, aunque no compartan datos, el sistema operativo tiene que
encargarse de la competencia por los recursos (CPU, impresora, memoria, ETC). En este caso, los resultados
de un proceso son independiente de las acciones de los otros, pero la ejecucin de un proceso puede influir en el
comportamiento de los procesos que compiten (los tiempos de los procesos pueden verse afectados)
Cuando hay procesos en competencia por un mismo recurso, se debern solucionar 3 problemas de control:
1. Exclusin Mutua (hacer cumplir la exclusin mutua crea 2 problemas de control adicionales, 2 y 3)
2. Interbloqueo
3. Inanicin
Nota:
Hacer cumplir la exclusin mutua hace que aparezcan los problemas 2 y 3. Uno es el interbloqueo (un proceso
P1 est esperando que un proceso P2 libere un recurso y el P2 est esperado a que P1 libere un recurso. Ni P1
ni P2 liberan el recurso hasta que el otro libere el recurso que necesita) y la inanicin (un proceso espera
indefinidamente a que se le asigne el acceso al recurso).
Nota:
El control de la competencia siempre involucra al SO porque es quien asigna los recursos.
Nota:
Seccin critica Segmento de cdigo que hace uso de un recurso crtico
Pgina 17 de 70

Recurso critico Cualquier recurso compartido (variables, archivos, impresora, lista, etc.)
El caso de cooperacin por compartimiento los procesos pueden tener acceso a variables compartidas,
archivos o base de datos compartidos. No saben que procesos acceden a los datos, pero son conscientes de que
estos otros pueden tener acceso a los mismos datos.
Como los datos se guardan en recursos (dispositivos, memoria, etc.) tambin presentan los problemas de
exclusin mutua, interbloqueo e inanicin por competir por recursos crticos. Adems se debe introducir un
nuevo requisito: Integridad/Coherencia de los datos.
En el caso de cooperacin entre procesos por comunicacin, la comunicacin es una manera de sincronizar o
coordinar las distintas actividades. Por lo que no es necesario el control de la mutua exclusin para este tipo de
cooperacin. Sin embargo, los problemas de inanicin e interbloqueo siguen presentes.
Condicin de carrera
Cuando varios procesos manipulan y acceden concurrentemente a los mismos datos y el resultado de la
ejecucin depende del orden en que se produzcan los accesos.
Para protegerse frente a este tipo de condiciones, se necesita garantizar que solo un proceso cada vez puede
acceder a la seccin crtica.
Protocolo de la regin critica
1. Exclusin mutua: cuando un proceso usa la regin crtica, ningn otro proceso, que tenga regin crtica
por el mismo recurso u objeto compartido, puede entrar en ella.
2. Progreso: Cuando un proceso est fuera de la regin crtica, no pueden impedir a otros procesos que la
usen.
3. Espera limitada: Cualquier proceso que quiere entrar a la regin critica lo debe poder hacer luego de un
nmero finito de intentos.
4. Velocidad de los procesos: todos los procesos pueden usar la regin crtica las veces que quieran y el
tiempo que quieran.
Nota:

Espera activa Cuando un proceso que no obtuvo permiso para entrar en su seccin critica, se queda
comprobando peridicamente la variable hasta que pueda entrar. Consume tiempo de procesador (est
activo) mientras espera su oportunidad.
Pgina 18 de 70

Espera NO activa se bloquea al proceso y se lo desbloquea cuando puede entrar.

Soluciones para satisfacer los requisitos del protocolo de regin crtica

1. Solucin por software.
2. Solucin por hardware.
3. Soporte del SO / lenguaje de programacin.
Soluciones por software
Algoritmo de Dekker (1 intento)
Cualquier intento de exclusin mutua debe depender de algunos mecanismos bsicos de exclusin en el
hardware. El ms habitual es que slo se puede acceder a una posicin de memoria en cada instante, teniendo en
cuenta esto se reserva una posicin de memoria global llamada turno. Un proceso que desea ejecutar su seccin
crtica primero evala el contenido de turno. Si el valor de turno es igual al nmero del proceso, el proceso
puede continuar con su seccin crtica. En otro caso el proceso debe esperar. El proceso en espera, lee
repetitivamente el valor de turno hasta que puede entrar en su seccin crtica. Este procedimiento se llama
espera activa.
Despus de que un proceso accede a su seccin crtica y termina con ella, debe actualizar el valor de turno para
el otro proceso.
Proceso 0

Proceso 1

... ...

...

/*esperar*/

/*esperar*/

while (turno!=0);

while (turno!=1);

/*seccin crtica*/

/*seccin crtica*/

...

...

turno=1;

turno=0;

...

...

Esta solucin garantiza el problema de la exclusin mutua pero tiene 2 inconvenientes:

Deben alternarse de forma estricta en el uso de sus secciones crticas, por lo que el ritmo de ejecucin
depende del proceso ms lento.

No cumple la condicin de progreso Si un proceso falla fuera o dentro de la seccin critica, el otro
proceso se bloquea permanentemente.

Algoritmo de Dekker (2do intento)

Cada proceso debe tener su propia llave de la seccin crtica para que, si uno de ellos falla, pueda seguir
Pgina 19 de 70

accediendo a su seccin crtica; para esto se define un vector booleano seal. Cada proceso puede evaluar el
valor de seal del otro, pero no modificarlo. Cuando un proceso desea entrar en su seccin crtica, comprueba la
variable seal del otro hasta que tiene el valor falso (indica que el otro proceso no est en su seccin crtica).
Asigna a su propia seal el valor cierto y entra en su seccin crtica. Cuando deja su seccin crtica asigna falso
a su seal.
Proceso 0

Proceso 1

...

...

/*esperar*/

/*esperar*/

While (seal[1]);

While (seal[0]);

seal[0] = cierto;

seal[1]=cierto;

/*seccin crtica*/

/*seccin crtica*/

...

...

seal[0] = falso;

seal[1] = falso;

Se solucionan los problemas anteriores, sin embargo, ahora surgen otros nuevos:
Si uno de los procesos falla dentro de su seccin crtica el otro quedar bloqueado permanentemente.
No se garantiza la Exclusin Mutua como vemos en la secuencia:
1. P0 ejecuta el While y encuentra seal [1] a falso.
2. P1 ejecuta el While y encuentra seal [0] a falso.
3. P0 pone seal [0] a cierto y entra en su seccin crtica.
4. P1 pone seal [1] a cierto y entra en su seccin crtica.
Ambos procesos estn en su seccin crtica, esto se debe a que esta solucin no es independiente de la velocidad
de ejecucin relativa de los procesos.
Algoritmo de Dekker (3 intento)
Una vez que un proceso ha puesto su seal en cierto, el otro no puede entrar a su seccin crtica hasta que el
primero salga de ella. Se garantiza la EM, sin embargo, se generar interbloqueo si ambos procesos ponen su
seal a cierto antes de ambos hayan ejecutado el While.
Adems, si un proceso falla en su seccin crtica, el otro queda bloqueado permanentemente.
Proceso 0

Proceso 1

...

...

seal[0] = cierto;

seal[1]=cierto;

/*esperar*/

/*esperar*/

While (seal[1]);

While (seal[0]);

/*seccin crtica*/

seccin crtica*/
Pgina 20 de 70

... ...

... ...

seal[0] = falso;

seal[1] = falso;

Algoritmo de Dekker (4 intento)

En el tercer intento, un proceso fijaba su estado sin conocer el estado del otro. Se puede arreglar esto haciendo
que los procesos activen su seal para indicar que desean entrar en la seccin crtica pero deben estar listos para
desactivar la variable seal y ceder la preferencia al otro proceso.
Existe una situacin llamada bloqueo vital, esto no es un interbloqueo, porque cualquier cambio en la
velocidad relativa de los procesos rompera este ciclo y permitira a uno entrar en la seccin crtica.
Recordando que el interbloqueo se produce cuando un conjunto de procesos desean entrar en sus secciones
crticas, pero ninguno lo consigue. Con el bloqueo vital hay posibles secuencias de ejecucin con xito.
Algoritmo de Dekker (Solucin Correcta)
Combinacin entre intento 1 y 4:
while (true)
{
interesado[0] = TRUE;
while (interesado[1])
{
if (turno 0)
{
interesado[0] = FALSE;
while (turno 0);
interesado[0] = TRUE;
}
}
SECCIN CRTICA
turno = 1;
interesado[0] = FALSE;
SECCIN RESTANTE
}
El algoritmo de Dekker resuelve el problema de la exclusin mutua.
Algoritmo de Peterson
Resuelve tambin el problema de la exclusin mutua, pero a diferencia del algoritmo de Dekker, mediante una
solucin simple y elegante.
Pgina 21 de 70

Soluciones por hardware

Inhabilitacin de interrupciones
En un sistema Apropiativo, un proceso continuar ejecutndose hasta que solicite una llamada al sistema
o hasta que sea interrumpido. Por lo tanto, para garantizar la exclusin mutua, es suficiente con
impedir que un proceso sea interrumpido.
Problemas 1: Valido solamente para sistemas monoprocesador. Para sistemas multiprocesador, es
posible que haya ms de un proceso ejecutndose al mismo tiempo.

Problema 2: Pierde eficiencia el sistema ya que se limita la capacidad del procesador para intercalar
procesos.

Instrucciones de maquina
o Test and set (TLS)
Instruccin Hardware que lee y modifica atmicamente una variable (por ser atmica esta
instruccin no puede ser interrumpida). Adems, si nos encontramos en un sistema
multiprocesador, ninguno de los dems procesadores tendr acceso a la variable hasta que
termine de ejecutarse la instruccin.
o Swap (intercambio)
De forma atmica sobre 2 palabras.
Ventajas de la solucin con instrucciones de mquina

Valido para sistema monoprocesador y multiprocesador.

Desventajas

Emplea espera activa.

Pude producir inanicin.
Puede producir interbloqueo.

En las soluciones software, los procesos deben coordinarse unos con otros para para cumplir la exclusin
mutua, si ayuda por parte del lenguaje de programacin o del sistema operativo.
Las soluciones por software son propensas a errores y a una fuerte carga de proceso.
Las soluciones por hardware reducen la sobrecarga, pero no son interesantes como solucin de carcter general.
Debido a estos inconvenientes, tanto de las soluciones por software como por hardware, es necesario buscar
otros mecanismos.
Pgina 22 de 70

Soluciones con soporte del lenguaje de programacin o del SO

Semforos
Son variables especiales que tienen un valor entero sobre el que se definen 3 operaciones:
1) Un semforo puede iniciarse con un valor no negativo
2) La operacin wait disminuye el valor del semforo. Si el valor se hace negativo, el proceso que ejecuta
el wait se bloquea.
3) La operacin signal incrementa el valor del semforo. Si el valor no es positivo, se desbloquea un
proceso bloqueado por una operacin wait.
Son las nicas 3 operaciones posibles para manipular semforos.
WAIT(S)

SIGNAL(S)

Semforo--

Semforo++

If (semforo<0)

If (semforo<=0)

{
Poner este proceso en la cola del semforo;

Quitar un proceso de la cola del semforo;

Bloquear este proceso

Poner el proceso en la cola de listos;

En cualquier instante el valor del semforo puede interpretarse de la siguiente forma:

Semforo >= 0: Es el nmero de procesos que puede ejecutar un wait(s) sin bloquearse.
Semforo < 0: Cantidad de procesos bloqueados en la cola del semforo
Las primitivas wait(s) y signal(s) son atmicas. Son relativamente cortas, por lo que la cantidad de espera activa
que se obtiene ser menor.
Los semforos emplean una cola para mantener los procesos que estn esperando en el semforo. Si el semforo
incluye la estrategia de cmo se retiran los procesos de la cola, se denomina semforo robusto (Ejemplo: se
retira por FIFO). En caso contrario, semforo dbil.
Los semforos robustos garantizan la inexistencia de inanicin, pero no as los semforos dbiles.
Nota:
Semforos binarios
WAITB(S)
If (semforo = 1)

SIGNALB(S)
If (Cola.semforo.esvacia )

Semforo = 0;
Else

Semforo = 1;
Else
Pgina 23 de 70

{
Poner este proceso en la cola del semforo;

Quitar un proceso de la cola del semforo;

Bloquear este proceso;

Poner el proceso en la cola de listos;

Problema del productor y consumidor

Productor

Consumidor
BUFFER

N espacios para poner

Uno o ms productores generan cierto tipo de datos y los sitan en un buffer. Un nico consumidor saca elementos
del buffer de uno en uno. El sistema debe impedir la superposicin de operaciones sobre el buffer. Es decir un
solo agente consumidor o productor puede acceder al buffer en un instante dado (se logra con un semforo binario
mutex)

Si el buffer est lleno, el productor debe ser demorado (en el caso que el buffer sea limitado) Semforo Lugar
Si el buffer est vaco, el consumidor debe ser demorado Semforo Lleno
Buffer ilimitado (color rojo) y buffer limitado (se agrega el semforo lugar en verde)
Lleno = 0
Mutex = 1
Lugar = N
Productor ( )
{
While (1)
{
Msg = producir ( )
Wait (Mutex)
Wait (Lugar)
Depositar (msg)
Signal (Lleno)
Signal (Mutex)
}
Consumidor ( )
{
Pgina 24 de 70

While (1)
{
Wait (Lleno)
Wait (Mutex)
Msg = retirar ( )
Signal (Mutex)
Signal (Lugar)
Consumir ( )
Monitores
Los semforos son flexibles y potentes pero puede resultar difcil construir un programa correcto por medio de
semforos, ya que las operaciones wait y signal deben distribuirse por todo el programa y no es fcil advertir el
efecto global de estas operaciones sobre los semforos a los que afectan.
Los monitores ofrecen una funcionalidad equivalente a la de los semforos y que son ms fciles de controlar.
Un monitor es un mdulo de software que consta de uno o ms procedimientos, una secuencia de inicio y variables
locales. Solo un proceso puede estar ejecutando el monitor a la vez, por lo que ofrece un servicio de exclusin
mutua fcilmente.
La ventaja que brinda, es que al almacenar los procedimientos dentro del mdulo monitor automticamente se
garantiza la exclusin mutua, ya que solamente un proceso a la vez puede acceder al monitor y por ende a los
procedimientos. De esta manera se desliga al programador de hacer cumplir la mutua exclusin. En cuanto a la
sincronizacin de procesos, al igual que en semforos, es responsabilidad del programador mediante las
herramientas de sincronizacin que brindan los monitores (csignal y cwait).
En cambio en los semforos, la exclusin mutua como la sincronizacin son responsabilidades del programador.
Otra de las ventajas de los monitores sobre los semforos, es que es sencillo de verificar que la sincronizacin se
ha realizado correctamente y detectar los fallos, ya que todas las funciones de sincronizacin estn confinadas
dentro del monitor.

Pgina 25 de 70

Nota:
Cwait y csignal son diferentes de las de los semforos. Si un proceso de un monitor ejecuta un csignal y no hay
procesos esperando en la variable condicin, el csignal se pierde (como si nunca se hubiera ejecutado).
Nota:
Una vez que un proceso est dentro del monitor, puede suspenderse a s mismo temporalmente bajo la condicin
x ejecutando cwait(x); entonces se sita en una cola de procesos que esperan volver a entrar al monitor cuando la
condicin cambio (es decir, el proceso no sale fuera del monitor, sino que pasa a la cola de bloqueados de la
condicin, que se ubica en la zona de espera del monitor. Ver imagen).

Pgina 26 de 70

Capitulo: Interbloqueo
El interbloqueo se puede definir como el bloqueo permanente de un conjunto de procesos que compiten por los
recursos del sistema o bien se comunican unos con otros.
Todos los interbloqueos suponen necesidades contradictorias de recursos por parte de 2 o ms procesos.
Ejemplo:
Proceso P: Obtener A Obtener B Liberar A Liberar B
Proceso Q: Obtener B Obtener A Liberar B Liberar A
Podra pasar por ejemplo:

Q obtiene B y despus A y a continuacin libera B y A. Cuando P se ejecute podr obtener ambos

recursos.

O que, Q obtiene B y despus P obtiene A. Es inevitable el interbloqueo porque al continuar la ejecucin

Q se bloqueara por A y P se bloqueara por B.

Por lo tanto, que se produzca o no el interbloqueo depende tanto de la dinmica de la ejecucin como de los
detalles de la aplicacin. Por ejemplo si P tuviese la siguiente forma:
Proceso P: Obtener A Liberar A Obtener B Liberar B
Independientemente de la ejecucin de cada proceso, no puede darse interbloqueo.
Recursos reutilizables
Un recurso reutilizable es aquel puede ser usado con seguridad por un proceso y no se agota con el uso. Como
ejemplo de recursos reutilizables se tienen los procesadores, canales de E/S, memoria principal y secundaria,
dispositivos y estructuras de datos tales como archivos, base de datos, semforos, etc.
Recurso Consumible
Un recurso consumible es aqul que puede ser creado (producido) y destruido (consumido). Normalmente no
hay lmites en el nmero de recursos consumibles de un tipo en particular. Cuando un proceso adquiere un
recurso, este deja de existir. Como ejemplo de recursos consumibles estn las interrupciones, seales, mensajes
e informacin de buffers de E/S.
Condiciones de interbloqueo
Para producirse un interbloqueo deben darse 3 condiciones:
1. Exclusin Mutua: solo un proceso puede usar un recurso a la vez.
Pgina 27 de 70

2. Retencin y espera: un proceso puede retener unos recursos asignados mientras espera que se le
asignen otros.
3. No apropiacin: ningn proceso puede ser forzado a abandonar un recurso que tenga.
Puede existir interbloqueo con estas 3 condiciones, pero puede NO existir con solo estas 3 condiciones.
Es decir son condiciones necesarias pero NO suficientes para que exista interbloqueo. Se necesita una
cuarta condicin para que se produzca interbloqueo:
4. Espera Circular (circulo vicioso de espera): existe una cadena cerrada de procesos, cada uno de los
cuales retiene, al menos un recurso que necesita el siguiente proceso de la cadena.
La cuarta condicin es, en realidad, una consecuencia potencial de las 3 primeras. Es decir, dado que se
producen las 3 primeras condiciones, puede ocurrir una secuencia de eventos que desemboque en un crculo
vicioso de espera irresoluble. Un crculo de espera irresoluble es, de hecho, la definicin de interbloqueo.
En resumen, las 4 condiciones en conjunto constituyen una condicin necesaria y suficiente para el
interbloqueo. (1 a 3 son decisiones estratgicas, mientras que la condicin 4 depende de la secuencia de
solicitudes y liberacin de los proceso).
Nota:
Condiciones Coffman.
Prevencin del interbloqueo
Consiste en disear un sistema de manera que est excluida la posibilidad de interbloqueo.
Los mtodos para prevenir el interbloqueo son de 2 tipos:
Mtodos indirectos: impedir la aparicin de alguna de las 3 condiciones necesarias.

Mtodos directos: evitar la aparicin del cirulo vicioso de espera.

Exclusin mutua
Esta condicin NO puede anularse.
Retencin y espera
Esta condicin puede prevenirse exigiendo que todos los procesos soliciten todos los recursos que necesiten
a un mismo tiempo y bloqueando el proceso hasta que todos los recursos puedan concederse
simultneamente.
Ineficiente desde cualquier punto de vista:
Un proceso puede permanecer mucho tiempo suspendido hasta que obtenga todos los recursos que
necesita.
Pgina 28 de 70

Los recursos asignados pueden permanecer mucho tiempo sin ser utilizados por el proceso que los
obtuvo.
Un proceso puede NO conocer por adelantado todos los recursos que necesitar.

No apropiacin
Esta condicin puede prevenirse de varias formas:

Si a un proceso retiene varios recursos se le deniega una nueva solicitud, dicho proceso deber
liberar sus recursos anteriores y solicitarlos de nuevo.
Si un proceso solicita un recurso que es retenido por otro, el SO puede solicitarle al segundo que
lo libere (si los 2 procesos no tienen la misma prioridad).

Esta tcnica solo sirve cuando se aplica a recursos cuyo estado puede salvarse y restaurase ms tarde de
forma fcil, como el procesador.
Espera circular
Esta condicin puede prevenirse definiendo una ordenacin lineal de los tipos de recursos.
Ineficiente como en retencin y espera.
Prediccin del interbloqueo
Con la prediccin del interbloqueo, se puede alcanzar las 3 condiciones necesarias, pero se realizan elecciones
acertadas para asegurar que nunca se llegue al puto de interbloqueo.
Se decide dinmicamente si la peticin actual de asignacin de un recurso podra llevar potencialmente a un
interbloqueo. Se necesita conocer las peticiones futuras de recursos.
Dos enfoques de prediccin:
No iniciar un proceso si sus demandas pueden llevar a interbloqueo: un proceso comenzar solo si
puede asegurarse la demanda mxima de recursos de todos los procesos actuales ms la del nuevo
proceso.

No conceder una solicitud de recurso si esta asignacin puede llevar a un interbloqueo (algoritmo del
banquero): El algoritmo decide si le asigna recursos a los procesos que los solicitan para mantener el
estado seguro (estado en el que existe al menos una secuencia que no lleva a interbloqueo, es decir todos
los procesos pueden ejecutarse hasta el final)

Nota:
La prediccin permite ms concurrencia y es menos restrictiva que la prevencin (se pueden alcanzar las 3
condiciones necesarias, pero se hace la asignacin de manera a que nunca se llegue al interbloqueo).
Nota:
Pgina 29 de 70

No predice el interbloqueo exactamente, sino que anticipa la posibilidad de interbloque y asegura que nunca
exista esa posibilidad.
Para poder predecir el interbloqueo hay una serie de restricciones:
Los procesos a considerar deben ser independientes.
No debe haber un nmero variable de procesos y recursos, sino un nmero fijo.

Los procesos no pueden finalizar mientras retengan recursos.

Se debe presentar la mxima demanda de recursos por anticipado.

Deteccin del interbloqueo

El algoritmo de deteccin de interbloqueo:
1. Marcar los procesos que no tengan ningn recurso asignado (fijndose en la matriz de asignacin que la
fila sea todo cero)
2. Crear un vector W con los recursos disponibles
3. Marcar los procesos en los que las solicitudes sean menor o igual a W y sumarlos a W.
Si al finalizar el algoritmo de deteccin hay algn proceso NO marcado, indica que hay interbloqueo.
Luego de detectar el interbloqueo, hace falta alguna tcnica de recuperacin del interbloqueo. Algunas de ellas
son:
Abortar todos los proceso interbloqueados. Es la estrategia ms comn adoptada por el SO.
Retroceder cada proceso interbloqueado hasta un punto en que no lo haya.
Estrategia integrada de interbloqueo
Es eficiente usar diferentes estrategias en diferentes situaciones:
Espacio intercambiable Prevencin de retencin y espera.
Recursos de procesos Prediccin

Memoria Principal Prevencin por apropiacin.

Recursos internos Prevencin por ordenacin de recursos.

Pgina 30 de 70

Capitulo: Gestin de memoria

En un sistema monoprogramado, la memoria principal se divide en 2 partes: una para el sistema operativo
(normalmente en posiciones bajas de la memoria) y otra para el programa que se ejecuta en ese instante
(normalmente en posiciones altas de la memoria).
En cambio, en un sistema multiprogramado, la parte de usuario de la memoria debe subdividirse an ms para
hacer lugar a varios procesos. La tarea de subdivisin la lleva a cabo dinmicamente el SO y se conoce como
gestin de memoria.
En un sistema multiprogramado es vital repartir eficientemente la memoria para poder introducir tantos
procesos como sea posible y que el procesador este la mayor parte del tiempo ocupado.
Requisitos de la gestin de memoria
Se proponen 5 requisitos:
1. Reubicacin
2. Proteccin
3. Comparticin
4. Organizacin lgica
5. Organizacin fsica
Reubicacin
El sistema busca cargar y descargar los procesos activos en la memoria principal para maximizar el uso del
procesador, manteniendo una gran reserva de procesos listos para ejecutarse. Una vez que se descarg el
programa a disco, cuando vuelva a ser cargado se puede necesitar reubicar el proceso en un rea distinta de la
memoria.
El SO debe conocer la ubicacin del PCB, de la pila y el punto de partida del programa del proceso (parte de la
imagen el proceso).
El procesador y el SO debern ocuparse de las referencias a la memoria dentro del programa:
Instrucciones de bifurcacin Referencia a la instruccin que se va a ejecutar a continuacin.
Referencias a los datos Deben contener la direccin del byte o de la palabra de datos referenciada.
Nota:
Ocuparse hace referencia a que debern traducir las referencias a memoria en el cdigo del programa a las
direcciones fsicas reales que reflejen la posicin actual del programa en MP.

Pgina 31 de 70

Proteccin
El cdigo de un proceso no puede hacer referencia a posiciones de memoria de otros procesos, sin permiso.
Al desconocerse la ubicacin de un programa en memoria principal, es imposible comprobar las direcciones
absolutas durante la compilacin para asegurar la proteccin. Por lo tanto, todas las referencias a memoria
generadas por un proceso deben comprobarse durante la ejecucin para asegurar que las instrucciones solo
hagan referencia al espacio de memoria destinado a dicho proceso. El procesador es el que debe satisfacer las
exigencias de proteccin de memoria, ya que el SO no puede anticiparse a todas las referencia de memoria que
har el programa (y si la anticipacin fuera posible, consumira mucho tiempo proteger por adelantado a cada
programa de posibles violaciones de referencia a la memoria).
Compartimiento
La proteccin debe permitir el acceso de varios procesos a la misma zona de la MP. Los mecanismos para
respaldar la reubicacin forman parte bsica de las capacidades de compartimiento.
Organizacin lgica
Si el SO y el hardware pueden tratar a los programas de usuario y los datos en forma de mdulos, se conseguir
una serie de ventajas. La herramienta que satisface esta necesidad es la segmentacin.
Organizacin Fsica
La memoria secundaria puede permitir un almacenamiento a largo plazo de programas y datos, al tiempo que
Pgina 32 de 70

una memoria principal mantiene los programas y datos de uso actual.

En este esquema de 2 niveles, la organizacin del flujo de informacin entre la memoria principal y la memoria
secundaria debe ser responsabilidad del sistema. La responsabilidad de este flujo NO puede ser asignada al
programador, por dos razones:
En un sistema multiprogramado, el programador no conoce durante la codificacin cuanto espacio de
memoria habr disponible o donde estar este espacio.

La memoria principal para un programa puede ser insuficiente. En este caso el programador debe
emplear una prctica conocida como superposicin (varios mdulos asignados a la misma regin de
memoria, intercalndose entre s segn se necesite). La programacin superpuesta malgasta el tiempo
del programador.

Tcnicas de gestin de memoria

1. Particin esttica
2.
3.
4.
5.

Particin dinmica
Paginacin simple
Segmentacin simple
Memoria virtual paginada

6. Memoria virtual segmentada

Particin esttica
La MP se divide en un conjunto de particiones estticas durante la generacin del sistema (en el momento de
arranque del SO). Un proceso se puede cargar en una particin de menor o igual tamao. Hay dos alternativas
de particin esttica:
A. Emplear particiones estticas de igual tamao.

Pgina 33 de 70

B. Emplear particiones estticas de distinto tamao.

Las particiones estticas de igual tamao plantean dos dificultades:

El programa puede ser demasiado grande para caber en la particin. El programador deber crear el
programa mediante superposiciones.

Uso de la MP extremadamente ineficiente. Cualquier programa, sin importar lo pequeo que sea,
ocupara una particin completa. Esto genera fragmentacin interna.

Ambos problemas pueden reducirse, aunque no eliminarse, por medio del empleo de particiones estticas de
distinto tamao.
Nota:
La fragmentacin es el desperdicio de memoria. Hay 2 tipos de fragmentacin:
Fragmentacin interna: Es el desperdicio de memoria que se produce cuando un programa ocupa una
particin de memoria ms grande de la que necesita.

Fragmentacin externa: Es el desperdicio de memoria que se produce cuando hay memoria disponible,
pero esta no se puede usar, porque es menor de la que requiere el programa.

Algoritmos de ubicacin
Con particiones del mismo tamao, la ubicacin de un proceso en la memoria es trivial. Mientras haya alguna
particin libre, puede cargarse un proceso en esa particin y no importa la particin que se use (ya que todas son
del mismo tamao). Si estn todas las particiones ocupadas, sacar a un proceso de ella es una cuestin de
planificacin de procesos.
Pgina 34 de 70

Con particiones de distinto tamao hay 2 formas de asignar los procesos a las particiones:
A. La ms fcil, es asignar cada proceso a la particin ms pequea que quepa, de forma que los procesos
siempre estn asignados de forma que se minimiza la memoria desaprovechada dentro de cada
particin. Sin embargo, esto no es conveniente porque pueden haber particiones sin usar, y que dicha
particin no sea asignada al proceso porque esta no es la particin ms pequea en la que quepa.
B. Asignar a cada proceso la particin ms pequea disponible que quepa.

Resumen:
Particin Esttica
La MP se divide en un conjunto de
particiones estticas durante la
generacin del sistema. Un
proceso se puede cargar en una
particin de menor o igual tamao

Ventajas
Sencillo de implementar.

Desventajas
Fragmentacin interna

Poca sobrecarga del SO.

El nmero de procesos activos es

fijo.

Particiones dinmicas
Las particiones se crean dinmicamente, de forma que cada proceso se carga en una particin de exactamente el
mismo tamao que el proceso. Es decir se le asigna tanta memoria como necesita y no ms.
Este mtodo comienza bien, pero finalmente, desemboca en una situacin en la que hay un gran nmero de
huecos pequeos de memoria. Conforme pasa el tiempo, la memoria comienza a estar ms fragmentada y su
rendimiento decae. Se produce fragmentacin externa.
Una tcnica para vencer a la fragmentacin externa, es la compactacin. De vez en cuando, el sistema
operativo desplaza los procesos para que estn contiguos, de forma que toda la memoria libre quede juta en un
bloque. El problema es que es un procedimiento que consume tiempo, por lo que desperdicia tiempo del
procesador.
Pgina 35 de 70

Algoritmo de ubicacin
En el esquema de particiones dinmicas se pueden considerar 3 algoritmos. Los 3 se limitan a elegir entre los
bloques de memoria libres que son mayores o iguales que el proceso a cargar.
Mejor ajuste (best-fit)
Elige el bloque de tamao ms prximo al solicitado.

Primer ajuste (first-fit)

Recorre la memoria desde el principio y escoge el primer bloque disponible suficientemente grande.

Siguiente ajuste (next-fit)

Recorre la memoria desde la ltima ubicacin y elige el siguiente bloque disponible que sea
suficientemente grande.

El mejor mtodo aplicable depender de la secuencia exacta de intercambios de procesos que ocurran y del
tamao de estos procesos.
Primer ajuste

Siguiente Ajuste

Mejor ajuste

Sencillo.

Genera peores resultados que el

Proporciona en general los peores

El mejor y ms rpido.

primer ajuste.

resultados

Necesita una compactacin ms

frecuente que el primer ajuste ya
que el bloque de memoria libe
ms grande, que suele aparecer al

Al elegir el bloque de tamao ms

aproximado al tamao del proceso,
genera rpidamente huecos muy
pequeos. As pues debe compactar

final del espacio de memoria, se

divide rpidamente en fragmentos
pequeos.

con ms frecuencia que los otros 2

algoritmos.

Sistema de colegas
Los bloques de memoria disponibles son de tamao 2K, para valor de K tal que L K U y donde:
2L = tamao de bloque ms pequeo asignable.

Pgina 36 de 70

2U = tamao de bloque ms grande asignable (generalmente es el tamao de la memoria entera

disponible para asignar).

La figura anterior muestra un ejemplo utilizando un bloque inicial de 1MB. La primera solicitud A de 100KB
necesitara un boque de 128KB. El bloque inicial se divide en 2 colegas de 512KB. El primero de estos se divide
en 2 de 256KB y el primero de estos se divide en 2 de 128K.
El sistema de colegas es un equilibrio razonable para superar las desventajas de los esquemas de particin fija y
variable.
Reubicacin
Un proceso puede ocupar diferentes particiones de memoria a lo largo de su vida. De esta manera las
ubicaciones (de las instrucciones y datos) referenciadas por un proceso no son fijas, sino que cambian cada vez
que se intercambia o desplaza un proceso. Para resolver este problema, se realiza una distincin entre varios
tipos de direcciones.
Direccin lgica: direccin generada por la CPU que hace referencia a una posicin de memoria
independiente de la asignacin actual de datos a la memoria.

Direccin relativa: posicin relativa a algn punto conocido, normalmente el principio del programa.

Direccin fsica, es una posicin real en la MP.

Cuando un proceso pasa a estado ejecutando, se carga un registro especial del procesador, denominado registro
Pgina 37 de 70

base, con la direccin ms baja en la memoria principal del proceso. Existe tambin un registro lmite que
indica la posicin final del programa. A lo largo de la ejecucin del proceso se encuentran direcciones relativas.
Cada una de estas direcciones relativas pasa por 2 etapas de manipulacin en el procesador. En primer lugar, se
suma el valor del registro base a la direccin relativa para obtener una direccin absoluta. Esta direccin
absoluta obtenida se compara con el valor del registro lmite. Si la direccin est dentro de los lmites, se puede
proceder a la ejecucin de la instruccin. En otro caso, se genera una interrupcin del SO, que debe responder al
error de algn modo
Este procedimiento se conoce como carga dinmica en tiempo de ejecucin y permite a los programas
cargarse y descargarse de memoria a lo largo de su ejecucin. Tambin proporciona una medida de proteccin:
cada imagen de proceso est aislada por el contenido de los registros base y limite y es segura contra accesos no
deseados por parte de otros procesos.

Nota:
La direccin absoluta no se calcula hasta a se ejecute una instruccin. Para asegurar que esta funcin no degrade
el rendimiento, debe realizarse por medio de un hardware especial del procesador, en vez de por software.
Este hardware se denomina unidad de gestin de memoria (MMU, memory management unit).
El programa de usuario maneja direcciones lgicas y el hardware de conversin de memoria convierte esas
direcciones lgicas en direcciones fsicas.
Nota:
La vinculacin de instrucciones y datos a direcciones de memoria puede realizarse en tres etapas diferentes:
Compilacin: Si se conoce a priori la posicin que va a ocupar un proceso en la memoria se puede
generar cdigo absoluto con referencias absolutas a memoria; si cambia la posicin del proceso hay que
recompilar el cdigo.

Carga: Si no se conoce la posicin del proceso en memoria en tiempo de compilacin se debe generar
Pgina 38 de 70

cdigo reubicable; el compilador no generar direcciones reales de memoria principal sino direcciones
relativas a algn punto conocido, como el comienzo del programa. Al momento de la carga del proceso
a memoria principal, se convierten todas las direcciones relativas a direcciones absolutas. El problema
surge que en un sistema multiprogramado, el proceso puede ser suspendido luego de la carga en
memoria, y vuelto a ser cargado en otra posicin diferente.

Ejecucin: Si no se conoce la posicin del proceso en memoria en tiempo de compilacin se debe

generar cdigo reubicable. Es lo que se conoce como carga dinmica en tiempo de ejecucin.

Nota:
Las direcciones lgicas y fsicas son iguales en los esquemas de vinculacin en tiempo de compilacin y de
carga; pero difieren en el esquema de vinculacin en tiempo de ejecucin.
Nota:
Un par de registros base y lmite definen el espacio de direcciones lgicas. Tambin se llaman registros de
reubicacin y se usan para proteger los procesos de usuario unos de otros.

Paginacin
Mediante la paginacin simple, la memoria principal se encuentra dividida en trozos iguales de tamao fijo,
denominados marcos. A su vez, cada proceso est divido tambin en trozos de tamao fijo y del mismo tamao
que los de memoria, denominados pginas. El termino marco se utiliza porque un marco puede mantener o
encuadrar una pgina de datos. Es decir, cuando se introduce un proceso en la memoria, se cargan todas sus
pginas en los marcos libres.
El espacio desaprovechado en la memoria para cada proceso por fragmentacin consta solo de una fraccin de
la ltima pgina del proceso. Adems, no hay fragmentacin externa.
El sistema operativo mantiene una lista de los marcos libres. Cuando llega el momento de cargar un proceso en
memoria, el SO busca los marcos libres necesarios para cargar todas las pginas del proceso. No necesariamente
los marcos deben ocupar una posicin contigua de memoria. Para lograr esto, el SO operativo mantiene una
tabla de pginas para cada proceso. Cada tabla de pgina contiene una entrada por cada pgina del proceso. Y
Pgina 39 de 70

en cada entrada se encuentra el nmero de marco de la memoria principal que alberga la pgina
correspondiente.
Al igual que la particin simple, el procesador tambin realiza la traduccin de direcciones lgicas a fsicas. En
el caso de la particin simple el programa contena direcciones relativas al comienzo del programa. En la
paginacin, el programa contiene direcciones lgicas que constan de un nmero de pgina y de un
desplazamiento dentro de la pgina. Para hacer la traduccin, el procesador debe acceder a la tabla de pginas
del proceso actual. Dada una direccin lgica (nmero de pgina, desplazamiento), el procesador emplea la
tabla de pginas para obtener una direccin fsica (nmero de marco, desplazamiento).
La diferencia entre la paginacin simple y la particin esttica, es que con la paginacin, las particiones son
algo ms pequeas (por lo que la fragmentacin interna ser menor) y que un programa puede ocupar ms de
una particin y estas o tienen por qu ser contiguas.
Aplicacin correcta del esquema de paginacin
El tamao de la pgina y por lo tanto, el tamao del marco, debe haber una potencia de 2.
Un ejemplo donde se emplean direcciones de 16 bits y el tamao de pgina es de 1K = 1024 bytes. Con un
tamao de pgina de 1K, se necesitan 10 bits para el campo desplazamiento (2 10 = 1024 bytes). De este modo,
un programa puede estar formado por un mximo de 26 = pginas de 1KB cada una.
Si se tiene una direccin lgica = 0000010111011110, se corresponde con el nmero de pgina 1 (000001) y
desplazamiento 478 (0111011110). Suponiendo se fija en la entra 1 de la tabla de pgina y dicha entrada
contiene el marco 6 = 000110 en binario. Entonces la direccin fsica es el marco 6 y el desplazamiento 478 =
0001100111011110.
Segmentacin
Otro modo de subdividir el programa es la segmentacin. En este caso, el programa se divide en un conjunto de
segmentos. No es necesario que todos los segmentos de todos los programas tengan la misma longitud, aunque
existe una longitud mxima de segmento. En este esquema, una direccin lgica consta de 2 partes, un nmero
de segmento y un desplazamiento.
Este esquema resulta similar a la particin dinmica. La diferencia, radica en que, con segmentacin un
programa puede ocupar ms de una particin y estas no tienen por qu estar contiguas.
La segmentacin no sufre de fragmentacin interna, pero, como en la particin dinmica, sufre de
fragmentacin externa. Aunque esta ser menor.
Mientras que la paginacin es transparente al programador, la segmentacin es visible.
Para la traduccin de direcciones lgicas a fsicas, al igual que en la paginacin, el SO har uso de una tabla de
Pgina 40 de 70

segmentos para cada proceso y una lista de bloques libres en la memoria principal. Cada entrada a la tabla de
segmentos tendr que contener la direccin de comienzo del segmento correspondiente de la memoria principal.

Pgina 41 de 70

Capitulo: Memoria Virtual

No es necesario que todas las pginas o todos los segmentos de un proceso se encuentren en la memoria
principal durante la ejecucin.
Supongamos que se tiene que traer un nuevo proceso de memoria. El sistema operativo comienza trayendo
nicamente una o dos porciones, que incluye la porcin inicial del programa y la porcin inicial de datos sobre
la cual acceden las primeras instrucciones acceden. Esta parte del proceso que se encuentra realmente en la
memoria principal para, cualquier instante de tiempo, se denomina conjunto residente del proceso. Cuando el
proceso est ejecutndose, las cosas irn perfectamente mientras que todas las referencias a la memoria se
encuentren dentro del conjunto residente. Usando una tabla de segmentos o pginas, el procesador siempre es
capaz de determinar si esto es as o no. Si el procesador encuentra una direccin lgica que no se encuentra en
la memoria principal, generar una interrupcin indicando un fallo de acceso a la memoria. El sistema operativo
coloca al proceso interrumpido en un estado de bloqueado y toma el control. Para que la ejecucin de este
proceso pueda reanudarse ms adelante, el sistema operativo necesita traer a la memoria principal la porcin del
proceso que contiene la direccin lgica que ha causado el fallo de acceso. Con este fin, el sistema operativo
realiza una peticin de E/S, una lectura a disco. Despus de realizar la peticin de E/S, el sistema operativo
puede activar otro proceso que se ejecute mientras el disco realiza la operacin de E/S. Una vez que la porcin
solicitada se ha trado a la memoria principal, una nueva interrupcin de E/S se lanza, dando control de nuevo al
sistema operativo, que coloca al proceso afectado de nuevo en el estado Listo.
Esta nueva estrategia de no cargar todo el proceso en memoria conduce a mejorar la utilizacin del sistema ya
que:
1. Pueden mantenerse un mayor nmero de procesos en memoria principal.
2. Un proceso puede ser mayor que toda la memoria principal. Con la memoria virtual basada en
paginacin o segmentacin, el sistema operativo automticamente carga porciones de un proceso en la
memoria principal cuando stas se necesitan.
La memoria virtual permite una multiprogramacin muy efectiva que libera al usuario de las restricciones
excesivamente fuertes de la memoria principal.
Memoria virtual y Proximidad
Se puede hacer un mejor uso de la memoria cargando nicamente unos pocos fragmentos. Entonces, si el
programa hace referencia a un dato que se encuentra en una porcin de memoria que no est en la memoria
principal, entonces se dispara una interrupcin. ste indica al sistema operativo que debe conseguir la porcin
deseada.
Pgina 42 de 70

As, en cualquier momento, slo unas pocas porciones de cada proceso se encuentran en memoria, y por tanto
se pueden mantener ms procesos alojados en la misma. Adems, se ahorra tiempo porque las porciones del
proceso no usadas no se cargan ni se descargan de la memoria.
Sin embargo, el sistema operativo debe saber cmo gestionar este esquema. Cuando el sistema operativo traiga
una porcin a la memoria, debe expulsar otra. Si elimina una porcin justo antes de que vaya a ser utilizada,
deber recuperar dicha porcin de nuevo casi de forma inmediata. Demasiados intercambios de fragmentos
lleva a una condicin denominada hiperpaginacin (thrashing): el procesador consume ms tiempo
intercambiando fragmentos que ejecutando instrucciones de usuario. Para evitar esto, el SO trata de adivinar, en
base a la historia reciente, qu porciones son menos probables de ser utilizadas en un futuro cercano. Esto se
basa en el principio de cercana. Este principio indica que las referencias al programa y a los datos dentro de
un proceso tienden a agruparse. Por tanto, se resume que slo unas pocas porciones del proceso se necesitarn a
lo largo de un periodo de tiempo corto.
Paginacin
Para la memoria virtual basada en el esquema de paginacin tambin se necesita una tabla de pginas por
proceso. En este caso, debido a que slo algunas de las pginas de proceso se encuentran en la memoria
principal, se necesita un bit en cada entrada de la tabla de pginas para indicar si la correspondiente pgina est
presente (P) en memoria principal o no lo est. Si el bit indica que la pgina est en memoria, la entrada
tambin debe indicar el nmero de marco de dicha pgina.
Otro bit de control necesario en la entrada de la tabla de pginas es el bit de modificado (M), que indica si los
contenidos de la correspondiente pgina han sido alterados desde que la pgina se carg por ltima vez en la
memoria principal. Si no ha habido cambios, no es necesario escribir la pgina cuando llegue el momento de
reemplazarla por otra pgina en el marco de pgina que actualmente ocupa. Pueden existir tambin otros bits de
control en estas entradas.
Estructura de la tabla de pginas
Debido a que la tabla de pginas es de longitud variable dependiendo del tamao del proceso, la cantidad de
memoria demandada por las tablas de pgina nicamente puede ser inaceptablemente grande.
Por esto, la mayora de los esquemas de memoria virtual almacenan las tablas de pginas tambin en la
memoria virtual, en lugar de en la memoria real. Esto representa que las tablas de pginas estn sujetas a
paginacin igual que cualquier otra pgina. Cuando un proceso est en ejecucin, al menos parte de su tabla de
pginas debe encontrarse en memoria, incluyendo la entrada de tabla de pginas de la pgina actualmente en
ejecucin.
Algunos procesadores utilizan un esquema de dos niveles para organizar las tablas de pginas de gran tamao.
Pgina 43 de 70

Un ejemplo de un esquema tpico de dos niveles que usa 32 bits (232) para la direccin con tamao de pginas
de 4K, tiene una direccin lgica formada por:

Un desplazamiento de 212 (4K)

Un nmero de pginas de 20 bits.

Ya que la tabla de pginas est paginada y cada entrada de la tabla de pginas ocupa 4 bytes, el nmero de
pgina es de nuevo dividido en:
Un nmero de pgina de 10 bits

Un desplazamiento de 10 bits

Por tanto, una direccin lgica tiene el siguiente aspecto:

Donde P1 es un ndice a la tabla de pginas raz y P2 es un desplazamiento en la segunda tabla de pginas.

Una estrategia alternativa al uso de tablas de pginas de uno o varios niveles es el uso de la estructura de tabla
de pginas invertida.

Pgina 44 de 70

La tabla de pginas invertida contiene un registro por cada marco de pgina real en lugar de un registro por cada

pgina virtual. La estructura de la tabla de pginas se denomina invertida debido a que se indexan sus entradas
de la tabla de pginas por el nmero de marco en lugar de por el nmero de pgina virtual. Para un tamao de
memoria fsica de 2m marcos, la tabla de pginas invertida contiene 2m entradas, de forma que la entrada en la
posicin i-esima se refiere al marco i.
Las entradas contienen la direccin virtual de la pgina almacenada en el marco con informacin sobre el
proceso que la posee.
Disminuye la memoria necesaria para almacenar cada tabla de pginas.
Buffer de traduccin adelantada (almacenamiento intermedio)
En principio, toda referencia a la memoria virtual puede causar dos accesos a memoria fsica: uno para buscar la
entrada la tabla de pginas apropiada y otro para buscar los datos solicitados.
Por esta situacin, la mayora de esquemas de la memoria virtual utilizan una cache especial hardware de alta
velocidad para las entradas de la tabla de pgina TLB (translation lookaside buffer). Esta contiene aquellas
entradas de la tabla de pginas que han sido usadas de forma ms reciente. Dada una direccin virtual, el
procesador primero examina la TLB, si la entrada de la tabla de pginas solicitada est presente (acierto en
TLB), entonces se recupera el nmero de marco y se construye la direccin real. Los estudios sobre la TLB han
demostrado que este esquema significa una importante mejora del rendimiento.
Pgina 45 de 70

Tamao de pgina
Cuanto menor es el tamao de la pgina, menor cantidad de fragmentacin interna. Por otro lado, cuanto menor
es la pgina, mayor nmero de pginas son necesarias para cada proceso. Un mayor nmero de pginas por
proceso significa tambin que el tamao de las tablas de pginas ser mayor. Esto puede significar que una gran
parte de las tablas de pginas de los procesos activos debe estar en memoria virtual y no en memoria principal.
Esto puede provocar 2 fallos de pgina para una nica referencia a memoria:

Para traer la parte necesaria de la tabla de pginas.

Para traer la pgina del proceso.

Por principio de proximidad, si el tamao de pgina es muy pequeo habr gran cantidad de pginas disponibles
en la memoria principal para cada proceso. Despus de un tiempo, las pginas en memoria contendrn las partes
de los procesos a las que se ha hecho referencia de forma reciente. De esta forma, la tasa de fallos de pgina
debera ser baja. A medida que el tamao de pginas se incrementa, la pgina en particular contendr
informacin ms lejos de la ltima referencia realizada. As pues, el efecto del principio de proximidad se
debilita y la tasa de fallos de pgina comienza a crecer.
Para un tamao determinado de una TLB, a medida que el tamao del proceso crece y la proximidad de
referencias decrece, el ndice de aciertos en TLB se va reduciendo. Bajo estas circunstancias, la TLB se puede
convertir en el cuello de botella del rendimiento.
Paginacin y Segmentacin combinadas
La paginacin es transparente al programador y elimina la fragmentacin externa, y por tanto proporciona un
uso eficiente de la memoria principal.
La segmentacin s es visible al programador, incluyendo la posibilidad de manejar estructuras de datos que
crecen, modularidad, y dar soporte a la comparticin y a la proteccin. A su vez, elimina la fragmentacin
interna.
En un sistema con paginacin y segmentacin combinadas, el espacio de direcciones de un usuario se divide en
varios segmentos segn el criterio del programador. Cada segmento se vuelve a dividir en varias pginas de
tamao fijo, que tienen la misma longitud que un marco de memoria principal.
Asociada a cada proceso existe una tabla de segmentos y varias tablas de pginas, una por cada uno de los
segmentos.
Proteccin y seguridad
La segmentacin proporciona proteccin y comparticin.
Cada entrada en la tabla de segmentos incluye la longitud as como la direccin base, por lo que un programa
NO puede acceder a una posicin de memoria ms all de los lmites del segmento. Para conseguir
comparticin, es posible que un segmento se encuentre referenciado desde las tablas de segmentos de ms de un
Pgina 46 de 70

proceso. Los mecanismos estn disponibles en los sistemas de paginacin. Sin embargo, en este caso la
estructura de pginas de un programa y los datos no son visible para el programador, haciendo que la
especificacin de la proteccin y los requisitos de comparticin sean ms difciles.
Polticas de lectura
La poltica de lectura (fetch) est relacionada con la decisin de cuando se debe cargar una agina en la memoria
principal:
Paginacin por demanda
Una pgina se trae a memoria slo cuando se hace referencia a una posicin en dicha pgina. Al
principio se producir un aluvin de fallos de pgina, pero luego al estar cargadas varias pginas
utilizadas recientemente, por el principio de proximidad, la situacin se estabilizar y el nmero de
fallos ser muy bajo.

Paginacin previa
Se traen a memoria tambin otras pginas, diferentes de la que ha causado el fallo de pgina. Es mucho
ms eficiente traer a la memoria un nmero de pginas contiguas de una vez, en lugar de traerlas una a
una a lo largo de un periodo de tiempo ms amplio (por la operacin de E/S a disco). Por supuesto, esta
poltica es ineficiente si la mayora de las pginas que se han trado no se referencian a posteriori.

Polticas de ubicacin
La poltica de ubicacin determina en qu parte de la memoria real van a residir las porciones de un proceso.
En los sistema de segmentacin puros, la poltica de ubicacin es un aspecto de diseo muy importante
(polticas del estilo mejor ajuste, primer ajuste).
Para sistemas que usan paginacin pura o paginacin combinada con segmentacin, la ubicacin es irrelevante
debido a que el hardware de traduccin de direcciones y el hardware de acceso a la memoria principal pueden
realizar sus funciones en cualquier combinacin de pgina-marco con la misma eficiencia.
Polticas de reemplazo
La poltica de reemplazo determina entre el conjunto de pginas consideradas, cul es la pgina especifica que
debe elegirse para el reemplazo. Todas las polticas reemplazo tienen como objetivo que la pgina que va a
eliminarse sea aquella que tiene menos posibilidades de volver de ser referencia en un futuro cercano.
Cuanto ms elaborada y sofisticada es una poltica de reemplazo, mayor va a ser la sobrecarga a nivel software
y hardware para implementarla.
Bloqueo de marcos
Cuando un marco est bloqueado, la pgina actualmente almacenada en dicho marco no puede
reemplazarse. Gran parte del ncleo del sistema operativo se almacena en marcos que estn bloqueados,
Pgina 47 de 70

as como otras estructuras de control claves.

Algoritmos
Existen ciertos algoritmos bsicos que se emplean para la seleccin de una pgina a reemplazar:
1. ptima
2. Usada menos recientemente (LRU)
3. Primero entrar, primero en salir (FIFO)
4. Reloj
ptima selecciona para reemplazar la pgina que tiene que esperar una mayor cantidad de tiempo hasta
que se produzca la referencia siguiente. Genera el menor nmero de fallos de pgina pero es imposible
de implementar ya que requiere que el SO tenga un conocimiento exacto de los sucesos futuros.
LRU reemplaza la pgina de memoria que ha sido referenciada desde hace ms tiempo. LRU
proporciona unos resultados casi tan buenos como la poltica ptima. El problema con esta alternativa es
la dificultad en su implementacin. Es una opcin costosa en cuanto a la sobrecarga del sistema.
FIFO trata los marcos de pgina ocupados como si se tratase de un buffer circular, y las pginas se
remplazan mediante una estrategia cclica de tipo round-robin. Sencillo de implementar pero su
rendimiento es relativamente pobre ya que reemplaza la pgina que lleva en memoria ms tiempo y por
lo general que estos sean las zonas utilizadas de forma intensiva durante todo el tiempo de vida del
proceso.
Reloj asocia un bit a cada marco, denominado bit de uso. Cuando una pgina se trae por primera vez a la
memoria, el bit de usado de dicho marco se pone a 0. Cuando se hace referencia a la pgina
posteriormente, el bit se pone en 1. El conjunto de marcos a ser reemplazados se considera como un
buffer circular con un puntero asociado. Cuando llega el momento de reemplazar una pgina, el sistema
operativo recorre el buffer para encontrar un marco con su bit de usado a 0. Cada vez que encuentra un
marco con el bit de usado a 1, se reinicia este bit a 0 y se contina. Si alguno de los marcos del buffer
tiene el bit de usado a 0 al comienzo de este proceso, el primero de estos marcos que se encuentre se
seleccionar para reemplazo. Si todos los marcos tienen el bit a 1, el puntero va a completar un ciclo
completo a lo largo del buffer, poniendo todo los bits de usado a 0, parndose en la posicin original,
reemplazando la pgina en dicho marco. Vase que esta poltica es similar a FIFO, excepto que, en la
poltica del reloj, el algoritmo saltar todo marco con el bit de usado a 1. Se aproxima al rendimiento
LRU sin introducir mucha sobrecarga.
El algoritmo del reloj puede hacerse ms potente incrementando el nmero de bits que utiliza (y cuantos
menos bits se utilicen se degenera en FIFO).Se asocia un bit de modificado que combinado con el bit de
usado, en resumen, el algoritmo de reemplazo de pginas da vueltas a travs de todas las pginas del
Pgina 48 de 70

buffer buscando una que no se haya modificado desde que se ha trado y que no haya sido accedida
recientemente. Esta pgina es una buena opcin para reemplazo y tiene la ventaja que, debido a que no
se ha modificado, no necesita escribirse de nuevo en la memoria secundaria.

Almacenamiento intermedio de pginas

Para mejorar el rendimiento, una pgina remplazada no se pierde sino que se asigna a una de las dos
siguientes listas: la lista de pginas libres si la pgina no se ha modificado, o la lista de pginas
modificadas si lo ha sido. La pgina no se mueve fsicamente de la memoria, en su lugar, se suprime su
entrada en la tabla de pginas y se pone en la lista de pginas libres o modificadas.
.
En efecto, la lista de pginas modificadas y libres acta como una cache de pginas (la pgina que se va
a reemplazar se mantiene en la memoria).
Gestin de conjunto residente
Asignacin Fija proporciona un nmero fijo de marcos de memoria principal disponibles para ejecucin.
Siempre que se produzca un fallo de pgina del proceso en ejecucin, la pgina que se necesite reemplazar una
de las pginas del proceso.
Asignacin variable permite que se reserven un nmero de marcos por proceso que puede variar a lo largo
del tiempo de vida del mismo. Muchos fallos de pginas, se asignan marcos adicionales al proceso. Pocos fallos
de pgina, se saca marcos que no utiliza. La dificultad de esta estrategia se deben a que el SO debe saber cul es
el comportamiento del proceso activo por lo que produce una sobrecarga en el sistema.

Alcance del reemplazo

La poltica de reemplazo surge cuando se produce un fallo de pgina. Esta puede ser:

Reemplazo de Alcance local

Se escoge entre la paginas residentes del proceso que origino el fallo.

Reemplazo de Alcance Global

Se escoge entre todas las pginas de la memoria para reemplazo.

NO es posible aplicar asignacin fija y una poltica de reemplazo global.

Polticas de vaciado
Determina el momento en el que hay que escribir en la memoria secundaria una pgina modificada.
Vaciado por demanda
Pgina 49 de 70

Una pgina se escribir en la memoria secundaria solo cuando haya sido elegida para reemplazarse.

Vaciado previo
Escribe las pginas modificadas antes de que se necesiten sus marcos, de forma que las pginas puedan
escribirse por lotes.

Las 2 polticas son ineficientes, ya que el vaciado por demanda la escritura de una pgina es anterior a la lectura
de una nueva pgina, por lo que un proceso que sufra una falla de pgina pueda tener que esperar 2
transferencias de pginas antes de desbloquearse. Con el vaciado previo, las pginas pueden ser nuevamente
modificadas luego de ser escritas en memoria secundaria.
Solucin: incorporar almacenamiento intermedio de pginas Se desactivan las polticas de reemplazo y
vaciado para dar lugar al almacenamiento intermedio.
Control de carga
Determinar el grado de multiprogramacin: pocos procesos en la memoria principal, entonces menor
aprovechamiento de la CPU. Si hay demasiados procesos, el tamao medio del conjunto residente de cada
proceso no ser el adecuado y se producirn frecuentes fallos de pginas. El resultado es la hiperpaginacin.

Pgina 50 de 70

Capitulo: Entrada y Salida

Hay 3 tcnicas para realizar la E/S:
1. E/S programada: el procesador emite una orden de E/S de parte de un proceso a un mdulo de E/S; el
proceso espera hasta que se complete la operacin antes de continuar (espera activa, se queda
preguntando al dispositivo de E/S si ya est listo para realizar la E/S - Bit de ocupado/desocupado de la
controladora).
2. E/S dirigida por interrupcin: el procesador emite una orden de E/S de parte de un proceso a un
mdulo de E/S, el procesador continua la ejecucin de las instrucciones siguientes mientras el modulo
E/S se prepara para la E/S. Cuando est listo para realizar la operacin de E/S manda una interrupcin y
el procesador la capta (entre medio de cada instruccin verifica la lnea de interrupciones). El procesador
interrumpe lo que estaba haciendo y comienza la transferencia.
3. Acceso directo a memoria: un mdulo de DMA, que es un procesador de propsito especial, controla
el intercambio de datos entre la memoria principal y un mdulo de E/S. El procesador enva una peticin
de transferencia al DMA. El DMA interrumpe al procesador solo para indicarle que la transferencia ya
termino.
Acceso directo a la memoria
EL DMA transfiere datos desde y hacia la memoria a travs del bus del sistema. Normalmente el DMA debe
usar el bus solamente cuando el procesador no lo necesite o debe obligar al procesador a que se suspenda
temporalmente su operacin. Esta ltima tcnica es ms comn y se denomina robo de ciclos de bus donde el
procesador debe esperar un ciclo de bus mientras la unidad de DMA transfiere una palabra. El efecto final es
que el procesador ejecuta ms lentamente. Sin embargo, para una transferencia de varias palabras, el DMA es

Pgina 51 de 70

mucho ms eficiente que la E/S programada o la dirigida.

En las alternativas de configuraciones de DMA (imagen de arriba) se ve que:
En el caso A, EL DMA y los dispositivos de E/S utilizan el bus del sistema por lo que la transferencia de
una palabra consume 2 ciclos de bus: solicitud de transferencia + la transferencia.

En el caso B y C, se conectan los mdulos de E/S al mdulo de DMA mediante un bus de E/S, por lo
que el bus del sistema solo es utilizado por el DMA para intercambiar datos con la memoria y seales de
control con la CPU. El intercambio de datos entre el mdulo de DMA y el de E/S tiene lugar fuera del
bus del sistema, achicando as el nmero de ciclos de bus del sistema requeridos.

Aspectos de diseo en los sistemas operativos

Las operaciones de E/S constituyen un cuello de botella en los sistemas informticos ya que la mayora de los
dispositivos de E/S son extremadamente lentos en comparacin con la memoria principal y el procesador. Una
manera de abordar este problema es con el uso de la multiprogramacin, que permite que algunos procesos
esperen la E/S mientras otro proceso est ejecutado.
Almacenamiento intermedio (buffering)
Un buffer es una memoria intermedia que almacena datos mientras se estn transmitiendo entre 2 dispositivos o
entre un dispositivo y una aplicacin. Es un amortiguador de velocidades.
Si un proceso realiza una E/S sin buffer, este debe quedar residente en la memoria principal, no pudiendo ser
expulsado a disco. Esta condicin reduce la oportunidad de usar el intercambio al fijar como residente parte de
la memoria principal, lo que conlleva una disminucin del rendimiento global del sistema. Asimismo, el
dispositivo de E/S queda asociado al proceso durante la duracin de la transferencia, no estando disponible
mientras tanto para otros procesos.
Por lo tanto, en un entorno multiprogramado, donde hay mltiples operaciones de E/S, el almacenamiento
intermedio es una herramienta que puede incrementar la eficiencia del SO y el rendimiento de los procesos
individuales.
Doble buffer
Un proceso puede transferir datos hacia o desde una memoria intermedia mientras el SO vaca o rellena el otro.
Planificacin de discos
Tiempo de bsqueda tiempo que se tarda en ubicar la cabeza en la pista.
Retardo de giro tiempo que tarda el inicio del sector deseado en llagar hasta la cabeza.
Pgina 52 de 70

Tiempo de acceso suma del tiempo de bsqueda + el retardo de giro.

El orden en que se leen los sectores del disco tiene un efecto inmenso en el rendimiento de la E/S. Ac entra en
juego las polticas de planificacin del disco.
Nota: Si los pedidos de lectura a disco no llegan en simultneo, no hay nada que planificar ya que hay un solo
pedido a la vez.
Las polticas de planificacin son:
FIFO (Primero en entrar primero en salir): Buen rendimiento si hay pocos procesos que requieren
acceso y si muchas de las solicitudes son a sectores agrupados de un archivo. Sino mal rendimiento
(como si fuese aleatorio).

Prioridad: la planificacin queda fuera del control del software de gestin de disco. Esta estrategia no
est diseada para optimizar la utilizacin del disco sino satisfacer otros objetivos del SO. Favorece a
los trabajos cortos, por los que los trabajos mayores pueden tener que esperar excesivamente. Poco
favorable para sistemas de bases de datos.

LIFO (Ultimo en entrar, primero en salir): Puede producir inanicin. Buen rendimiento en los sistemas
de transacciones ya que conceder el dispositivo al ltimo usuario acarrea pocos movimientos de brazos
al recorrer un archivo secuencial.

Nota: las siguientes polticas tienen en cuenta la posicin actual de la pista.

SCAN (subo hasta la ltima pista del disco y bajo): Favorece a los trabajos con solicitudes de pistas
cercanas a los cilindros ms interiores y exteriores; as como a los ltimos trabajos en llegar.
El primer problema se puede evitar con C-SCAN, mientras el 2do con SCAN N pasos.

Nota:
Entre otras polticas (LOOK, CLOOK, FSCAN, SCAN N PASOS, SSTF. Ver practica).
RAID
RAID (Vector Redundante de Discos Independientes) es un conjunto de unidades de disco fsico vistas por el
SO como una sola unidad lgica.
Con mltiples discos que funcionan en forma independiente y en paralelo, las distintas solicitudes de E/S se
pueden gestionar en paralelo, siempre que los datos solicitados residan en discos separados. Es ms, una nica
peticin de E/S se puede ejecutar en paralelo si el bloque de datos que se pretende acceder est distribuido a lo
largo de mltiples discos. Por lo que RAID tiende a mejora significativamente el rendimiento y fiabilidad del
Pgina 53 de 70

sistema de E/S a disco.

El sistema de RAID consta de 6 niveles posibles, de 0 a 6. Los niveles de 2 a 4 no se comercializan.
RAID 0 (no redundante)
No incluye redundancia. Es un RAID trucho. Todos los datos estn distribuidos a lo largo de todo el
vector de discos.

Los datos estn distribuidos en bandas a lo largo de los discos disponibles. El RAID 0 se usa
normalmente para aplicaciones que requieren alto rendimiento para datos no crticos.

RAID 1 (espejo)
Se consigue redundancia por el simple medio de duplicar todos los datos. Mucha fiabilidad. Permite
lecturas ms rpidas ya que los datos los puede servir cualquiera de los 2 discos que contienen los datos
solicitados. La velocidad de escritura depende de la escritura ms lenta de las 2, pero NO hay
penalizacin de escritura (escribir informacin adicional como bit de paridad).
La principal desventaja es el elevado costo por tener que duplicar toda la informacin en otro disco.
Discos = 2N

RAID 2 (redundancia mediante cdigo Hamming Acceso paralelo)

RAID 2 usa divisin a nivel de bits. Se utilizan un par de discos para datos y otros para paridad. El
nmero de discos redundantes es proporcional al logaritmo del nmero de discos de datos.
Discos = N + M

Uno de sus efectos secundarios es que normalmente no puede atender varias peticiones simultneas,
Pgina 54 de 70

debido a que por definicin cualquier simple bloque de datos se dividir por todos los miembros del
conjunto, residiendo la misma direccin dentro de cada uno de ellos. As, cualquier operacin de lectura
o escritura exige activar todos los discos del conjunto.
Puede conseguir una tasa de transferencia muy alta.
Sirve solamente para un entorno donde se produjeran muchos errores de disco.

RAID 3 (paridad por intercalacin de bits Acceso paralelo)

Idntico a RAID 2 pero solamente requiere de 1 disco redundante, sin importar la cantidad de discos. En
lugar de un cdigo de correccin de errores, se calcula un bit de paridad simple para el conjunto de bits
almacenados en la misma posicin en todos los discos de datos.

Discos = N + 1
En el ejemplo del grfico, una peticin del bloque A formado por los bytes A1 a A6 requerira que los
tres discos de datos buscaran el comienzo (A1) y devolvieran su contenido. Una peticin simultnea del
bloque B tendra que esperar a que la anterior concluyese.
Puede conseguir una tasa de transferencia muy alta. No puede atender varias peticiones simultneas.

RAID 4 (paridad por intercalacin de bloques Acceso Independiente)

Usa divisin a nivel de bloques con un disco de paridad dedicado. Permite acceso independiente.

Discos = N + 1
Pgina 55 de 70

En ejemplo del grfico, una peticin del bloque A1 sera servida por el disco 0. Una peticin
simultnea del bloque B1 tendra que esperar, pero una peticin de B2 podra atenderse
concurrentemente.

RAID 5 (paridad por intercalacin distribuida de bloques Acceso independiente)

El esquema RAID 5 se organiza de manera similar al RAID 4. La diferencia estriba en que el esquema
RAID 5 distribuye las bandas de paridad a travs de todos los discos.
El RAID 5 ha logrado popularidad gracias a su bajo coste de redundancia. Adems a diferencia de RAID
4 no tiene cuello de botella al no tener un disco dedicado a redundancia.

Discos = N + 1

RAID 6 (paridad dual por intercalacion distribuida de bloques Acceso independiente)

En el esquema RAID 6, se realizan dos clculos de paridad diferentes, almacenndose en bloques
separados de distintos discos. Por tanto, un vector RAID 6, cuyos datos de usuario requieran N discos,
necesitar:
Discos = N + 2
La ventaja del esquema RAID 6 es que proporciona una extremadamente alta disponibilidad de datos.

Nota:
Acceso paralelo todos los discos participan en la ejecucin de cada solicitud de E/S. Ms apropiados para
aplicaciones que requieran tasas altas de transferencia de datos
Acceso independiente cada disco opera independientemente, por lo que se pueden satisfacer en paralelo
solicitudes de E/S. Ms apropiados para aplicaciones que requieran tasas altas de solicitudes de E/S.
Pgina 56 de 70

Memoria cache
Memoria pequea y de alta velocidad, ms rpida que la memoria principal, y que se sita entre esta y el
procesador. Dicha memoria cache reduce el tiempo medio de acceso a memoria aprovechndose del principio
de la proximidad.
La cache de disco contiene una copia de algunos de los sectores del disco. Cuando se hace una peticin de E/S
solicitando un determinado sector, se comprueba si el sector est en la cache del disco. En caso afirmativo, se
sirve la peticin desde la cache. Debido al fenmeno de la proximidad de referencias, cuando se lee un bloque
de datos en la cache para satisfacer una nica peticin de E/S, es probable que haya referencias a ese mismo
bloque en el futuro.
La diferencia entre cache y buffer en que el buffer puede almacenar la nica copia existen de un elemento de
datos, mientras que la cache almacena una copia de un elemento que reside en otro lugar.
Tipos de E/S
Bloqueante y No bloqueante
Bloqueante Se suspende la ejecucin de la aplicacin que la solicito. Cuando se completa la
operacin vuelve a la cola de listos.
No bloqueante No detiene la ejecucin. En lugar de ello, la llamada vuelve rpidamente, con un valor
de retorno que indica cuantos bytes se han trasferidos.

Asincrnicas / Sincrnicas
Asincrnico La llamada vuelve rpidamente, sin ningn valor de retorno. Cuando la E/S termina
avisa (consume una cantidad impredecible de tiempo).
La diferencia con una no bloqueante, es que una operacin read () no bloqueante vuelve inmediatamente
con los datos que haya disponibles, mientras que una llamada read () asincrnica solicita una
transferencia que se realizara de modo completo pero que completara en algn instante futuro.
Sincrnico Como voy a seguir con el proceso depende del resultado de E/S (consume una cantidad
predecible de tiempo)

Pgina 57 de 70

Capitulo: Interfaz del Sistemas de Archivos (Parte A)

Concepto de Archivo
Un archivo es una coleccin de informacin relacionada, con un nombre, que se graba en almacenamiento
relacionado. Es la unidad lgica ms pequea de almacenamiento secundario (no pueden escribirse datos en el
almacenamiento secundario a menos que estos se encuentren dentro de un archivo).
Los atributos de un archivo generalmente son:
Nombre identifica el archivo para el usuario.
Identificador identifica el archivo dentro del sistema de archivos
Tipo
Ubicacin

Tamao
Proteccin Informacin de control de acceso al archivo (quien puede leer, escribir, etc.)

Fecha, hora e identificacin del usuario

La informacin de los archivos se almacena en la estructura de directorios, que tambin reside en

almacenamiento secundario.
Sistema de gestin de archivos
Un sistema de gestin de archivos es aquel conjunto de software del sistema que proporciona servicios a los
usuarios y aplicaciones para el uso de archivos. Los objetivos de un sistema de gestin de archivos son:
Almacenar datos y operar con ellos
Proteccin de los datos

Optimizar la performance del sistema

Minimizar la posibilidad de prdida de datos.
Brindar soporte para distintos tipos de almacenamiento

Interface personalizada para aplicaciones de usuarios

Garantizar que sea posible la coherencia de los datos

Pgina 58 de 70

Arquitectura de los sistemas de archivos

La figura muestra una representacin de una organizacin tpica del software (puede variar dependiendo del
sistema). Por lo tanto, el sistema de archivos est compuesto, generalmente, de muchos niveles. Cada nivel del
diseo utiliza funciones de los niveles inferiores. Desde el nivel ms bajo al ms alto:

Controladores de dispositivo Un controlador de dispositivo es el responsable de iniciar las

operaciones de E/S de un dispositivo y procesar la finalizacin de una peticin de E/S. Los
controladores de dispositivos se consideran normalmente parte del sistema operativo.

Sistema de archivos bsico enva comandos genricos al controlador de dispositivo apropiado, con el
fin de leer y escribir bloques fsicos en el disco. El sistema de archivos bsico se considera normalmente
parte del sistema operativo.

Supervisor bsico de E/S El supervisor de E/S bsico selecciona el dispositivo en el cual se van a
llevar a cabo la operacin de E/S. Tambin se encarga de la planificacin de disco y cinta para optimizar
el rendimiento. A este nivel, se asignan los buffers de E/S y se reserva la memoria secundaria. El
supervisor de E/S bsico es parte del sistema operativo.

E/S Lgica Permite a los usuarios y a las aplicaciones acceder a los registros.

Mtodo de acceso Diferentes mtodos de acceso reflejan diferentes estructuras de archivos y

diferentes formas de acceder y procesar los datos.

Pgina 59 de 70

Otra forma de ver las funciones de un sistema de archivos se muestra en la siguiente figura:

Sigamos este diagrama de izquierda a derecha:

Los usuarios y programas de aplicaciones interaccionan con el sistema de archivos mediante
rdenes/operaciones sobre archivos.

El sistema de archivos debe identificar y localizar el archivo seleccionado. Esto requiere el uso de algn
tipo de directorio que se utilice para describir la ubicacin de todos los archivos.
Adicionalmente se aplica un control de acceso (slo se permite determinado acceso particular a los
usuarios autorizados.)

Las operaciones bsicas que puede realizar un usuario o aplicacin se realizan a nivel de registro. El
usuario o aplicacin ve el archivo como una estructura que organiza los registros. Por tanto, para
traducir los rdenes de usuario en rdenes de manipulacin de archivos, debe emplearse el mtodo de
acceso apropiado para esta estructura de archivos.

La E/S se realiza a nivel de bloque. Por tanto, los registros de un archivo se deben traducirse en bloques
para la salida y los bloques traducirse a registros despus de la entrada.

Se debe gestionar el almacenamiento secundario Asignacin de archivos a bloques libres de

almacenamiento secundario, gestin del espacio libre, planificacin de las peticiones de E/S.

En s, la figura sugiere una divisin entre las funciones del sistema de gestin de archivos y las funciones del
Pgina 60 de 70

sistema operativo, siendo el punto de interseccin el procesamiento de registros.

Organizacin y acceso a archivos
Las organizaciones son: archivo de pila, archivo secuencial, archivo secuencial indexado, archivo indexado,
archivos hash.

Pilas
Forma ms simple de organizacin de archivos. Los datos se recolectan en el orden en que llegan. Cada
registro consiste en una rfaga de datos. El propsito de la pila es simplemente acumular la masa de
datos y guardarlo. El acceso a los datos se hace por bsqueda exhaustiva por no tener una estructura.
Fciles de actualizar. Aprovecha bien el espacio cuando los datos almacenados varan en tamao y
estructura.

Archivos secuenciales
Se emplea un formato fijo para los registros. Todos los registros son de igual tamao y estn compuestos
por el mismo nmero de campos de longitud fija en un orden especfico. Las bsquedas se realizan en
forma secuencial.

Pgina 61 de 70

Archivos secuenciales indexados

Solventa las desventajas de los archivos secuenciales. Mantienen las caractersticas bsicas de los
archivos secuenciales. Los registros se organizan en una secuencia basada en un campo clave, pero se
aaden 2 caractersticas nuevas: un ndice del archivo para soportar los accesos aleatorios y un archivo
de desbordamiento (overflow). Reducen enormemente el tiempo necesario para acceder a un solo
registro sin sacrificar la naturaleza secuencial del archivo.

Archivos indexados
Cuando es necesario buscar por algn otro atributo que no sea el campo clave, ambas formas de archivos
secuenciales son inadecuadas. En algunas aplicaciones, esta flexibilidad es deseable.
Para lograr esta flexibilidad, se necesita una estructura que emplea mltiples ndices, uno por cada tipo
de campo que puede estar sujeto a una bsqueda (ndice exhaustivo y parcial)

Archivos directos o hash

Los archivos hasheados o directos, hacen uso de la capacidad del disco para acceder directamente a un
bloque. Se requiere una clave para cada registro. Sin embargo, en este tipo de archivos no existe el
concepto de ordenacin secuencial.
El archivo directo hace uso de una funcin hash sobre un valor clave. Los archivos directos se utilizan
frecuentemente cuando se requiere un acceso muy rpido (ejemplo: tabla de precios).

Organizacin de directorios
El directorio de archivos contiene informacin sobre los archivos, incluyendo atributos, ubicacin y propietario.
Gran parte de esta informacin la gestiona el SO. El directorio es propiamente un archivo, posedo por el
sistema operativo.
La informacin que almacena difiere mucho entre los distintos sistemas, pero algunos elementos claves siempre
deben permanecer en el directorio, como el nombre, direccin, tamao y organizacin.
Los tipos de operaciones que pueden realizarse con un directorio:
Buscar Archivo cuando un usuario hace referencia a un archivo debe buscarse en el directorio la
entrada correspondiente.
Crear Archivo se aade una entra al directorio

Borrar Archivo se elimina una entrada del directorio

Enumerar directorio una lista de todos los archivos posedos por dicho usuario.
Actualizar directorio cambio en la entrada del directorio correspondiente por un cambio de algn
atributo del archivo
Pgina 62 de 70

Una nica lista no es adecuada como estructura del directorio para soportar estas operaciones por cuestiones de
organizacin (por ejemplo tener los archivos separados por tipo, por usuario, etc.).
Una tcnica ms potente y flexible, que es casi universalmente adoptada, es utilizar una estructura jerrquica en
forma de rbol.
Como en la tcnica anterior, hay un directorio maestro, que tiene bajo dicho directorio varios directorios de
usuario. Cada uno de estos directorios de usuario, a su vez, podra tener subdirectorios y archivos como
entradas. Esto se cumple para todos los niveles. Es decir, en cada nivel, un directorio podra estar formado por
subdirectorios y/o archivos.
Cada directorio se almacena como un archivo secuencial. Cuando los directorios tengan un nmero muy grande
de entradas es preferible una estructura hash.
El conjunto de nombres de directorios, finalizando en el nombre del archivo, constituye un nombre de camino

Pgina 63 de 70

para el archivo.

Agrupacin de registros
Como se vio los registros so la unidad lgica de acceso a los archivos, mientras que los bloques son la unidad de
E/S para almacenamiento secundario. Para que la E/S se pueda realizar, los registros se deben organizar como
bloques.
Los bloques en la mayora de los sistemas son de longitud fija. Esto simplifica la E/S.
Cuanto mayor sea el bloque, ms registros se transferirn en una operacin de E/S. La preocupacin
viene por el hecho de que bloques ms grandes requieren buffers de E/S mayores, haciendo la gestin de
buffers ms difcil.
Los bloques pueden ser de:
o Tamao fijo: Se utilizan registros de longitud fija, guardndose en cada bloque un nmero entero
de registros. Podra haber espacio no utilizado al final de cada bloque. Esto se denomina
fragmentacin interna.
o Bloques de longitud variable con tramos: Se utilizan registros de longitud variable y se agrupan
en bloques sin dejar espacio sin usar. Por tanto, algunos registros deben abarcar dos bloques, con
su continuacin indicada por un puntero al bloque sucesor.
o Bloques de longitud variable sin tramos. Se utilizan registros de longitud variable, pero no se
dividen en tramos. En la mayora de los bloques habr espacio desperdiciado si el siguiente
registro es mayor que el espacio sin usar.
Utilizar bloques fijos es el modo comn para archivos secuenciales con registros de longitud fija.
Los Bloques de longitud variable con tramos son difciles de implementar ya que los registros que
ocupan 2 bloques requieren dos operaciones de E/S y los archivos son difciles de actualizar.
Los Bloques de longitud variable sin tramos implican espacio malgastado y limitan el tamao del
registro al tamao de un bloque.

Pgina 64 de 70

Capitulo: Implementacin de sistemas de archivos (Parte B)

En esta segunda parte, se ver los temas relativos al almacenamiento de archivos y al acceso a archivos en el
medio ms comn de almacenamiento secundario, que es el disco.
Las transferencias de E/S entre la memoria y el disco se realizan en unidades de bloques para mejorar la
eficiencia de E/S. Cada bloque tiene uno o ms sectores. Los sectores varan entre 32 bytes y 4096 bytes;
generalmente su tamao de 512 bytes.
Bloque de control de archivo (FCB) Estructura que contiene informacin acerca de un archivo especifico,
incluyendo su propietario, los permisos y la ubicacin del contenido del archivo. Hay un FCB por archivo.
Nota: Cuando se crea un archivo se asigna un nuevo FCB.
Permisos del archivo
Fechas del archivo (creacin, accesos, escritura)
Propietario del archivo
Tamao del archivo
Punteros a los bloques de datos del archivo
Particin divisin lgica de un dispositivo fsico.
Volumen Particin formateada con un sistema de archivos
Tabla de asignacin de archivos (FAT) Estructura de datos que se usa para guardar constancia de las
secciones asignadas a un archivo.
Asignacin del espacio de memoria secundaria a los archivos
El principal problema de un sistema de archivos es como asignar el espacio a los archivos de modo que el
espacio de disco se utilice de forma eficaz y que se pueda acceder a los archivos de forma rpida. Hay 3
mtodos: asignacin contigua, asignacin enlazada y asignacin indexada.
Tipos de asignacin

Asignacin previa Requiere que el tamao mximo del archivo sea declarado en el momento crearlo.
Es difcil, a veces imposible, estimar el tamao mximo del archivo. Por lo que habra que sobrestimar
el tamao de lo que supone un desperdicio de la asignacin de espacio de almacenamiento.

Asignacin dinmica Asigna espacio a un archivo en secciones a medida que se necesitan.

Tamao de la seccin
Pgina 65 de 70

Secciones contiguas variables y grandes El mejor rendimiento. Evita malgastar espacio, y las tablas
de asignacin de archivos sern pequeas. Espacio difcil de reutilizar.

Bloques Secciones fijas y pequeas ofrecen mayor flexibilidad. Tablas de asignacin sern grandes
y/o complejas. Los bloques se asignan a medida que se necesiten (pueden no ser contiguos).

En el caso de secciones contiguas variables y grandes se asigna previamente un grupo de bloques contiguos.
Esto elimina la necesidad de una tabla de asignacin de archivos; todo lo que se requiere es un puntero al primer
bloque y el nmero de bloques asignados.
En el caso de los bloques, todas las secciones requeridas se asignan a la vez. Esto significa que la tabla de
asignacin de archivos para el archivo es de tamao fijo.
Con secciones de tamao variable, es necesario preocuparse de la fragmentacin del espacio libre. Las
siguientes estrategias son posibles:
Primer ajuste: Elegir el primer grupo de bloques contiguo sin usar de tamao suficiente.
Siguiente ajuste: Elegir el grupo ms pequeo sin que sea de tamao suficiente.
Ajuste ms cercano: Elegir el grupo sin usar de tamao suficiente que est ms cercano al asignado
previamente al archivo para aumentar la cercana.
Mtodos de asignacin de archivos

Asignacin contigua
Cuando se crea el archivo se asigna un nico conjunto contiguo de bloques. Es una estrategia de
asignacin previa. La FAT contiene slo una entrada por cada archivo y que muestra el bloque de
comienzo y la cantidad de bloques que ocupa.

Pgina 66 de 70

Ventajas:
Requiere menos reposicionamientos del cabezal para escritura y lectura al ser posiciones
contiguas

Eficiente para acceso directo y secuencial

Si se daa un bloque NO pierdo al resto.

Desventajas:
Fragmentacin externa a causa de la asignacin previa. A medida que se asignan y borran
archivos, el espacio libre del disco se descompone en pequeos fragmentos.

Sufre demasiada fragmentacin interna a causa de la asignacin previa.

Poco ptimo para expandir archivos a causa de la asignacin previa.

Asignacin enlazada
Asigna bloques dinmicamente a medida que se necesiten (aunque es posible la asignacin
previa). Para poder seguir la cadena de bloques de un archivo, cada bloque contendr un puntero
al siguiente bloque de la cadena. La tabla de asignacin de archivos necesita una sola entrada por
cada archivo que muestre el bloque de comienzo y la longitud del archivo.

Pgina 67 de 70

Ventajas:
No tiene fragmentacin externa al asignar un bloque cada vez y pudiendo ser de forma no
continua (asignacin dinmica).

Sufre en menor medida la fragmentacin internada en comparacin a la asignacin

contigua

ptimo para expandir el archivo

Desventajas:

Requiere muchos reposicionamientos del cabezal para escritura y lectura al ser posiciones
no contiguas (muy dispersas en el disco).

No es eficiente para acceso directo. Se debe recorrer la cadena hasta el bloque deseado.

Si se daa un bloque pierdo al resto.

Asignacin indexada
La tabla de asignacin de archivos contiene un ndice separado de un nivel para cada archivo. El
ndice posee una entrada para cada seccin asignada al archivo. El ndice del archivo se guardar
en un bloque aparte y la entrada del archivo en la tabla de asignacin apuntar a dicho bloque.

Pgina 68 de 70

Ventajas:
No tiene fragmentacin externa al asignar un bloque cada vez y pudiendo ser de forma no
continua (asignacin dinmica).

Sufre en menor medida la fragmentacin internada en comparacin a la asignacin

contigua

Eficiente para acceso directo y secuencial

Si se daa un bloque NO pierdo al resto.

Desventajas:
Requiere muchos reposicionamientos del cabezal para escritura y lectura al ser posiciones
no contiguas (muy dispersas en el disco).

Requiere de espacio para almacenar el ndice

Requiere mantener actualizado el ndice.

Gestin del espacio libre

Para llevar a cabo cualquiera de las tcnicas de asignacin de archivos descritas previamente, es necesario saber
qu bloques del disco estn disponibles. Por tanto se necesita una tabla de asignacin de disco. Tres tcnicas
son de uso comn: las tablas de bits, las secciones libres encadenadas y la indexacin.
Tablas de bits
Pgina 69 de 70

Utiliza un vector que est formado por un bit por cada bloque en el disco. Cada entrada 0 corresponde a un
bloque libre y cada 1 corresponde a un bloque en uso.
La cantidad de memoria (en bytes) requerida para un mapa de bits en bloques se puede calcular de la siguiente
manera: Tamao del disco en bytes / (8 x tamao del bloque en el sistema de archivos)
Ventajas:

Fcil de encontrar un bloque libre o un grupo contiguo de bloques libres.

Trabaja bien con cualquier mtodo de asignacin de archivos

Desventajas:
Rendimiento inaceptable cuando la tabla de bits es grande. La tabla de bits puede ser grande como
para almacenarla en memoria principal y una tabla en disco no es eficiente porque requiere E/S
cada vez que se necesite un bloque (parte de la ineficiencia se puede reducir manteniendo
estructuras auxiliares que resumen el contenido de subrangos de la tabla de bits)
Secciones libres encadenadas
Las secciones libres pueden encadenarse mediante un puntero y un valor de longitud en cada seccin libre.

Ventajas:
Sobrecarga de espacio insignificante. No se necesita una tabla de asignacin de disco, sino
simplemente un puntero al comienzo de la cadena y la longitud de la primera seccin.

Trabaja bien con cualquier mtodo de asignacin de archivos

Desventajas:
Disco fragmentado despus de un tiempo de uso

Se ralentiza la creacin del archivo al tener que actualizar los punteros del bloque.

Indexacin
La tcnica de indexacin trata el espacio libre como un archivo y utiliza una tabla de ndices tal y como se
describi en la asignacin de archivos. Por motivos de eficiencia, el ndice se debera utilizar en base a
secciones de tamao variable en lugar de bloques. Por tanto, hay una entrada en la tabla por cada seccin libre
en el disco. Esta tcnica proporciona soporte eficiente a todos los mtodos de asignacin de archivos.

Pgina 70 de 70