Final Concurrente Septiembre 2014 1

Final Septiembre 2014


1) Describa brevemente en qué consisten los mecanismos de RPC y Rendezvous. Para qué tipo de problemas son más adecuados?

2) Hacer una sección critica con variablescompartidas

3)Qué elementos de la forma general de rendezvous no se encuentran en el lenguaje ADA?

El ejercicio 4 era como este pero con otros valores pero la lógica es la misma
4)Dados los siguientesdos segmentos de código, indicar para cada uno de los ítems si son equivalentes o no.
Justificar cada caso (de ser necesario dar ejemplos). Segmento 1 … int cant=1000; DO (cant < -10); datos?(cant) →Sentencias1 □ (cant > 10); datos?(cant) → Sentencias2 □ (INCOGNITA); datos?(cant) → Sentencias3 END DO ...
Segmento 2 … int cant=1000; While (true) { IF (cant < -10); datos?(cant) → Sentencias1 □(cant > 10); datos?(cant) → Sentencias2 □ (INCOGNITA); datos?(cant) → Sentencias3 END IF } ...

a) INCOGNITA equivale a: (cant = 0),
b) INCOGNITA equivale a: (cant > -100)
c) INCOGNITA equivale a:((cant > 0) or (cant < 0))
d) INCOGNITA equivale a: ((cant > -10) or (cant < 10))
e) INCOGNITA equivale a: ((cant >= -10) or (cant <= 10))
SOLUCION:
Dados los siguientes dos segmentos de código,indicar para cada ítem si son equivalentes o no. Justificar en cada caso (dar ejemplos si es necesario).







a) INCOGNITA equivalente a: (cant = 0).
No son equivalentes ya que el DO en segmento 1terminaría para valores de cant (1...10) (-1…-10) mientras que en segmento 2 el if fallaría pero la iteración se seguiría realizando.
b) INCOGNITA equivalente a: (cant > -100)
Son equivalentes ensegmento 1 con estas condiciones no hay ningún caso en el que todas las guardas fallen por lo tanto el DO no termina nunca, esto sería el mismo comportamiento que el while true con el IF.
c) INCOGNITAequivalente a: ( (cant > 0 ) or (cant < 0))
No son equivalentes ya que el DO termina si cant=0 porque todas las guardas son false.
d) INCOGNITA equivalente a: ( (cant > -10 ) and (cant < 10))
No son...