Compilador

El micron´ucleo proporciona actores (procesos), hilos, IPC
basado en mensajes y puertos, identificadores globales ´unicos
y regiones (bloques peque˜nos de dirs. contiguas de memoria).
Elmicron´ucleo tambi´en proporciona subsistemas para alojar
servidores que implementan pol´ıticas de SO concretas (UNIX,
COOL, RT-OS, etc.)
El micron´ucleo en s´ı est´a modularizado sobre:
unsupervisor, dependiente de la m´aquina, que gestiona
interrupciones y traps
un gestor de procesos, independiente de la m´aquina
un gestor de memoria, que controla la MMU y puede apoyarse
en unservidor externo (como en Mach)
un gestor de IPC, que proporciona servicios globales a trav´es
del mecanismo de mensajes
Juan PiernasUn sistema CHORUS consta de un conjunto de sitios(ordenador, tarjeta de CPU en un multiprocesador, etc.)
interconectados por una red (red Ethernet, bus interno, etc.)
Los identificadores globales ´unicos (UI) implementan la
transparencia deubicaci´on para los puertos. Cada puerto es
referenciado mediante una habilitaci´on y cada habilitaci´on
contiene un UI que identifica al puerto
El gestor de IPC es responsable de traducir los UIsadecuadamente
CHORUS permite la multidifusi´on de mensajes: es posible
enviar un mismo mensaje a varios puertos a la vez
Los mensajes son simples flujos de bytes
La gesti´on de la memoriade CHORUS se basa en segmentos
Un segmento es un bloque l´ogico de informaci´on (fichero, ´area
de intercambio, . . . ) que se correlaciona con una regi´on en el
espacio de direcciones de unactor
La correlaci´on ((segmento–region)) la establece el servidor de
segmentos o mapeador del subsistema en ejecuci´on
La correlaci´on ((regi´on–marcos de p´agina)) la establece el
gestor dememoria del micron´ucleo
En un fallo de p´agina: supervisor ⇒ gestor de memoria ⇒
mapeador (que obtiene la p´agina desde una posici´on arbitraria
seg´un su pol´ıtica)
Juan Piernas C´anovas