Ejercicios ADA Procesos – Hoja2

Ejercicios de Programación de Servicios y Procesos en ADA, implementando los algoritmos de:

Algoritmo de Peterson (Tie-breaker algorithm)
Algoritmo con turno de espera (Ticket algorithm)
Algoritmo de la panadería (Bakery algorithm)
Semáforos, semáforos binarios
El problema de los filósofos
El problema de los lectores y los escritores

--| 07/11/2012
--| IMPLEMENTACIÓN SEMAFORO



package body tSemaforo is


	-- Implementacion de la tarea semaforo:
	task body Semaforo is
		elValor:Natural := valorInicial;
	begin
		loop
			select
				when elValor > 0 =>
					accept wait do
						elValor := elValor - 1;
					end wait;
				or
					accept send do
						elValor := elValor + 1;
					end send;
				or
					terminate;
			end select;
		end loop;
	end semaforo;
	
		
end tSemaforo;