SISTEMAS OPERATIVOS DISTRIBUIDOS
JOSE FERNANDO BASTIDAS C.
HERBERT CARRILLO G.
DAVID EDUARDO CIFUENTES C.
MARIA FERNANDA SERRANO B.
ANDRES VARGAS CABAS
Alumnos del curso de Investigacin de VIII Semestre de Ingeniera de Sistemas dellCESI
OBJETIVOS
- Dar un concepto claro de lo que es
un Sistema Distribuido, tocando al-
gunos temas tcnicos importantes,
pero explicndolos de manera que
lleguen fcilmente a las personas.
- Dar a conocer la importancia de apo-
yar la investigacin en este campo,
que apenas est surgiendo, pero que
promete mucho para el desarrollo
tecnolgico mundial.
- Conocer la manera como cooperan
y se sincronizan los procesos entre
s, en un Sistema Distribuido, as
como la forma de implantar regiones
crticas o asignar recursos.
Conocer las caractersticas y com-
ponentes de un Sistema Distribuido
de archivos.
- Exponer los puntos fundamentales
en la Implantacin de un Sistema
Distribuido de archivos.
- Lograr captar el inters de todas
aquellas personas interesadas en
,f"
consultar este libro, especficamen-
te de quienes se encuentran de una
u otra forma vinculados con el anli-
sis y desarrollo del software, para
que empiecen a interesarse en la
creacin de aplicaciones enfocadas
hacia la distribucin, las cuales de-
ben conducir a que, en un futuro no
muy lejano, podamos hablar de co-
municaciones a nivel mundial, real-
mente confiables, transparentes y
eficientes.
INTRODUCCION
Desde hace algunos aos el uso de
los computadores ha cambiado enorme-
mente, debido a la transicin, desde los
sistemas centralizados que constan de
un nico CPU, sus perifricos de me-
moria y algunas terminales, hacia siste-
mas de cmputo compuestos por un
gran nmero de CPUs, conectados me-
diante una red de alta velocidad, cono-
cidos como Sistemas Distribuidos. Aun-
que los sistemas operativos necesarios
para estos Sistemas Distribuidos estn
apenas en etapa de surgimiento, ya es
bastante lo que conocemos acerca de
ellos.
Nuestro objetivo es presentar a uste-
des, de manera clara y sencilla, los con-
ceptos bsicos acerca de los Sistemas
Distribuidos, sus principales caracters-
ticas, las ventajas y desventajas, el
manejo de la comunicacin y la sincro-
nizacin dentro de estos sistemas, los
sistemas distribuidos de archivos y un
estudio de los procesos y procesadores
de los Sistemas Distribuidos.
Esperamos que el lector comprenda
la filosofa de los Sistemas Distribuidos,
despus de haber ledo nuestra obra, y
pueda llenar, si no todas, muchas de las
expectativas que tenga acerca de este
novedoso campo de los sistemas de
computacin.
1. INTRODUCCION A LOS
SISTEMAS DISTRIBUIDOS
1.1. Historia
El uso de los computadores est a
punto de sufrir una revolucin. Desde
1945, cuando comenz la era del com-
putador moderno, hasta 1985, los com-
putadores eran grandes y caros, inclu-
yendo los minicomputadores. Como re-
sultado, las organizaciones tenan un
grupo pequeo de computadores que
operaban independientemente, por ca-
recer de una forma para conectarlos.
A partir de 1985 comenz a cambiar
esta situacin. Primero, con el desarro-
110 de poderosos microprocesadores, se
dispona de mquinas de 8 bits, pero
pronto se volvieron comunes las CPU
de 16,32 e incluso 64 bits, muchas de
las cuales tenan el poder de cmputo
de un "mainframe" respetable; y segun-
do, con la invencin de redes locales de
alta velocidad (LAN), las cuales permi-
tieron conectar docenas e incluso cien-
tos de mquinas, de tal forma que se
pudiesen transferir pequeas cantida-
des de informacin, entre ellas, durante
114__-':._:1:1_:1:=:=::=:=::::::::::===::::
/CES/
un milisegundo o un tiempo parecido. La
mayor cantidad de datos se puede des-
plazar, entre las mquinas, a razn de
10 millones de bits/segundo y aun ms.
Hoy en da es fcil reunir sistemas
de cmputo, compuestos por un gran
nmero de CPUs, conectados median-
te una red de alta velocidad, los cuales
reciben el nombre genrico de Sistemas
Distribuidos, en contraste con los Siste-
mas Centralizados que constan de un
nico CPU, sus perifricos de memoria
y algunas terminales.
Los Sistemas Distribuidos necesitan
un software radicalmente distinto del de
los sistemas centralizados. En particu-
lar,aunque los sistemas operativos, ne-
tente llega a acercarse a esta cifra ade-
cesarios para estos Sistemas Distribui-
dos, estn apenas en una etapa de sur-
gimiento, ya se sabe bastante acerca de
ellos.
1.2. Ventajas y desventajas de los
Sistemas Distribuidos
1.2.1. Ventajas de los Sistemas
Distribuidos respecto
de los Centralizados
La fuerza real, detrs de la tenden-
cia hacia la descentralizacin, es la eco-
noma. Por unos cuantos cientos de
dlares es posible comprar un CHIP de
CPU, que puede ejecutar ms instruc-
ciones, por segundo, de las que realiza-
ba uno de los ms grandes "mainframes"
de los aos ochenta. Si uno est dis-
puesto a pagar el doble, se obtiene el
mismo CPU, slo que con una veloci-
dad un poco mayor. Como resultado, la
solucin ms eficaz, en cuanto a cos-
tos, es limitarse a un gran nmero de
CPUs baratos, reunidos en un mismo
sistema. As, la razn nmero uno de la
tendencia hacia los Sistemas Distribui-
dos es que stos tienen en potencia una
proporcin precio/desempeo mucho
mejor que la de un nico sistema cen-
tralizado.
Una ligera variacin, con respeto a
este tema, es la observacin de que una
coleccin de microprocesadores no slo na su propio computador para que lo
facilita una mejor proporCin precio/des- cont~ole. Al conectarse stos, se tiene
empeo que un nico "mainframe", sino un Sistema Distribuido Industrial.
que puede producir un mejor rendimien-
to del que podra proporcionar cualquier Otra ventaja potencial de un Sistema
Distribuido sobre uno Centralizado es
"mainframe" a cualquier precio. Por
ejemplo, con la tecnologa actual es po- una mayor confiabilidad. Al distribuir la
sible construir un sistema a partir de los carga de trabajo en muchas mquinas,
la falla de un chip descompondr, a lo
1.000 chips de un computador moder-
sumo, una mquina, pero el resto se-
no, cada uno de los cuales tiene una
guir intacto. Para el caso de aplicacio-
ejecucin de 20 MIPS (millones de ins-
nes crticas, como el control de los reac-
trucciones por segundo), para un rendi-
tores nucleares o de los aviones, el uso
mie~t? total de 20.000 MIPS. Para que
de un sistema distribuido, para lograr
un UnlCO procesador (es decir, CPU) lo-
gre esto, tendra que ejecutar una ins- una mayor confiabilidad, puede ser el
truccin en 0,05 nanosegundos (50 factor dominante.
picosegundos). Ninguna mquina exis-
Por ltimo, el crecimiento por incre-
~entos tambin es una ventaja poten-
m~ de ~u~ consideraciones teri~as y cial. Con frecuencia ocurre que una com-
de Ingenlerla lo consideran improbable
paa compra un "mainframe", con la
durante algn tiempo. As, si el objetivo
intencin de hacer todo su trabajo en l.
es un rendimiento normal a bajo costo,
Si la .compaa prospera y la carga de
o un alto rendimiento con un mayor cos-
trabajO aumenta, el "mainframe" no ser
to, los Sistemas Distribuidos tienen mu-
adecuado en cierto momento. Las ideas
cho que ofrecer.
de reemplazar el "mainframe" por otro
Otra razn para la construccin de ms grande (si existe) o aadir un se-
un Sistema Distribuido es que ciertas gundo "mainframe", pueden dar un tre-
aplicaciones son dispuestas en forma
mendo castigo a las operaciones de la
inherente. En un sistema de automati-
compaa. Por el contrario, con un sis-
zacin de una fbrica, que controle los tema distribuido, podran aadirse sim-
robots y las mquinas, a lo largo de una plemente ms procesadores al sistema,
lnea de ensamblaje, con frecuencia tie- lo que permitira un desarrollo gradual,
ne sentido darle a cada robot o mqui- conforme surjan las necesidades.
ECONOMIA Los microprocesadores ofrecen una mejor
proporcin precio-rendimiento que los
mainframes.
VELOCIDAD' Un sistema distribuido puede tener un mayor
poder de cmputo que un mainframe.
DISTRIBUCION Alguna,s aplicaciones utilizan mquinas que
INHERENTE estan separadas una cierta distancia.
CONFIABILIDAD Si una mquina se descompone, sobrevive el
sistema como un todo.
CRECIMIENTO POR Se puede aadir poder de cmputo en
INCREMENTOS pequeos incrementos.
Ventajas de los Sistemas Distribuidos con respecto de los Centralizados.
:
========================:~115 /CES/
1.2.2. Venta/as de los Sistemas en un sistema distribuido, es lograr una
Distribuidos respecto mayor comunicacin entre las personas,
de los pe independientes. en donde, segn la gente, el correo elec-
trnico tiene numerosos atractivos res-
Muchos usuarios necesitan compar-
tir ciertos datos. Por ejemplo, 105 em- pecto del correo con cartas, el telfono
pleados de reservaciones, en las lneas o el fax.
areas, necesitan tener acceso a la base Por ltimo, un sistema distribuido tie-
maestra de datos de los vuelos y reser- ne una mayor flexibilidad potencial que
vaciones existentes. Si se le diera a cada
el hecho de darle a cada usuario un
empleado una copia particular de toda
computador personal aislado. No 5610
la base de datos, eso no funcionara,
puesto que nadie conocera 105 asien- existe el mtodo de conectar un grupo
tos vendidos por 105 dems empleados. de computadores personales, median-
Los datos compartidos son absoluta- te una LAN, sino tambin tener una
mente esenciales para sta y otras apli- mezcla de computadores personales y
caciones, de modo que las mquinas compartidos, tal vez con distintos tama-
deben estar conectadas entre s. Los os, y dejar que 105 trabajos se ejecu-
datos no son 105 nicos elementos que ten de la forma ms adecuada, en vez
se pueden compartir; otros candidatos de ejecutarlos siempre en el computa-
son tambin 105 perifricos caros, como dor del propietario. De esta manera, la
las impresoras lser de color, los equi- carga de trabajo se puede difundir entre
pos de fotocomposicin y 105 dispositi- 105 computadores, de forma ms eficaz,
vos de almacenamiento masivo (por y la prdida de unas cuantas mquinas
ejemplo, las cajas pticas). se puede compensar, si se permite a las
Una tercera razn, para la conexin personas que ejecuten sus trabajos en
de un grupo de computadores aislados otra parte.
r~
.,
DATOS COMPARTIDOS Permite que varios usuarios tengan acceso
a una base de datos comn.
DISPOSITIVOS Permiten que varios usuarios compartan
COMPARTIDOS perifricos caros, como las impresoras de color.
\.
COMUNICACION Facilita la comunicacin de persona a persona;
por ejemplo, mediante el correo electrnico.
FLEXIBILIDAD Difunde la carga de trabajo entre las mquinas
disponibles, de la forma ms eficaz,
en cuanto a los costos.
Ventajas de los Sistemas Distribuidos respecto de los pe
1.2.3. Desventajas de los Sistemas Un segundo problema potencial es
el ocasionado por las redes de comuni-
Distribuidos
cacin, ya que se pueden perder men-
El peor de 105 problemas de 105 sis-
temas distribuidos es el software, debi- sajes, por lo cual se requiere de un soft-
do a que no se tiene mucha experien- ware especial para su manejo y ste
cia en el diseo, implantacin y uso del puede verse sobrecargado. Al saturar-
software distribuido. se la red, sta debe reemplazarse o
116-:-:==:==:=::::====::::::::::::
'CES'
aadirse una segunda. En ambos ca-
sos, hay que tender cables en uno o ms
edificios, con un gran costo; o bien, hay
que reemplazar las tarjetas de interfaz
de la red..Una vez que el sistema llega
a depender de la red, la prdida o satu-
racin de sta puede desvirtuar algunas
de las ventajas que el sistema distribui-
do tena.
Por ltimo, la seguridad es, con fre-
cuencia, un problema, debido a que si
las personas pueden tener acceso a los
datos en todo el sistema, entonces tam-
bin pueden tener acceso a datos con
SOFTWARE Existe poco software para los sistemas
distribuidos en la actualidad.
REDES La red se puede saturar o causar otros
SEGURIDAD Un acceso sencillo tambin se aplica a
Desventajas de los Sistemas Distribuidos.
1.3. Conceptos de hardware
Aunque todos los sistemas distribui-
dos constan de varios CPUs, existen di-
versas formas de organizar el hardware;
en particular, en la forma de inter-
conectarse y comunicarse entre s. Se
han propuesto diversos esquemas, pero
ninguno de ellos ha tenido un xito com-
pleto.
Es probable que la taxonoma ms
citada sea la de Flynn (1972), aunque
es algo rudimentaria. Flynn eligi dos
caractersticas, consideradas por l
como esenciales: el nmero de flujos de
instrucciones y el nmero de flujos de
datos.
Un computador, con un solo flujo de
instrucciones y un solo flujo de datos,
se llama SISO ("Single Instruction Single
Data"). Todos los computadores de un
5010 procesador caen dentro de esta
categora.
:::::::::::::::::::::::=:::~117
ICES'
los que no tienen que ver; por lo tanto,
es preferible tener un computador per-
sonal aislado, sin conexiones de red con
las dems mquinas, para que los da-
tos se mantengan en secreto.
A pesar de estos problemas poten-
ciales, se puede ver que las ventajas tie-
nen mayor peso que las desventajas y,
de hecho, es probable que en unos
cuantos aos muchas organizaciones
conecten la mayora de sus computa-
dores a grandes sistemas distribuidos,
para proporcionar un servicio mejor, ms
barato y ms conveniente para sus
usuarios.
problemas.
datos secretos.
La siguiente categora es SIMD
("Single Instruction Multiple Data"), con
un flujo de instrucciones y varios flujos
de datos. En este tipo, se ordenan los
procesadores con una unidad que bus-
ca una instruccin y, despus, ordena a
varias unidades de datos para que la lle-
ven a cabo, en paralelo, cada una con
sus propios datos. Ciertos super-
computadores son SIMD.
La siguiente categora es MISO
(Multiple Instruction Single Data), con
flujo de varias instrucciones y un solo
flujo de datos. Ninguno de los computa-
dores conocidos se ajusta a este mode-
lo.
Por ltimo viene MIMD (Multiple
Instruction Multiple Data), que significa
un grupo de computadores independien-
te, cada uno con su propio contador del
programa, programas y datos. Todos los
sistemas distribuidos son MIMD.
 Los Computadores MIMO se pueden
dMdlren-dos grupos: aquellos que tie-
nen memoa':compartida, que, por lo
general, se Daman Multiprocesadores
y aquellos que no, que a veces reciben
el nombre de Multicomputadores. La
diferencia esencial es que un Mul-
tiprocesador tiene un solo espacio de
direcciones virtuales, compartido por
todos los CPU; yen un Multicomputador,
cada mquina tiene su propia memoria
particular.
Estas dos categoras se pueden sub-
dividir, con base en la arquitectura de la
red de interconexin, en Bus y con
Conmutador. En la primera queremos
indicar que existe una sola red, plano
de base, bus, cable u otro medio que
conecta todas las mquinas, como es
En general, los multiprocesadores
tienden a estar ms fuertemente aco-
piados que los multicomputadores,
puesto que pueden intercambiar datos
a la velocidad de sus memorias, pero
algunos multicomputadores, basados en
fibras pticas, pueden funcionar tam-
bin con velocidad de memoria.
Aunque el estudio de multipro-
cesadores y multicomputadores, con
base en bus y con conmutador, no afec-
ta directamente el estudio de los siste-
mas operativos distribuidos, es impor-
tante tener un concepto claro acerca de
cada uno de ellos.
1.3.1. Multiprocesadores con base
en buses
f,
se encuentra en memoria cach. Pero
tambin se presenta un problema de
memoria incoherente, en el caso de que
dos CPUs lean la misma palabra en sus
respectivos cachs y uno de ellos la
modifique y el otro lea el valor viejo de
la palabra. Los investigadores han so-
lucionado esto con el diseo de un cach
que cuando una palabra sea escrita en
CPU CPU
I cach 1 I cach 1
l, tambin sea escrita en la memoria; y
adem{.s. este cach mantiene un moni-
toreo permanente del bus, para saber
cundo una palabra que est en l ha
sido modificada y, por lo tanto, tambin
modificarla en l. Mediante el uso de
este cach es posible colocar de 32 a
64 CPUs en el mismo bus.
CPU
MEMORIA
I cach I

el caso de la televisin comercial por Los multiprocesadores con base en BUS

cable; los sistemas con Conmutador no
tienen una sola columna vertebral como
la televisin por cable, sino que tienen
cables individuales de una mquina a
otra y utilizan varios patrones diferen-
tes de cableado. Los mensajes se mue-
ven a travs de los cables y se hace una
decisin explcita de conmutacin en
cada etapa, para dirigir el mensaje a Jo
largo de uno de los cables de salida.
En ciertos sistemas las mquinas
estn Fuertemente Acopladas y en
otras estn DbilmenteAcopladas; en
un sistema Fuertemente Acoplado el
. retraso que se experimenta, al enviar un
mensaje de un computador a otro, es
corto y la tasa de transmisin de datos,
es decir, el nmero de bits por segundo
que se puede transferir es alto; en un
sistema Dbilmente Acoplado ocurre lo
contrario.
Los sistemas luertemente acoplados
tienden a utilizarse ms como sistemas
paralelos (para trabajar con un solo pro-
blema) y los dbilmente acoplados tien-
den a utilizarse como sistemas distribui-
dos (para trabajar con varios problemas
no relacionados entre s), aunque esto
no siempre es cierto.
buses constan de cierto nmero de
CPUs, conectados a un bus comn, jun- 1.3.2. Muniprocesadores dar de cruceta y hace la misma funcin,
to con un mdulo de memoria. Una con- con conmutador pero tiene un problema de retraso, pues
figuracin sencilla consta de un plano
Para construir un multiprocesador es muy lenta. Los investigadores dise-
de base ("backplane") de alta velocidad
con ms de 64 procesadores, es nece- aron NUMA (Acceso no uniforme a la
o tarjeta madre, en la cual se pueden
sario un mtodo distinto para conectar memoria), la cual tiene un rpido acce-
insertar varias tarjetas de memoria y el
cada CPU con la memoria. Una posibili- so a su memoria, pero un lento acceso
CPU.
dad es dividir la memoria en mdulos y a la memoria de los dems.
Para leer una palabra de memoria,
conectarlos a la CPU con un conmuta- En resumen, los multiprocesadores
un CPU coloca la direccin de la pala-
dor. Cada CPU y cada memoria tienen basados en buses, incluso con cachs
bra deseada en las lneas de direccin
una conexin que sale de l. En cada monitores, quedan limitados como mxi-
del bus y una seal en las lneas ade-
interseccin est un delgado Conmu- mo a 64 CPUs, por la capacidad del bus.
cuadas de control, para indicar que de-
tador del punto de cruce electrnico. Para rebasar estos lmites es necesa-
sea leer. La memoria responde y coloca
que el hardware puede abrir y cerrar. rio una red de conmutador, como un
el valor de la palabra en las lneas de
Cuando un CPU desea tener acceso a conmutador de cruceta, una red omega
datos, para permitir la lectura de sta
una memoria particular, el conmutador o algo similar. Los grandes conmutado-
por parte del CPU solicitante. La escri-
del punto de cruce qtle los conecta se res de cruceta son muy caros y las gran-
tura funciona de manera similar.
cierra de manera momentnea, para que des redes omega son caras y lentas.
El problema con este esquema es
tenga lugar dicho acceso. Esta descrip- Las mquinas NUMA necesitan comple-
que si slo se dispone de 4 5 CPUs; el
cin es del Conmutador de Cruceta, jos algoritmos para un buen software de
bus estar, por lo general, sobrecarga-
pero los Investigadores han dado a co- colocacin. La conclusin es clara: La
do y el rendimiento disminuir en forma
nocer otros tipos de conmutacin, como construccin de un multiprocesador
drstica. La solucin es aadir una Me-
es la Red Omega, que utiliza mucho grande, fuertemente acoplado y con
moria Cach de alta velocidad entre el
menos conmutadores que el conmuta- memoria compartida, es difcil y cara.
CPU y el bus, donde se guardan las
palabras de acceso reciente y no hay
necesidad de utilizar el bus para ir a
buscar, en la memoria, una palabra que

118~=======================::=
ICESI ::==:==::::=:=::=:=======:=~119
Icesl
 MEMORIAS 1.3.4. Municomputadores
con conmutador
; Se han propuesto y construido varias
-,
M M M M
redes de interconexin, pero todas tie-
nen la propiedad de que cada CPU tie-
ne acceso directo y exclusivo a su pro-
e pia memoria particular. Existen dos
topologas populares, una Retcula y un
CONMUTADOR
PUNTO DE CRUCE Hipercubo. Las retculas son fciles de
e I comprender y se basan en las tarjetas
de circuitos impresos. Se adecuan me-
jor a problemas, con una naturaleza
CPU
bidimensional inherente, como la teora
de grficos o la visin.
Un hipercubo es un cubo-n-dimen-
C
sional. Cada vrtice es un CPU. Cada
arista es una conexin entre dos CPUs.
Cada CPU tiene Un" conexiones con
otros CPUs. As, la complejidad del
C cableado aumenta en proporcin lo-
gartmica con el tamao. Puesto que
slo se conectan los vecinos ms cer-
canos, muchos mensajes deben reali-
1.3.3. Multicomputadores interconexin, pero slo es para la co- zar varios saltos, antes de llegar a su
con base en buses municacin entre un CPU y otro. El vo- destino. Los hipercubos con 1.024 CPUs
La construccin de un multicom- lumen del trfico ser menor, varios r- estn disponibles en el mercado desde y ste ocupa su tiempo, en. la evalua-
putador es fcil. Cada CPU tiene una denes, si se utiliza la red de inter hace varios aos y ya comienzan a es
conexin directa con su propia memoria conexin para el trfico CPU-Memoria; tar disponibles los hipercubos, con has-
local. El nico problema consiste en de el sistema de interconexin puede te- ta 16.384 CPUs.
finir la forma en que los CPUs se comu- ner una LAN de menor velocidad, en
nican entre s. Es claro que aqu tam- comparacin con un "backplane". 1.4. Conceptos de software
bin se necesita cierto esquema de Aunque el hardware es importante,
el software 10 es an ms. La imagen
ESTACION ESTACION ESTACION que un sistema presenta a sus usuarios
DE TRABAJO DE TRABAJO DE TRABAJO y la forma de pensar de stos, acerca
del sistema, queda determinada, en gran
medida, por el software del sistema ope-
MEMORIA MEMORIA MEMORIA rativo, no por el hardware.
LOCAL LOCAL LOCAL Los sistemas operativos no se pue-
den colocar fcilmente dentro de unos
estndares como el hardware. Por su
CPU CPU CPU propia naturaleza, el software es vago y
amorfo. An as, es ms o menos posi
ble distinguir dos tipos de sistemas ope-
rativos para los sistemas de varios
CPUs: Los Dbilmente Acoplados y
RED Los Fuertemente Acoplados.
120~===================:====:=
ICESI :
========================~121
El software dbilmente acoplado per-
mite que las mquinas y usuarios de un
sistema distribuido sean independientes
entre s, en lo fundamental, pero que
interacten, en cierto grado, cuando sea
necesario. Consideremos un grupo de
computadores personales, cada uno de
los cuales tiene su propio CPU, su pro-
pia memoria, su propio disco duro y su
propio sistema operativo, pero que com-
parten ciertos recursos, tales como las
impresoras lser y las bases de datos,
en una LAN. Este sistema est dbil-
mente acoplado, puesto que las mqui-
nas individuales se distinguen con clari-
dad, cada una de las cuales tiene su
propio trabajo por realizar. Si la red falla
por alguna razn, las mquinas indivi-
duales continan su ejecucin en cierto
grado considerable, aunque se puede
perder cierta funcionalidad.
En el otro extremo, podramos tener
el caso de un multiprocesador dedica-
do a la ejecucin de un nico programa
de ajedrez, en paralelo. A cada CPU se
le asigna un tablero para su evaluacin
cin de este tablero y de los tableros que
se pueden generar a partir de l. Al ter-
minar la evaluacin, el CPU informa de
sus resultados y se le proporciona un
nuevo tablero para trabajar con l. El
software para este sistema, es decir, el
programa de aplicacin y el sistema
operativo necesario para soportarlo,
estn ms fuertemente acoplados que
en el caso anterior.
Con lo que hemos tratado hasta aho-
ra, podemos ver que existen cuatro ti-
pos de hardware distribuido y dos tipos
de software distribuido. En teora, debe-
ran existir ocho combinaciones de hard-
ware y software. Pero slo existen cua-
tro, puesto que para el usuario la
interconexin de la tecnologa no es vi-
sible. Un multiprocesador es un mul-
tiprocesador, sin importar si utiliza un bus
con cachs monitores o una red omega.
ICESI
1.4.1. Sistemas Operativos
de Redes y NFS
La combinacin ms comn, en mu- la respuesta se enva de regreso.
chas organizaciones, es un software
dbilmente acoplado en un hardware
igual. Un ejemplo tpico es una red de
estaciones de trabajo de ingeniera, co-
nectadas mediante una LAN. En este
modelo, cada usuario tiene una estacin
de trabajo para su uso exclusivo, lo mis-
mo que su propio sistema operativo, en
donde lo normal es que todos los co-
mandos se ejecuten en forma local, pre-
cisamente en la estacin de trabajo.
Sin embargo, a veces es posible que
un usuario se conecte de manera remo-
ta con otra estacin de trabajo, median-
te un comando.
El efecto de este comando es con-
vertir la propia estacin de trabajo del
usuario en una terminal remota, enlaza-
da con la mquina remota. Los coman-
dos escritos en el teclado se envan a la
mquina remota y la salida de sta se
exhibe en la pantalla. En cualquier ins-
tante, slo se puede utilizar una mqui-
na y la seleccin de sta se realiza en
forma manual.
Las redes de las estaciones de tra-
bajo tambin tienen un comando de co-
piado remoto, para copiar archivos de
una mquina a otra, pero el usuario debe
estar consciente de la posicin de los
archivos.
Aunque es mejor que nada, esta for-
ma de comunicacin es primitiva en ex-
tremo. Un mtodo ms conveniente de
comunicacin y distribucin de la infor-
macin consiste en proporcionar un sis-
tema de archivos global compartido,
accesible desde todas las estaciones de
trabajo. Una o varias mquinas, llama-
das Servidores de Archivos, soportan
el sistema de archivos. Los servidores
aceptan solicitudes de los programas de
usuarios, los cuales se ejecutan en las
otras mquinas (No servidoras), llama-
das Clientes, para la lectura y escritura
122-:-=========================::
ICESI
de archivos. Cada una de las solicitu-
des que llegue se examina, se ejecuta y
Los servidores de archivos tienen, por
lo general, un sistema jerrquico de ar-
chivos, cada uno de los cuales tiene un
directorio raz, con sus directorios y ar-
chivos. Las estaciones de trabajo pue-
den importar o montar estos sistemas
de archivos, lo que aumenta sus siste-
mas locales de archivos con aquellos
localizados en los servidores.
El sistema operativo por utilizar, en
este tipo de ambiente, debe controlar
tanto las estaciones de trabajo, en lo
individual, como a los servidores de ar-
chivos, y tambin debe encargarse de
la comunicacin entre ellos. Es posible
que todas las mquinas ejecuten el mis-
mo sistema operativo, pero esto no es
necesario. Si los clientes y los servido-
res ejecutan diversos sistemas, enton-
ces, como mnimo, deben coincidir en
el formato y significado de todos los
mensajes que podran intercambiar. En
una situacin como sta, en la que cada rios comunes. Un programa para un
mquina tiene un alto grado de autono-
ma y existen pocos requisitos a lo largo
de todo el sistema, las personas se re-
fieren a ella como un Sistema Operati-
vo de Red.
Uno de los mejores sistemas opera-
tivos de red es el Network File System,
de Sun Microsystems, conocida en ge-
neral como NFS. Es un sistema con
amplio uso. Sun Microsystems dise e
implant NFS, en un principio para su
uso en estaciones de trabajo con base
en UNIX. Ahora lo soportan otros fabri-
cantes tanto para Unix como para otros
sistemas operativos (como MS-DOS).
NFS soporta sistemas heterogneos,
por ejemplo, clientes de MS-DOS que
hacan uso de servidores Unix. Ni siquie-
ra se pide que las mquinas utilicen el
mismo hardware. Es comn encontrar-
se con clientes de MS-DOS que utilizan
CPU de Intel 386 y obtienen servicios
de servidores de archivo en Unix, con
CPU de Motorola 68030 o SunSparc.
Existen tres aspectos importantes de
NFS: la Arquitectura, el Protocolo y la
Implantacin.
La Arquitectura de NFS: La idea
fundamental de NFS es permitir que una
coleccin arbitraria de clientes y servi-
dores compartan un sistema de archi-
vos comn. En la mayora de los casos,
todos los clientes y servidores estn en
la misma LAN, pero esto no es necesa-
rio. Es posible ejecutar el NFS en una
WAN. Tomamos a los clientes y servi-
dores como mquinas distintas, pero
NFS tambin permite que cada mqui-
na sea un cliente y un servidor al mismo
tiempo.
La caracterstica bsica de la ar-
quitectura de NFS es que los servido-
res exportan directorios y los clientes los
montan de manera remota. Si dos o ms
clientes montan el mismo directorio al
mismo tiempo, ellos se pueden comuni-
car y compartir archivos en sus directo-
cliente puede crear un archivo y un pro-
grama para otro cliente distinto, puede
leer dicho archivo. Una vez llevados a
cabo los montajes, no hay que hacer
nada especial para lograr compartir los
archivos. Los archivos compartidos es-
tn ah, en la jerarqua de directorios de
varias mquinas, y se puede leer o es-
cribir en ellos de la manera usual. Esta
sencillez es uno de los grandes atracti-
vos de NFS.
Protocolos de NFS: Puesto que
uno de los objetivos de NFS es soportar
un sistema heterogneo, en donde los
clientes y servidores podran ejecutar
distintos sistemas operativos en hard-
ware diverso, es esencial que la interfaz
entre los clientes y servidores est bien
definida. NFS logra este objetivo me-
diante la definicin de dos protocolos
cliente-servidor. Un Protocolo es un
conjunto de solicitudes que envan los
:========================~123
clientes a los servidores, junto con las
respuestas correspondientes, enviadas
por los servidores de regreso a los clien-
tes. Mientras un servidor reconozca y
pueda manejar todas las solicitudes en
los protocolos, no necesita saber algo
de sus clientes. En forma anloga, los
clientes consideran a los servidores
como "cajas negras". El primer protoco-
lo de NFS maneja el montaje. Un clien-
te puede enviar el nombre de una ruta
de acceso a un servidor y solicitar el
permiso para montar ese directorio en
alguna parte de su jerarqua de directo-
rios. El segundo protocolo de NFS es
para el acceso a los directorios y archi-
vos. Los clientes pueden enviar mensa-
jes a los servidores para el manejo de
los directorios y la lectura o escritura de
archivos. Adems, tambin pueden te-
ner acceso a los atributos de archivo,
tales como su modo, tamao y fecha de
la ltima modificacin.
Implantacin de NFS: La implan-
tacin del cdigo del cliente y del servi-
dor es independiente de los protocolos.
Consta de tres capas: la capa superior
es la capa de llamadas al sistema; sta
maneja las llamadas del tipo OPEN,
READ Y CLOSE. Despus de analizar
la llamada y verificar los parmetros, lla-
ma a la segunda capa, la capa del sis-
tema virtual de archivos (VFS). La tarea
de la capa VFS es mantener una tabla,
con una entrada por cada archivo abier-
to, anloga a la tabla de nodos, para
los archivos abiertos en Unix. Despus
de descubrir el nombre de la mquina
donde se localiza el directorio por mon-
tar, se relaciona esa mquina buscando
un "file handle" para el directorio remo-
to. Si el directorio existe y est disponi-
ble para su montaje remoto, el servidor
regresa, entonces, un ''file handle" para
el directorio. Por ltimo, se transfiere el
''file handle" al ncleo.
ICESI
1.4.2. Sistemas realmente te acoplado en un hardware igual. Aun- 1.5.2. Flexibilidad miento (nmero de trabajos por hora),
distribuidos que existen varias mquinas de prop- el uso del sistema y la cantidad consu-
Es importante que el sistema sea
El siguiente paso, en la evolucin, es sito especial en esta categora (como las mida de la capacidad de la red. El pro-
flexible, ya que apenas estamos apren-
el de un software fuertemente acoplado mquinas dedicadas a las bases de da- blema del desempeo se complica por
diendo a construir sistemas distribuidos.
tos), los ejemplos ms comunes de pro- el hecho que la comunicacin, factor
en un hardware dbilmente acoplado (es Es probable que este proceso tenga
psito general son los multiproce- esencial en un sistema distribuido (y
decir, multicomputadores). El objetivo de muchas salidas falsas y una considera-
sadores, como los fabricados por ausente en un sistema con un nico
un sistema de este tipo es crear la ilu- ble retroalimentacin. Las decisiones de procesador), es algo lenta por lo gene-
sin, en las mentes de los usuarios, de Sequent y Encare, que operan como un diseo que ahora parezcan razonables ral. As, para optimizar el desempeo,
que toda la red de computadores es un sistema de tiempo compartido de Unix, podran demostrar ser incorrectas pos- con frecuencia hay que minimizar el
solo sistema de tiempo compartido, en slo que con varios CPU en lugar de uno teriormente. nmero de mensajes.
vez de una coleccin de mquinas di- solo.
Existen dos escuelas de pensamien-
versas. Esto nos lleva a nuestra defini- La caracterstica clave de este tipo to en cuanto a la estructura de los siste- 1.5.5. Esca/amiento - Extensin
cin de sistema distribuido: un Sistema de sistema es la existencia de una sola mas distribuidos. Una escuela dice que La mayora de los sistemas distribui-
Distribuido es aquel que se ejecuta en cola para la ejecucin: una lista de to- cada mquina debe ejecutar un ncleo dos est diseada para trabajar con
una coleccin de mquinas sin memo- dos los procesos, en el sistema, que no tradicional que proporcione la mayora unos cuantos cientos de CPUs. Es po-
ria compartida, pero que aparece ante estn bloqueados en forma lgica y lis- de los servicios. la otra sostiene que el sible que los sistemas futuros tengan
sus usuarios como un solo computador tos para su ejecucin. La cola de ejecu- ncleo debe proporcionar lo menos po- mayores rdenes de magnitud y que las
Para que un sistema sea realmente cin es una estructura de datos conte- sible y que el grueso de los servicios del soluciones que funcionen bien para 200
distribuido, debe existir un mecanismo nida en la memoria compartida. sistema operativo se obtenga a partir de mquinas fallen de manera total para
de comunicacin global entre los pro- los servidores al nivel usuario. La pri- 200 millones; por esto, es importante que
1.5 Aspectos del diseo
cesos, de forma que cualquier proceso mera escuela, conocida como el ncleo al construir los sistemas distribuidos se
puede hablar con cualquier otro; ade- 1.5.1. Transparencia monoltico, opera en el actual sistema piense en el nmero de mquinas que
ms, no tiene que haber distintos me- Un sistema es transparente cuando operativo y centralizado bsico, aumen- en un futuro se le acondicionarn.
canismos en distintas mquinas o dis- hace que las personas piensen que la tado con las capacidades de la red y la
tintos mecanismos para la comunicacin integracin de los servicios remotos. La 2. COMUNICACIONES
coleccin de mquinas es tan slo un
local o la comunicacin remota; tambin segunda escuela, conocida como el EN LOS SISTEMAS DISTRIBUIDOS
sistema de tiempo compartido de un solo
debe existir un esquema global de pro- procesador, es decir, cuando se le ocul- microncleo, opera en los sistemas dis- La diferencia ms importante entre un
teccin. ta la distribucin del sistema y piensan tribuidos diseados actualmente. sistema distribuido y un sistema de ni-
que un solo computador es el que hace co procesador es la comunicacin en-
1.4.3. Sistemas de multiprocesador 1.5.3. Confiabllidad tre los procesos. En un sistema con un
todo el trabajo. Existen cinco tipos de
con tiempo compartido Uno de los objetivos originales de la solo procesador, la mayor parte de la
transparencia:
La ltima combinacin que queremos construccin de sistemas distribuidos comunicacin entre procesos supone,
analizar es la de un software fuertemen- fue el hacerlos ms confiables que los de manera implcita, la existencia de la
sistemas con un nico procesador. La memoria compartida. Un ejemplo tpico
idea es que si una mquina falla, algu- es el problema de los lectores escrito-
TRANSPARENCIA Los usuarios no pueden indicar la localizacin de na otra mquina se encargue del trabajo. res, en donde un proceso escribe en un
DE LOCALlZACION. los recursos. "buffer" compartido y otro proceso lo lee.
1.5.4. Desempeo Incluso, en las formas ms bsicas de
TRANSPARENCIA Los recursos se pueden mover a voluntad, sin
La construccin de un sistema distri- sincronizacin, como el semforo, hay
DE MIGRACION cambiar sus nombres.
buido transparente, flexible y confiable que compartir una palabra (La variable
no har que usted gane premios si es del semforo). En un sistema distribui-
TRANSPARENCIA Los usuarios no pueden indicar el nmero de muy lento. En particular, cuando se eje- do no existe tal memoria compartida, por
DE REPLICA. copias existentes. cuta una aplicacin en un sistema dis- lo que toda la naturaleza de la comuni-
tribuido, no debe parecer peor que su cacin entre procesos debe replantearse
TRANSPARENCIA Varios usuarios pueden compartir recursos de ejecucin en un nico procesador. a partir de cero.
DE CONCURRENCIA. manera automtica. Comenzaremos con el anlisis de las
Se pueden utilizar diversas mtricas
TRANSPARENCIA Las actividades pueden ocurrir en parelelo, sin el del desempeo. El tiempo de respuesta reglas a las que se deben apegar los
DE PARALELISMO. conocimiento de los usuarios. es uno, pero tambin lo son el rendi- procesos respecto de la comunicacin

124~:::::::::::::::::::::::::==:
ICESI ::::======:::::=:::::::::::~125 ICESI
 conocida como protocolo. Para los sis-
temas distribuidos, estos protocolos to-
man con frecuencia la forma de varias
capas, cada una con sus propias metas
y reglas; luego analizaremos con ms
detalle el modelo cliente-servidor, del
cual tanto se ha hablado. Finalmente,
veremos la forma en que se intercam-
bian los mensajes y las muchas opcio-
nes disponibles para los diseadores del
sistema.
2.1. Redes y Comunicaciones
Como vimos en la primera parte, el
disponer de una red es uno de los re-
quisitos para poder hablar de un siste-
ma operativo completamente distribui-
do; por ello, se hace importante estu-
diar las caractersticas de las comuni-
caciones, en los diferentes tipos de re-
des, bien sea en las redes del rea lo-
cal LAN o en las redes de rea amplia
WAN. Estas ltimas permitirn, en un
futuro, ofrecer la posibilidad de conexin
en el mundo, entre computadores y
usuarios; por ello se deben acordar pro-
tocolos o reglas de comunicacin
estndar entre los usuarios, e incluso
entre los diferentes tipos de redes.
En el exterior existen diferentes or-
ganismos, los cuales han tratado de
establecer protocolos comunes para
seguir en todas las comunicaciones que
se puedan llevar a cabo en los diferen-
. tes tipos de redes. Entre los organismos
ms destacados vale la pena mencio-
nar la Organizacin Internacional para
la Internacionalizacin (ISO), con su
modelo de referencia para la inter-
conexin de sistemas abiertos OSI; el
Comit Consultivo Intemacional para la
Telegrafa y las Telecomunicaciones
(CCITI) y el Instituto NacionalAmerica-
no de Normas (ANSI).
Entre los conjuntos de normas ms
importantes podemos citar el OSI, que
abarca una arquitectura de servicios y
protocolos y es comnmente usado en-
126~::::=::::=:::::========:::::
ICESI
tre las redes de rea amplia, y el TCP/
IP, utilizado entre los computadores del
Departamento de Defensa de los Esta-
dos Unidos.
2.2. Protocolos con capas
Debido a la ausencia de memoria
compartida, todas las comunicaciones
en los sistemas distribuidos se basan en
la transferencia de mensajes. Cuando
el proceso A quiere comunicarse con el
proceso B, construye primero un men-
saje en su propio espacio de direccio-
nes. Entonces, ejecuta una llamada al
sistema para que ste busque el men-
saje y lo enve, a travs de la red, hacia
B. Como vemos, esto parece sencillo,
pero, para evitar confusiones, A y B de-
ben coincidir en el significado de los bits
que se enven. Por ejemplo, si A enva
un mensaje, en cdigo ASCII, y B espe-
ra un mensaje en el cdigo EBCDIC, la
comunicacin no ser ptima.
Como vemos, se necesitan muchos
puntos de comn acuerdo para estable-
cer una buena comunicacin. Cuntos
voltios hay que utilizar para la seal co-
rrespondiente a un bit cero y cuntos
para un bit uno? Cmo sabe el recep-
tor cul es el ltimo bit del mensaje?
Cmo puede detectar si un mensaje
ha sido daado o perdido, y qu debe
hacer si lo descubre? Qu longitud tie-
nen los nmeros, cadenas y otros ele-
mentos de datos y cul es la forma en
que estn representados? De este ejem-
plo se puede deducir que se necesitan
varios puntos de acuerdo con una am-
plia gama de niveles, desde los detalles
de bajo nivel de los bits hasta los deta-
lles de alto nivel, acerca de la forma
como debe expresarse la informacin.
2.2.1. Modelo de referencia para la
interconexin de sistemas
abiertos OSI
Este modelo est diseado para per-
mitir la comunicacin entre los sistemas
abiertos. Un sistema abierto es aquel
preparado para comunicarse con cual-
quier otro sistema abierto, mediante re-
gias estndar que gobiernan el formato,
el contenido y el significado de los men-
sajes recibidos. Estas reglas se formali-
zan en lo que se llaman protocolos. En
trminos bsicos, un protocolo es un
acuerdo de la forma en que debe desa-
rrollarse la comunicacin. Cuando se
presentan una mujer y un hombre, ella
puede optar por extender la mano. El, a
su vez, puede decidir si estrechrsela o
besrsela segn si, por ejemplo, ella es
una abogada en una junta de negocios
o una princesa europea en un baile for-
mal. La violacin del protocolo har que
la comunicacin sea ms difcil o, tal vez,
imposible.
El modelo OSI distingue entre dos ti-
pos generales de protocolos: los orien-
a continuacin:
tados hacia las conexiones y los que no
tienen ninguna conexin; los primeros,
antes de intercambiar los datos entre el
emisor y el receptor, negocian el proto-
colo por utilizar, mientras que los segun-
dos no necesitan ninguna configuracin
previa para empezar a transmitir el men-
saje. Un ejemplo de comunicacin sin
conexin podra ser el depositar una
carta en un buzn, ya que el receptor
no espera que le llegue la carta que en
ese momento ha sido depositada y mu-
cho menos ha podido establecer una
conexin previa con el emisor para neo
gociar las normas que se deberan utili-
zar en el envo de la carta.
En el modelo OSI, la comunicacin
se divide hasta en siete niveles o ca-
:===::====::=::::::::::::=:~127
pas, como se muestra en la Figura 2.1.
Cada capa se encarga de un aspecto
especfico de la comunicacin; de esta
forma, el problema se puede dividir en
piezas manejables, cada una de las cua-
les se puede resolver en forma indepen-
diente de las dems. Cada capa propor-
ciona una interfaz con la capa siguien-
te. La interfaz consiste en un conjunto
de operaciones, para definir el servicio
que la capa est preparada a ofrecer a
sus usuarios.
2.2.2. Capas del modelo OSI
El modelo OSI cuenta con siete ca-
pas, una serie de interfaces y siete pro-
tocolos, los que garantizarn que la co-
municacin entre el emisor y el receptor
sea eficiente y confiable, como se mues-
tra en la Figura 2.1. Las siete capas del
modelo OSI y su utilidad se describirn
La capa fsica: Se preocupa por la
transmisin de los ceros y los unos.
El nmero de voltios por utilizar (O y
1), el nmero de bits por segundo
que se pueden enviar, el hecho que
la transmisin se lleve a cabo en
ambas direcciones, en forma simul-
tnea, son todos aspectos claves en
la capa fsica. Adems, el tamao y
forma del conector en la red, as
como el nmero de PINS y el signifi-
cado de cada uno son temas de in-
ters para dicha capa. El protocolo
de la capa fsica controlar que,
cuando una mquina enve el bit O,
sea realmente recibido como un bit
oyno como un bit 1.
ICESI
 MODELO OSI registro de la parte que est hablan-
do en cierto momento y proporciona
facilidades en la sincronizacin. En
la prctica, pocas aplicaciones estn
Mquina 1 Mquina 2
interesadas en la capa de sesin y
~roceso0 QrocesoD rara vez se le soporta.
tal. Sin embargo, como el servicio pos-
tal es malo, en cierto momento las dos
secretarias deciden abandonarlo y co-
municarse por fax. Lo pueden hacer sin
molestar a sus jefes, puesto que su pro-
tocolo se refiere a la transmisi6n fsica

~ tI
1
Aplicacin r
~
Protocolo de aplicacin
Protocolo de presentacin
~ Aplicacin
t 2 Presentacin ~ Presentacin
Protocolo de sesin
9
3 Sesin . ~ Sesin
Protocolo de transporte
4 Transporte ~ ~ Transporte
a Protocolo de red
z
5 Red .. ~ Red
Protocolo de enlace de dato~
61 Enlace de datos ~ Enlace de Datos
Protocolo fsico
71 Fsico ~ ~ Fsico
RED
Figura 2.1. Capas, interfaces y protocolos en el modelo OSI.
- La capa de enlace de los datos: Esta compaas telefnicas, y el orienta-
capa no slo detecta los errores sino do a la no conexin, llamado IP de
que los corrige. lo que hace es agru- protocolo internet, el cual es usado
par los bits en unidades, que a ve- por el Departamento de Defensa de
ces se llaman marcos, y revisar que los Estados Unidos.
cada marco se reciba en forma co- - La capa de transporte: Esta capa se
rrecta; los marcos estn conforma- encarga de recibir el mensaje pro-
dos por tres campos: un bit al inicio,
veniente de la capa de sesin, lo
un bit al final y otro de verificacin,
parte en pequeos pedazos, de for-
conocido como CKECKSUM; este
ma que cada una se ajuste a un ni-
ltimo contendr la suma de todos
co paquete; le asigna a cada uno un
los bits del marco, as, en el momen-
nmero secuencial y despus los
to en que el mensaje llegue al re- enva al receptor. Existen diferentes
ceptor, ste slo tendr que volver a protocolos de transporte, entre ellos
calcular la suma de los bits del mar- estn desde el TPO hasta el TP4,
co y compararla con el contenido del protocolos oficiales de transporte
La capa de presentacin: Esta capa
se encarga de dar un formato al men-
saje del emisor, para hacerlo en-
tendible por el receptor; dicho forma-
to ser una especie de registro, con
'J ,,'
1', campos de tamao adecuado para
albergar datos como nombres, direc-
ciones, etc.
La capa de aplicacin: Esta capa se
encarga de establecer protocolos
para actividades comunes entre ter-
minales remotas; los ms conocidos
son el protocolo de correo electrni-
co XAOO y el servidor de directorios
X.500.
Para entender mejor el porqu de la
existencia de las diferentes capas, en el
modelo de comunicaciones OSI, veamos
un ejemplo:
Consideremos la comunicacin entre
dos compaas, Zyppy Airlines y su pro-
veedor, Mushy Mea/s. /ne. Cada mes, el
jefe de servicios de pasajeros, en Zippy,
le pide a su secretaria que haga contac-
to con la secretaria del gerente de ven-
tas en Mushy, para ordenar cien mil ca-
jas de pollo. Por lo general, las rdenes
se solicitan por medio de la oficina pos-
EJEMPLO DE UN MENSAJE ENVIADO DE ACUERDO CON EL MODELO OSI
Encabezado de la capa de enlace de datos
Encabezado de la capa de red
de las rdenes y a su contenido. En for-
ma anloga, el jefe de servicios de pa-
sajeros decide no pedir el pollo y pedir
el nuevo especial de Mushy, un filete,
sin que esa decisin afecte a las secre-
tarias. Lo que debemos observar es que
aqu tenemos dos capas: Los jefes y las
secretarias, y cada capa tiene su propio
protocolo: temas de discusin y tecno-
loga, que se pueden cambiar indepen-
dientemente el uno del otro.
De la misma forma, cuando un pro-
ceso A de la mquina 1 desea comuni-
carse con el proceso B de la mquina 2,
construye un mensaje y lo transfiere a
la capa de aplicacin en su mquina; el
software de dicha capa agregar un en-
cabezado y har seguir el mensaje por
medio de la interfaz hasta la capa de pre-
sentacin, en donde se le agregar otro
encabezado y as sucesivamente se re-
petir el proceso hasta llegar a la capa
de enlace de datos, como se muestra
en la Figura 2.2. Una vez la mquina 1
tenga el mensaje, con los encabezados
correspondientes, lo enviar a la mqui-
na 2, la cual, realizando el proceso in-
verso, lo interpretar en la forma correc-
ta.

J!
EncabezadO de la capa de transporte
CKECKSUM, para determinar si la ISO; el TCP, protocolo de transporte

informacin lleg correctamente; en
caso contrario, el receptor pedir al
emisor la retransmisin de los datos.
- La capa de la red: Esta capa se en-
carga de enrutar los datos del emi-
sor, para que lleguen por el camino
ms corto posible al receptor. Exis-
f1J
ncabezadO de la capa de sesin
del Departamento de Defensa de los
Dncabezado de la capa de presentacin
Estados Unidos; la combinacin
TCP/IP, protocolo de transporte de Jj ~ncabezadD de la capa de aplicacin
la mayora de los sistemas UNIX, y
el UDP, utilizado por los programas
de usuario que no necesitan las co-
rr::o:IIJ M.","], ~
nexiones. 1 Extremo
LI

ten dos protocolos comnmente usa- - La capa de sesin: Esta capa es una final de la
capa de
dos en las capas de red: el orienta- versin mejorada de la capa de base de
do a las conexiones, denominado
X.25, utilizado con frecuencia por las
transporte. Proporciona el control de
dilogos, con el fin de mantener un Figura 2.2. datos.
Un mensaje tpico, tal eomo aparece en la red.

:
128~=======================::=
ICES'
=========================~129 ICES'
2.3. El modelo cllente-servidor
A primera vista, los protocolos con
capas, a lo largo de las lneas OSI: se
ven como una forma fina de organizar
un sistema distribuido. En efecto, un
emisor establece una conexin; es de-
cir una especie de entubamiento de bits
co~ el receptor y, entonces, empieza a
bombear los bits que llegan sin error, en
orden, al receptor. Surge entonces la
pregunta: qu podra estar mal en este
modelo?
A pesar de que el modelo OSI pare-
ce ser la forma ms eficiente para con-
trolar la comunicacin entre el emisor y
el receptor, esto slo se puede afirmar
si es utilizado en redes de tipo WAN, ya
que, por tratarse de redes en las q~e
los terminales se encuentran distancia-
dos en muchas ocasiones por kilme-
tros, no importar tener que recurrir a
un modelo tan complicado como el OSI,
que a pesar de demandar gran cantid~d
de tiempo en la comunicacin, nos brin-
dar la certeza de contar con datos
confiables, sin importar las diferencias
que puedan existir, tanto en hardware
como en el sistema operativo entre el
emisor y el receptor, diferencias q,ue
podrn ser sorteadas fcilmente gracias
a sus siete capas de control.
Para las redes de tipo LAND no es
aconsejable utilizar este modelo, ya que
por tratarse de comun.ic~cion~s.entre
terminales con caractenstlcas Similares,
las cuales no estn separadas por gran-
TRANSFERENCIA DE MENSAJES EN EL MODELO CLIENTE SERVIDOR
Solicitud
Cliente
Respuesta
Ncleo
I RED
Figura 2.3.
130~==========================
ICE;
des distancias, el utilizar OSI implicara
TRANSFERENCIA DE MENSAJES EN EL MODELO CLIENTE
controles innecesarios y, por ende, des-
perdicio de tiempo de la CPU y un ~~sto SERVIDOR
excesivo comparado con sus benefiCIOS.
Capas
Por ello, se hace necesario es-
tructurar el sistema operativo de una 7
forma diferente, dando origen as al 6 Solicitud/Respuesta
modelo cliente servidor, ste tendr un
sistema operativo estructurado por gru- 5
pos de procesos en coopera~in, 1I~",la 4
dos servidores, que ofreceran serviCIOS Enlace de datos
a los usuarios, llamados clientes. Las 3
mquinas de los clientes y servidores Fsica
2
ejecutan, por lo general, el mismo
Figura 2.4.
microncleo y ambos se ejecutan como
procesos del usuario.
Para evitar un gasto excesivo en los
Debido a esta estructura tan sencilla la mquina-destino? Cul de ellos ob-
protocolos orientados a la conexin, ta-
se pueden reducir los servicios de co- tiene el mensaje? El ncleo no tiene for-
les como OSI o TCP/IP, lo usual es que
municacin que presta el microncleo; ma de decidir. En consecuencia, un es-
el modelo cliente-servidor se base en un
por ejemplo, a dos llamadas al sistema,
protocolo solicitudlrespuest~, sencillo y quema que utilice las direcciones en la
una para el envo de mensajes y otra red para la identificacin de los proce-
sin conexin. El cliente envla Ull' men-
para recibirlos. Estas llamadas al siste- sos indica que slo se puede ejecutar
saje al servidor, para pedir cierto servi-
ma se pueden pedir a travs de proce- un proceso en cada mquina. Aunque
cio, por ejemplo, la lectura de un bloque
dimientos de libreras, como SEND esta limitacin no es fatal, a veces es
de cierto archivo. El servidor hace el tra-
(DEST, &MPTR) Y RECEIVE (ADDR, & una seria restriccin, razn por la cual
bajo y regresa los datos solicitados o un
MPTR). La primera enva el mensaje al surgen tres tipos de mtodos para la di-
cdigo de error, para indicar la razn por
que apunta MPTR, en un proceso que reccin de los procesos en un modelo
la cual un trabajo no se pudo llevar a
se identifica como DEST, y provoca que cliente-servidor. El primero integra el
cabo, como se muestra en la Figura 2.3.
quien hace la llamada se bloquee hasta "machine-number" al cdigo del cliente;
La principal ventaja de dicho modelo es
cuando se enve el mensaje. La segun- es decir, se envan mensajes a los pro-
su sencillez, ya que el cliente enva un
da hace que quien hizo la llamada se cesos en lugar de envirselos a las m-
mensaje y obtiene una respuesta; por
bloquee hasta que reciba un mensaje.
su parte, como se ve en la Figura 2.4, la quinas. Aunque este mtodo elimina
Cuando llega un mensaje, ste se co-
pila de capas del modelo es mucho ms toda la ambigedad acerca de quin es
pia en el "buffer" al que apunta MPTR y
corta que la de OSI, contando nicamen- el verdadero receptor, presenta el pro-
quien hizo la llamada se desbloquea. El
te con tres capas: la fsica, la de enlace blema de cmo identificar los procesos.
parmetroADDR determina la direccin
de datos y la de solicitud y respuesta. Un esquema comn consiste en utilizar
en la cual escucha el receptor.
nombres con dos partes, para especifi-
2.3.1. Direccin car tanto la mquina como el proceso.
Por ejemplo, el nmero 243.4 me indi-
Para que un cliente pueda enviar un
car que estoy refirindome a la mqui-
mensaje a un servidor, debe conocer la
Servidor na 243 y al proceso 4, como se mues-
direccin de ste. Si slo existe un pro-
tra en la Figura 2.5.
ceso en ejecucin en la mquina-desti-
no cuando se enva el mensaje, el n- El segundo mtodo ser dejar que
Ncleo los procesos elijan sus direcciones al
cleo sabr qu hacer con el mensaje
I recibido (drselo al nico proceso en
ejecucin). Sin embargo, qu ocurre si
azar entre un espacio de direcciones
grande y disperso, como lo es el de
existen varios procesos en ejecucin en enteros binarios de 64 bits. la probabi-
:==========================~131 ,ICESI

lidad de que dos procesos elijan el mis-
mo nmero es muy pequea y el mto-
do puede utilizarse en sistemas ms
grandes. Sin embargo, aqu tambin
existe un problema: Cmo sabe el n-
cleo emisor a cul mquina enviar el
mensaje? La respuesta es simple; el
ncleo emisor transmite un paquete es-
pecial de localizacin, con la direccin
del proceso-destino, a toda la red; por
su parte, los ncleos verifican si la di-
reccin en circulacin es la suya y en
caso que lo sea, regresa un mensaje
diciendo "aqu estoy", con su direccin
en la red; es decir, el nmero de la m-
quina. En ese momento el ncleo emi-
sor utiliza, entonces, esa direccin y la
captura para evitar el envo de otra trans-
misin la prxima vez que necesite al
servidor, como se muestra en la Figura
2.6.
El tercer mtodo, para el direc-
cionamiento de procesos en un mode-
lo-cliente servidor, consiste en utilizar
una mquina adicional, llamada servi-
dor de nombres, que me servir para la
asociacin, en cdigoASCII, de los nom-
bres de los servicios con las direccio-
nes de las mquinas, como se muestra
en la Figura 2.7; el servidor de nombres
le suministra al cliente el nmero de la
mquina donde se localiza, en ese mo-
mento, el servidor. Una vez obtenida la
direccin, se puede enviar la solicitud
de manera directa.
DIRECCION
Servidor
1: Solicitud a 243.0
2: Respuesta a 199.0
Figura 2.5. Direccin mquina-proceso.
132~=====================:::==
,,..~;;,
DIRECCION
1: Transmisin
2: Aqu estoy
3: Solicitud
4: Respuesta
Figura 2.6. Direccin de procesos con
transmisin.
DIRECCION
~=.
Red
1: Bsqueda
2: Respuesta a NS
3: Solicitud
4: Respuesta
Figura 2.7: Bsqueda de direccin por
medio de un servidor de nombres.
2.3.2. Primitivas de bloqueo
vs. no bloqueo
Las primitivas de transferencia de
mensajes, descritas hasta el momento,
reciben el nombre de primitivas de blo-
queo, a veces llamadas primitivas
sncronas. Cuando un proceso llama un
SENO, especifica un destino y un "buffer"
dnde enviar ese destino. Mientras se
enva el mensaje, el proceso del emisor
se bloquea. La instruccin que sigue a
la llamada SENO se ejecuta cuando el
mensaje se enva en su totalidad, como
se muestra en la Figura 2.8. Oe manera
anloga, una llamada a RECEIVE regre-
sa el control cuando realmente se reci-
be un mensaje Y ste se coloca en el
"buffer" de mensajes a donde apunta el
parmetro.
En RECEIVE, el proceso se suspen- general, los diseadores del sistema
de hasta cuando llega un mensaje, in- aunque en algunos cuantos sistemas s~
cluso, aunque tarde varias horas. En dispone de ambos y los usuarios pue
ciertos sistemas el receptor puede es- den elegir su favorito. Sin embargo, la
pecificar de quines quiere recibir men- ventaja de desempeo que ofrecen las
sajes, en cuyo caso permanece blo- primitivas sin bloqueo se ve afectada por
queado hasta que llegue un mensaje del una seria desventaja: el emisor puede
emisor especificado. modificar el "buffer" de mensajes cuan-
do se enve el mensaje; en caso de que
Una alternativa a las primitivas con
se modificara, se enviaran datos
bloqueo son las primitivas sin bloqueo o
traslapados. Para solucionar dicho pro-
asncronas, como se muestra en la Fi
gura 2.9. Si SENO no tiene bloqueo, re blema, podramos optar por copiar el
gresa de inmediato el control a quien mensaje a un "buffer" interno del ncleo
hizo la llamada, antes de enviar el meno y, as, permitir al proceso continuar con
saje. La ventaja de este esquema es que el envo del mensaje y, a la vez, dejar el
el proceso del emisor puede continuar bloqueo.
su cmputo, en forma paralela con la Otra altemativa sera la primitiva sin
transmisin del mensaje, en vez de te- bloqueo con interrupcin, en la cual, una
ner inactivo al CPU. vez se ha terminado de enviar el men-
La eleccin entre las primitivas con saje, se interrumpe al emisor para avi-
bloqueo o sin bloqueo la hacen, por lo sarle que ya puede utilizar el "buffer".
PRIMITIVAS DE BLOQUEO VS. NO BLOQUEO
Cliente en ejecucin Cliente en ejecucin
- - - - - - - 4 - ......f - - - - - - - - I..~
Sealamiento r--R-e-g-re-s-o-----
. I Cliente bloqueado
de I nuc eo del ncleo
Proceso de Proceso
bloqueado liberado
Envo del mensaje
Figura 2.8. Una primitiva senda con bloqueo.
PRIMITIVAS DE BLOQUEO VS. NO BLOQUEO
Cliente en ejecucin
Cliente en ejecucin
Cliente
Sealamiento bloqueado Regreso
'C
Mensaje
...
Envo del mensaje
..
copiado
al ncleo
del "buffer"
Figura 2.9. Una primitiva senda sin bloqueo.
:
=========================~133 ICES'
2.3.3. Primitivas almacenadas
en "buffer" va.
no almacenadas
Las primitivas descritas hasta ahora
son esencialmente primitivas no alma-
cenadas, Esto significa que una direc-
cin se refiere a un proceso especfico.
Una llamada RECEIVE (ADDR, &M) le
indica al ncleo de la mquina en dn-
de se ejecuta; adems, que el proceso
que hace la llamada escucha a la direc-
cin ADDR y est preparada para reci-
bir el mensaje enviado a esa direccin.
PRIMITIVAS ALMACENADAS VS. NO
ALMACENADAS
Figura 2.10. Transferencia de mensajes
sin almacenamiento en buffer.
2.3.4. Primitivas confiables
vs. no confiables
Hemos supuesto de una manera im-
plcita que cuando un cliente enva un
mensaje, el servidor lo recibir. Los
mensajes se pueden perder, lo cual
afecta la semntica del modelo de trans-
ferencia de mensajes. Cuando se utili-
zan las primitivas por bloqueo y el cliente
enva un mensaje, se le suspende has-
ta que el mensaje ha sido enviado. Sin
embargo, cuando vuelve a iniciar, no
existe garanta alguna de que el men-
saje ha sido entregado. El mensaje po-
dra haberse perdido. Existen tres dis-
tintos enfoques de este problema.
134~====================:::===
ICESI
Se dispone de un nico "buffer" de men-
sajes, al que apunta M, con el fin de cap-
turar el mensaje por llegar. Cuando el
mensaje llega el ncleo receptor, lo co-
pia al "buffer" y elimina el bloqueo del
proceso receptor, como se muestra en
la Figura 2.10.
Un ejemplo de primitiva almacenada
es aqul en el cual los mensajes que
llegan al servidor son almacenados en
un "buffer" llamado buzn. como se ilus-
tra en la Figura 2.11.
PRIMITIVAS ALMACENADAS VS. NO
ALMACENADAS
La direccin
se refiere
a un buzn
0 CD
Ncleo
I I
Figura 2.11. Transferencia de mensajes
con almacenamiento en buffer.
El primero consiste en volver a defi-
nir la semntica del SEND para hacerlo
no confiable. El sistema no da garanta
alguna acerca de la entrega de los men-
sajes. La implantacin de una comuni-
cacin confiable se deja enteramente en
manos de los usuarios. La oficina de co-
rreos funciona de esta manera. Cuan-
do usted deposita una carta en un bu-
zn, la oficina de correos hace lo mejor
por entregarla, pero no promete nada.
El segundo mtodo exige que el n-
cleo de la mquina receptora enve un
reconocimiento al ncleo de la mqui-
na emisora. Slo cuando se reciba este
reconocimiento el ncleo emisor Iibera-
r el proceso hacia los usuarios (clien-
tes). El reconocimiento va de un ncleo
a otro; ni el cliente ni el servidor ven al-
guna vez un reconocimiento, de la mis-
ma forma que la solicitud de un cliente
a un servidor es reconocida por el n-
cleo del servidor; la respuesta del servi-
dor, de regreso al cliente, es reconocida
por el ncleo del cliente. As, una solici-
tud de respuesta consta de cuatro men-
sajes, como se muestra en la Figu-
ra 2.12.
PRIMITIVAS CONFIABLES VS. NO
CONAABLES
1 ~
~i~~ E~
3
4 entre procesos se maneja como E/S, ya
Ncleo Ncleo
z que dicha comunicacin utiliza uno de
I Red I los modelos ms sencillos de protoco-
1. Solicitud (del cliente al servidor)
2. Reconocimiento (de ncleo a ncleo)
3. Respuesta del servidor al cliente
4. Reconocimiento (de ncleo a ncleo)
Figura 2.12. Mensajes reconocidos en for-
ma individual.
El tercer mtodo aprovecha el hecho
que la comunicacin cliente-servidor se
estructura como una solicitud del clien-
te al servidor, seguida de una respuesta
del servidor al cliente. En este mtodo,
el cliente se bloquea despus de enviar
un mensaje. El ncleo del servidor no
enva de regreso un reconocimiento sino
que la misma respuesta funciona como
tal. As, el emisor permanece bloquea-
do hasta que regresa la respuesta. Si
tarda demasiado, el ncleo emisor pue-
de volver a enviar la solicitud, para pro-
tegerse contra la posibilidad de una pr-
dida elel mensaje. Este mtodo se mues-
tra en la Figura 2.13.
:=======================:=~135
/CES/
PRIMITIVAS CONAABLES VS. NO
CONFIABLES
1 ~
C~ E~~
2
3
Ncleo Ncleo
I Red I
1. Solicitud (del cliente al servidor)
2. Respuesta (del servidor al cliente)
3. Reconocimiento (de ncleo a ncleo)
Figura 2.13. La respuesta se utifiza como
reconocimiento de la solicitud.
El problema con el modelo bsico
cliente-servidor es que, desde el punto
de vista conceptual, la comunicacin
los (solicitud y respuesta). Ahora, cuan-
do una coleccin de procesos, por ejem-
plo servidores duplicados de archivo,
tiene que comunicarse con otra como
grupo, se necesita algo ms. Los siste-
mas de tipo ISIS proporcionan una so-
lucin a este problema: la comunicacin
en grupo. ISIS ofrece una gama de pri-
mitivas. de las cuales la ms importan-
te es CSCAST. CSCAST ofrece una se-
mntica de comunicacin dbil con base
en la causalidad y se implanta median-
te la inclusin de vectores de nmeros
secuenciales en cada mensaje, para
permitir al receptor que revise si el men-
saje se debe entregar de manera inme-
diata o retrasarse hasta que lleguen al-
gunos mensajes anteriores; stos no
sern tratados por ser casos particula-
res y ms complicados.
De esta forma vemos que, gracias al
modelo cliente-servidor, se puede en-
tender un poco mejor cmo se desarro-
llan las comunicaciones entre procesos
en una red de terminales inteligentes y.
adems, los diferentes aspectos que se
deberan tener en cuenta si se quisiera
desarrollar un sistema de estas carac-
tersticas; entre ellos aspectos de dise-
o, tales como si se utilizaran primitivas
almacenadas o no almacenadas, con-
fiables o no confiables, con bloqueo o
sin bloqueo, etc.
3. SINCRONIZACION EN SISTEMAS
DISTRIBUIDOS
Un aspecto muy importante es la for-
ma en que los procesos cooperan y se
sincronizan entre s. Por ejemplo, la for-
ma de implantar las regiones crticas o
asignar los recursos en un sistema dis-
tribuido.
En los sistemas que slo cuentan con
una CPU, los problemas relativos a las
regiones crticas, la exclusin mutua y
la sincronizacin se resuelven, en ge-
neral, mediante mtodos tales como los
semforos y 105 monitores. Estos mto-
dos no son adecuados para su uso en
los sistemas distribuidos, puesto que
siempre se basan (de manera implcita)
en la existencia de la memoria compar-
tida.
3.1. Sincronizacin de relojes
La sincronizacin es ms compleja
en los sistemas distribuidos que en los
centralizados, puesto que los primeros
deben utilizar algoritmos distribuidos.
Por lo general no es posible (o reco-
mendable) reunir toda la informacin
relativa al sistema en un solo lugar y
despus dejar que cierto proceso la exa-
mine y tome una decisin, como se hace
en el caso centralizado.
En general los algoritmos distribuidos
tienen las siguientes propiedades:
1. La informacin relevante se distribu-
ye entre varias mquinas.
2. Los procesos toman las decisiones
slo con base en la informacin dis-
ponible en forma local.
3. Debe evitarse un nico punto de.ta -
110 en el sistema.
13~~========================
ICESI
4. No existe un reloj comn o alguna
otra fuente precisa del tiempo global.
Los primeros tres puntos indican que
es inaceptable reunir toda la informacin
en un solo lugar para su procesamien-
to; adems, el hecho que slo exista un
solo punto de fallo, como ste, hace que
el sistema no sea confiable. La idea es
que un sistema distribuido debera ser
ms confiable que las mquinas indivi-
duales. Si alguna de ellas falla, el resto
puede continuar su funcionamiento.
El ltimo punto de la lista tambin es
crucial. En un sistema centralizado, el
tiempo no tiene ambigedades. Cuan-
do un proceso desea conocer la hora,
llama al sistema y el ncleo se lo dice.
En un sistema distribuido no es trivial
poner de acuerdo todas las mquinas
en la hora.
3.1 .1. Relojes lgicos
Casi todas las computadoras tienen
un circuito para el registro del tiempo
denominado cronmetro, el cual es, por
lo general, un cristal de cuarzo trabaja-
do con precisin. Cuando se mantiene
sujeto a tensin, un cristal de cuarzo
oscila con una frecuencia bien definida,
que depende del tipo de cristal, la for-
ma en que se corte y la magnitud de la
tensin. A cada cristal se le asocian dos
registros, un contador y un registro man-
tenedor (holding register). Cada oscila-
cin del cristal decrementa en uno al
contador. Cuando el contador toma el
valor cero, se genera una interrupcin y
el contador se vuelve a cargar median-
te el registro mantenedor. De esta for-
ma es posible programar un cronmetro,
de modo que genere una interrupcin
con la frecuencia que se desee. Cada
interrupcin recibe el nombre de una
marca de reloj.
Cuando se trabaja con varias mqui-
nas, cada una con su propio reloj, la si-
tuacin es muy distinta de la que se pre-
senta con un solo sistema. Aunque la
frecuencia de un oscilador de cristal es
muy estable, es imposible garantizar que
los cristales de computadoras distintas
oscilen con la misma frecuencia. En la
prctica, cuando un sistema tiene n
computadores, los n cristales correspon-
dientes oscilarn a tasas un poco dis-
tintas, lo que provoca una prdida de
sincrona en los relojes (de software) y
que, al leerlos, tengan valores distintos.
La diferencia entre los valores del tiem-
po se llama distorsin del reloj. Como
consecuencia de esta distorsin, po-
dran fallar los programas que esperan
el tiempo correcto, asociado a un archi-
vo, objeto, proceso o mensaje; esto es
independiente del sitio donde haya sido
generado (es decir, el reloj utilizado).
En un artculo clsico, Lamport (1978)
demostr que la sincronizacin de relo
jes es posible y present un algoritmo
para lograr esto. Lamport seal que la significa que nada se puede decir (o se
sincronizacin de relojes no tiene que
ser absoluta. Si dos procesos no inte-
ractan, no es necesario que sus relo-
jes estn sincronizados, puesto que la
carencia de sincronizacin no ser ob-
servable y, por tanto, no podra provo-
car problemas. Adems, seal que lo
que importa, por lo general, no es que
todos los procesos estn de acuerdo de
manera exacta en la hora sino que co-
incidan en el orden en que ocurren los
eventos.
Para la mayora de los fines, basta
que todas las mquinas coincidan en la
misma hora. Para una cierta clase de
algoritmos, lo que importa es la consis-
tencia interna de los relojes, no su cer-
'f
cana particular al tiempo real. Para es-
! .
tos algoritmos se conviene en hablar de
los relojes como relojes lgicos. Para
sincronizar los relojes lgicos, Lamport
defini una relacin llamada ocurre an-
tes de (happens-before). La expresin
a ~ b se lee: "a ocurre antes de b" e
indica que todos los procesos coinciden
en que primero ocurre el evento a y des-
:
=========================~137
pus el evento b. Esta relacin se pue
de observar de manera directa en dos
situaciones:
1. Si a y b son eventos en el mismo
proceso y a ocurre antes de b, en-
tonces a ~ b es verdadero.
2. Si a es el evento del envo de un
mensaje por un proceso y b es el
evento de la recepcin del mensaje
por otro proceso, entonces a ~ b
tambin es verdadero. Un mensaje
no se puede recibir antes de ser en-
viado o al mismo tiempo en que se
enva, puesto que tarda en llegar una
cantidad finita de tiempo.
Si dos eventos x y y estn en proce-
sos diferentes que no intercambian men-
sajes, entonces x ~ y no es verdadero,
pero tampoco lo es y ~ x. Se dice que
estos eventos son concurrentes, lo que
necesita decir) acerca del momento en
el que ocurren o cul de ellos es el pri-
mero.
Lo que necesitamos es una forma de
medir el tiempo, tal que a cada evento a
le podamos asociar un valor del tiempo
C (a) en el que todos los procesos es-
tn de acuerdo. El tiempo del reloj C
siempre debe ir hacia adelante (crecien-
te) y nunca hacia atrs (decreciente). Se
pueden hacer correcciones al tiempo, al
sumar un valor positivo al reloj, pero
nunca se le debe restar un valor positi-
vo.
En la Figura 3.1 (a) vemos un ejem-
plo en donde existen tres procesos dife-
rentes que se ejecutan en distintas m-
quinas, cada una con su propio reloj y
velocidad. Cada reloj corre a una razn
constante, slo que las razones son dis-
tintas, debido a las diferencias en los
cristales. Al tiempo 6, el proceso O en-
va el mensaje A al proceso 1; el reloj
del proceso 1 lee 16 cuando el mensaje
llega. Si el mensaje acarrea el tiempo
de inicio, entonces el proceso 1 concluir
ICESI
que tard 10 marcas de reloj en hacer En la solucin propuesta por Lamport, 3.1.2. Relojes f(slcos y el tiempo solar creciera hasta 800
el viaje. El mensaje B, de 1 a 2, tarde 16 para la asignacin de tiempos a los Cuando existe la restriccin adicio- milisegundos constantes. Esta correc-
marcas que, al igual que A, es un valor eventos, Figura 3.1. (b), cada mensaje nal de que los relojes no slo deben ser cin da lugar a un sistema de tiempo
plausible. acarrea el tiempo de envo de acuerdo iguales sino que adems no deben des- basado en los segundos IAI, pero que
con el reloj del emisor. Cuando un men- viarse del tiempo real ms all de cierta permanece en fase con el movimiento
El problema est en los mensajes C
saje llega y el reloj del receptor muestra magnitud, los relojes reciben el nombre aparente del sol; se le llama tiempo
y D, puesto que van de un valor mayor
un valor anterior al tiempo en que se de relojes fsicos. Para estos sistemas coordenado universal (UTC).
a uno menor; estos valores sonimposi-
envi el mensaje, rpidamente el recep- se necesitan relojes fsicos extemos. Por Para proporcionar UTC a las perso-
bies y sta es la situacin que hay que tor adelanta su reloj para que tenga una razones de eficiencia y redundancia, por nas que necesitan un tiempo preciso, el
evitar. unidad ms que la del tiempo de envo. lo general, son recomendables varios Instituto Nacional del Tiempo Estndar
relojes fsicos, lo cual implica dos pro- (NIST) opera una estacin de radio de
RELOJES LOGICOS blemas: onda corta, con las siglas WWV, desde
1. Cmo sincronizar los relojes con el Fort Collins, Colorado. WWV transmite
O 2 O 2
mundo real? un pulso corto al inicio de cada segun-
.do UTC.
O
-------- ... _-----
O
------_ ... ----_...- -------- O ._..o_--_.. -.._-_ .._- --_O.. _.._ O
-------- 2. Cmo sincronizar los relojes entre
Varios satlites terrestres tambin
6 8 10 6 8 10 sr?
. . ------- _e. __
12 16
------- -------- .. --- -------- -------- -... _----- ofrecen un servicio UTC, tal como el
....... _...... - ------- ._----- --_20
... ----
12 -----.........16 _-- ..- ....-.._-- --20
.. __ ...... Con la invencin del reloj atmico, en
1948, fue posible medir el tiempo de
Satlite de Ambiente Operacional
18 24 30 18 24 30
... ----_ -- - ----- ...- ...... -----_ ..... ---...._- ------...- oo-
Geoestacionario (GEOS).
24 32 40 manera mucho ms exacta y en forma
24 32 40
..------- ------ -------- ------- -------- _ . _ .. _ - - oo ....._ . . . ._ .......... __ .... _ _. . _ _ . . _ _

independiente de todo el ir y venir de la 3.1.3. Algoritmos parar la

30
36
40
-------- ------- ------...... ------- --------
48 60
50
--~---
36
------- --~-Q-_. -------- --~Q---
~_~ __ _ ~SL_
Tierra, al contar las transiciones del to- Sincronizacin de Relojes
..._------ ------- -------- ... - ........ -------
mo de cesio 133. Los fsicos retomaron Si una mquina tiene un receptor
42 56
_..._----- ------- ----_... _- ----_.... --------
70 __1?___ _ ~_L. . '?Q _ de los astrnomos la tarea de medir el WWV, entonces el objetivo es hacer que
tiempo y definieron el segundo como el todas las mquinas se sincronicen con
--_48... __ ...- -- 64 80
.. oo ... _ _ .. - .... _

--~--- -- .- --~-~--- -------- --Q--- tiempo que tarda el tomo cesio 133 ella. Si ninguna mquina tiene recepto-
54 72 90 70 77 ........ 90
...._---- -_Oo_---- _... _---- ... _------ . . . . -_.. . --_...._ ~------ _.._-oo--- para hacer exactamente 9.192.631.770 res WWV, entonces cada mquina lleva
60 80 100 76 85 100 transiciones. el registro de su propio tiempo y el obje-

Figura 3.1 (a). Tres procesos, cada uno

con su propio reloj. Los relojes corren a
Figura 3.1 (b). El algoritmo de Lamport
. corrige los errores.
Actualmente cerca de 50 laboratorios
en el mundo tienen relojes de cesio 133.
tivo es mantener el tiempo de todas las
mquinas, tan cercano como sea posi-
ble.
En forma peridica, cada laboratorio le
diferentes velocidades.
indica a la Oficina Intemacional de la
.El algoritmo de Berkeley
Hora en Pars (BIH) el nmero de mar-
Este algoritmo satisface nuestras ocurren eventos en los procesos 1 y 2, cas de su reloj. La oficina hace un pro- En este caso, el servidor de tiempo
necesidades para el tiempo global, con ambos en el tiempo 40, entonces el pri- medio de estos nmeros para producir (en realidad, un demonio para el tiem-
una pequea adicin, que entre cuales- mero se convierte en 40.1 y el segundo el tiempo atmico inlemacional (TAl), po) est activo y realiza un muestreo
quiera dos eventos, el reloj debe mar- en 40.2. que aunque es muy estable y est a dis- peridico de todas las mquinas para
car al menos una vez. Si un proceso posicin de todos los que quieran com- preguntarles el tiempo. Con base en las
Por medio de este mtodo tenemos respuestas, calcula un tiempo promedio
enva o recibe dos mensajes en serie ahora una forma de asignar un tiempo a prarse un reloj de cesio, existe un serio
muy rpidamente, debe avanzar su re- problema con l; 860400 segundos TAl, y les indica a todas las dems mqui-
todos los eventos en un sistema distri- nas que avancen su reloj a la nueva hora
loj en (al menos) una marca entre ellos. a un tiempo cerca de tres milisegundos
buido, con las siguientes condiciones: o que disminuyan la velocidad del mis-
En ciertas situaciones existe un re- menor que el de un da solar medio, lo
1. Si a ocurre antes de b en el mismo que significara que, con el paso de los
mo, hasta lograr cierta reduccin espe-
quisito adiCional: dos eventos no deben proceso, C (a) < C(b). cfica. Este mtodo es adecuado para
ocurrir exactamente al mismo tiempo. aos, el medio da ocurrirra cada vez
un sistema donde no exista un receptor
2. Si a y b son el envo y recepcin de ms temprano.
Para lograr esto podemos asociar el de WWV. La hora del demonio, para el
un mensaje, C (a) < C(b). La BIH resolvi el problema median-
nmero del proceso en que ocurre el tiempo, debe ser establecida en forma
evento y el extremo inferior del tiempo, . 3. Para todos los eventos a y b, te la introduccin de segundos de salto, manual por el operador, de manera pe-
separados por un punto decimal. As, si C(a) ~C(b). siempre que la discrepancia entre elTAI ridica.

:
138~=========================
ICES.
=====================:=:==~139 ICESI
 En la Figura 3.2 (a), a las 3:00, el
demonio para el tiempo indica, a las
dems mquinas, su hora y les pregun-
ta las suyas. En (b), las mquinas res-
ponden, con la diferencia de sus horas
EL ALGORITMO DE BERKELEY
3:25
Figura 3.2 (a). El demonio (b). Las mquinas contes-
para el tiempo pregunta a tan.
todas las otras mquinas
por el valor de sus relojes.
Algoritmos con promedio
El mtodo anterior es altamente cen-
tralizado. Una clase de algoritmos de re-
loj descentralizada trabaja ~ara d~vidi~ el
tiempo en intervalos de resl~cromzac~~
de longitud fija. El j-simo Intervalo 101-
cia en 10 + iRy va hasta 10 + (i + 1) R
donde 10 es un momento ya acordado
en el pasado y R es un parmetro del
sistema. Al inicio de cada intervalo, cada
mquina transmite el tiempo actual, se-
gn su reloj. Puesto que los relojes d~
las diversas mquinas no corren preci-
samente a la misma velocidad, estas
transmisiones no ocurrirn exactamen-
te en forma simultnea.
Despus de que una mquina trans-
mite su hora, inicializa un cronmetro lo-
cal, para reunir las dems transmisiones
que lleguen en cierto intervalo S. cu~n
do llegan todas las transmisiones, se eJe-
cuta un algoritmo para calcular una nue-
va hora para ellos. El algoritmo ms
140~=========================
ICE"
como la del demonio. Con estos nme-
ros el demonio calcula el tiempo pro-
medio y le dice a cada mquina cmo
ajustar su reloj (e).
DT
3:05
3:05
(e) El demonio para el tiem-
po les dice a todas la for-
ma de ajustar sus relojes.
sencillo consiste en promediar los valo-
res de todas las dems mquinas.
Una ligera variacin de este tema
consiste en descartar primero tos mva-
lores ms grandes y los m valores ms
pequeos y promediar el resto. El he-
cho de descartar los valores extremos
se puede considerar como autodefe~sa
contra m relojes fallidos que envlan
mensajes sin sentido.
3.2. Exclusin mutua
Los sistemas con varios procesos se
programan ms fcilmente mediante las
regiones crticas. Cuando un proceso
debe leer o actualizar ciertas estructu-
ras de datos compartidas, primero en-
tra en una regin crtica para lograr la
exclusin mutua y garantizar que nin-
gn otro proceso utilizar las estructu-
ras de datos al mismo tiempo. Ana-
lizaremos algunos ejemplos de implan-
tacin de las regiones crticas y exclu-
sin mutua en los sistemas distribuidos.
3.2.1. Un algoritmo centralizado ceso 2, que espera una respuesta. Otra
La forma ms directa de lograr la ex- altemativa consiste en enviar una res-
clusin mutua, en un sistema distribui- puesta que diga permiso denegado".
do, es simular la forma en que se lleva a De cualquier manera, forma en una cola
cabo en un sistema con un nico la solicitud de 2, por el momento.
procesador. Se elige un proceso como Cuando el proceso 1 sale de la re-
el coordinador; siempre que un proceso gin crtica, enva un mensaje al coor-
desea entrar en una regin crtica enva dinador, para liberar su acceso exclusi-
un mensaje de solicitud al coordinador, vo, Figura 3.3 (e). El coordinador ex-
donde se indica la regin crtica en la trae el primer elemento de la cola de
que desea entrar y pide permiso. S nin- solicitudes diferidas y enva a ese pro-
gn otro proceso est por el momento ceso un mensaje que otorga el permi-
en esa regin crtica, el coordinador en- so. Si el proceso estaba bloqueado (es
va una respuesta para el permiso. Fi- decir, ste es el primer mensaje que se
gura 3.3 (a). le enva), elimina el bloqueo y entra en
Cuando llega la respuesta, el proce- la regin crtica.
so solicitante entra en la regin crtica. Es fcil ver que el algoritmo garanti-
Supongamos ahora que otro proceso, za la exclusin mutua: el coordinador
2, Figura 3.3 (b), pide permiso para en- slo deja que un proceso est en cada
trar en Ja misma regin crtica. El coor- regin crtica a la vez. Tambin es jus-
dinador sabe que un proceso distinto ya to, puesto que las solicitudes se aprue-
se encuentra en esta regin, por lo que ban en el orden en que se reciben. Nin-
no puede otorgar el permiso. El mtodo gn proceso espera por siempre. Este
exacto utilizado para negar el permiso esquema tambin es fcil de implantar
depende de la mquina. En la Figura 3.3 y slo requiere tres mensajes, por cada
(b) el coordinador s610 se abstiene de
uso de una regin crtica (solicitud, otor-
responder, con lo cual se bloquea el pro-
gamiento, liberacin).
EXCLUSION MUTUA: Algoritmo centralizado
Figura 3.3 (a). El proceso (b). El proceso 2 pide, en- (e). Cuando el proceso 1
1 pide permiso al coordi- tonces, permiso para en- sale de la regin crrtica, se
nador para entrar en una trar en la misma regin crr- lo dice al coordinador, el cual
regin crrtica. El permiso tica. responde, entonces, a 2.
es concedido.
:
==========================~141 ICESI
 El mtodo centralizado tambin tie-
ne limitaciones. El coordinador es un
nico punto de fallo, por lo que, si se
descompone, todo el sistema se puede
venir abajo. Si los procesos se bloquean,
por lo general despus de hacer una
solicitud, no pueden distinguir entre un
coordinador muerto" y un "permiso ne-
gado", puesto que en ambos casos no
reciben una respuesta. Adems, en un
sistema de gran tamao, un nico coor-
dinador puede convertirse en un cuello
de botella para el desempeo.
3.2.2. Un algoritmo distribuido
Ricart yAgrawala (1981 ) hicieron ms
eficaz el artculo de Lamport (1978), re-
lativo a la sincronizacin de los relo-
'-',~s, que fue el primer algoritmo distribui-
do.
El algoritmo de Ricart y Agrawala re-
quiere la existencia de un orden total de
todos los eventos en el sistema; debe
ser claro cul de ellos ocurri primero,
Cuando un proceso desea entrar en
una regin crtica, construye un mensa-
je con el nombre de sta, su nmero de
proceso y la hora actual. Entonces, en-
va el mensaje a todos los dems pro-
cesos y, de manera conceptual, a l mis-
mo.
Cuando un proceso enva un men-
saje de solicitud de otro proceso, la ac-
cin que realice depende de su estado
con respecto de la regin crtica nom-
brada en el mensaje. Hay que distinguir
tres casos:
1. Si el receptor no est en la regin
crtica y no desea entrar en ella, en-
va de regreso un mensaje OK al
emisor.
2. Si el receptor ya est en la regin
crtica, no responde sino que forma
la solicitud en una cola.
3. Si el receptor desea entrar en la re-
gin crtica pero no lo ha logrado to-
dava, compara la marca de tiempo
en el mensaje recibido con la marca
contenida en el mensaje que envi
cada uno. La menor de las marcas
gana. Si el mensaje recibido es me-
I po.
I
142-r=====================::::=
i
!III ICESI
li
nor, el receptor enva de regreso un
mensaje OK Si su propio mensaje
tiene una marca menor, el receptor
forma la solicitud en una cola y no
enva nada.
Despus de enviar las solicitudes que
piden permiso para entrar en una regin
crtica, un proceso espera hasta que al-
guien ms obtenga el permiso. Tan pron-
to llegan todos los permisos, pueden
entrar en la regin crtica. Cuando sale
de ella, enva mensajes OK a todos los
procesos en su cola y elimina a todos
los elementos de la cola.
En el ejemplo de la Figura 3.4 (a) se
muestra qu sucede si dos procesos
intentan entrar en la misma regin crti-
ca de manera simultnea. El proceso O
enva, a todos, una solicitud con la mar-
ca de tiempo 8, mientras que al mismo
tiempo el proceso 2 enva, a todos, una
solicitud con la marca de tiempo 12. El
proceso 1 no se interesa en entrar en la
regin crtica, por lo que enva OK a ejemplo una red basada en un bus, Fi-
ambos emisores. Los procesos O y 2 ven
el conflicto y comparan las marcas. El
proceso 2 pierde y enva un OK a O. El
proceso O entra en la regin crtica, Fi-
gura 3.4 (b). Cuando termina, retira la
solicitud de 2 de la cola y enva un OK a
2 y ste entra en la regin crtica, Figu-
ra 3.4 (c).
Como en el caso del algoritmo cen-
tralizado, la exclusin mutua queda ga-
rantizada, sin bloqueo ni inanicin. El
nico punto de fallo es reemplazado por
n puntos de fallo. Si cualquier proceso
falla, no podr responder a las solicitu-
des. Este silencio ser interpretado (in-
correctamente) como una negacin del
permiso, con lo que se bloquearn los
siguientes intentos de los dems proce-
sos para entrar en todas las regiones
crticas.
Es posible mejorar un poco este
algoritmo. Por ejemplo, la obtencin del
permiso de todos para entrar en una
regin crtica es realmente redundante.
Todo lo que se necesita es un mtodo
para evitar que dos procesos entren en
la misma regin crtica al mismo tiem-
EXCLUSION MUTUA: Algorlbno distribuido
8
80 o
~K
/~
0- @.:
o 0
Entra a la regi6n
crItica
12
Figura 3.4(8). Dos proce- (b). El proceso O tiene una (e). Cuando se termina el
sos desean entrar en la marca de tiempo menor, . proceso 0, enva un OK,
por lo que 2 puede ahora
misma regin crtica en el por lo que gana.
mismo momento. entrar en la regin crtica.
3.2.3. Un algoritmo de anillo el anillo. Se transfiere del proceso k al
proceso k + 1 en mensajes puntuales.
de fichas (Token Rlng)
Cuando un proceso obtiene la ficha de
Este es un mtodo completamente
su vecino, verifica si intenta entrar en una
distinto para lograr la exclusin mutua
regin crtica. En ese caso, el proceso
en un sistema distribuido. Se tiene por
entra en la regin, hace todo el trabajo
necesario y sale de la regin. Despus
gura 3.5 (a). En software se construye
de salir, pasa la ficha a lo largo del ani-
un anillo lgico y a cada proceso se le
llo. No se permite entrar en una segun-
asigna una posicin en el anillo, Figura
da regin crtica con la misma ficha.
3.5 (b). Las posiciones en el anillo se
pueden asignar en orden numrico de Si un proceso recibe la ficha de su
las direcciones de la red o mediante al- vecino y no est interesado en entrar en
gn otro medio. Lo importante es que una regin crtica, slo la vuelve a pa-
cada proceso sepa quin es el siguien- sar. En consecuencia, cuando ninguno
te en la fila despus de l. de los procesos desea entrar en una re-
gin crtica, las fichas slo circulan a gran
Al iniciar el anillo, se le da al proceso
velocidad en el anillo.
O (cero) una ficha, la cual circula en todo
EXCLUSION MUTUA: Anillo de fichas (Token Ring)
Figura 3.5
(a) Un grupo
no ordenado
de procesos
en una red. Red
El poseedor del
elemento puede
entrar en la regin
crtica o transferir
el elemento.
(b). Un anillo l-
gico construido
en software.
::::=======================:-:
ICES'
143
 Tambin este algoritmo tiene proble-
mas. Si la ficha llega a perderse, debe
ser regenerada. De hecho es difcil de-
tectar su prdida, puesto que la canti-
dad de tiempo entre las apariciones su-
cesivas de la ficha en la red no est aco-
tada. El hecho que la ficha no se haya
observado durante una hora no signifi-
ca su prdida; tal vez alguien la est uti-
lizando.
El algoritmo tambin tiene problemas
si falla un proceso. Si pedimos un reco'
nocimiento a cada proceso que reciba
la ficha, entonces se detectar un pro-
3.3.1. El algoritmo del granduln
Diseado por Garca-Molina (1982).
Cuando un proceso observa que el coor-
dinador ya no responde a las solicitu-
des, inicia una eleccin. Un proceso P
realiza una eleccin de la siguiente ma-
nera:
1. P enva un mensaje eleccin a los
dems procesos, con un nmero
. mayor.
2. Si nadie responde, P gana la elec
cin y se convierte en el coordina-
dor.
gura 3.6 (b); el proceso 4 sabe que en gura 3.6 (d) el proceso 6 indica a 5 que
este momento ha terminado su trabajo. toma~ el control. Cuando est listo para
En la Figura 3.6 (c), tanto 5 como 6 rea a~umlr el control, el proceso 6 lo anun-
lizan elecciones enviando mensajes a cla, para lo cual enva mensajes coordi-
procesos mayores que ellos. En la Fi- nadara todos los procesos en ejecucin.
ALGORITMOS DE ELECCION: Algoritmo del granduln
00 00
~ "-
B_6n-0 ~OK-0
Eleccin
r::~ 0) ~6

ceso muerto si su vecino intenta darle
la ficha y fracasa en el intento. En ese
momento el proceso muerto se puede
eliminar del grupo y el poseedor de la
ficha puede enviar sta, por encima de
la cabeza del proceso muerto, al siguien-
te miembro, o al siguiente despus de
ste, en caso necesario.
o
3. Si uno de los procesos, con un n-
~0 OK
V
.n"~~~':7,'~ .:..0
mero mayor, responde, toma el con- 0'ecc;n
trol. El trabajo de P termina.
En cualquier momento un proceso
puede recibir un mensaje eleccin de
uno de sus compaeros, con un nme-
0) 0)
ro menor. Cuando esto sucede, el ra- F~gura 3.6 (a). El proceso 4 hace una elec- (b). El proceso 5 y 6 responde e indica a 4
cin. que se detenga.
ceptor enva de regreso un mensaje DK

3.3. Algoritmos de eleccin

Muchos de los algoritmos distribuidoS
necesitan que un proceso acte como
coordinador, iniciador, secuenciador o
que desempee, en cierta forma, algn
papel especial. Si todos los procesos
al eniisor para indicar que est vivo y
que tomar el control. El receptor reali-
za entonces una eleccin, a menos que 08
ya est realizando alguna. En cierto
momento, todos los procesos se rinden,
menos uno, el cual se convierte en el
8
nuevo coordinador. Anuncia su victoria f:\ Eleccin Eleccin

son idnticos, no existe forma de elegir
uno de ellos como especial. En conse-
cuencia, supondremos que cada proce-
so tiene un nmero nico; por ejemplo,
su direccin en la red. En general los
\!!.-J~
al enviar un mensaje a todos los proce-
sos para indicarles que, a partir de ese
./
momento, es el nuevo coordinador.
Si un proceso inactivo se activa, rea-
liza una eleccin. Si ocurre que es el
X 0
Eleccin
(e). Ahora 5 y 6 hacen una eleccin.

algoritmos de eleccin intentan localizar

el proceso con el mximo nmero del
proceso y designarlo como coordinador.
Adems, tambin supondremos que
cada proceso sabe el nmero del pro-
ceso de todos los dems; lo que s des-
conoce es si los procesos estn activos
o inactivos. El objetivo de un algoritmo
de eleccin es garantizar que al iniciar
una eleccin, sta concluya con el
acuerdo de todos los procesos con res-
pecto a la identidad del nuevo coordina-
dor.
08
proceso en ejecucin, con el nmero
mximo, ganar la eleccin y tomar
para s el trabajo del coordinador. As,
siempre gana el tipo ms grande; de ah
el nombre.
En la Figura 3.6 vemos el funciona-
8
miento de este algoritmo. El grupo cons
ta de ocho procesos, numerados de O
a17. El proceso 7 era el coordinador pero
0)
acaba de fallar. El proceso 4 lo nota y
enva mensajes eleccin a los procesos
mayores que el 5, 6 Y 7, Figura 3.6 (a).
Los procesos 5 Y 6 responden OK Fi
08
(d). El proceso 6 indica a 5 que se detenga. (e). El proceso 6 gana y se lo informa a todos.

144~=====================::::=
ICESI :::======:::==:==:::==:==::~
ICESI 145
!!I
11.
,! 3.3.2. Un algoritmo de anillo
,1 Suponemos que los procesos tienen
1 ' un orden, fsico o lgico, de modo que
1 cada proceso conoce a su sucesor.
Cuando algn proceso observa que el
coordinador no funciona, construye un
mensaje eleccin con su propio nme-
ro de proceso y enva el mensaje ~ su
sucesor. Si ste est inactivo, el emisor
pasa sobre el sucesor y va ha~ia ~I si-
guiente nmero del anillo o al sigUiente
de ste hasta localizar un proceso en
ejecuci6n. En cada paso el emisor a.a-
de su propio nmero de proceso a la lis-
ta en el mensaje.
En cierto momento el mensaje regre-
sa a los procesos que lo iniciaron. Ese
proceso reconoce este evento cuando
recibe un mensaje de entrada con su
ALGORITMOS DE ELECCION: Algoritmo de anillo
IgI
El coordinador ( : ; \
anterior ha fallado~
.........
. N~ hay respuest~'"
Figura 3.7(a) Algoritmo de eleccin mediante un anillo.
146~=========================
ICE:'
propio nmero de proceso. ~n este pun:
to el mensaje escrito cambia a COOrdl-
nadory circula de nuevo, esta vez para
informar a todos los dems quin es el
coordinador (el miembro de la lista con
el nmero mximo) y quines son los
miembros del nuevo anillo. Una vez ha
circulado, el mensaje se elimina y todos
se ponen a trabajar. En la Figura 3.7
vemos qu ocurre si dos procesos, 2 y
5, descubren simultneamente que ha
fallado el coordinador, proceso 7. Cada
uno construye un mensaje eleccin y
comienza a circularlo. En cierto momen-
to ambos mensajes habrn dado la vuel-
ta y ambos se convertirn en mensajes
coordinador, con los mismos miembros
y en el mismo orden. Cuando han dad~
una vuelta completa, ambos sern eh-
minados.
3.4. Bloqueos en sistemas
distribuidos
Son ms difciles de evitar, prevenir
e incluso detectar, adems de ser ms
difciles de curar cuando se les sigue la
pista, puesto que toda la informacin
relevante est, dispersa en muchas m-
quinas.
Existen cuatro estrategias usuales
para el manejo de los bloqueos:
1. El algoritmo del avestruz. (ignorar el
problema).
2. Deteccin (permitir que ocurran los
bloqueos, detectarlos e intentar re-
cuperarse de ellos).
3. Prevencin (hacer que los bloqueos
sean imposibles desde el punto de
vista estructural).
4. Evitarlos (evtar los bloqueos me
diante la asignacin cuidadosa de
los recursos).
Las cuatro estrategias son aplicables
de manera potencial a los sistemas dis-
tribuidos. Nuestro anlisis de los blo-
queos de los sistemas distribuidos se
centrar solamente en dos de las tcni-
cas: deteccin y prevencin.
3.4.1. Deteccin distribuida
de bloqueos
.Deteccin centralizada
de bloqueos
Aunque cada mquina mantiene la
grfica de recursos de sus propios pro-
cesos y recursos, un coordinador cen-
tral mantiene la grfica de recursos de
todo el sistema (la unin de todas las
grficas individuales). Cuando el coor
dinador detecta un ciclo, elimina uno de
los procesos para romper el bloqueo.
A diferencia del caso centralizado,
donde se dispone de toda la informa-
cin de manera automtica en el lugar
correcto, en un sistema distribuido esta
informacin se debe enviar de manera
explcita.
:
=========================~147
Deteccin distribuida de bloqueos
Un algoritmo tpico es el algoritmo de
Chandy-Misra-Haas. Este permite que
los procesos soliciten varios recursos
(por ejemplo, cerraduras) al mismo tiem-
po, en vez de uno cada vez. Al permitir
las solicitudes simultneas de varios pro-
cesos, la fase de crecimiento de una
transaccin se puede realizar mucho
ms rpido. La consecuencia de este
cambio al modelo es que un proceso
puede esperar ahora a dos o ms re-
cursos en forma simultnea.
El algoritmo Chandy-Misra-Haas se
utiliza cuando un proceso debe esperar
cierto recurso.
Un algoritmo alternativo consiste en
que cada proceso aada su identidad al
final del mensaje de exploracin, de
modo que cuando regrese al emisor ini-
cial se enliste todo el ciclo. El emisor
puede ver, entonces, cul de los proce-
sos tiene el nmero ms grande yelimi-
narlo, o bien enviar un mensaje que le
pidaque se elimine a s mismo. De cual-
quier forma, si varios procesos descu-
bren el mismo ciclo al mismo tiempo,
todos elegirn la misma vctima.
3.4.2. Prevencin distribuida
de bloqueos
Consiste en el diseo cuidadoso del
sistema, de modo que los bloqueos sean
imposibles, desde el punto de vista es-
tructural. Entre las distintas tcnicas se
incluye el permitir a los procesos que
slo conserven un recurso a la vez; exi-
gir a los procesos que soliciten todos sus
recursos desde un principio y hacer que
todos los procesos liberen todos sus
recursos cuando soliciten uno nuevo.
En un sistema distribuido con tiempo
global y transacciones atmicas son
posibles otros algoritmos prcticos.
Ambos se basan en la idea de asociar,
ICESI

a cada transaccin, una marca de tiem-
po global al momento de su inicio.
La idea detrs de este algoritmo es
que cuando un proceso est a punto de
bloquearse, en espera de un recurso que
est utilizando otro proceso, se verifica
cul de ellos tiene la marca de tiempo
mayor (es decir, es ms joven).
Podemos permitir, entonces, la espe-
ra s610 si el proceso en estado de espe-
ra tiene una marca inferior (ms viejo)
que el otro. Otra alternativa consiste en
permitir la espera de procesos slo si el
proceso que espera tiene una marca
mayor (es ms joven) que el otro proce-
so, en cuyo caso las marcas aparecen
BLOQUEOS: Prevencin distribuida
(a)
Desea recursos Conse rva recursos
Espera
Figura 3.8. Algoritmo espera-muerte para la prevencin de bloqueos.
(a)
Conserva recursos
Derecho
de prioridad
Figura 3.9. Algoritmo herida-muerte para la prevencin de bloqueos.
148~!!!!!!!!!!!!!!~~~~~~~::::==========:=::
en la cadena en forma descendente.
Aunque las dos opciones previenen
los bloqueos, es ms sabio dar priori-
dad a los procesos ms viejos. Se han
ejecutado durante ms tiempo, por lo
que el sistema ha invertido mucho en
ellos y es probable que conserven ms
recursos.
En la Figura 3.8 (a), un proceso anti-
guo desea un recurso que mantiene un
proceso joven; debemos permitir al pro-
ceso que contine. En (b), un proceso
joven desea un recurso que mantiene
un proceso antiguo; en este caso, lo
debemos eliminar. Este algoritmo se
denomina espera-muerte.
(b)
Desea re cursos Conserva recursos
Muerte
(b)
Desea recursos Conserva recursos
Espera
La Figura 3.9 (a) recibe el nombre
Derecho de prioridad y la (b) se deno-
mina espera. Este algoritmo se llama
herida-espera. Si un proceso antiguo
desea un recurso mantenido por uno
joven, el proceso antiguo ejerce su de-
recho de prioridad sobre el joven, Figu-
ra 3.9 (a). Es probable que el joven vuel-
va a iniciar su ejecucin de manera in-
mediata, con lo que intentara adquirir
de nuevo el recurso; esto lleva a la si
tuacin de la Figura 3.9 (b).
4. PROCESOS Y PROCESADORES
EN SISTEMAS DISTRIBUIDOS
Aunque los procesos son un concep-
to muy importante en los sistemas de
un procesador, se tratar de hacer n-
fasis en los aspectos del manejo de pro-
cesos que frecuentemente no son estu-
diados en el contexto de los sistemas
operativos clsicos.
En la mayora de los sistemas distri
buidos se presenta la posibilidad de te-
ner muchos hilos ("threads") de control
dentro de un proceso, lo cual llevar a
tener ventajas significantes, pero tamo
bin se presentarn varios problemas
que sern estudiados ms adelante.
4.1. Hilos
Los hilos se inventaron para permitir
la combinacin del paralelismo con la
ejecucin secuencial y el bloqueo de las
llamadas al sistema. En la mayora de
Computadora
Figura 4.1 (a). Tres procesos con un hilo cada uno.
(b). Un proceso con tres hilos.
:=========================~149
ICESI
los sistemas operativos tradicionales,
cada proceso tiene un espacio de direc-
ciones y un nico hilo de control (puede
ser sta una aproximada definicin de
un proceso); a pesar de que frecuente-
mente existan situaciones en donde se
desea tener varios hilos de control que
compartan el mismo espacio de direc-
ciones, pero que se ejecuten de mane-
ra cuasi-paralela, como si fuesen pro-
cesos independientes (siendo su nica
diferencia que comparten el mismo es-
pacio de direcciones).
En la Figura 4.1, parte (a), se tiene
una mquina con tres procesos. Cada
uno de ellos posee su propio contador
del programa, su propia pila', su propio
conjunto de registros y su propio espa-
cio de direcciones. Los procesos no tie-
nen ninguna relacin entre s; la nica
manera posible de comunicacin sera
mediante las primitivas de comunicacin
entre procesos del sistema, como los
semforos, monitores o mensajes. En
la parte (b) se tiene otra mquina con
un solo proceso, con la nica diferencia
que ste tiene varios hilos de control,
los cuales generalmente son llamados
hilos o procesos ligeros. En muchas
ocasiones se pueden considerar los hi-
los como unos miniprocesos. Cada hilo
se ejecuta de manera estrictamente
secuencial y tiene su propio contador del
programa y una pila para llevar un re-
gistro de su posicin.
Contador del programa
Proceso Hilos
 Los hilos comparten la CPU de la
misma forma que lo realizan los proce-
sos: primero se ejecuta un hilo y des~
pus otro (tiempo compartido).
Solamente teniendo un multipro-
cesador se podran ejecutar realmente
en paralelo.
Otra caracterstica de los hilos es que
stos pueden crear hilos hijos y se pue-
den bloquear en espera de que se ter-
minen los llamados al sistema, al igual
que en los procesos regulares. Mien-
tras un hilo se encuentre bloqueado se
puede ejecutar otro hilo del mismo pro-
ceso (igualmente ocurre cuando se blo-
quea un proceso).
Claro est que los hilos no son tan
independientes como ocurre en los
procesos distintos; todos los hilos tienen
el mismo espacio de direcciones, lo cual
quiere decir que comparten las mismas
variables globales. Cada hilo puede te-
ner acceso a cada direccin virtual, y
puede realizar las siguientes tareas: leer,
escribir o limpiar de manera completa la
pila de otro hilo. Como se puede obser-
var, no existe ninguna proteccin entre
los hilos, ya que podra llegar a ser casi
imposible y, en muchos casos, hasta
innecesario.
Adems de poseer el mismo espacio
de direcciones, todos los hilos compar-
ten el mismo conjunto de archivos abier-
tos, procesos hijos, cronmetros, sea
les, etc., como se ilustra en la Figura 4.2.
y dir si se puede satisfacer esa solici-
tud.
En el modelo de equipo, parte (b),
todos los hilos son iguales y cada uno
obtiene y procesa sus propias solicitu-
des. Como se puede observar en la fi-
gura, no hay servidor, y a veces llega
un trabajo que un hilo no puede mane-
jar, ya que cada hilo se especializa en
manejar cierto tipo de trabajo. Para este
caso, se puede manejar una cola de tra-
bajo pendiente. Con este tipo de orga-
nizacin, un hilo debe verificar primero
la cola de trabajo, antes de buscar en el
buzn del sistema.
Hilo del servidor
Hilo del trabajador
r--\------==~----f~
En la figura, parte (c), se ilustra el
modelo de entubamiento, en el cual el
primer hilo genera ciertos datos y los
transfiere al siguiente, para su procesa-
miento. Los datos pasan de hilo en hilo
y, en cada etapa, se lleva a cabo cierto
tipo de procesamiento. Esto puede lle-
gar a ser una buena solucin en proble-
mas como el de productores y consu-
midores, pero no sera adecuado para
servidores de archivos. Los entu-
bamientos se utilizan ampliamente en
muchas reas de los sistemas de cm-
puto, desde la estructura intema de la
CPU RISC, hasta las lneas de coman-
dos de UNIX.

Efementos por hilo Elementos por proceso

Contador del prog.
Pila
Conj. de registros
Hilos de los hijos
Estado
Figura 4.2 Conceptos por hilo y por proceso
En los procesos tradicionales (proce-
sos con nico hijo) los hilos pueden te-
ner uno de los siguientes estados: en
1,
ejecucin, bloqueado, listo o terminado.
Un hilo en ejecucin posee la CPU y se
I encuentra activo. Un hilo bloqueado es-
pera que otro elimine el bloqueo (como
ocurre en un semforo). Un hilo listo est
programado para su ejecuCin, la cual
la realizar cuando llegue su debido tur-
no. y por ltimo, un hilo terminado es
aqul que ha hecho su salida pero que
todava no es recogido por su padre.
En la Figura 4.3 se ilustra un ejemplo
de servidor de archivos, el cual muestra
las diferentes formas de organizaciones
Espacio de direccin
Variables globales
Archivos abiertos
Procesos fijos
Crohmetros S/ague
Seales ,--;========::::;-_-jC8cli
Semforos
Informacin contable.
~) (~
Buzn
Uega una solicitud
de trabajo
de hilos en un proceso. En la parte (a) r-----==,.........----,
se muestra una primera organizacin en
la que un hilo, el servidor, lee las solici-
(e)
tudes de trabajo en el buzn del siste-
ma. Despus de examinar la solicitud,
l elige un hilo trabajador inactivo (blo-
queado) y le enva la correspondiente
solicitud, lo cual se realiza, con frecuen-
cia, al escribir un apuntador el mensaje,
en una palabra especial asociada a cada
hilo, dando como resultado que el servi-
dor despierte al trabajador dormido.
L=::::::====:J.. . . -i~N:..=cI= eo
Cuando el trabajador despierta, hace la
correspondiente verificacin por medio
del bloque Cach compartido, el cual
puede ser accesado por todos los hilos Figura 4-3. Tres organizaciones de hilos en un proceso.

150~::::::::::::::::=:=::::::::: :
=========================~151
ICESI
ICESI
4.2. Modelos de sistemas Estos dos modelos se basan en diferen-
Como ya es sabido, los procesos se tes filosofas, en lo que concierne a un
ejecutan en procesadores; en un siste- sistema distribuido.
ma tradicional slo existe un nico
procesador, mientras que un sistema
4.2.1. El modelo de estacin
distribuido, dependiendo del aspecto del
de trabajo
diseo, puede tener varios proce- El modelo de estacin de trabajo es
sadores. Los procesadores de un siste- un sistema que consta de estaciones de
ma distribuido se pueden organizar de trabajo (computadoras personales de
varias formas. En este pargrafo se ten- alta calidad), dispersas en un edificio o
drn en cuenta los principales, como un lugar de trabajo y conectadas entre
son: el modelo de estacin de trabajo y s por medio de una LAN de alta veloci-
el modelo de pilas de procesadores. dad, como se ilustra en la Figura 4.6.
SISTEMA BASADO EN EL MODELO
DE LA PILA DE PROCESADORES
Servidor
Pila de de archivos
procesadores / /
CPU ----
, - -_ _,.y V 3. Paginacin, archivos temporaJes,
Figura 4.6
Las estaciones de trabajo pueden diante uno o varios servidores de archi-
estar ubicadas en diferentes partes, vos en la red. Las solicitudes de lectura
como en las oficinas de trabajo, donde o escritura sern enviadas a un servi-
cada una de ellas se dedica a un nico dor de archivos, el cual realizar el co-
usuario; otras pueden estar en sitios rrespondiente trabajo y enviar de re-
pblicos y tener distintos usuarios en el greso las respuestas.
transcurso del da. Es posible que en
La popularidad de las estaciones de
algn instante de tiempo, ambas esta
trabajo sin disco se debe a su precio, el
ciones pueden tener un nico usuario
cual es mucho ms bajo que si se tu-
conectado a ella y tener, entonces, un
viese una estacin equipada con un pe-
"poseedor" o no tenerlo (estar inactiva).
queo disco, razn por la cual se em-
Existen dos clases de estaciones de plean uno odos servidores de archivos
trabajo: estaciones de trabajo sin disco con discos enormes y rpidos, a los cua-
o estaciones de trabajo con disco. Si las les se tiene acceso mediante la LAN.
estaciones carecen de disco, el sistema Otras caractersticas que hacen popu-
de archivos debe ser implantado me lares a las estaciones de trabajo sin dis-
152~=========================
ICESI
co son: su fcil mantenimiento y su fle-
xibilidad; por todo esto, la gran mayora
de estas estaciones se encuentra insta-
lada en universidades y empresas.
Si la estacin de trabajo tiene sus
propios discos, podrn ser utilizados de
las siguientes maneras:
1. Paginacin y archivos temporales.
En este modelo los discos locales se
utilizan exclusivamente para la pa-
ginacin y los archivos temporales
no compartidos, que se puedan eli-
minar al final de la sesin.
2. Paginacin, archivos temporales y
binarios del sistema.
Presenta las mismas caractersticas
que el punto anterior, con la nica
variante que los discos locales tam-
bin contienen los programas en
binario (ejecutables), tales como
compiladores, editores de texto y
manejadores de correo electrnico.
Cuando se llama a alguno de estos
programas, se le busca en el disco
local y no en el servidor de archivos,
lo cual reduce la carga en la red.
binarios del sistema y ocultamiento
de archivos.
Este mtodo consiste en utilizar, de
forma explcita, los discos locales
como "cachs" (adems de utilizar-
los para la paginacin, los archivos
temporales y los binarios). Los usua-
rios pueden cargar los archivos des-
de los servidores de archivos hasta
sus propios discos; leerlos y escribir
en elios, de manera local y despus
regresar los archivos modificados,
reduciendo la carga en la red, al
mantener los archivos modificados
al final de la sesin.
4. Un sistema local de archivos com-
pleto.
En este caso cada mquina tiene su
propio sistema de archivos autocon
tenido, con la gran posibilidad de ac-
:
==========================~153
ceder a los sistemas de archivos de
otras mquinas, lo cual da como re-
sultado reducir el contacto con el
mundo exterior, generando as poca
carga a la red, pero ocasionara su
principal desventaja, que ser la de
convertirse en un sistema operativo
de red y no en un verdadero siste-
ma distribuido.
Ventajas de las estaciones
de trabajo
1. Los usuarios tienen una cantidad fija
de poder de cmputo exclusivo, ga-
rantizando as su propio tiempo de
respuesta.
2. Los programas grficos sofisticados
pueden ser muy rpidos, ya que pue-
den tener un rpido acceso a la pan-
talla.
3'. Cada usuario tiene un alto grado de
autonoma y puede asignar sus re-
cursos correspondientes como lo
juzgue necesario.
4. Los discos locales hacen posible que
los trabajos continen si el servidor
de archivos llega a fallar.
4.2.2. El modelo de la pila
de procesadores
El mtodo de la pila de procesadores
se ilustra en la Figura 4.7. Como se pue-
de observar en el grfico, en este mo-
delo se les proporcionan terminales gr-
ficas de alto rendimiento, denotadas en
la figura con la letra X. Esta implemen-
tacin se hace debido a que los usua-
rios desean tener una interface grfica,
de alta calidad y un buen desempeo.
La creacin del modelo de la pila de
procesadores surge para complemen-
tar la idea de las estaciones de trabajo
sin disco. Como el sistema de archivos
se concentra en un pequeo nmero de
servidores, para economizar la escala,
se tom la idea de hacer lo mismo para
los servidores de computadoras. Tenien-
do como base lo anterior, se colocan
ICESI
 todas las CPU en gabinetes de gran ta-
mao, dentro del cuarto de mquinas,
reduciendo as los costos de energa y
los de empaquetamiento, con lo cual se
produce un mayor poder de cmputo por
I una misma cantidad de dinero, como
tambin se permite el uso de terminales
'1 ms baratas. Todo el poder de cmputo
I que proporciona una respuesta inter-
:1
Figura 4.7 Red de estaciones de trabajo personal.
El poder de cmputo se ha centrali-
zado como una pila de procesadores,
debido a la teora de colas, donde los
.I
usuarios generan, en forma aleatoria,
l' solicitudes de trabajo a un servidor, y
I ..' ..
1
Usuarios
O Cola de entrada
0--. L_L..L---l_L...L-l----.J--.
~
Los usuarios generan
un total de solicitudeslseg.
Figura 4.8. Un sistema bsico con colas.
Una de las grandes aplicaciones de
la pila de procesadores ocurre cuando
varios usuarios se encuentran trabajan-
do en un gran proyecto de software, los
cuales llevan a cabo grandes simulacio-
nes, ejecutan grandes programas de in-
teligencia artificial, obteniendo un fcil
manejo y acceso al manejar una pila;
mientras que el trabajar en estaciones
de trabajo acarreara enormes dificulta-
des y no sera nada sencillo.
154~=========================
ICES
radica en poder tener "estaciones de tra-
bajo inactivas", a las que se puede te-
ner acceso de manera dinmica. Los
usuarios podrn obtener las CPU que
sean necesarias, durante perodos cor-
tos, y despus regresai'las para que
otros usuarios puedan disponer de ellas.
cuando ste se encuentre ocupado, los
usuarios se forman para el servicio y se
procesan de acuerdo con su tumo, como
se observa en la Figura 4.8.
-fo
Computadora
Trabajo terminado
4.2.3. Un modelo hlbrldo
Este modelo es una combinacin de
los dos modelos anteriormente presen-
tados, el cual combina las ventajas que
posee cada uno, con la nica diferen-
cia de que resultara mucho ms costo-
so.
El modelo consiste en proporcionar
a cada usuario una estacin de trabajo
personal y adems tener una pila de
procesadores. El trabajo interactivo se
puede llevar a cabo en las estaciones
de trabajo, garantizando su respuesta.
Este modelo hace que las estaciones in-
activas no sean utilizadas, lo cual har
ms sencillo el sistema y adems todos
los procesos no interactivos se ejecu-
tan en la pila de procesadores, as como
todo el cmputo pesado en general.
La gran ventaja de este modelo es
activa mucho ms rpida, como tambin
un uso eficiente en los recursos y pre-
senta un diseo sencillo.
4.3. Asignacin de procesadores
Como ya hemos mencionado ante-
riormente, un sistema distribuido cons-
ta de varios procesadores. Estos pue-
den organizarse como una coleccin de
estaciones de trabajo personales, o
como una pila pblica de procesadores
o de alguna forma hbrida. No importa
cul utilicemos, necesitaremos un
algoritmo para decidir qu proceso se
va a ejecutar y en qu mquina. Este
pargrafo tendr como principal objeti-
vo estudiar los algoritmos que sern uti-
lizados, para determinar qu proceso se
asigna a un determinado procesador,
dando como resultado una "asignacin
de procesadores".
4.3.1. Modelos de asignacin
Las estrategias de asignacin de
procesadores se pueden dividir en dos
grandes categoras. La primera. llama-
da no migratoria, al crearse un proceso,
toma la decisin de dnde colocarlo.
Una vez colocado el proc~so en una
mquina, permanece all hasta que ter-
mine; no se puede mover, as exista
sobrecarga para la mquina o existan
otras mquinas inactivas. La segunda
es la de los algoritmos migratorios, en
donde un proceso se puede trasladar
aunque haya iniciado su ejecucin. Las
estrategias migratorias permiten tener
un mejor balance de carga, pueden re-
:
=========================~155
sultar ms complejas y tendran un efec-
to fun~amental en el diseo del siste-
ma.
El objetivo que tienen los algoritmos
de asignacin de procesos, en los
procesadores, es maximizar el uso de
la CPU; es decir, maximizar el uso de
ciclos de CPU que se. ejecutan en be-
neficio de los trabajos del usuario por
cada hora de tiempo real. Al tratar de
maximizar el uso de la CPU, se trata de
evitar todo el costo que se tiene por el
tiempo inactivo de la CPU. Otro objetivo
importante es la minimizacin del tiem-
po promedio de respuesta.
4.3.2. Aspectos del diseo de
algoritmos de asignacin
de procesadores
Las principales decisiones que debe
tomar un diseador se pueden resumir
en los siguientes aspectos:
1. Algoritmos determinsticos vs. Heu-
rsticos. Los determinsticos son ade-
cuados cuando se sabe de antema-
no todo aquello acerca de los pro-
cesos; se supone que se tiene una
lista completa de todos los procesos
o necesidades de cmputo, de ar-
chivos, de comunicacin. Con esta
informacin sera posible hacer una
asignacin perfecta. creando as una
mejor asignacin.
Los heursticos son aquellos siste-
mas en donde la carga es totalmen-
te impredecible. Las solicitudes de
trabajo dependen de quien las est
haciendo, y pueden variar de mane-
ra drstica cada hora. e incluso cada
minuto. La asignacin de proce-
sadores, en estos sistemas, utiliza
tcnicas ad hoc.
2. Algoritmos centralizados vs. Distri-
buidos. La recoleccin de la informa-
cin, en un lugar, permite tomar una
mejor decisin, pero coloca una m-
quina pesada en la mquina central.
ICESI
 El hecho de ser centralizado, en vez
de maximizar el uso de la CPU, bus-
ca darle a cada procesador, de una
estacin de trabajo, una parte justa
del poder de cmputo.
3. Algoritmos ptimos vs. Subptimos.
Se pueden obtener soluciones pti-
mas tanto en los sistemas centrali-
zados como en los descentralizados,
pero, por regla general, son ms
caras que las subptimas, pues hay
que recolectar ms informacin y
procesarla un poco ms. En la vida
real, la mayora de los sistemas dis-
tribuidos buscan soluciones sub-
ptimas, heursticas y distribuidas,
debido a la dificultad para obtener
las ptimas.
4. Algoritmos iniciados por el emisor vs.
(a)
Seran tan amables Estoy No tengo nada
de llevarse cargado. quehacer.
un proceso?
OOG
000
_L-------'
La maquina decide que
tiene mucho trabajo.
Figura 4.9 (a). Un emisor en bsqueda de una m~quina ina~tiva
(b). Un receptor en bsqueda de trabajo por realIzar
1 nada con respecto a su implantacin. De
En la parte (a) se ilustra una mqui-
I na sobrecargada, la cual enva una so-
111
licitud de ayuda a las dems mquinas
1 1
'1 . ;1'1 para que descarguen el nuevo proceso
en otra. En este caso, el emisor es quien
1
li toma la iniciativa, para localizar ms ci-
clos de la CPU.
1
1I En la parte (b), una mquina inacti-
va o sobrecargada que tiene poco tra-
II
1,1
il 156.=========================:
ICEsi
Iniciados por el receptor. Tambin es
llamado poltica de localizacin. Des-
pus de que la poltica de transfe-
rencia ha decidido deshacerse de un
proceso, la politica de localizacin
debe decidir dnde enviarlo. Esta
poltica no puede ser local, debido a
que se necesita informacin de la
carga, en todas partes, para tener
una ptima decisin: sin embargo,
esta informacin se puede dispersar
de dos formas; en la primera, los
emisores son quienes inician el in-
tercambio de informacin y, en la se-
gunda, es el receptor el que toma la
iniciativa.
A continuacin, en la Figura 4.9,
mencionaremos un ejemplo sencillo
para denotar el anterior caso:
(b)
Necesitas
ayuda?
1 tinguir entre los conceptos de servicio
Estoy aburrido.
La mquina avisa
de su disponibilidad.
bajo y est preparada para ms. Su prin-
cipal objetivo es localizar una mquina
dispuesta a darle trabajo.
5. Algoritmos locales vs. Globales.
Este aspecto se relaciona con lo que
se denomina polftica de transferencia.
Debido a que cuando se est a punto
de generar un proceso, hay que tomar
una decisin para ver si dicho proceso
se ejecuta o no en la mquina que lo
genera; si esta mquina est muy ocu-
pada, hay que transferir el nuevo proce-
so a otro lugar. Para el caso del algoritmo
local, se hace la verificacin en la m-
quina, para ver si sta se encuentra por
debajo de su nivel, para poder asignar
el nuevo proceso; para el algoritmo
global es mejor recolectar toda la infor-
macin acerca de la carga, antes de
decidir si la mquina puede o no recibir
al proceso.
Los algoritmos locales son sencillos,
pero no ptimos, mientras que los
globales slo dan un resultado mejor
pero a un costo mayor.
5. SISTEMAS DISTRIBUIDOS
DE ARCHIVOS
El corazn de cualquier sistema dis-
tribuido es el sistema distribuido de ar-
chivos. Como en el caso de los siste-
mas con un nico procesador, la tarea
del sistema de archivos, en los sistemas
distribuidos, es almacenar los progra-
mas y los datos y tenerlos disponibles
cuando sea necesario. En el caso de un
sistema distribuido, es importante dis-
de archivos y el servidor de archivos. El
servicio de archivos es la especifica-
cin de los servicios que el sistema ofre-
ce a sus clientes. Describe las primiti-
vas disponibles, los parmetros que uti-
lizan y las acciones que llevan a cabo.
Para los clientes, el servicio de ar-
chivos define con precisin el servicio
con que pueden contar, pero no dice
hecho el servicio de archivos especifica
la interfaz del sistema de archivos con
los clientes.
Por el contrario, un despachador de
archivos es un proceso que se ejecuta
en alguna mquina y ayuda con la im-
plantacin del servicio de archivos. Un
sistema puede tener uno o varios servi-
dores de archivos, pero en un sistema
:
=========================~
distribuido con un diseo adecuado los
clientes no deben ser conscientes de
la forma de implantar el sistema de ar-
chivos. En particular, no deben cono-
cer el nmero de servidores de archi-
vos, su posicin o funcin. Todo lo que
saben es que, al llamar los procedimien-
tos especificados en el servicio de ar-
chivos, el trabajo necesario se lleva a
cabo de alguna manera y se obtienen
los resultados solicitados. De hecho, los
clientes ni siquiera deben darse por en-
terados de que el servicio de archivos
es distribuido. Lo ideal es que se vea
como un sistema de archivos normal,
de un nico procesador.
Puesto que un servidor de archivos
es un proceso del usuario que se eje-
cuta en una mquina, un sistema pue-
de contener varios servidores de archi-
vos, cada uno de los cuales ofrece un
servicio de archivos distinto. De esa for-
ma es posible que una terminal tenga
varias ventanas y que en algunas de
ellas se ejecuten programas en UNIX y
en otras programas en MS-DOS, sin
que esto provoque conflictos.
Los diseadores del sistema se en-
cargan de que los servidores ofrezcan
los servicios de archivo especficos,
como UNIX o MS-DOS. El tipo y el n-
mero de servicios de archivo disponi-
bles puede cambiar con la evolucin del
sistema.
5.1. Diseo de los sistemas
distribuidos de archivos
En esta seccin analizaremos las
caractersticas de los sistemas distribui-
dos de archivos, desde el punto de vis-
ta del usuario.
Un sistema distribuido tiene dos com-
ponentes razonablemente distintos: el
verdadero servicio de archivos y el ser-
vicio de directorios. El servicio de ar-
chivos se encarga de las operaciones
en los archivos individuales, como la
lectura, la escritura y la adicin, en tan-
ICESI
157
to que el servicio de directorios se en-
carga de crear y manejar directorios,
aadir y eliminar archivos de los direc-
torios, etc.
5.1.1. La interfaz del servicio
de archivos
En muchos sistemas, como UNIX y
MS-OOS, un archivo es una secuencia
de bits sin interpretacin alguna. El sig-
nificado y la estructura de la informacin
en los archivos queda a cargo de los
programas de aplicacin; esto es irrele-
vante para el sistema operativo.
Sin embargo, en los "mainframes"
existen muchos tipos de archivos, cada
uno con distintas propiedades. Por ejem-
plo, un archivo se puede estructurar
como una serie de registros, con llama-
das al sistema operativo, para leer o
escribir en un registro particular.
Por lo general se puede especificar
el registro mediante su nmero o el va-
lor de cierto campo. En el segundo caso,
el sistema operativo mantiene el archi-
vo como un rbol B o alguna otra es-
tructura de datos adecuada, o bien utili-
za tablas de dispersin, para localizar
con rapidez los registros.
Debido a que la mayora de los siste-
mas distribuidos son planeados para
ambientes UNIX o MS-DOS, la mayora
de los servidores de archivos soporta el
concepto de archivo, como una secuen-
cia de bits, en vez, de una secuencia
de registros con cierta clave. Los archi-
vos pueden tener atributos, que son
partes de informacin relativas al archi-
vo, pero que no son parte del archivo
propiamente dicho. Los atributos tpicos
son el propietario, el tamao, la fecha
de creacin y el permiso de acceso.
Por lo general, el servicio de archi-
vos proporciona primitivas para leer y
escribir alguno de los atributos.
Otro aspecto importante del modelo
de archivo es si los archivos se pueden
modificar despus de su creacin. Lo
158~=============::====::::::::
ICES;
normal es que si se puedan modificar, 1. Archivo de traslado
pero en algunos sistemas distribuidos, Cliente al cliente. Servidor
las nicas operaciones de archivo son Archivo
anterior.
CREATE y READ. Una vez creado un
archivo, ste no podr ser modificado, y
se dice que este archivo es inmutable.
Archivo
La proteccin en los sistemas distri- nuevo.
buidos utiliza, en esencia, las mismas
tcnicas de los sistemas con un nico
procesador: posibilidades y listas para
control de acceso. En el caso de las
posibilidades, cada usuario tiene un cier- 2. Los accesos se llevan . 3. Cuando el cliente
to tipo de boleto, llamado posibilidad, a cabo en el cliente. termina, el archivo
para cada objeto al que tiene acceso. regresa al servidor.
La posibilidad determina los tipos de Figura 5.1. El modelo carga/descarga.
acceso permitidos.
Todos los esquemas de lista para La ventaja de este modelo es la sen- travs de un archivo, examinar y modifi-
control de acceso le asocian a cada cillez del concepto. Los programas de car los atributos de un archivo, etc.
archivo una lista implcita o explcita de aplicacin buscan los archivos que ne- Mientras que en el modelo carga/des-
los usuarios que pueden tener acceso cesiten y despus los utilizan de mane- carga el servicio de archivos slo pro-
al archivo y los tipos de acceso permiti- ra local. Los archivos modificados o nue- porciona el almacenamiento fsico y la
dos para cada uno de ellos.
vos se escriben, de regreso, al terminar transferencia, en este caso el sistema
El esquema de UNIX es una lista para el programa.
de archivos se ejecuta en los servido-
control de acceso, simplificada con bits
El otro tipo de servicio de archivos res y no en los clientes. Su ventaja con-
que controlan la lectura, la escritura y la
es el modelo de acceso remoto. En siste en quena necesita mucho espa-
ejecucin de cada archivo, en forma in-
este modelo, el servicio de archivos pro- cio por parte de los clientes, a la vez que
depen'diente para el propietario, el gru
porciona un gran nmero de operacio- elimina la necesidad de transferir archi-
po de propietarios, y todas las dems
nes para abrir y cerrar archivos, leer y vos completos cuando slo se necesita
personas.
escribir partes de archivos, moverse a una parte de ellos.
Los servicios de archivos se pueden
dividir en dos tipos: la dosificacin de-
pende de si soportan un modelo car- Cliente Servidor
ga/descarga o un modelo de acceso
remoto. En el modelo de carga/descar-
ga, el servicio de archivo slo propor-
ciona dos operaciones principales: la
lectura de un archivo y la escritura en
un archivo.
ITIIJ
La operacin de lectura transfiere
todo un archivo, de uno de los servido-
res de archivo, al cliente solicitante.
Solicitudes del Los archivos
La operacin de escritura transfiere cliente para tener permanecen en
todo un archivo, en sentido contrario; del acceso a un el servidor.
cliente al servidor. As, el modelo con- archivo remoto.
ceptual es el traslado de archivos com-
pletos, en alguna de las direcciones. Los
Figura 5.2. El modelo de acceso remoto.
archivos se pueden almacenar en la
memoria o en un disco local.
:=======::::=::=:::::=::=::=159 ,ICESI
5.1.2. La interfaz del servidor identifica el tipo de ste. Otros sistemas tiene un enlace con el directorio a.
El derecha de cada directorio de la figura,
de directorios utilizan un atributo explcito para este fin, problema aparece cuando se elimina el ~e pue1e determinar si el enlace por eli-

La otra parte del servicio de archivos
es el servicio de directorios, el cual pro-
porciona las operaciones para crear y
eliminar directorios, nombrar o cambiar
el nombre de los archivos y mover s-
tos de un directorio a otro.
El servicio de directorios define un
alfabeto y una sintaxis para formar los
nombres de archivos y directorios. Lo
comn es que los nombres de archivos
tengan de y hasta cierto nmero mxi-
mo de letras, nmeros y ciertos carac-
teres especiales. Algunos sistemas di-
viden los nombres de archivo en dos
partes, usualmente separadas median-
te un punto. La segunda parte del nom-
bre, llamada la extensin del archivo,
en vez de utilizar una extensin dentro
del nombre.
Todos los sistemas distribuidos per-
miten que los directorios contengan
subdirectorios, para que los usuarios
puedan agrupar los archivos relaciona-
dos entre s. De acuerdo con esto, se
dispone de operaciones para la creacin
y eliminacin de directorios, as como
para introducir, eliminar y buscar archi-
vos en ellos. Tambin, los subdirectorios
pueden contener sus propios sub-
directorios y as sucesivamente, lo que
conduce a un rbol de directorios, el cual
es conOCido como sistema jerrquico
de archivos. La Figura 5.3 muestra un
rbol de cinco directorios:
enlace de A a a. En una jerarqua con
estructura de rbol slo se puede elimi-
nar un enlace con un directorio, si el di-
rectorio al cual apunta es vaeo. En una
grfica se permite la eliminacin de un
enlace mientras exista al menos otro.
Mediante un contador de referencias, el
cual se muestra en la esquina superior
2
minar es el ltimo. Despus de eliminar
el enlace de A a a, el contador de refe-
rencias de a se reduce de 2 al, lo cual
est bien sobre el papel. Sin embargo,
ahora no es posible llegar a a desde la
raz del sistema de archivos (A). Los tres
directores a, o y Ey todos sus archivos
se convierten en hurfanos.
Contador del nmero
de directorios que
A apuntan a este
directorio.

A
B e

Mquina 1: A, B, C.

Mquina 2: O, E.
D E
B e
Figura 5.4. Una grfica de directorios en dos mquinas.

Este problema tambin existe en los Otro aspecto fundamental, en el di-

D E
Figura 5.3. Un rbol de directorios contenido en una mquina.
En ciertos sistemas es posible c.rear
enlaces o apuntadores hacia un direc-
torio arbitrario. Estos se pueden colo-
car en cualquier directorio, lo que per-
mite construir no slo rboles sino grfi-
cas arbitrarias de directorios, las cuales
son ms poderosas. La distincin entre
rboles y grficas es de particular im-
portancia en un sistema distribuido.
La naturaleza de la dificultad se pue-
de apreciar ms claramente en la Figu-
ra 5.4. En esta grfica, el directorio O
sistemas centralizados, pero es ms
serio en los distribuidos. Si todo est en
una mquina, es posible descubrir los
directorios hurfanos, puesto que toda
la informacin est en un solo lugar. Se
puede detener toda la actividad de los
archivos y recorrer la grfica desde la
raz, para sealar todos los directorios
alcanzables. Al final de este proceso, se
sabe que todos los directorios no mar-
cados son inalcanzables. En un siste-
ma distribuido existen varias mquinas
y no se puede detener toda la actividad, 2. Montaje de sistemas de archivos
por lo que es supremamente difcil to-
mar una foto instantnea.
seo de cualquier sistema distribuido
de archivos, es si todas las mquinas y
procesos deben tener la misma visin
de la jerarqua de los directorios.
5. 1.2. 1. Nombres de los archivos
y directorios
Existen tres mtodos usuales para
nombrar los archivos y directorios en
un sistema distribuido:
1. Nombre de la mquina + ruta de ac-
ceso, como /mquina/ruta o m-
quina:ruta.
remotos en la jerarqua local de ar-
chivos.

:
160 ~==========================:
ICESt
=========================~161 ICESI
 3. Un nico espacio de nombres que
tenga la misma apariencia en tod~
las mquinas.
Los primeros dos son fciles de im-
plantar, especialmente como una forma
de conectar sistemas ya existentes, que
no estaban diseados para su uso dis-
tribuido. El tercer mtodo es difcil y re-
quiere de un diseo cuidadoso, pero es
necesario si se quiere lograr el objetivo
de que el sistema distribuido acte como
una nica computadora.
5.1.2.2. Nombres de dos niveles
La mayora de los sistemas distribui-
dos utiliza cierta forma de nombres con
dos niveles. Los archivos tienen nom-
bres simblicos para el uso de las per-
sonas, pero tambin pueden tener nom-
bres binarios internos para uso del pro-
pio sistema. Lo que los directorios ha-
cen, en realidad, es proporcionar una
asociacin entre estos dos nombres.
Para las personas y los programas, es
conveniente utilizar nombres simblicos,
pero para el uso dentro del propio siste-
ma, estos nombres son demasiado gran-
des y difciles. As, cuando un usuario
abre un archivo o hace referencia a un
nombre-simblico, el sistema busca de
inmediato el nombre simblico, en el di-
rectorio apropiado, para obtener el nom-
bre binario, el cual utilizar para locali-
zar realmente el archivo. A veces los
nombres binarios son visibles a los usua-
rios y a veces no.
Un esquema ms general para los
nombres es que el nombre binario indi-
que el servidor y un archivo especfico
en ese servidor. Este mtodo permite
que un directorio en un servidor conten-
ga un archivo en un servidor distinto.
i Otra altemativa, que a veces es pre-
, En un sistema con un nico procesador,
ferible, es utilizar un enlace simblico,
el cual es una entrada de directorio aso-
ciada a una cadena (servidor, nombre
de archivo), la cual se puede buscar en
el servidor correspondiente para encon-
162-:-=====================::::::
ICESI
trar el nombre binario. El propio enlace
simblico es slo el nombre de una ruta
de acceso.
Otra idea ms es utilizar las posibili-
dades como los nombres binarios. En
este mtddo, la bsqueda de un nom-
bre en ASCII produce una posibilidad,
la cual puede tomar varias formas. Un
ltimo mtodo, que a veces est presen-
te en un sistema distribuido pero casi
nunca en uno centralizado, es la posibi-
lidad de buscar un nombre en ASCII y
obtener no uno sino varios nombres
binarios. Por lo general, stos represen-
tan al archivo original y todos sus res-
paldos.
5.1 .3. Semntica de los archivos
compartidos
Si dos o ms usuarios comparten el
mismo archivo, es necesario definir con
precisin la semntica de la lectura y la
escritura para evitar problemas.
Existen cuatro maneras de compar-
tir archivos en un sistema distribuido. La
primera que analizaremos es conocida
como semntica de UNIX y consiste en
que cada operacin en un archivo es
visible a todos los procesos de manera
instantnea. En los sistemas con un
nico procesador que permiten a los
procesos compartir archivos, como
UNIX, la semntica establece que si una
operacin READ sigue despus de una
operacin WRITE, READ regresa el va-
lor recin escrito. De manera anloga,
cuando dos WRITE se realizan en serie
y despus se ejecuta un READ, el valor
que se lee es el almacenado en la lti-
ma escritura. De hecho, el sistema im-
pone en todas las operaciones un or-
den absoluto con respecto del tiempo y
siempre regresa el valor ms reciente.
esto es muy fcil de comprender y tiene
una implantacin directa. En un siste-
ma distribuido, la semntica de UNIX se
puede lograr fcilmente, mientras slo
exista un servidor de archivos y los clien- de UNIX, excepto por un problema me-
tes no oculten los archivos. Todas las nor: los retrasos en la red pueden hacer
instrucciones READ y WRITE pasan en que un READ, ocurrido un micro-
forma directa al servidor de archivos, segundo despus de un WRITE, llegue
que los procesa en forma secuencial. primero al servidor y que obtenga el va-
Este mtodo proporciona la semntica lor anterior.
CLIENTE 1
UNICO PROCESADOR
1. Escribe 'c'
Escribe 'c'
1. Se lee 'b'
Se lee 'abe'
(a)
Figura 5.5 (a). En un solo procesador, cuando una READ va despus de un WRITE.
el valor regresado por READ es el valor recin escrito.
(b) En un sistema distribuido con ocultamiento, el valor regresado puede
ser obsoleto.
El segundo mtodo se llama se- Un mtodo completamente distinto de
mntica de sesin, el cual se caracte- la semntica de los archivos comparti-
riza porque ningn cambio es visible a dos, en un sistema distribuido, es que
otros procesos, hasta que el archivo se todos los archivos sean inmutables. As
cierra; en vez de pedir que un READ no existe forma de abrir un archivo para
vea los efectos de todos los WRITE an- escribir en l. En efecto, las nicas ope-
teriores, uno puede tener una nueva re- raciones en los archivos son CREATE y
gia que diga: "Los cambios a un archi- READ. No existen actualizaciones; es
vo abierto slo pueden ser vistos en un ms fcil compartir y replicar.
principio por el proceso (o la mquina)
Una cuarta vfa para enfrentar el uso
que modific el archivo. Los cambios de los archivos compartidos en un siste-
sern visibles a los dems procesos (o ma distribuido es usar las transacciones
mquinas) slo cuando se cierre el ar- atmicas. Para tener acceso a un archi
chivo". va o grupo de archivos, un proceso
:::========================r: 163
ICESI

ejecuta en primer lugar cierto tipo de pri-
mitiva BEGINTRANSACTION, para se-
alar que lo que sigue debe ejecutarse
de manera indivisible. Despus vienen
las llamadas al sistema para leer o es-
cribir en uno o ms archivos. Al termi-
nar el trabajo, se ejecuta una primitiva
ENDTRANSACTION. La propiedad fun-
damental de este mtodo es que el sis-
tema garantiza que todas las llamadas
contenidas dentro de la transaccin se
llevarn a cabo en orden, sin interferen-
cias de otras transacciones concurren-
tes. Si dos o ms transacciones se rea-
lizan al mismo tiempo, el sistema garan-
tiza que el resultado final es el mismo
que si se ~jecutasen en cierto orden
secuencial (indeterminado).
5:2. Implantacin de un sistema
distribuido de archivos
En la seccin anterior describimos
varios aspectos de los sistemas distri-
buidos de archivos desde el punto de
vista del usuario. En esta seccin vere-
mos la forma en que se implantan di-
chos sistemas.
5.2.1. Uso de archivos
Satyanarayanan (1981) hizo un am-
plio estudio sobre los patrones de uso
de los archivos. Vamos a presentar, a
continuacin, las principales conclusio-
nes de este estudio. Para comenzar, la
mayora de los archivos est por debajo
de los 10K; esta observacin sugiere la
factibilidad de la transferencia de archi-
vos completos, en vez de bloques de
disco, entre el servidor y el cliente. Pues-
to que la transferencia de archivos com-
pletos es ms sencilla y eficiente, esta
idea debe tomarse en cuenta. Por su-
puesto, algunos archivos son de gran
tamao, por lo que tambin se deben
tomar medidas preventivas con respec-
to a stos.
Una observacin interesante es que
la mayora de los archivos tiene tiem-
pos de vida cortos. En otras palabras,
164~===============::::=======
ICES,
un patrn comn es crear un archivo,
leerlo y despus eliminarlo.
El hecho que unos cuantos archivos
se compartan, argumenta en favor del
ocultamiento por parte del cliente. Como
ya se ha visto, el ocultamiento complica
la semntica, pero si es raro el uso de
los archivos compartidos, podra ser
mejor el ocultamiento por parte del clien-
te y aceptar las consecuencias de la
semntica de sesin en favor de un
mejor desempeo.
Para terminar, la existencia de distin-
tas clases de archivos sugiere que, tal
vez, se deberan utilizar mecanismos
diferentes para el manejo de las distin-
tas clases. Los binarios del sistema ne-
cesitan estar presentes en diferentes
partes, pero es raro que se modifiquen,
por lo que tal vez se podran duplicar en
varias partes, aun cuando esto implica
una actualizacin ocasional compleja.
Los compiladores y los archivos tem-
porales son cortos, no compartidos y
desaparecen con rapidez, por lo que
deben mantener su carcter local mien-
tras sea posible. Los buzones electrni-
cos se actualizan con frecuencia, pero
es raro que se compartan, por lo que su
duplicacin no sirve de mucho.
5.2.2. Estructura del sistema
En esta seccin analizaremos algu-
nas de las formas de organizacin in-
terna de los servidores de archivos y
directorios, con atencin especial a los
mtodos alternativos. Comenzaremos
con una sencilla pregunta:"Son distin-
tos los clientes y los servidores?"
En ciertos sistemas no existe distin-
cin alguna entre un cliente y un servi-
dor. Todas las mquinas ejecutan el mis-
mo software bsico, de manera que una
mquina que desee dar servicio de ar-
chivos al pblico en general es libre de
hacerlo. Este ofrecimiento del servicio
de archivos consiste slo en exportar los
nombres de los directorios selecciona-
dos, de modo que otras mquinas ten-
gan acceso a ellos. En otros sistemas
el servidor de archivos y el de directo-
rios slo son programas del usuario,_ por
lo que se puede configurar un sistema
para que ejecute o no el software, del
cliente o del servidor, en la misma m-
quina, como se desee. Y en el otro ex-
tremo, estn los sistemas donde los
clientes y los servidores son mquinas
esencialmente distintas, ya sea en tr-
minos de hardware o de software. Los
servidores y clientes pueden ejecutar
incluso versiones diferentes del sistema
operativo. Aunque la separacin de fun-
ciones es un poco ms transparente, no
existe una razn fundamental para pre-
ferir un mtodo por encima de los de-
ms.
Un segundo aspecto de la implanta-
cin, en donde difieren los sistemas, es
la forma de estructurar el servicio a ar-
chivos y directorios. Una forma de orga-
nizacin consiste en combinar ambos en
un nico servidor, que maneje todas las
llamadas a directorios y archivos. Sin
embargo, la otra posibilidad es separar-
los. En este caso, la apertura de un ar- .
chivo exige ir hasta el servidor de direc-
torios, para asociar su nombre simbli-
co con el nombre binario, y despus ir
hasta el servidor de archivos, con el
nombre en binario y llevar a cabo la lec-
tura o escritura real del archivo.
El argumento en favor de la separa-
cin es que las dos funciones no tienen
una relacin real entre s, por lo que es
ms flexible mantenerlas separadas. Por
ejemplo, se puede implantar un servi-
dor de directorios en MS-DOS y otro
servidor de directorios en UNIX, donde
ambos utilicen el mismo servidor de ar-
chivos para el almacenamiento fsico.
Tambin es probable que la separacin ros.
de funciones produzca un software ms
sencillo. Un contraargumento es que el
hecho de contar con dos servidores re-
quiere de una mayor comunicacin.
:::========================~165
ICESI
El aspecto estructural final por consi-
derar es si los servidores de archivos,
directorios o de otro tipo deben conte-
ner la informacin sobre el estado de los
clientes. Este aspecto tiene una contro-
versia moderada, donde existen dos
escuelas de pensamiento en competen-
cia. Una escuela piensa que los servi-
dores no deben contener los estados,
es decir, "ser sin estado". En otras pala-
bras, cuando un cliente enva una soli-
citud a un servidor, ste la lleva a cabo,
enva la respuesta y elimina de sus ta-
blas internas toda la informacin relati-
va a dicha solicitud. El servidor no guar-
da informacin alguna relativa a los
clientes entre las solicitudes. La otra
escuela de pensamiento sostiene que
es correcto que los servidores conser-
ven la informacin de estado de los clien-
t~s entre las solicitudes.
En el caso de un servidor sin estado,
cada solicitud debe estar autocontenida.
Debe contener todo el nombre del ar-
chivo y el ajuste dentro de ste, para
que el servidor pueda realizar el traba-
jo. Esta informacin aumenta la longi-
tud del mensaje.
Otra forma de ver la informacin de
estado es considerar lo que ocurre si un
servidor falla y todas sus tablas se pier-
den de manera irremediable. Al volver
a arrancar el servidor, ste ya no tiene
idea de la relacin entre los clientes y
los archivos abiertos por stos. Fraca-
sarn entonces los intentos posteriores
por leer y escribir en archivos abiertos y
la recuperacin, entonces, queda a car-
go totalmente de los clientes. En conse-
cuencia, los servidores sin estado tien-
den a ser ms tolerantes a los fallos que
los que mantienen los estados, lo cual
es un argumento a favor de los prime-
En general, las ventajas de los servi-
dores sin estado son: tolerancia a las
fallas; no necesita llamadas openlclose;
no se desperdicia el espacio del servi-
dor en las tablas; no existe Irmite para
el nmero de archivos abiertos y no hay
problemas si un cliente falla. Las venta-
jas de los servidores con estado con-
sisten en un mejor desempeo, los men-
sajes de solicitud ms cortos, es posi-
ble la lectura adelantada, es ms fcil la
idempotencia y es posible la cerradura
de archivos.
5.2.3. Ocultamiento
En un sistema cliente-servidor, cada
uno con su memoria principal, y un dis-
co, existen cuatro lugares donde se pue-
den almacenar los archivos o partes de
archivos: el disco del servidor, la memo-
ria principal del servidor, el disco del
Memoria Disco del
principal cliente
del cliente (oP9ional)
......1........
3 4
-
........................... ......
RED
Figura 5.6. Cuatro lugares para guardar archivos o partes de ellos.
Se puede lograr un desempeo mu-
cho mejor si se ocultan (es decir, se con
servan) los archivos de ms reciente uso
en la memoria principal del servidor. Un
cliente que lea un archivo ya presente
en el cach del servidor elimina la trans-
ferencia del disco, aunque se deba rea
lizar la transferencia a la red.
Puesto que la memoria principal
siempre es menor que el disco, se ne-
cesita un algoritmo para determinar los
archivos o partes de archivos que de-
ben permanecer en el c~ch.
166~=========================:
/CESJ
cliente o la memoria principal del clien-
te, como se muestra en la Figura 5.6.
El lugar ms directo para almacenar
todos los archivos es el disco del servi-
dor. Ah existe mucho espacio y los ar-
chivos seran accesibles a todos los
clientes. Adems, con slo una copia de
cada archivo no surgen problemas de
consistencia.
El problema con el uso del disco del
servidor es el desempeo. Antes de que
un cliente pueda leer un archivo, ste
debe ser transferido primero del disco
del servidor a la memoria principal del
servidor y luego, a travs de la red, a la
memoria principal del cliente. Ambas
transferencias tardan cierto tiempo.
Memoria Disco del
principal servidor
del servidor
2 1
Este algoritmo debe resolver dos pro-
blemas. El primero es el de la unidad
que maneja el cach. Puede manejar
archivos completos o bloques del dis-
co. Si se ocultan los archivos comple-
tos, stos se pueden almacenar en for-
ma adyacente en el disco, lo cual per-
mite transferencias a alta velocidad en-
tre la memoria y el disco, as como un
buen desempeo en general. Sin em-
bargo, el ocultamiento de bloques de
disco utiliza el cach y el espacio en dis-
co en forma ms eficiente.
El segundo es que el algoritmo debe
. , decidir qu hacer si se utiliza toda la
! varios servidores. Al crecer el tama-
capacidad del cach y hay que eliminar
a alguien. Aqu se puede utilizar cual-
quiera de los algoritmos comunes de
ocultamiento, pero como las referencias
al cach son poco frecuentes, compa-
radas con las referencias a la memoria,
por lo general es factible una implanta-
cin exacta de LRU mediante listas li-
gadas: Cuando hay que eliminar a al-
guien de la memoria, se elige al ms
antiguo. Si existe una copia actualiza-
da en el disco, simplemente se descar-
ta la copia del cach. En caso contra-
rio, primero se actualiza el disco.
,, ..
l El mantenimiento de un cach en la
memoria principal del servidor es fcil
de lograr y es totalmente transparente
a los clientes. Puesto que el servidor
puede mantener sincronizadas sus co-
pias en memoria y en disco, desde el
punto de vista de los clientes slo exis-
te una copia de cada archivo, por lo que
no hay problemas de consistencia.
5.2.4. Rplica
Con frecuencia Jos sistemas distribui-
dos de archivos proporcionan la rplica
de archivos como servicio a sus clien-
tes. En otras palabras, se dispone de
f
. ~.
varias copias de algunos archivos, don-
de cada copia est en un servidor de
archivos independiente. Las principales
razones para la existencia de tal servi-
cio son:
1. Aumentar la confiabilidad al dispo-
ner de respaldos independientes de
cada archivo. Si un servidor lalla o
se pierde en forma permanente, no
se pierden los datos.
2. Permitir el acceso a un archivo, aun
cuando falle un servidor de archivos.
El fallo de un servidor no debe ha-
cer que todo el sistema se detenga
hasta cuando aqul se pueda vol-
ver a arrancar.
:
========================~167
3. Repartir la carga de trabajo entre
o del sistema, el hecho de tener
todos los archivos en un nico
procesador se puede convertir en un
cuello de botella. Con varios archi-
vos duplicados en dos o ms servi-
dores, se puede utilizar el que tenga
menos carga.
Las dos primeras se relacionan con
el mejoramiento de la confiabilidad y la
disponibilidad; la tercera se refiere al
desempeo.
Existen tres formas de llevar a cabo
la rplica: la rplica explcita de archi-
vos, la rplica retrasada de archivos y
la rplica de archivos mediante un gru-
po.
CONCLUSIONES
- los Sistemas Distribudos son la tec-
nologa que se va a imponer en el
mundo, debido a ta economa que
se alcanza con su implantacin en
las grandes organizaciones.
No existen todava aplicaciones dis-
tribuidas para los pocos sistemas
operativos que tratan de manejar la
distribucin, como Windows NT.
La diferencia ms importante entre
un Sistema Distribuido y un sistema
de un nico procesador es la comu-
nicacin entre procesos.
Para la organizacin de los pro-
cesadores se pueden tener en cuen-
ta dos modelos bsicos: el modelo
de estacin de trabajo yel de la pila
de procesadores. Las ventajas que
presenta cada uno son muy impor
tantes, ya que le permiten tener a
cada usuario su propia estacin de
trabajo y aprovechar las estaciones
de trabajo inactivas para ejecutar
procesos; en las pilas de pro-
cesadores, todas las instalaciones
son un recurso compartido que pue-
de ser usado dependiendo de las
necesidades de cada usuario.
ICESI
 Cuando se tiene una coleccin de
procesadores para que stos sean
asignados a los procesos, se debe
tener la ayuda de los algoritmos de
asignacin de procesadores.
El sistema distribuido de archivos es
el corazn de cualquier Sistema Dis-
tribuido y su tarea consiste en alma-
cenar los programas y los datos y
tenerlos disponibles cuando sea ne-
cesario.
La implantacin de un sistema dis-
tribuido de archivos implica la toma
de varias decisiones: ver si el siste-
ma es con estado o sin l, si se debe
hacer el ocultamiento y la forma de
manejar la rplica de archivos.
Definitivamente nos encontramos en
la era de las comunicaciones y, de-
bido a que toda actividad adminis-
! vilegio el de hacer formacin avanzada
I1
1!
I
168~===============::::::::::::
ICES,
trativa se lleva a cabo por medio de
comunicaciones orales o escritas, en
muchos casos entre interlocutores
que se encuentran a grandes distan-
cias, se hace necesario contar con
redes de terminales inteligentes que LA ULTIMA LECCIN*
permitan a dichos interlocutores co-
municarse en forma confiable y po-
der compartir la informacin de ma-
DISCURSO DE GRADO
nera transparente.
Promocin Decimosegunda
Cali, 11 de febrero de 1995
BIBLIOGRAFIA
Sistemas operativos modernos, Andrew S.
Tanembaum. Editorial Prentice-Hall Hispa- ALFONSO aCAMPO LONDOO
noamericana S.A.; Mxico, 1992. Rector del ICESI
- Intemet-Working With TCPIIP. Volumen 111.
Client-Server Programming and Appli-
cations.
Douglas E. Comer and David L. Stevens.
Department 01 Computer Sciences. Purdue
University. Volvemos hoy con gran alegra, pero
llegar a esta importante etapa de sus
Prentice-Halllntemacional,lnc.
al mismo tiempo con nostalgia, a gra- vidas. Esta deuda la deben pagar crean-
duar a 154 de nuestros alumnos, 95 en do riqueza en Colombia y participando
Pregrado en Administracin de Empre- en la mejora de sus condiciones de
sas e Ingeniera de Sistemas e Infor- competitividad en un mundo que se ha
mtica y 59 de Postgrado, y entre stos globalizado o intemacionalizado y en el
la primera promocin de la especializa- cual la competencia no va a ser slo en
cin en Ingeniera del Software. Con productos, sino en la calidad del talento
ellos ya conformamos un cuerpo de humano que se tiene y que es nuestra
cerca de 3.000 egresados que hemos tarea. Por ello, en este acto, en un pun-
entregado a la sociedad, a las empre- to especial y muy emotivo, los gra-
sas, a sus compaas familiares y las duandos le hacen un homenaje de gra-
propias. titud a sus padres, cnyuges y amigos,
Hemos, desde que ustedes iniciaron que los han ayudado.
sus estudios, recalcado que es un gran En el mundo de hoy, lo que se consi-
privilegio llegar a una Universidad, ya dera la mayor riqueza es el conocimien-
que slo dos de cada cien que inician to y la informacin y por lo tanto la for-
la primaria lo logran y es an mayor pri- macin del ser humano, es la tarea ms
importante para hacer. Las riquezas
o de postgrado. Se tiene, pues, una naturales contribuyen al bienestar, so-
deuda social que tiene que pagarse, a lamente si hay un equipo humano que
sus padres, familiares, amigos, patro- las sepa aprovechar, para que sus be-
nes, empresas, a quienes les han ser- neficios se extiendan a todos y no slo
vido, y en general a la sociedad y al a unos pocos. Lo que debe importar es
Estado que les han dado las condicio- el beneficio para la totalidad de la co-
nes o infraestructura social para poder munidad y no el aprovechar todo, slo
Este discurso contina una tradicin universitaria en que el rector da la primera y la ltima
Iecdn.
:=:::=====::=:=:::==:=====~169
ICESI