Sincronización de Procesos
M.C. Juan Carlos Olivares Rojas
Agenda
El Problema de la Sección Crítica
Sincronización de Hardware
Semáforos
Regiones crítica
Agenda
Monitores
Deadlocks
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).
El Problema de la Sección Crítica• En algunos casos como en las lecturas, el acceso
concurrente a un recurso no tiene mayor complicaciones.
• En otros casos como en la escritura, se debe de controlar el acceso, ya que no hacerlo podría causar muchos problemas.
• Los recursos se pueden compartir dinámicamente (intercalados) y estáticamente (exclusivo).
Sincronización de Hardware• La mejor forma de realizar sincronización de
proceso es a través de mecanismos de hardware.
• La gran mayoría de microprocesadores que permiten multitarea tienen esquemas robustos de protección para la concurrencia de procesos.
• Se puede contar con registro base y límite para el acceso controlado a los recursos, o bien esquemas de prioridad.
Semáforos• Desafortunadamente tener mecanismos de
sincronización en hardware es sumamente costoso. Por este motivo la inmensa mayoría de los métodos de compartición de recursos se hacen a nivel de software.
• Cualquier recurso compartido en una computadora está asociado a una localidad de memoria, por este motivo la protección de memoria juega un papel muy importante en la sincronización de procesos
Semáforos• Los semáforos son mecanismos que permiten
sincronizar procesos para prevenir colisiones cuando uno o más procesos solicitan simultáneamente un recurso.
• Dijsktra los define como un objeto tipo entero en los cuales se puede aplicar dos operaciones: P (Proberen, comprobar) y V (Verhogen, incrementar), donde P sirve para obtener el recurso y V para liberarlo.
Semáforos• Los semáforos son un mecanismo de IPC
estandarizado por POSIX.
• Todos los mecanismos IPC tienen una entrada en una tabla especial con una llave definida por el usuario.
• Los posibles valores de la llave son IPC_PRIVATE, IPC_CREATE, IP_EXECL, entre otros.
Semáforos• Cada entrada de la tabla tiene un registro de
permisos (rw), información de estado y llamadas de control.
• Las llaves son del tipo key_t. Para crear una llave se utiliza:
#include <types.h>#include <sys/ipc.h>key_t ftok(path, id)
Semáforos• Las operaciones sobre un semáforo son semget para
crear un semáforo o habilitar uno existente, semctl para realizar operaciones de control e inicialización, semop para realizar operaciones P y V.
#include <sys/types.h>#include <sys/ipc.h>#include <sys/sem.h>int semget(key, nsems, semflg)
Semáforos
int llave, semid;if((llave= ftok(“auxiliar”, ‘K’)) ==(key_t)-1)
/*Tratamiento del error*/
if((semid= semget(llave, 4, IPC_CREAT | 0600)) == -1)/*Error al crear el semáforo*/
Semáforosint semctl(semid, semnum, cmd, arg)union semun{
int val;struct semid_ds *buf;ushort *array;
}arg;
• Las opciones de control son: GETVAL, SETVAL, GETPID, GETNCNT, GETZCNT, GETALL, SETALL, IPC_STAT, IPC_SET
Semáforos
ushort asem;asem[0]=5; asem[1]=3; asem[2]=4; asem[3]=8;semctrl(semid, 0, SETALL, asem)valor = semctrl(semid, 3, GETVAL, 0)
int semop(semid, sops, nsops)struct sembuf *sops;
Semáforosstruct sembuf{
ushort sem_num;short sem_op;short sem_flg;
};
• Si semop es negativo se decrementará (P), si se incrementa (V) y si es 0 no hace nada.
• Las banderas son: IPC_WAIT, IPC_NOWAIT, SEM_UNDO
Semáforos
struct sembuf operacines[4];Operaciones[0].semnum = 1;Operaciones[0].sem_op = -1;Operaciones[0].sem_flg = 0;Operaciones[1].semnum = 4;Operaciones[1].sem_op = 1;Operaciones[1].sem_flg = 0;
semop(semid, operaciones, 2);
Regiones críticas• Las regiones críticas son otra forma de
sincronización de procesos.
• Un semáforo en algunas ocasiones no puede sincronizar más de un recurso diferente a la vez por lo que se necesitan de mecanismos de control de concurrencia más elaborados.
• Otros mecanismos IPC que permiten sincronizar y proteger regiones críticas son las colas de mensajes .
Colas de Mensajes• La filosofía de las colas de mensajes es similar a
las tuberías, pero con mayor versatilidad.
• Una cola es una estructura de datos gestionada por el kernel, en la cual varios procesos pueden escribir sobre ella. El sincronismo para evitar colisión lo realiza el kernel.
Colas de mensajes#include <sys/msg.h>int msgget(key, msgflg)
If((msqid= msgget(llave, IPC_CREATE | 0600)) == -1)/*Error al crear la cola de mensajes*/
• msgctrl(msq, cmd, buf) sirve para leer y modificar la información estadística y de control de una cola.
Colas de mensajes• Los comandos de control son: IPC_STAT, IPC_SET,
IPC_RMID. Por ejemplo: msgctrl(msqid, IPC_RMID, 0);
• Las operaciones básicas de una cola de mensajes son enviar y recibir los mensajes que se realizan con las siguientes funciones:
int msgsnd(msqid, msgp, msgsz, msgflg);int msgrcv(msqid, msqp, msgtyp, msgflag);
Cola de mensajes
• El parámetro msgtyp indica el tipo de mensaje que se desea leer: 0 para el primer mensaje, > 0 el primer mensaje de tipo msgtyp que haya en la cola, <0 lee el primer mensaje que sea menor o igual al valor absoluto de msgtyp y además sea el mensaje más pequeño de los que hay.
Cola de mensajes
struct{long tipo;char cadena[20];
}mensaje;
strcpy(mensaje.cadena, “SD1”);mensaje.tipo = 1; longitud = strlen(mensaje.cadena)if(msgsnd(msqid,&mensaje,longitud,0)==-1) /*Err*/if(msgrcv(msqid,&mensaje,longitud,1,0) ==-1) /*Er*/
Monitores• Es un procesos que se encarga de verificar el
funcionamiento de algún recurso garantizando la exclusión mutua (mutex).
• En un monitor los procesos se bloquean y desbloquean.
• Pueden existir diversas implementaciones no estandarizadas de un monitor.
Monitores• En Java los monitores están implementados de
manera nativa con el modificador de los métodos syncronized.
• El monitor es el mecanismo que nos permite controlar el acceso a una región crítica, en este caso un método. También se puede utilizar semáforos como objetos mutex disponibles en el paquete java.util.concurrent.*;
Deadlocks• Los interbloqueos son la parte más problemática
de los mecanismos de sincronización.
• Un interbloqueo ocurre cuando un proceso A que utiliza un recurso no lo libera por que está en espera de otro recurso que el proceso B tiene y a su vez no libera por esperar el recurso de A.
• En casos de interbloqueo la concurrencia del sistema se ve eliminada.
Deadlocks• Los interbloqueos pueden ser detectados a través
de la verificación de un ciclo infinito. Desgraciadamente este problema se trata de un problema no deducible y por lo tanto no computable; es decir, es difícil saber si un programa realmente se bloqueo o si está en un ciclo activo.
• Existen muchos métodos para detectar los interbloqueos, a continuación se describen algunos.
Deadlocks• El método de la avestruz es el más sencillo, consiste
en agachar la cabeza y no hacer nada por el problema.
• El método de herir y esperar consiste en matar un proceso que esté el interbloqueo y esperar a que los procesos existentes se sincronicen.
• El procesos de herir y matar consiste en eliminar un proceso y asignar los recursos a los procesos de manera estática.
¿Preguntas, dudas y comentarios?
Top Related