Tema 3: MONITORES - Departamento de Lenguajes y Sistemas ...

2. Sincronización en Monitores
2.4.3. Implementación con semáforos del productor/consumidor
• Propuesta de Brinch Hansen(/*signal es la última instrucción*/
program productorconsumidor;
CONST tamaño=...;
VAR b: array [0..tamaño-1] of integer; in, out, n: integer;
s: semaphore; /para E.M.*/
semnovacio, semnolleno: semaphore; /* binarios */
contnovacio, contnolleno: integer;
procedure añadir (v:integer);
{ P(s); if (n==tamaño) { contnovacio+ +; V(s); P(semnovacio); contnovacio --}
b[in] = v; in := (in + 1) % tamaño; n + +;
if contnolleno>0 V(semnolleno) else V(s);}
procedure tomar(var v:integer);
{ P(s); if (n==0) {contnolleno + +; V(s); P(semnolleno); contnolleno - -}
v := b[out]; out := (out + 1) % tamaño; n := -- ;
if contnovacio>0 V(semnovacio) else V(s); }