Para que un programa concurrente sea correcto, deben cumplirse las siguientes propiedades: Seguridad e inanición. Viveza y seguridad Interbloqueo e inanición. Exlusión mútua y viveza.
La exclusión mutua mediante inhibición de interrupciones: Garantiza la ausencia de inanición. Mejora el rendimiento de las aplicaciones No puede utilizarse en sistemas multiprocesador Únicamente garantiza la exclusión mutua en operaciones de E/S.
El algoritmo de exclusión mutua de Dekker: Está orienado a entornos distribuidos. Está orientado a entornos centralizados Es válido para n procesos con apenas modificaciones Presenta situaciones en las que puede no garantizar las propiedades de viveza.
El problema de interbloqueo: Solo tiene solución si se resuelve mediante el uso de semáforos. Solo tiene solución si se resuelve mediante el uso de monitores Solo tiene solución si se resuelve mediante el uso de algoritmos de espera ocupada Todas las anteriores son falsas.
En términos de eficiencia: Los algoritmos de espera ocupada son más eficientes que los semáforos Los monitores son más eficientes que los semáforos. A priori, no puede determinarse qué técnica de sincronización es la más eficiente La eficiencia de los semáforos depende exclusivamente de la CPU.
La operación wait(s): Bloquea el proceso que la ejecuta si s=1. Bloquea el proceso que la ejecuta si s=0. Decrementa el valor de s y entonces bloquea el proceso si s=0. Si s=0 decrementa el valor de s y bloquea el proceso.
La gestión de los procesos bloqueados en un semáforo: Debe ser siempre FIFO para evitar la inanición Puede ser FIFO o LIFO El Sistema Operativo desbloqueará los procesos en función de la prioridad.
Mediante el uso de semáforos, los procesos no pasan a estado bloqueado.
Un semáforo “s” inicializado al valor 2 Permite que dos procesos estén simultáneamente en su sección crítica. Dos procesos podrán ejecutar wait(s) sin bloquearse Los semáforos se inicializan siempre a valor 1. El primer proceso que alcance la sentencia wait podrá acceder a su sección crítica.
.
Los monitores requieren de la utilización y definición de dos tipos de procesos: Procesos bloqueados y procesos bloqueantes Procesos activos y procesos pasivos. Procesos padre y procesos hijo Proceso monitor y proceso principal.
En los monitores los procesos bloqueados: Se bloquean en las colas asociadas a variables de condición.
Se bloquean en las colas de acceso al propio monitor Solo pasan a estado bloqueado si se ejecuta delay(var) a y b son ciertas.
En la semántica resume & exit, el proceso desbloqueado por resume(v) es: El primer proceso que estuviera bloqueado en la cola de la variable de condición v El primer proceso que estuviera esperando para acceder al monitor El sistema elige aleatoriamente entre la alternativa a y b Ninguna de las anteriores es cierta.
En el direccionamiento asimétrico del paso de mensajes: El emisor no identifica al receptor pero el receptor identifica al emisor El emisor identifica al receptor, pero el receptor no identifica al emisor El emisor identifica al receptor y el receptor identifica al emisor. El emisor no identifica al receptor y el receptor no identifica al emisor.
En la instrucción de espera selectiva select, el proceso que la ejecuta se bloquea si: No se cumple ninguna de las guardas, si las tuviera No disponga de alternativa else No existe ningún mensaje en los buzones/canales que se manejan La instrucción select no genera bloqueo del proceso.
.
El paso de mensajes síncrono permite la comunicación: Uno a uno. Uno a muchos Muchos a muchos Muchos a uno.
En las llamadas a procedimiento remoto (RPC), la invocación al resguardo del cliente: Siempre genera el bloqueo del proceso que realiza la invocación. Debe garantizar que existe concordancia entre los parámetros. No requiere de conexión entre cliente y servidor. La invocación se realiza siempre a un módulo que se encuentra en otro sistema.
|
