5783291191

Semafory. Problem czytelników i pisarzy

• Wariant 1: liczba miejsc czytelników nie jest ograniczona (ograniczeniem jest tylko typ zmiennej zdefiniowanej wewnątrz semafora)

binary semaphore czytanie //inicjalnie 1 binary semaphore pisanie //inicjalnie 1 integer liczba_czytelników = 0

process pisarz begin

while true begin

1:    sekcja lokalna

2:    wait(pisanie)

3:    pisanie

4:    signal(pisanie)

end

end

process czytelnik begin

while true begin

1:    sekcja lokalna

2:    wait(czytanie)

3:    liczba_czytelnikow = liczba_czytelnikow + 1

4:    if liczba_czytelnikow = 1 then wait(pisanie)

5:    signal(czytanie)

6:    czytanie

7:    wait(czytanie)

8:    liczba_czytelnikow = 1iczba_czytelników - 1

9:    if liczba_czytelników = 0 then signal(pisanie)

10:    signal(czytanie)

end end

13