--LECTORES Y ESCRITORES
procedure Lectores_Y_Escritores is
procedure Lector(Valor_Leido:out Integer) is separate;
Escritor(Valor_Escrito:in Integer);
entry Comenzar_Lectura;
entry Lectura_Terminada;
begin
null;
end;
procedure Lector(Valor_Leido:out Integer) is
begin
Comenzar_Lectura;
Valor_Leido := Var_Compartida;
Lectura_Terminada
end
task body Lectores_Y_Escritores is
Var_Compartida:Integer;
Lectores:Integer = 0;
begin
accept Escritor(Valor_Escrito:in Integer) do
Var_Compartida:=Valor_Escrito
end;
loop
select
when Escritor'Count=0 accept Comenzar_Lectura;
Lectores:=Lectores+1;
or accept Lectura_Terminada;
Lectores=Lectores-1;
or when Lectores=0;
accept Escritor(Valor_Escrito:in Integer) do
Var_Compartida:=Valor_Escrito;
end;
loop
select
accept Comenzar_Lectura
Lectores=Lectores+1
else exit
end select
end loop
end select
end loop
end Lectores_Y_Escritores