1

Yurley Xiomara Rojas Snchez, Luis Arturo Saavedra Duarte.

Grandes
cambios en hardware, necesitan un
administrador superior.

RESUMEN
Fos es un sistema Operativo con todas las funciones, que
ofrecen gran cantidad de servicios para las aplicaciones, este
artculo abarca algunas de las caractersticas ms importantes
que esta herramienta ofrece a los usuarios, como es su
arquitectura y su estructura explicada desde el punto de vista de
dos estudiantes investigadores, los cuales detallan al interior de
este articulo cuales son las ventajas y los beneficios que Fos
ofrece para manejar recursos. Se muestra de una manera muy
concisa algunos antecedentes de cmo era que en el pasado el
hardware era el gran limitante que detena de alguna manera el
crecimiento de estos sistemas. Los sistemas operativos gracias a
los productos informticos de la actualidad presentan varios
ncleos en un solo procesador lo cual permite aprovechar los
recursos para su mejor funcionamiento.
Palabras Clave Fos, Multincleo, Sistema operativo,
candados, multikernel.

ABSTRACT
Fos is an operating system with all the functions, which offer
many services for applications, this article covers some of the
most important features that this tool provides users, as is its
architecture and structure explained from the point of view two
research students, which detail within this article are the
advantages and benefits fos offers to manage resources. shown in
a very concise way some background on how it was that in the
past the hardware was the major constraint to somehow stop the
growth of these systems. Operating systems thanks to computer
products currently have multiple cores on a single processor
enabling leverage resources for better performance.
Key Words Fos, multicore, operating system, locks,
multikernel.

I. INTRODUCCIN

l computador est constituido principalmente por dos

componentes bsicos, los cuales son hardware y software.
En dcadas anteriores se vea el hardware como una limitante
en el desarrollo del software, pero ahora se puede ver el
crecimiento de la computacin en cada uno de los recursos
que la componen.
Tendencias en las arquitecturas multincleo apuntan a una
cada vez mayor nmero de ncleos disponibles en un solo
chip, la ley de Moore prev incrementos de forma
exponencial, es decir, cada vez son ms ncleos en solo un

Yurley Xiomara Rojas Sanchez: yurley.rojas@gmail.com, estudiante de

Pregrado en Ingeniera, Ingeniera De Sistemas, Universidad Francisco De Paula
Santander.
Luis Arturo Saavedra Duarte: luarsadu1@gmail.com, estudiante de Pregrado
en Ingeniera, Ingeniera De Sistemas, Universidad Francisco De Paula
Santander.

microprocesador aumentando los recursos en tiempos muy

cortos, con el fin de dar un mayor rendimiento de acuerdo en
lo establecido en The Case for a Scalable Operating System
for Multicores [1], y The Multikernel: A New OS
Architecture for Scalable Multicore Systems. ACM
Association for Computing Machinery [4]. Enmarcando
cambios muy importantes en el sistema informtico, debido a
la necesidad de administrar gran cantidad de estos recursos,
por ende es necesaria una reestructuracin del Sistema
Operacional, el cual permita manejar de forma eficiente todos
los recursos de la mquina, como por ejemplo sacar el
mximo provecho al abundante clculo disponible de la
estructura fos [2].
Los sistemas de productos informticos presentan cada vez
ms ncleos en el procesador y diversas variantes que dotan
de alto rendimiento a los sistemas, pero la naturaleza
dinmica de estos cambios modernos y las grandes cargas de
trabajo hace imposible de forma esttica la optimizacin del
Sistema Operativo, para afrontar esta situacin se ha
implementado un sistema operativo multikernel, el cual puede
escalar mejor hardware en el futuro [4]
Pero en la actualidad el avance tecnolgico en hardware ha
sido impulsado de gran manera; se puede observar variantes
como el nmero de ncleos de un procesador dispuestos en un
solo chip integrado, lo cual en los prximos aos aumentar
en gran escala esta variante ya que con lo cual se puede
describir que el diseo de los sistemas operacionales actuales,
no podrn gestionar de una forma adecuada todos los recursos
de la mquina, teniendo como principal limitante perdida de
rendimiento y funcionalidad del hardware.
Cabe mencionar algunos antecedentes importantes en la
implementacin de estos nuevos sistemas al campo
computacional, ya que en la antigedad era casi imposible
hablar de sistemas operativos con las capacidades necesarias
para administrar los recursos de las maquina a unas escalas
que podran describirse como realmente grandes.
Entonces solo al comprender los problemas que hasta ahora
se haban presentado se pudo llegar a crear una nueva visin
que llevara a tanto el Hardware como el Software a trabajar
bajo los mismos propsitos que ameritan el problema de la
utilizacin de los recursos a grandes escalas.
De esta manera los sistemas de la nube, presentan una alta
dificultad, lo que requiere de recursos extra como lo son
administrar mquinas virtuales y hacer frente a los diversos
problemas, para ello nace Fos, el cual se presenta como un
sistema operativo que plantea un desafo a la escalabilidad,
mediante la descomposicin de factores, algunas nuevas
clases de servicios, tolerancia a fallos y elasticidad de la

2
demanda, proporcionando buenas medidas de desempeo.
Fos se presenta ante el mundo como un sistema Operativo
con todas las funciones, que ofrecen gran cantidad de
servicios
para las aplicaciones. Algunas de estas se
mencionan en el contenido del artculo como son la
multiplexacin y gestin de recursos del sistema, como
ncleos, memoria y dispositivos de entrada y salida,
igualmente las capas de abstraccin como sistemas de
Archivos y redes.
Un sistema Operativo factorizado Fos se compone de tres
elementos principales: Un microkernel delgado, la capa del
sistema operativo y por ultimo las aplicaciones, el cual se
presentara un grfico explicativo que cabe mencionar.
Por ltimo se presentaran algunas conclusiones desde el
punto de vista de los autores los cuales han dedicado una
buena cantidad de tiempo y su mejor disposicin para poder
explicar de la mejor manera a que se debe adaptar o enfrentar
el mundo en los prximos aos con el fin de optimizar y
maximizar el uso de sus equipos, aprovechando los grandes
avances de software, la actualidad que hoy vemos del
hardware y el concepto de moda que presta un servicio
excepcional como lo es la nube y por supuesto nuestro tema
de inters los avances de Fos.
II.ANTECEDENTES
En la actualidad los diseos de Sistema Operativos, no
tienen la capacidad de ser adaptables ni escalables, para
administrar grandes recursos de la mquina. Por ende la
reestructuracin del Sistema Operacional es un cambio que
debe darse, ya que los sistemas operativos actuales se han
visto limitados por un bajo nmero de procesadores.
En los sistemas Operativos actuales al aumentar el nmero
de ncleos, el bloqueo empieza a fortalecerse en tiempo de
ejecucin, debido que al adicionar ms procesadores ralentiza
el clculo, ya que la sobrecarga arquitectnica ocupa
igualmente parte del tiempo de ejecucin, este tipo de bloqueo
es lo que determina el problema de escalabilidad.
Lo que hace necesario un replanteamiento de la algoritmia
Al no conocer algn modelo para la creacin de nuevas
soluciones y llevar a cabo la descripcin de las dependencias
y variables el no tener una herramienta adecuada la mezcla de
dichas soluciones puede ser perjudicial, Fos utiliza el
algoritmo Gomea, el cual proporciona un mecanismo
eficiente para mezclar soluciones ya sean parciales o
candidatas. La construccin de un modelo Fos puede hacerse
de diversas maneras, incluyendo el aprendizaje de
dependencia variable o el uso de una estructura
predeterminada cuando puede ser derivada, e instancias
Gomea que aprenden
dinmicamente el modelo de
vinculacin [5].
Igualmente los sistemas de nube, presentan mucha
complejidad, lo que requiere administrar mquinas virtuales y
hacer frente a los diversos problemas, por ello Fos se presenta
como un sistema operativo que desafa la escalabilidad,
mediante la descomposicin de factores, nuevas clases de
servicios, tolerancia a fallos y elasticidad de la demanda,

proporcionando buenas medidas de desempeo.

Los usuarios que necesitan potencia, los sistemas multiprocesador han sido el medio para mejorar el rendimiento.
Para gestionar en la maquina el crecimiento exponencial de
los ncleos, el sistema operacional deber escalar en todos
los diferentes aspectos [1], [4].
Las diversas pruebas realizadas para determinar los fallos
de los sistemas operativos actuales, y as verificar el nuevo
diseo Fos, obliga a tratar la escalabilidad del nmero de
ncleo como una primera medida, segn [1], la probabilidad
de bloqueo en la prueba realizada es proporcional al nmero
de hilos en el sistema, es decir que al aumentar los hilos en el
sistema con el tiempo, la contencin de bloqueo crece
exponencialmente. As que deseando tener rendimiento en el
sistema los sistemas tradicionales deben proteger la seccin
critica, pero el nmero de estas con el paso del tiempo, igual
que los diversos avances van en crecimiento y por lo tanto el
tamao de la seccin critica protegida debe ser ms pequea,
pero la productividad del programador es inferior respecto al
tiempo del avance hardware.
Debido a esta situacin generada, se hace necesario el
diseo de un Sistema Operativo con cerraduras, confianza
compartida y solapamiento de localidad [1].
A. Locks, (Candados)
El impedimento de la entrada de mltiples hilos
simultneamente en el kernel, fue la primera forma de esta
evolucin, las dependencias circulares y los nodos muertos
fueron otros de los errores encontrados, e incluso la
incapacidad de reducir o ajustar la granularidad de los
bloqueos y la dependencia de memoria compartida fueron
aquellos factores claves que permitieron establecer la
reestructuracin o cambio de los sistemas operativos actuales.
B. Solicitud OS.
La gestin del espacio de trabajo que contiene grandes datos y
el cdigo del sistema operativo, es tarea del Sistema
operativo, administrar y acomodar todos los recursos en el
espacio de trabajo, la reducin de tasas de acierto de cache,
permitir igualmente reducir el rendimiento del flujo nico
del programa.
III. FOS
Sistema Operativo Factorizado (Fos).
La estructura de Fos permite definirlo como: Un sistema
Operativo con todas las funciones, que ofrecen gran cantidad
de servicios para las aplicaciones, siendo las siguientes: la
multiplexacin y gestin de recursos del sistema, como
ncleos, memoria y dispositivos de entrada y salida,
igualmente las capas de abstraccin como Sistemas de
Archivo y redes, primitivas de comunicacin aplicacin,
teniendo como objetivo disear servicios del sistema en una
escala de miles de ncleos [2,6].
Los nombres usados para identificar cada servidor,
proporcionan una gran flexibilidad en el equilibrio de carga y
localidad para el sistema operativo, igualmente tiene en
cuenta la ubicacin espacial de los servicios de usuario y del
sistema para optimizar el rendimiento, ofreciendo una imagen

3
nica a travs de mltiples maquinas, tanto fsicas como
virtuales.
El caso de la elasticidad de los servicios del OS Fos, fuerza
los retos de escalabilidad al factorizar el Sistema Operativo
en sus servicios, permitiendo el crecimiento de las flotas para
satisfacer la demanda, lo cual permite reducir los recursos
para el Sistema Operativo nuevamente [2].
Los costos de la comunicacin son bajos y la fiabilidad de
la comunicacin es mayor cuando se ejecuta este proceso en
un solo multincleo, adems cuando la ejecucin de este
sistema es en la nube el modelo de confianza es diferente a
los anteriores sistemas distribuidos [4].
IV. ARQUITECTURA FOS
Un sistema Operativo factorizado se compone de tres
elementos principales: Un microkernel delgado, la capa del
sistema operativo y por ultimo las aplicaciones. [1]
Fig. 2. Disposicin de Servidores en una mquina multincleo [2].

Fig. 1. Arquitectura Fos. (David Wentzlaff,)

La fig.1. Muestra una visin amplia de la arquitectura Fos.

A. Microkernel
Una funcin del microkernel es ejecutada en cada ncleo
del procesador, este es encargado de la proteccin de cada
uno de los recursos, la comunicacin entre aplicaciones y
servidores de servicios en el sistema, manteniendo en la
cache, nombres o designaciones para establecer el destino de
los mensajes mediante una API de comunicacin [1].
B. Capa del Sistema Operativo
La capa del sistema Operativo est compuesta por un
conjunto de servidores los cuales proporcionan servicios, los
cuales son llamados flotas de servidores, siendo estos
especficos para cada funcin, la cual tiene que desplegar
tcnicas de elsticos para adaptarse a la variabilidad en
tiempo de ejecucin o la demanda [2]. Cada funcin es
proporcionada por uno o ms de un servidor. Cada servidor
del mismo tipo es parte de una flota al igual del mismo tipo es
decir cada funcin como flota, estn enmarcadas por
funciones especficas, siendo esto uno de los principios que
enmarcan como claves en el diseo, es sealar que la
organizacin bsica de estos servidores es la divisin del
servicio en varios procesos independientes, donde cada uno
de estos servicios se implementan como un servicio
distribuido paralelo, estos servicios solo son ejecutados
nicamente en un ncleo del procesador dedicado.

En la fig. 2. Muestra la flota de cada servicio operativo

consiste en varios servidores que estn asignados a diferentes
ncleos, es decir que en cada ncleo se ejecuta un
microkernel, y los servicios y aplicaciones estn en diferentes
ncleos.
La comunicacin es realizada a travs de la interfaz de
mensajes la cual es proporcionada por la capa inferior (capa
del microkernel), un enfoque nico en este proceso es el uso
de una nomenclatura y el esquema de bsqueda. Para lograr
proporcionar un miembro de la flota el cual sea el ms
adecuado para manejar alguna solicitud en particular, la
totalidad de servidores en la flota deben registrarse con un
nombre dado, de esta manera la carga de los servidores es
ptima junto con la latencia de solicitar cada servidor dentro
de una flota, igualmente rigen varias polticas para llevar a
cabo esta accin como el algoritmo de round robin o el
servidor ms cercano.
Las transacciones especialmente aquellas de larga duracin
al migrarse, debe hacerlo a los miembros de flota que han
sobrevivido y despus de esto se re-direccionaran aquellas
transacciones que se deseen enviar. Los clientes al no
establecer una comunicacin con el servidor, debern
reiniciar esta operacin con un nuevo miembro de la flota,
para lo cual se deber mantener una estructura de datos
distribuida, lo cual ser necesario gestionar el tamao de la
flota, lo cual permitir decidir cuando esta crezca.
C. Aplicaciones
Las aplicaciones usan cada uno de los servicios ofrecidos
por el sistema operativo, dentro de las aplicaciones la
comunicacin se logra mediante mensajera o memoria
compartida.

[5]

Fig. 3. Mensajera FOS, cdigo ejecutado en un solo ncleo [1].

La fig. 3. Muestra la mensajera de FOS, Es decir si una

aplicacin ha de requerir un servicio el mecanismo de
comunicacin subyacente es a travs de mensajera
microkernel, el cual permite la interaccin a travs de una
capa de biblioteca llamada libfos que traduce las solicitudes
de los mensajes.

V. CONCLUSIONES
La
solucin administrativa a las nuevas tendencias
tecnolgicas en la evolucin del hardware avanzan a gran
escala de una forma ms rpida que los sistemas operativos.
Esta razn ha permitido indagar acerca de la capacidad de los
sistemas operativos modernos en la actualidad para gestionar
gran cantidad de recursos, lo cual ha concluido que el sistema
moderno actual no permite una administracin eficiente de
dichos recursos. Por ende es necesario reestructurar los
sistemas operativos para que estos puedan gestionar un gran
nmero de recursos, de all nace Fos como la solucin a la
administracin de la cantidad grande de recursos
anteriormente mencionada, siendo adaptable y escalable para
que el sistema operativo pueda evolucionar a la par con el
hardware.
REFERENCIAS
[1]

[2]

[3]

[4]

David Wentzlaff, Anant Agarwal. (Abril, 2009). Factored Operating

Systems (fos): The Case for a Scalable Operating System for Multicores.
ACM Association for Computing Machinery. [Online]. Disponible en:
http://dl.acm.org/citation.cfm?
id=1531793.1531805&coll=DL&dl=ACM&CFID=588683472&CFT
OKEN=20515661.
Lamia Youseff, Nathan Beckmann, Harshad Kasture, Charles
Gruenwald, David Wentzlaff Anant Agarwal. (Junio, 2012). The Case
for Elastic Operating System Services in fos. ACM Association for
Computing
Machinery.
[Online].
Disponible
en:
http://dl.acm.org/citation.cfm?
id=2228360.2228410&coll=DL&dl=ACM&CFID=588683472&CFT
OKEN=20515661
Krzysztof L. Sadowski, Peter A. N. Bosman, and Dirk Thierens. (Julio,
2013). On the Usefulness of Linkage Processing for Solving MAX-SAT.
ACM Association for Computing Machinery. [Online]. Disponible en:
http://dl.acm.org/citation.cfm?
id=2463372.2463474&coll=DL&dl=ACM&CFID=588683472&CFT
OKEN=20515661.
Andrew Baumann, Simon Peter, Paul Barham, Timothy Roscoe, PierreEvariste Dagand, Adrian Schpbach, Tim Harris, and Akhilesh
Singhania, Rebecca Isaacs. (Octubre, 2009). The Multikernel: A New

OS Architecture for Scalable Multicore Systems. ACM Association for

Computing
Machinery.
[Online].
Disponible
en:
http://dl.acm.org/citation.cfm?
id=1629575.1629579&coll=DL&dl=ACM&CFID=588683472&CFT
OKEN=20515661.
David Wentzlaff, Charles Gruenwald III, Nathan Beckmann, Kevin
Modzelewski, Adam Belay, Lamia Youseff, Jason Miller, and Anant
Agarwal. (Junio, 2012). An Operating System for Multicore and Clouds:
Mechanisms and Implementation. ACM Association for Computing
Machinery. [Online]. Disponible en: http://dl.acm.org/citation.cfm?
id=1807128.1807132&coll=DL&dl=ACM&CFID=588683472&CFT
OKEN=20515661.