Clase 3

El problema de la Seccin Crtica

Exclusin mutua. A lo sumo un proceso est en su SC
Ausencia de Deadlock (Livelock): Si 2 o ms procesos
tratan de entrar a sus SC, al menos uno tendr xito.
Ausencia de Demora Innecesaria: Si un proceso trata de
13
entrar a su SC y los otros estn en sus SNC o terminaron, el
primero no est impedido de entrar a su SC.
Eventual Entrada: Un proceso que intenta entrar a su SC
tiene posibilidades de hacerlo (eventualmente lo har).
Las 3 primeras son propiedades de seguridad, y la 4de vida.
Solucin trivial <SC>. Pero, cmo se implementan los <> ?
El problema de la Seccin Crtica.
Hardware Deshabilitar Interrupciones
Hardware Test & Set , Fetch & Add. Spin Locks.
Contencin de Memoria
Hardware Test & Test & Set. Minimiza la contencin de
memoria pero no la elimina.
Podra haber problemas con algoritmos de scheduling
debilmente fairs
Seccin Crtica. Soluciones Fair
Spin locks no controla el orden de los procesos demorados es
posible que alguno no entre nunca si el scheduling no es fuertemente
fair (race conditions)
Algoritmo Tie-Breaker protocolo de SC que requiere scheduling
slo dbilmente fair y no usa instrucciones especiales, pero es ms
complejo
Usa una variable adicional para romper empates, indicando qu
proceso fue el ltimo en comenzar a ejecutar su protocolo de entrada
a la SC ultimo variable compartida de acceso protegido
(quita prioridad) al ltimo en comenzar demora su protocolo de
Entrada