Operativni Sistemi - Univerzitet u Novom Sadu

MODULE Version4 ;
VAR p1WantsToEnter, p2WantsToEnter : BOOLEAN ;
PROCEDURE Process1 ;
BEGIN
LOOP
p1WantsToEnter := TRUE ;
WHILE p2WantsToEnter DO
p1WantsToEnter := FALSE ;
DELAY ( maliInterval1 ) ;
p1WantsToEnter := TRUE
END;
KriticnaOblast1 ;
p1WantsToEnter := FALSE ;
OstaleStvari1
END
END Process1;
PROCEDURE Process2 ;
BEGIN
LOOP
p2WantsToEnter := TRUE ;
WHILE p1WantsToEnter DO
p2WantsToEnter := FALSE ;
DELAY ( maliInterval2 ) ;
p2WantsToEnter := TRUE
END;
KriticnaOblast2 ;
p2WantsToEnter := FALSE ;
OstaleStvari2
END
END Process2;
// javimo da P1 želi ući
// sve dok P2 želi ući
// odustajemo od toga da P1 uđe
// čekamo malo,da to P2 primeti
// javimo da P1 želi ući
// izlazimo
// javimo da P2 želi ući
// sve dok P1 želi ući
// odustajemo od toga da P2 uđe
// čekamo malo,da to P1 primeti
// javimo da P2 želi ući
// izlazimo
BEGIN
p1WantsToEnter := FALSE ;
p2WantsToEnter := FALSE ;
PARBEGIN ;
Process1 ;
Process2 ;
PAREND
END Version4.
Analiza: ova verzija zamalo da radi, ali postoji moguć nost greške. Pp. da se procesi izvršavaju
paralelno: Process1 stavlja p1WantsToEnter:=TRUE, Process2 stavlja
p2WantsToEnter:=TRUE, zatim oba procesa uđu u WHILE petlju, oba procesa za neko vreme
odustaju od ulaska u k.o. Process1 č eka u trajanju maliInterval1 a Process2 u trajanju maliInterval2.
Neka generatori sluč ajnih brojeva generišu iste vrednosti, tj neka je maliInterval1=maliInterval2, tada ć e
ponovo biti p1WantsToEnter:=TRUE i p2WantsToEnter:=TRUE i sve poč injemo iz poč etka.
Znač i, mada je mala verovatnoć a da oba generatora sluč ajnih brojeva izgenerišu isti niz vrednosti, postoji
moguć nost da ovaj algoritam ne radi i da dođe do zaglavljivanja (dead lock) – a to može dovesti do vrlo
ozbiljnih grešaka npr. ako se algoritam koristi za upravljanje nuklearnom elektranom, saobrać ajem itd.
26