Spis treœci - Patrz

eginwhile true do beginpisarz := ...; {określenie rodzaju procesu}SEKRETARZ(i).POZWOL(pisarz);P(MOGE[i]);if pisarz then pisanieelse czytanie;SEKRETARZ(i).SKOŃCZYŁEM;wlasne_sprawyendend; {PR}processSEKRETARZ(i: l..N);var mam, chcę, pisarz: boolean;export procedure POZWOL(czy_pisarz: boolean);beginpisarz := czy_pisarz;chcę := true;if not pisarz and mam then V(MOGE[i])end; {POZWÓL}export procedure SKOŃCZYŁEM;beginchcę := false;if pisarz then wloz(K, i, 0)end; {SKOŃCZYŁEM}export procedure UPRAWNIENIE(c: integer);beginif pisarz thenif chcę and (c = 0) then V(MOGE[i])else wloz(K, i, c)else begin {czytelnik}if chcę and not mam then beginc := c + 1;mam := true;V(MOGE[i])end;if not chcę and mam then beginc := c - 1;mam := falseend;wloz(K, i, c)endend; {UPRAWNIENIE}beginmam := false;chcę := false;if i = 1 then wloz(K, 1, 0)end; {SEKRETARZ}processPOSLANIEC(i: l..N);var p: integer;beginwhile true do beginwez(K, i, p, c);SEKRETARZ(i mod N + l).UPRAWNIENIE(c)endend; {POSŁANIEC}270