Professional Documents
Culture Documents
Procesos y Procesadores en
Sistemas Distribuidos
Si tiene varios hilos de control podra ejecutar un segundo hilo mientras el primero
espera:
Cada hilo:
Los hilos comparten la cpu de la misma forma que lo hacen los procesos:
315
316CAPTULO 10. PROCESOS Y PROCESADORES EN SISTEMAS DISTRIBUIDOS
Mientras un hilo est bloqueado se puede ejecutar otro hilo del mismo proceso.
El hilo trabajador verica si puede satisfacer la solicitud por medio del bloque cach
compartido, al que tienen acceso todos los hilos.
Se llama:
Al planicador y se inicializa otro hilo, que tal vez sea el servidor, para pedir
ms trabajo; o.
A otro trabajador listo para realizar un trabajo.
Los hilos ganan un desempeo considerable pero cada uno de ellos se programa en
forma secuencial.
Otro modelo es el de equipo:
Todos los hilos son iguales y cada uno obtiene y procesa sus propias solicitudes.
No hay servidor.
Se utiliza una cola de trabajo que contiene todos los trabajos pendientes, que son
trabajos que los hilos no han podido manejar.
Un hilo debe vericar primero la cola de trabajo antes de buscar en el buzn del
sistema.
El primer hilo genera ciertos datos y los transere al siguiente para su procesamiento.
10.3. ASPECTOS DEL DISEO DE UN PAQUETE DE HILOS 317
Los datos pasan de hilo en hilo y en cada etapa se lleva a cabo cierto procesamiento.
En un diseo dinmico:
Un proceso:
Del usuario.
Del ncleo.
Cuando un hilo ejecuta una llamada al sistema o cualquier accin que pueda provocar
su suspensin:
Para cada proceso el ncleo tiene una tabla con una entrada por cada hilo que
contiene:
Todas las llamadas que pueden bloquear un hilo se implantan como llamadas al
sistema:
Otro problema de los paquetes de hilos a nivel usuario es que si un hilo comienza su
ejecucin no puede ejecutarse ningn otro hilo de ese proceso, salvo que el hilo entregue
voluntariamente la cpu.
Un problema adicional para los hilos a nivel usuario es que generalmente los progra-
madores desean los hilos en aplicaciones donde los hilos se bloquean a menudo:
El ncleo:
Modica el mapa de memoria del cliente para colocar ste en el espacio de direcciones
del servidor.
Modelo hbrido.
Sin disco:
Bajo costo, fcil mantenimiento del hardware y del software, simetra y exibi-
lidad.
Gran uso de la red, los servidores de archivos se pueden convertir en cuellos de
botella.
Generalmente se considera que una estacin de trabajo est inactiva cuando se dan
ambas condiciones:
322CAPTULO 10. PROCESOS Y PROCESADORES EN SISTEMAS DISTRIBUIDOS
Los algoritmos para localizar las estaciones de trabajo inactivas se pueden dividir en
dos categoras:
El cliente transmite una solicitud indicando el programa que desea ejecutar, la can-
tidad de memoria necesaria, si requiere un chip coprocesador, etc.
Todas las llamadas al sistema que soliciten el estado de la mquina deben realizarse
en la mquina donde se ejecuta el proceso.
Las llamadas al sistema relacionadas con el tiempo son un serio problema debido a las
dicultades de sincronizacin.
En caso de que regrese el poseedor de la mquina:
T = 1 / ( - ).
Cuando tiende a 0, T no tiende a 0.
Si reunimos todas las cpu y formamos una sola pila de procesadores tendremos
un solo sistema de colas en vez de n colas ejecutndose en paralelo.
La tasa de entrada ser n , la tasa de servicio ser n y el tiempo
promedio de respuesta ser:
T 1 = 1 / (n - n ) = 1 / n ( - ) = T / n.
Conclusin: si reemplazamos n pequeos recursos por uno grande que sea
n veces ms poderoso:
Podemos reducir el tiempo promedio de respuesta n veces.
Decidir cundo ejecutar el proceso de manera local y cundo buscar una estacin
inactiva.
No migratorias:
Una vez colocado un proceso en una mquina permanece ah hasta que termina.
Migratorias:
Tasa de respuesta:
Los algoritmos deterministas son adecuados cuando se sabe anticipadamente todo acer-
ca del comportamiento de los procesos, pero esto generalmente no se da, aunque puede
haber en ciertos casos aproximaciones estadsticas.
Los algoritmos heursticos son adecuados cuando la carga es impredecible.
326CAPTULO 10. PROCESOS Y PROCESADORES EN SISTEMAS DISTRIBUIDOS
Los diseos centralizados permiten reunir toda la informacin en un lugar y tomar una
mejor decisin; la desventaja es que la mquina central se puede sobrecargar y se pierde
robustez ante su posible falla.
Generalmente los algoritmos ptimos consumen ms recursos que los subptimos, ade-
ms, en la mayora de los sistemas reales se buscan soluciones subptimas, heursticas y
distribuidas.
Cuando se va a crear un proceso se debe decidir si se ejecutar en la mquina que lo
genera o en otra (poltica de transferencia):
La decisin se puede tomar solo con informacin local o con informacin global.
Un mtodo consiste en contar el nmero de procesos (hay que considerar los procesos
latentes no activos).
Las mquinas ejecutan sus algoritmos en forma asncrona por lo que el sistema nunca
se equilibra.
Los arcos que van de una subgrca a la otra representan el trco en la red.
1
Ver Figura 10.1 de la pgina 328 y Figura 10.2 de la pgina 328 [25, Tanenbaum].
328CAPTULO 10. PROCESOS Y PROCESADORES EN SISTEMAS DISTRIBUIDOS
G 4 H 2 I
G 4 H 2 I
La eleccin la pueden hacer los subordinados, los pares jerrquicos del equipo
fallado o el superior jerrquico del mismo.
Para disminuir la vulnerabilidad se puede tener en la cima del rbol jerrquico no uno
sino un grupo de equipos; si alguno del grupo falla los restantes eligen a un subordinado
para integrar el grupo superior.
Las tareas se pueden crear en cualquier parte de la jerarqua y pueden requerir varios
procesos, es decir varios procesadores.
Cada administrador debe mantener un registro de sus equipos dependientes que estn
disponibles.
Si el administrador que recibe una solicitud determina que no tiene sucientes proce-
sadores disponibles, transere la solicitud hacia arriba a su superior, quien tambin podra
trasladarla hacia arriba nuevamente.
Si el administrador determina que s puede satisfacer la solicitud:
Relacionados entre s.
Se necesita una forma de garantizar que los procesos con comunicacin frecuente se
ejecuten de manera simultnea.
En muchos casos un grupo de procesos relacionados entre s iniciarn juntos.
La comunicacin dentro de los grupos debe prevalecer sobre la comunicacin entre los
grupos.
Se debe disponer de un nmero de procesadores suciente para soportar al grupo de
mayor tamao.
Cada procesador se multiprograma con n espacios para los procesos (multiprograma-
cin de nivel n).
El algoritmo de Ousterhout utiliza el concepto de coplanicacin:
Toma en cuenta los patrones de comunicacin entre los procesos durante la plani-
cacin.
Debe garantizar que todos los miembros del grupo se ejecuten al mismo tiempo.