02 seccion critica

Question 1

seccion critica

Answer 1

• definicion de problema
• especificaciones de correccion para cualquier solucion
• hipotesis:
  
  • hay que agregar pre y post protocolos, que pueden usar variables locales o globales, pero que que no pueden ser usadas en otro lugar que en los protocolos
  • SC: avanza si o si. SNC no necesariamente avance.

Resoluciones:
- 1 (starv.), 2 (exc. mut.), 3 (deadlock), 4 (starv.) intento. Alg. de Dekker. Panaderia.