Explora Libros electrónicos
Categorías
Explora Audiolibros
Categorías
Explora Revistas
Categorías
Explora Documentos
Categorías
NOMBRE DE LA PRCTICA:
Deteccin de Interbloqueo de mutex del mini-kernel.
OBJETIVO:
Observar y analizar el funcionamiento de las rutinas de deteccin de bloqueo.
ANEXO: Imgenes de todo lo desarrollado durante la realizacin de la prctica.
Pgina 1
Introduccin
Mutex: Es un objeto que permite a los hilos asegurar la integridad de un recurso
compartido al que tienen acceso. Tiene dos estados: bloqueado y desbloqueado.
INTERBLOQUEO:
Es un problema que afecta a los procesos concurrentes que utilizan recursos en
un sistema.
Los procesos solicitan recursos al sistema los liberan cuando ya no los necesita.
Un recurso puede estar disponible o bien asignado a algn proceso.
Si un proceso solicita un recurso que no tiene ejemplares disponibles, el proceso
queda bloqueado, esperando hasta que se le asigna un ejemplar. El objeto
MUTEX es una bandera mutuamente excluyente. Acta como un guardin de la
puerta a una seccin de un cdigo que permite la entrada a uno, bloqueando el
acceso a todos los dems.
Esto asegura que el cdigo o proceso est controlado solo por un hilo a la vez. Y
el mutex libera el acceso cuando este haya terminado. Sobre un mutex se pueden
realizar dos operaciones atmicas bsicas:
Pgina 2
LLAMADAS
AL
LIBERACION
SISTEMA
Un
conjunto
de
procesos bloqueados,
cada uno de ellos
esperando
por
un
recurso que retiene otro
proceso
de
ese
conjunto.
Pgina 3
Pgina 4
Pgina 5
Pgina 6
Pgina 7
Pgina 8
Introduccin
QUE ES UN SEMFORO?
Un semforo es una variable especial que constituye una serie de opciones
elementales para poder restringir a garantizar el acceso a los recursos en un
sistema operativo con un entorno de multiprocesamiento.
Hay dos tipos de semforos Contador y Binario.
INTERFACES DE LA LLAMADA AL SISTEMA DE LOS SEMFOROS
sys_semget()
La llamada entera a sys_semget() es protegida por el semforo global del
ncleo sem_ids.sem
En el caso donde un nuevo conjunto de semforos deben de ser creados, la
funcin newary() es llamada para crear e inicializar un nuevo conjunto de
semforos. La ID del nuevo conjunto es retornada al llamante.
En el caso donde un valor de llave es suministrado por un conjunto de semforos
existentes, ipc_findkey() es llamado para buscar el correspondiente descriptor del
semforo en el ndice de la matriz. Los parmetros y los permisos del llamante son
verificados antes de devolver la ID del conjunto de semforos.
sys_semctl()
Para los comandos IPC_INFO, SEM_INFO, y SEM_STAT, semctl_nolock() es
llamado para realizar las funciones necesarias.
Para los
comandos GETALL, GETVAL, GETPID, GETNCNT, GETZCNT, IPC_STAT,
SETVAL, y SETALL, semctl_main() es llamado para realizar las funciones
necesarias.
Pgina 9
Pgina 10
Pgina 11
Pgina 12
Pgina 13
Introduccin
QUE ES EL ROUND ROBIN?
Es un mtodo de seleccin de todos los elementos de un grupo de forma
equitativa y orden racional por lo general comenzando con el primer elemento de
la lista hasta el ltimo y luego comenzando nuevamente con el primer elemento.
En computacin es un mtodo para ejecutar procesos (tareas) de forma
concurrente y as utilizar de forma equitativa los recursos del equipo.
En SISTEMAS OPERATIVOS la planificacin ROUND ROBIN asigna un tiempo
mximo a cada proceso para utilizar el CPU, luego de ese tiempo pasa al
siguiente proceso en la lista.
OBJETIVOS:
Maximizar la eficiencia y rendimiento.
Minimizar tiempo de retorno, espera y respuesta.
Pgina 14
Pgina 15
Pgina 16