Spis treœci - Patrz

eginwith k do begincc := 0;dc := 0;cp := 0;dp := 0endwloz(K, stan, k)end; {INICJATOR}processCZYTELNIK(i: l..C);var p: integer;{podkanał - nieistotny}s: sygnał; {komunikat - też nieistotny}k: komunikat;beginwhile true do beginwlasne_sprawy;wez(K, stan, p, k);if k.cp+k.dp > 0 then begink.cc := k.cc + 1; {są pisarze, trzeba czekać}wloz(K, stan, k);wez(K, start_czyt, p, s){czekanie}end else begin{czytelnik wchodzi}k.dc := k.dc + 1;wloz(K, stan, k)end;czytanie;wez(K, stan, p, k);k.dc := k.dc - 1;if (k.dc = 0) and (k.cp > 0) thenwloz(K, start_pis, s); {wpuszczenie pisarza}wloz(K, stan, k)endend; {CZYTELNM}processPISARZ(i: l..P);var p: integer;{podkanał - nieistotny}s: sygnał; {komunikat - też nieistotny}k: komunikat;j: integer;beginwhile true do beginwlasne_sprawy;wez(K, stan, p, k);if k.dc + k.dp > 0 then {są działający czytelnicy]begin{lub pisarze}k.cp := k.cp + 1; {trzeba czekać}wloz(K, stan, k);wez(K, start_pis, p, s) {czekanie}endelse begin{pisarz wchodzi}k.dp := 1;wloz(K, stan, k)end;pisanie;wez(K, stan, p, k);if k.cc > 0 then begin {czekają czytelnicy}k.dp := 0;k.dc := k.cc;k.cc := 0;236