El sistema operativo: gestin de entrada/salida

El sistema operativo: gestin de entrada/salida

ndice de contenido
El sistema operativo: gestin de entrada/salida...........................................................................................1
Licencia......................................................................................................................................................1
Introduccin y evolucin histrica............................................................................................................1
Esquemas hardware de gestin de E/S...................................................................................................3
Polling.................................................................................................................................................................3
Interrupciones.....................................................................................................................................................3
Acceso directo a memoria (DMA).......................................................................................................................3
Gestin de la E/S por parte del SO............................................................................................................4
Tipos de dispositivos...........................................................................................................................................5
Dispositivos de bloques y caracteres............................................................................................5
Dispositivos de red.......................................................................................................................6
Mejoras del rendimiento............................................................................................................................6
Buffering................................................................................................................................................6
Polticas de planificacin de discos........................................................................................................6
Cach de disco........................................................................................................................................8
Sincronizacin con el disco.................................................................................................................................8
Polticas de reemplazo........................................................................................................................................8

Licencia
Este obra de Jess Jimnez Herranz est bajo una licencia Creative Commons Atribucin-
LicenciarIgual 3.0 Espaa.
Basada en una obra en oposcaib.wikispaces.com.

Introduccin y evolucin histrica

El sistema de entrada/salida (E/S) es la parte del sistema operativo encargada de la gestin de los
dispositivos de E/S. As, acta como interfaz entre los dispositivos y los usuarios, de manera los
archivos y dispositivos se traten de una manera uniforme y puedan ser manipulados por medio de
instrucciones de alto nivel.
La gestin de la E/S tiene asociados una serie de problemas:
Operacin asncrona: Los eventos y sucesos asociados a la operacin E/S no guardan
ninguna relacin de sincronismo con los de la CPU, por lo que la sincronizacin entre CPU
y E/S no es trivial
Diferencia de velocidad: La E/S es varios rdenes de magnitud ms lenta que la CPU.
Incluso hay grandes diferencias entre diferentes tipos de E/S (p. ej., es ms rpida una red
ethernet que una disquetera).
Diferencias de formato: La CPU trabaja con representaciones de los datos y formatos fijas,
mientras que cada dispositivo E/S lo gestiona de una manera diferente.
Heterogeneidad de los dispositivos: Los dispositivos de E/S toman mltiples formas, lo que
complica la gestin al tener que tener en cuenta todos los posibles tipos.
La conexin de los diferentes dispositivos de E/S al sistema, y la visin que tiene el sistema
operativo y las aplicaciones de ellos, es la mostrada en la siguiente figura:

Jess Jimnez Herranz, http://oposcaib.wikispaces.com 1

 El sistema operativo: gestin de entrada/salida

Aplicaciones

Sistema operativo

driver

Controlador

Dispositivo

Se definen por tanto los siguientes conceptos bsicos:

Dispositivo: Es cada uno de los dispositivos de E/S que se van a gestionar.
Controlador: Dispositivo hardware encargado de gestionar los aspectos internos de gestin
del dispositivo (seales de control, etc.), ofreciendo al exterior un interfaz estandarizado.
Este interfaz consiste en una serie de registros internos, que generalmente son:
Registro de estado: Indica el estado actual del dispositivo (ocupado, error, byte
disponible, etc.)
Registro de control: Mediante escrituras al mismo, permite indicar la operacin a realizar
o cambiar aspectos de su configuracin.
Registros de entrada de datos: Sirven para transferir datos hacia el dispositivo
Registros de salida de datos: Inverso, es decir, transferencia de datos desde el dispositivo
hacia el SO.
Driver: Mdulo software encargado de intermediar entre el dispositivo fsico y el sistema
operativo, definiendo tres interfaces:
API para programas: Conjunto de operaciones que utilizarn los programas para acceder
al dispositivo (lecturas, escrituras, etc.).
Comunicacin con el controlador: Traduccin de las operaciones de la API en
operaciones del controlador, que sern enviadas para la ejecucin de operaciones de E/S
en el dispositivo.
Interfaz con el kernel: Comunicacin entre el driver y el kernel, para su gestin interna.
P. ej., para la carga de drivers, gestin de recursos, notificacin de eventos, etc.

Jess Jimnez Herranz, http://oposcaib.wikispaces.com 2

 El sistema operativo: gestin de entrada/salida

Esquemas hardware de gestin de E/S

As, la principal tarea del controlador de E/S del sistema operativo ser gestionar la
comunicacin entre los diferentes dispositivos. Para ello, existen distintos esquemas:

Polling
El controlador de E/S consulta de forma cclica a todos los dispositivos, buscando si tienen
operaciones pendientes. Es un esquema sencillo, si bien se pierde mucho tiempo de CPU
consultando y esperando, especialmente en dispositivos lentos.
Admite dos enfoques:
Instrucciones especficas: La CPU dispone de instrucciones especiales para el acceso a los
dispositivos de E/S
E/S mapeada en memoria: Se reserva un espacio del direccionamiento de memoria para los
dispositivos de E/S, de manera que toda la informacin que stos presentan en forma de
registros, etc, se hace accesible leyendo esas posiciones de memoria. Igualmente, cualquier
operacin sobre el dispositivo se realiza escribiendo en las posiciones apropiadas de la
memoria. El sistema operativo se encargar de traducir estas lecturas/escrituras a memoria
en las operaciones reales sobre el dispositivo apropiado.
La ventaja de este mtodo es que no requiere implementar instrucciones especficas en la
CPU para la gestin de la E/S, ya que se utilizan las instrucciones convencionales de
lectura/escritura en memoria..

Interrupciones
En este esquema, la CPU dispone de una lnea extra llamada solicitud de interrupcin (IRQ), que
funciona de manera que, cuando se activa, la CPU detiene lo que est haciendo y pasa a ejecutar una
rutina especial, que actuar en funcin de los parmetros de la interrupcin y que, una vez acabada,
devolver el control al flujo de programa que se estuviera utilizando.
Usando este esquema, cada dispositivo puede solicitar la atencin de la CPU cuando lo necesite,
de manera que no es necesario perder tiempo de la CPU monitorizando los dispositivos.
Para gestionar diferentes tipos de interrupcin, en la solicitud de interrupcin se indica un
nmero correspondiente a diferentes tipos de interrupcin. As, el gestor de interrupcin consultar
una tabla o vector de interrupciones, y ejecutar la rutina indicada en la posicin correspondiente.
Las interrupciones se clasifican generalmente en enmascarables o no enmascarables, refirindose
a si la CPU puede inhibir la interrupcin del cdigo por una IRQ. As, generalmente la CPU puede
impedir, para zonas crticas del cdigo, que una interrupcin convencional interrumpa el flujo de
ejecucin. No obstante, las interrupciones no enmascarables se reservan para eventos de alta
prioridad, para los que no se acepta el enmascaramiento. Por ejemplo, una peticin de un disco sera
enmascarable, mientras que el aviso de un inminente corte elctrico no lo sera.

Acceso directo a memoria (DMA)

Para aquellos dispositivos que realizan grandes transferencias de datos, incluso el mecanismo de
interrupciones es ineficiente, ya que hay que realizar una operacin para cada dato. As, un esquema
comn es, para estos casos, utilizar un procesador dedicado, llamado controlador DMA, que se
encargar de los detalles de la transferencia.
La programacin de este procesador consiste simplemente en indicarle el origen de los datos, la
posicin de destino en la memoria, y el nmero de datos a transferir, y a partir de aqu el procesador
DMA se encargar de la comunicacin con el dispositivo y con el bus de memoria. De esta forma,

Jess Jimnez Herranz, http://oposcaib.wikispaces.com 3

 El sistema operativo: gestin de entrada/salida

la CPU principal slo intervendra al inicio de la operacin, y al final, cuando el procesador DMA
avisase a la CPU del fin de la transferencia mediante una interrupcin.

Gestin de la E/S por parte del SO

A pesar de los numerosos tipos de dispositivos existentes y sus diferencias, el objetivo del
tratamiento de la E/S del sistema operativo es tratar los dispositivos de una forma uniforme y
estandarizada, de manera que las aplicaciones no deban preocuparse por los detalles de cada tipo de
dispositivo.
As, una estrategia comn es catalogar los dispositivos en funcin de sus caractersticas
principales:
Flujo de caracteres o de bloques: Si transfieren los datos de carcter en carcter (p. ej. un
mdem) o en bloques de bytes (p. ej. un disco duro).
De acceso aleatorio o secuencial
Sncrono o asncrono: Un dispositivo sncrono transfiere datos con tiempos de respuesta
predecibles, mientras que uno asncrono es irregular e impredecible a priori.
Compartido o dedicado: Si puede ser usado por varios procesos a la vez, o debe ser usado en
forma exclusiva.
Velocidad de operacin: En qu orden de magnitud realiza las transferencias.

Mediante esta catalogacin, el subsistema de E/S del sistema operativo define una interfaz para
el tratamiento de cada clase de dispositivos. Cada dispositivo necesitar nicamente de un pequeo
programa o driver que implemente las operaciones de este interfaz. A continuacin se muestra este
esquema:

Kernel

Subsistema de E/S

Disp. de Disp. de Disp. de

bloques caracteres red

driver driver driver driver

controlador controlador controlador controlador

CD-ROM Disco Terminal Mdem

De esta forma se consiguen dos cosas:

Abstraer los detalles de implementacin de cada dispositivo, de modo que las aplicaciones
no tienen por qu saber de qu dispositivo se trata.
Simplificar la tarea de soporte de un nuevo dispositivo (es ms sencillo hacer un driver que
modificar el kernel).

Jess Jimnez Herranz, http://oposcaib.wikispaces.com 4

 El sistema operativo: gestin de entrada/salida

Otro aspecto que clasifica a las operaciones de E/S es su sincronicidad:

Operaciones bloqueantes (sncronas): Cuando se invocan, la ejecucin de la aplicacin se
suspende hasta que finaliza la operacin.
Operaciones no bloqueantes (asncronas): Una vez invocada, la aplicacin contina su tarea.
La forma de funcionar se divide en dos tipos:
La operacin devuelve el mejor resultado que tenga. P. ej., a una lectura de un socket se
le puede especificar un timeout, y cuando expire devolver los datos que tenga.
La operacin se termina de ejecutar en 2 plano, y avisa a la aplicacin principal cuando
haya terminado y el subsistema de E/S requiera su atencin.

Las operaciones asncronas son ms eficientes que las sncronas, ya que evitan las esperas activas
(especialmente graves en dispositivos lentos), si bien el uso de operaciones asncronas complica el
cdigo del programa.

Tipos de dispositivos
A continuacin se muestran algunos detalles de las clases de dispositivos ms comunes:

Dispositivos de bloques y caracteres

Los dispositivos de bloques y los de caracteres tienen un tratamiento muy similar, y se
diferencian nicamente en la unidad de datos que manejan (bloque o carcter). Aparte de estas
consideraciones, disponen de tres operaciones bsicas:
Leer
Escribir
Seek (slo si permite acceso aleatorio)

Generalmente, un dispositivo de bloques ser utiliza de una de las siguientes formas:

En bruto (raw): Se utilizan las tres operaciones bsicas para leer/escribir bloques arbitrarios
Como sistema de ficheros: Una capa superior del SO proporciona el acceso al dispositivo en
forma de sistema de ficheros.
Como mapeo en memoria: En lugar de leer/escribir explcitamente al dispositivo, se asigna
una regin de la memoria de manera que todas las lecturas/escrituras a esa zona se trasladan
al dispositivo. De esta forma, desde el punto de vista del programa se puede usar el
dispositivo de forma transparente, sin necesidad de usar ninguna operacin de E/S.

Los dispositivos de caracteres se suelen utilizar mediante sus operaciones bsicas, y se usan para
aquellos dispositivos que generan/esperan flujos de datos lineales y relativamente asncronos, como
teclados, ratones o impresoras.

Jess Jimnez Herranz, http://oposcaib.wikispaces.com 5

 El sistema operativo: gestin de entrada/salida

Dispositivos de red
Debido a su importancia, para los dispositivos de red, si bien podran manejarse de forma
genrica como un dispositivo de caracteres, se utiliza una abstraccin especfica, que es la de
socket.
Un socket es un flujo de datos al que las aplicaciones pueden conectarse, realizando las
siguientes operaciones:
Conectarse a otro socket en otra mquina remota
Leer o escribir paquetes de datos
Recibir avisos de forma asncrona cuando llegue informacin

Mediante el uso de sockets se facilita notablemente la gestin de las comunicaciones de red, con
independencia del hardware de red o incluso de los protocolos subyacentes, maximizando la
eficiencia y evitando situaciones de espera activa.

Mejoras del rendimiento

Buffering
Un buffer es un rea de memoria en la que se almacenan los datos mientras se transfieren entre
dos dispositivos o entre un dispositivo y una aplicacin. Su utilidad es diversa:
Permiten hacer frente a las diferencias de velocidad entre dispositivos: P. ej., la transferencia
de un mdem (lenta) puede acumularse en un buffer para ser escrita en un disco duro
(rpido) de una sola vez, reduciendo as el nmero de operaciones necesarias.
Doble buffer: En el caso de escrituras a un dispositivo, el mantener dos buffers de forma
circular (uno con los datos que se escriben al dispositivo y otro con los que escribe la
aplicacin) permite mantener un flujo continuo de datos sin esperas.
Spooling: Algunos dispositivos deben tratar con una unidad de datos completa, y no pueden
hacerlo slo con una parte, por lo que el uso de un buffer permite ir acumulando los datos
hasta que se dispongan de suficientes para operar.
Lectura adelantada: Cuando se realiza una lectura a un dispositivo lento, es comn que el SO
lea ms datos de los necesarios y los coloque en un buffer. As, si en el futuro se solicitan
(cosa probable segn los principios de localidad), ya se encuentran en memoria y se acelera
la operacin.
Cach: Si una lectura solicita datos que se han ledo anteriormente y se encuentran ya en un
buffer, es posible leerlos directamente del buffer y ahorrarse una operacin a E/S.

Polticas de planificacin de discos

Debido a la importancia de los discos en los sistemas actuales como principal sistema de
almacenamiento secundario, existen numerosas tcnicas para acelerar su rendimiento.
Para comprender la motivacin de muchas de estas tcnicas, es necesario entender cmo
funciona un disco duro. Bsicamente, la informacin en un disco duro se almacena en pistas
concntricas de discos magnticos, que a su vez se dividen en sectores. La informacin se lee y
escribe mediante un cabezal. As, una operacin de disco se compone de tres etapas:

Seek: Tiempo necesario para que el cabezal se posicione en la pista apropiada. Depende de
la tecnologa de fabricacin del disco duro, y es, con diferencia, el mayor de los tres.

Jess Jimnez Herranz, http://oposcaib.wikispaces.com 6

 El sistema operativo: gestin de entrada/salida

Latencia: Una vez posicionado el cabezal, tiempo que transcurre hasta que el sector deseado
pasa por el cabezal. Depende de la velocidad de rotacin del disco.
Transferencia: Tiempo que se tarda en recorrer todo el sector para leer/escribir su contenido.
Depende de la velocidad de rotacin y la densidad de los datos.

Generalmente, el tiempo de seek se mueve en torno a los 8-10 ms, mientras que el tiempo de
latencia est en 3-4 ms. Una velocidad de transferencia tpica podran ser 20-30 MB/s, por lo que,
por ejemplo, para leer 100 KB seran necesarios aproximadamente 3 ms.
Dado que el tiempo de posicionamiento del cabezal de un disco duro depende, adems de las
propias caractersticas fsicas del disco, de la posicin desde la que parta, es deseable ordenar
convenientemente las operaciones de E/S para minimizar el movimiento del cabezal y mejorar, por
tanto, el rendimiento del disco duro.
Existen numerosos esquemas de planificacin de operaciones de disco:

FIFO: Las peticiones se procesan en orden de llegada. No tiene un buen rendimiento, pero
tampoco genera desigualdades entre las peticiones.
LIFO: Siempre se procesa en primer lugar la ltima peticin en llegar. Es mejor que FIFO,
ya que aprovecha el principio de localidad que dice que la ltima peticin es probable que
sea a zonas del disco cercanas a las ms recientes. Ahora bien, puede generar inanicin si
continan llegando peticiones mientras otras quedan en espera.

Si desde el sistema operativo se tiene informacin sobre la posicin actual del cabezal, es posible
llevar a cabo polticas ms complejas y eficientes:

SSTF (Shortest Seek Time First): Encolar las peticiones, y enviar cada vez a disco la
peticin ms cercana a la posicin actual del cabezal. Es eficiente, pero puede provocar
inanicin al discriminarse peticiones a zonas lejanas.
SCAN: Ordena las peticiones segn accedan al principio o al fin del disco. Una vez
finalizado un recorrido de principio a fin, hace otro desde el fin hasta el principio. El
problema que tiene, a pesar de que no es posible la inanicin, es que estadsticamente
favorece a las peticiones de los extremos del disco. Una variacin de SCAN es LOOK, en la
que se cambia de direccin en cuanto ya no hay ms operaciones en un sentido.
Este algoritmo se conoce tambin como del ascensor, ya que emula su comportamiento.
SCAN circular: Similar a SCAN, pero una vez acabada una pasada se vuelve a empezar otra
vez desde el principio en lugar de hacer una pasada inversa. De esta forma el tiempo
mximo de espera es globalmente menor y el uso de disco es equitativo.

Estas polticas pueden tener problemas ante la llegada de nuevos trabajos, que si se producen
frecuentemente en las mismas zonas pueden ralentizar las pasadas y discriminar a otras peticiones.
Para evitarlo, se pueden usar diferentes tcnicas:

SCAN de N pasos: En cada pasada se procesan nicamente N peticiones. Si durante una

pasada llegan ms, ponerlas en una cola y procesarlas despus.
FSCAN: Usar dos colas. En cada pasada se procesa una de ellas, encolando las nuevas
peticiones en la otra. Al acabar la pasada, intercambiarlas y repetir el proceso.

Jess Jimnez Herranz, http://oposcaib.wikispaces.com 7

 El sistema operativo: gestin de entrada/salida

Cach de disco
Como se ha comentado anteriormente, una tcnica para aumentar el rendimiento es el uso de
memorias cach para las operaciones de disco, de manera que se puedan evitar operaciones al disco
si la informacin solicitada se encuentra en la cach.
La cach de disco puede implementarse de dos formas:
Memoria especfica en el propio dispositivo
Reserva de parte de la memoria RAM como memoria cach
Generalmente se utiliza una combinacin de ambos enfoques, dedicando una memoria de
pequeo tamao en el propio dispositivo, al tiempo que el SO reserva una cantidad variable de
memoria principal como cach (en funcin de la carga del sistema, el tipo de dispositivo y otras
consideraciones).
El uso de cachs de disco plantea dos problemticas:

Sincronizacin con el disco

Si bien el uso de cach permite evitar operaciones al disco, tambin retrasa las escrituras,
haciendo que el disco se encuentre en un estado inconsistente respecto a la memoria cach. Por
tanto, una de las tareas del SO es asegurar que las escrituras en cach se trasladan en algn
momento al disco duro, de forma que a largo plazo el disco duro quede en un estado consistente.
Para ello, hay dos enfoques:
Write-back: Acumular escrituras a la memoria cach, trasladndolas al disco pasado un
tiempo. Si bien esta tcnica aumenta considerablemente la velocidad de las escrituras,
tambin es peligrosa, ya que un fallo del sistema cuando an no se han escrito los cambios
dejara al disco en un estado inconsistente.
Write-through: Escribir los cambios a disco inmediatamente despus de producirse. Es una
opcin ms lenta al no permitir acumular varias operaciones, pero tambin es ms segura al
mantener el disco siempre consistente con la cach.

Polticas de reemplazo
Otro aspecto importante que debe gestionar el SO relacionado con las cachs de disco es qu
bloques de la misma debe descartar cuando haya que cargar bloques nuevos. La incorrecta eleccin
de los bloques a descartar puede provocar problemas importantes de rendimiento si, por ejemplo, un
mismo bloque se descarta y se vuelve a cargar repetidamente.
As, existen principalmente las siguientes polticas de reemplazo de bloques:
LRU (Least Recently Used): Descartar el bloque que hace ms tiempo que no se ha usado.
Para ello, la cach se organiza como una pila, de manera que, cuando se accede a un bloque,
se pone en la cabecera de la pila. As, la implementacin de LRU consiste simplemente en
descartar el bloque que est en la parte inferior de la pila de bloques.
LFU (Least Frequently Used): Descartar el bloque que ha sido usado con menos frecuencia.
Para ello, junto con cada bloque se mantiene un contador que se incrementa con cada acceso.
As, al descartar se elige el bloque cuyo contador es ms bajo.

Aunque en principio pueda parecer que LFU es una estrategia ms apropiada, tiene problemas
con las rfagas de acceso a un bloque, ya que puede suceder que un bloque sea accedido muchas
veces en un instante dado (incrementando as su contador), pero no vuelva a ser accedido
posteriormente. El alto contador generado por la rfaga de accesos impedira el descarte de este
bloque.

Jess Jimnez Herranz, http://oposcaib.wikispaces.com 8

 El sistema operativo: gestin de entrada/salida

Para solucionar este problema, se utiliza una tcnica hbrida entre LRU y LFU, llamada descarte
basado en frecuencia, que consiste en organizar los bloques en tres secciones:

Alta Media Baja

Cuando un bloque es accedido, se incrementa su contador y se mueve a la zona alta. Si ya estaba

en la zona alta, su contador no se incrementa, de forma que se evita que una rfaga incremente los
contadores artificialmente. Cuando transcurre un tiempo en la zona alta, el bloque se mueve a la
zona media y, tiempo despus, a la zona baja.
Para descartar un bloque, se escoge el que tenga el contador ms bajo de la zona baja de la cola.

Jess Jimnez Herranz, http://oposcaib.wikispaces.com 9