PRV Zadaci - Programiranje u Realnom Vremenu

Konkurentno programiranje
1. Zaštideni objekti na jeziku Ada
Potrebno je projektovati sistem za kontrolu saobraćaja u nekom jednosmernom tunelu. U cilju
bezbednosti, u tunelu se ne sme nalaziti više od približno N vozila u datom trenutku. Semafor na ulazu
u tunel kontroliše priliv vozila, dok detektori vozila na ulazu i izlazu iz tunela prate tok vozila. Potrebno
je napisati dva procesa i monitor kojima se kontroliše tok saobraćaja u tunelu. Prvi proces nadzire
ulazni, a drugi izlazni detektor saobraćaja. Monitor kontroliše semafor na ulazu u tunel. Pretpostavlja se
da su realizovane sledeće globalne funkcije:
int carsExited (); // Vraća broj vozila koja su napustila tunel
// od trenutka poslednjeg poziva ove funkcije
int carsEntered (); // Vraća broj vozila koja su ušla u tunel
// od trenutka poslednjeg poziva ove funkcije
void setLights (Color); // Postavlja svetlo semafora na zadatu boju:
// enum Color {Red, Green};
void delay10Seconds (); // Blokira pozivajući proces na 10 sekundi
Program treba da očitava senzore (preko funkcija carsExited() i carsEntered()) svakih 10 sekundi,
sve dok tunel ne postane prazan ili pun. Kada tunel postane pun (i na semaforu se upali crveno svetlo),
proces koji nadgleda ulaz u tunel ne treba više kontinualno da poziva funkciju carsEntered(). Slično,
kada tunel postane prazan, proces koji nadgleda izlaz iz tunela ne treba više kontinualno da poziva
funkciju carsExited(). Prikazati rešenje korišćenjem zaštićenih objekata u jeziku Ada.
Rešenje:
N : constant Integer := ...;
protected type Tunel is
entry carsIn();
entry carsOut();
private
current : Integer := 0;
end Tunel;
protected body Tunel is
entry carsIn when current < N is
begin
current := current + carsEntered();
if current >= N then
setLights(Red);
end if
end carsIn
38