SO.

Tema 3

Trasp. N 1

FUNDAMENTOS DE LOS SISTEMAS

OPERATIVOS

Tema 3: El ncleo del Sistema Operativo

Indice
1.- Introduccin. 2.- Representacin de procesos. 3.- Primer nivel de interrupcin. 4.- Dispatcher y Scheduler. 5.- Ejemplo: Esquema del ncleo de UNIX

Prof. Bernardo Ledesma

SO. Tema 3

Trasp. N 2

1.- INTRODUCCION. El ncleo es interfaz entre el hardware y el resto del S. O. Las rutinas que lo componen tienen que ser cortas y rpidas. Funciones:

Manipulacin de interrupciones. Gestin de procesos (creacin, planificacin, sincronizacin, destruccin) Soporte otras actividades (E/S, gestin memoria,

contabilizacin).

Mantenimiento tablas bsicas (P.C.B., dispositivos de memoria).

Mdulos bsicos: Interrupt handler. Scheduler y Dispatcher Primitivas de sincronizacin y comunicacin.

SO. Tema 3

Trasp. N 3

2.- REPRESENTACIN DE PROCESOS 2.1.- Bloque de control de un proceso (P.C.B.) Estructura de datos que contiene informacin relativa a cada proceso: Identificador del proceso. Estado del proceso. Valores de los registros de C.P.U. (contador de programa, etc.). Datos para gestin de recursos: memoria (tablas de pginas, etc.) E/S (demandas, tablas de dispositivos asignados, etc.) procesador (prioridades, punteros a colas, etc.). Datos de contabilizacin (tiempo de uso de procesador, etc.) 2.2.- Estados de un proceso No existente Existente Suspendido Activado Espera Preparado Ejecucin

Ejecucin

Preparado

Espera

SO. Tema 3

Trasp. N 4

3.- PRIMER NIVEL DE INTERRUPCION Funciones: - Determinar tipo de interrupcin - Activar mdulos especficos Operaciones: - Guardar contexto "voltil" de proceso en curso - Ejecutar chequeo para determinar tipo de interrupcin - Activar mdulos especficos 3.1.- Determinacin del tipo de interrupcin Modos de trabajo del procesador: - Interrumpible - No interrumpible Estrategias para determinar el tipo de interrupcin: - skip chain (chequeo de indicadores) - activacin directa del mdulo especfico - codificacin de la interrupcin - combinacin de los anteriores.

SO. Tema 3

Trasp. N 5

Estructura general para el interrupt handler: I. H. empieza si procesador no interrumpible entonces poner I.H. en "preparado" si no guardar V.E. de proceso actual y pasarlo a "preparado"

mientras haya interrupciones pendientes seleccionar siguiente interrupcin determinar su tipo llamar a mdulo especfico activar dispatcher termina

SO. Tema 3

Trasp. N 6

4.- DISPATCHER Y SCHEDULER Dispatcher: Mdulo del ncleo encargado de asignar C.P.U. al proceso que est en cabecera de la cola de proceso en estado preparado. Objeto: Reponer V.E. y activar proceso. Scheduler: Encargado de la seleccin del siguiente proceso la hace el mdulo de planificacin (tambin llamado low level scheduler). Parmetros de planificacin: - ndice de ocupacin de C.P.U. (a maximizar) I = tocup./ (tocup. + tdesocup) - throughput T = n jobs acabados / t (a maximizar)

- turnaround time. Para s. no interactiv. (a minimizar) tt = tfinal tinicio - waiting time wi = sumatorio tpreparadoi (a minimizar)

- reponse time. para s.interactivos (a minimizar) ri = t1respuesta - tinicio

SO. Tema 3

Trasp. N 7

Estrategias de seleccin: - No preentivas: - F.C.F.S. (FIFO) - S.J.N. (SJF) - H.R.N. (Brinch Hansen) prior. = (tesp+ tserv)/tser - Prioridades numricas - Deadline (t >> ---> Prior >>; Retardar tiempo lmite) Ejecucin

Preparado

Espera

- Preentivas: - R.R. - Colas multinivel realimentadas - S.R.T. Preparado

Ejecucin

Espera

Tcnicas de evaluacin de algoritmos: - Evaluacin analtica (modelo determinista y modelo de colas) - Simulacin - Instrumentacin

SO. Tema 3

Trasp. N 8

5.- EJEMPLO: Esquema del ncleo de UNIX

Algoritmo de planificacin de C.P.U. Dos modos, separados por un valor umbral: ncleo y usuario. El modo ncleo es de mxima prioridad. - modo ncleo: Esquema no preentivo, de colas multinivel - modo usuario: Esquema preentivo, mediante quantum, de colas multinivel. Actualizacin de prioridad al salir de C.P.U. o por activacin de la interrupcin de reloj. Posibilidad de fijar externamente la prioridad de un proceso mediante la orden nice.