Tema 4: SISTEMAS BASADOS EN PASO DE MENSAJES

3. Espera Selectiva
• Productor consumidor con buffer de tamaño fijo
– Buffer no conoce a priori orden de peticiones (Inserción/Extracción)
– Guardas controlan condiciones de sincronización (seguridad)
– ¿Cuándo termina buffer
• Sentencia select con temporizador (timeout).
PROC Buffer
const tam=10;
int buf[tam], cont=0, in=0, out=0;
{while (true){
SELECT {
PROC Productor {
for(i=0;i