1.09k likes | 1.33k Views
Process. M.C. Juan Carlos Olivares Rojas. Operating Systems jolivares@uvaq.edu.mx February, 2009. Outline. Modelo e Implantación de Procesos Comunicación entre Procesos Ejemplos de Comunicación entre Procesos Planificación de un Proceso. Outline. Procesos Cooperativos
E N D
Process M.C. Juan Carlos Olivares Rojas Operating Systems jolivares@uvaq.edu.mx February, 2009
Outline • Modelo e Implantación de Procesos • Comunicación entre Procesos • Ejemplos de Comunicación entre Procesos • Planificación de un Proceso
Outline • Procesos Cooperativos • Implementación de Procesos • Threads
Objective • The student will know and apply the basis of process, InterProcess Communication and Sinchronization Mechanism.
Modelo e Implantación de Procesos • Un proceso es un programa en ejecución. • Todos los procesos tienen asociados un espacio de direcciones en memoria, registros y el contador de programas. • De acuerdo a la arquitectura de Von Neuman un programa para poderse ejecutar necesita estar en memoria.
Modelo e Implantación de Procesos • El espacio de direcciones se compone además de direcciones para almacenar datos, código, la pila y el heap (montículo). • Toda la información de los procesos en los SOs se guardan el PCB (Process Control Block) que es un arreglo o lista ligada que indica la descripción de cada uno de los procesos.
Modelo e Implantación de Procesos • Los procesos tienen asignados un identificador de procesos (PID), el cual es la forma en que el SO trabaja con los procesos. • Los procesos se ejecutan de manera secuencial pero pueden realizar bifurcaciones, motivo por el cual se necesita el contador de programa. • Los programas pueden tener asignado distintas prioridades para darle más jerarquías.
Modelo e Implantación de Procesos • La finalidad del administrador de procesos es realizar una buena administración (planificación) del tiempo de CPU de la computadora a fin de ejecutar más programas de manera más eficiente. • Otra de las características básicas que presenta un proceso es el estado en el cual se encuentra. Existen tres estados básicos en proceso: Ejecución, Listo y Bloqueado.
Modelo e Implantación de Procesos • Un proceso está en ejecución cuando tiene acceso real al tiempo de CPU. • Un proceso está listo cuando se puede ejecutar, es decir, por algún motivo se suspendió para dejar ejecutar otro proceso • Un proceso está bloqueado cuando está en espera de algún recurso (E/S) o de que ocurra un evento.
Modelo e Implantación de Procesos • Otros modelos de estados de procesos incluyen otros estados como el de nacimiento, inactivo y diferencia entre bloqueado y en espera. • Dentro de un CPU un y sólo un proceso puede estar ejecutándose al mismo tiempo. • Los procesos se pueden dormir, despertar y ser asesinados antes de tiempo.
Comunicación entre Procesos • Los procesos en algunos SOs pueden crear otros procesos llamados subprocesos, teniendo una jerarquía de procesos padre e hijos. • Estos procesos pueden trabajar de manera cooperativa para la resolución de un problema muy particular. Para ello necesitan comunicarse entre sí y a lo que a nivel de SO se llama IPC (Inter Process Communication).
IPC • La parte más importante de la comunicación entre procesos es sin duda la transferencia de mensajes entre los diversos procesos. • La transferencia de mensajes puede llevarse acabo en base a dos primitivas, enviar y recibir, que se pueden aplicar a casi cualquier recurso como a los archivos (leer y escribir).
IPC • La comunicación entre procesos IPC se debe dar a través del kernel del Sistema Operativo. • Tanto Windows como Linux y otros Sistemas Operativos implementan IPC pero lo hacen de manera particular. • Los IPC de sistemas *X son los más comunes y estandarizados. A continuación se describirá algo de IPC en Linux.
IPC *X #include <sys/types.h> pid_t pid; hijo = getpid(); Padre = getppid(); Grupo = getpgrp(); Un subprocesos se crea con la instrucción fork()
IPC *X • Existen otros tipos de usuarios y grupos los cuales son extendidos, es decir, no actúan como los usuarios reales. uid_t getuid(); /*usuario real*/ uid_t geteuid(); /*usuario extendido*/ gid_t getgid(); gid_t getegid(); • Los subprocesos tienen una jerarquía muy marcada.
IPC *X //Validación de subprocesos if (pid == -1) perror(“Error al crear proceso”); else { if (pid == 0) /*Proceso hijo*/ else /*Proceso padre*/ }
Ejemplos de Comunicación entre Procesos • La principal problemática que se presenta consiste en las condiciones de competencia de los procesos. Por ejemplo, compartir una impresora. Si varios procesos pudieran acceder a la impresora se tendrían problemas de inconsistencias al momento de imprimir. • A continuación se describirán algunos problemas de IPC para dar solución en la próxima unidad.
Ejemplos de IPC • El problema del productor-consumidor: dos procesos comparte un mismo recurso compartido. El problema se presenta cuando el proceso productor produce más de lo que el buffer compartido puede soportar y cuando el proceso consumidor quiere consumir un valor del buffer cuando esta vació. • Este tipo de problemas se puede presentar en casos similares como el de la impresora.
Otro problema clasico de IPC es el de la cena de los filosofos, el cual se basa en que existen cinco filosofos comensales sentados alrededor de una mesa circular. Cada filosofo tiene ante si un plato de espaguetti. El espaguetti es tan resbaloso que se necesitan dos tenedores para comerlo. Entre cada par de platos hay un tenedor. Ejemplos IPC
Ejemplos IPC • Un filosofo puede comer y pensar. Para comer es necesario que disponga de dos tenedores • La solucion mas obvia puede causar inconsistencias. Que pasaria si todos toman su tenedor de la izquierda al mismo tiempo. • Podria mejorarse si uno filosofo toma su tenedor de la izquierda, verifica que el de su derecha este desocupado si no lo libera.
Ejemplos IPC • Por que falla esta opcion? • Otro problema famoso es el problema del peluquero dormido en el cual se tienen un peluquero, una silla de peluqyero y n sillas de clientes. • Si no hay ningun cliente el peluquero se duerme. Si llega un cliente y esta dormido el peluquero lo despierta.
Ejemplos IPC • Si llega un cliente mientras esta despierto el peluquero se forma en las sillas, o bien, se sale si las sillas estan todas ocupadas. • Todos estos son ejemplo de IPC. Los mecanismos basicos son las tuberias, la cola de mensajes, los semaforos, la memoria compartida, los sockets, entre otros elementos.
Planificación de un Proceso • La planificación de procesos es la etapa más importante del administrador de procesos ya que se encarga de administrar la disponibilidad del uso de CPU. • Los planificadores no importando su complejidad deben respetar los siguientes elementos: equitatividad, eficiencia, tiempo de respuesta, retorno, volumen de producción.
Planificación de un Proceso • La problemática con este tipo de administración es que los recursos son únicos e imprendecibles. Por este motivo el planificador trata de estimar algunas características. • Un planificador no sabe cuanto tiempo tardará en ejecutarse un proceso y si este en algún momento se bloquea por alguna petición de entrada o de salida.
Planificación de un Proceso • Por este motivo un planificador debe de asignar un tiempo predeterminado llamado Quantum para la ejecución de procesos. • Un proceso puede ser interrumpido por otro proceso cuando este último requiera de una atención inmediata. Esto da origen a planificadores don prioridades.
Planificación de un Proceso • La prioridad puede darse por jerarquía, por costos o por otro medio que sirva de discriminante. • Las prioridades pueden ser dinámicas o estáticas. • El planificador de procesos se encarga de mantener el contexto de cada una de las aplicaciones para poder realizar multitarea.
Planificación de un Proceso • Existen diverso algoritmos de planificación de tareas, los cuales a continuación se describen. • El algoritmo de round robin (torneo) es muy sencillo, el cual consiste en una lista ligada con los diferentes procesos donde se ejecutan uno por uno pasandose hacia el final de la cola.
Planificación de un Proceso • La planificación en Round Robin no es la mejor dado a que es muy susceptible al tiempo del cuantum y al tamaño de la cola. • La planificación por prioridad permite calendarizar los procesos de acuerdo a su importancia. Los sistemas UNIX cuentan con el comando nice para reducir la prioridad de un proceso.
Planificación de un Proceso • En algunas ocasiones se suelen agregar diversas mezclas de algoritmos de planificación. Por ejemplo, se puede manejar un sistema de colas por prioridades, en donde cada cola trabaja como si fuera un sistema round robin. • Otro algoritmo de planificación es el utilizar colas múltiples. En un principio el cuantum de tiempo aumentaba
Planificación de un Proceso • En un principio el quantum de tiempo aumenta en proporción del tiempo que está el proceso en ejecución teniendo 1, 2, 4 ... N cantidad de quantum. Esto hace que los procesos más viejos tengan mayor prioridad. • Otros planificadores de colas múltiples colocan los procesos de manera generalizada en colas de terminal, E/S, quantum corto, quantum largo, etc.
Planificación de un Proceso • Un algoritmo de planificación más efectivo es el primer el trabajo más corto, dado que el promedio de retorno de cada proceso es menor siguiendo esta técnica, la desventaja es que es dificil calcular cual es el trabajo más corto. • La planificación garantizada consiste en hacer promesas a los usuarios para después cumplirla. Una promesa fácil es 1/n.
Planificación de un Proceso • Un mejor esquema es la planificación por loteria, la cual sonsiste en repartir boletos entre los procesos, a los procesos ganadores se les asigna tiempo de CPU. El secreto es asignar una cantidad de boletos equivalente al peso e importancia de los procesos. • En sistemas muy especiales como los sistemas de tiempo real, el planificador debe considerar muchas restricciones.
Planificación de un Proceso • Entre estas restricciones están la administración de eventos y de cumplir con los límites de tiempos establecidos. • Otra alternativa de planificación es utilizar dos niveles. Un nivel para gestionar procesos en memoria principal y otro nivel para memoria secundaria. Con este esquema se obtiene mejor rendimiento cuando se utiliza memoria virtual.
Procesos Cooperativos • Los procesos cooperativos son aquellos que pueden trabajar de manera conjunta. • Una de las mejores alternativas para la planificación de procesos consiste en que los mismos procesos gestionen con los demás su turno de uso CPU. Si se programa de buena manera puede funcionar, de lo contrario producirá un esquema de competencia.
Implementación de Procesos • La implementación de procesos depende de la arquitectura del sistema operativo utilizada. • Ya se comentó en diapositivas anteriores la implementación de procesos en sistemas *X otros sistemas difieren en las llamadas al sistema pero conceptualmente se parecen por que están basados en POSIX.
Implementación de Procesos • Por ejemplo, la implementación de procesos en Windows se da de manera generalizada con llamada al sistema CreateProcess(). • En Linux además de la llamada fork(), se encuentra clone() que clona un proceso de memoria pero puede compartir estructuras de datos.
Threads • Los hilos son procesos ligeros a diferencia de los procesos hijos, los hilos sólo replican el segmento de código, por lo que comparten datos entre otros hilos haciendo mejor uso de la memoria. • La problemática con los hilos es que cada sistema operativo implementa sus hilos de manera distinta. Por ejemplo existen los hilos POSIX, los hilos C de Mach, los hilos en Windows, etc.
Hilos • La implementación también dependerá del tipo de lenguaje utilizado para la codificación. Por ejemplo se tienes hilos en Java, hilos en lenguaje como Modula-2, ADA, etc. los cuales • En general, los sistemas X implementan más procesos hijos que hilos, pero se pueden hilos pero no están garantizado su uso en muchos sistemas legados.
Hilos • En general los hilos en Java debido a su portabilidad binaria son idénticos en todas las plataformas. Existen dos formas básicas de implementar procesos: heredar de la clase Thread o bien implementar la interfaz Runnable. • En general en el método public void run() se agrega la funcionalidad del hilo.
Hilos • Si se heredo de la clase Thread el hilo debe crearse de la siguiente forma: • Thread hilo = new Thread(new Objeto()); • El método Thread.sleep(ms); permite dormir un proceso n cantidad de milisegundos.
Hilos • En general se ejecuta el hilo poniendo el método start(), e.g.: hilo.start(); • Otros métodos de los hilos son: isAlive() para determinar si un hilo está con vida, el metodo stop()* finaliza un hilo, el método suspend()* lo suspende, el método resume() reanuda un proceso y join() espera a que finalice un proceso especificado.
Hilos • Se pueden asignar prioridades a los hilos con el método setPriority(), en donde la prioridad puede ser MIN, MAX y NORM_PRIORITY. • El método yield() cede prioridad, mientras que el método setDaemon(true) hace que un hilo sea demonio.
Hilos • Los demonios son hilos que pueden correrse sin depender de otros procesos. Se utilizan mucho para la programación de servicios del sistema. • Se pueden crear grupos de hilos con la clase GroupThread para un mejor manejo.
Hilos • En Windows los hilos se crean con la instrucción BeginThread, se pueden hacer uso en Visual C++ de APIs de mayor nivel de abstracción como el método AfxBeginThread() o la clase CThread del MFC (Microsoft Solution Framework). • En .NET se utiliza la clase Thread para generar procesos hilos.
Hilos PThreads (POSIX Threads) es la biblioteca para la creación de hilos más implementada en sistemas *X. Se utiliza la biblioteca pthread por lo que algunos compiladores ya la incluyen de manera predeterminada sino habrá que indicar su uso: gcc … -lpthread
Hilos Crear hilos: intpthread_create(pthread_t*thread, pthread_attr_t *attr, void * (*start_routine)(void *), void *arg) Esperar la finalización de hilos: int pthread_join(pthread_t th, void **thread_return)
Hilos No guardar estado del hilo: int pthread_detach(pthread_t h) Salir de un hilo: pthread_exit(void *retval) Biblioteca a utilizar: #include <pthread.h>
Hilos typedef struct parametros { int id; char *nombre }; void *funcion(parametros *p) { printf(“%s %d”, p->cadena, p->id); pthread_exit(&(p->id)) }
Hilos Referencia asi mismo: Yo = pthread_self(); /*Demás funciones*/ Enviar una señal a un hilo: pthread_kill(pthread_t hilo, int señal); Los hilos no están tan extendidos por que existen muchas variantes: hilos mach, hilos solaris, Gthreads, etc.
El Problema de la Sección Crítica • Lo importante en un problema de compartición de recursos, no es la compartición del recurso en sí, sino el mecanismo de protección para poder acceder de manera controlada y equitativa al recurso. • La sección crítica es la parte de código que se desea compartir con otros procesos concurrentes. Esta región debe ser en algunos casos mutuamente excluyente (mutex).