<corpo> <codeblock> <name>readers and writers</name>: <kw>monitor</kw> <comment>// il monitor dei lettori e scrittori</comment>
<idt></idt><kw>begin</kw> <name>readercount</name> : integer;
<idt></idt><idt></idt><name>busy</name>: Boolean; <comment>// detto prima del controllo se qualcuno scrive</comment>
<idt></idt><idt></idt><name>OKtoread</name>, <name>OKtowrite</name>: condition; <comment>// condizioni</comment>
<idt></idt><idt></idt><kw>procedure</kw> <name>startread</name>; <comment>// inizia la procedura</comment>
<idt></idt><idt></idt><idt></idt><kw>begin</kw>
<idt></idt><idt></idt><idt></idt><idt></idt><kw>if</kw> <name>busy</name> || <name>OKtowrite</name>.queue <kw>then</kw> <name>OKtoread</name>.wait; <comment>// controlla se c'è una scrittura in attesa per bloccare il prossimo lettore</comment>
<idt></idt><idt></idt><idt></idt><idt></idt><name>readercount</name> := <name>readercount</name> + 1;
<idt></idt><idt></idt><idt></idt><idt></idt><name>OKtoread</name>.signal;
<idt></idt><idt></idt><idt></idt><idt></idt><comment>// dopo che un lettore inizia iniziano quelli in coda dopo</comment>
<idt></idt><idt></idt><idt></idt><kw>end</kw> <name>startread</name>; <comment>// fine iniziolettura</comment>
<idt></idt><idt></idt><kw>procedure</kw> <name>endread</name>; <comment>// finelettura</comment>
<idt></idt><idt></idt><idt></idt><kw>begin</kw>
<idt></idt><idt></idt><idt></idt><idt></idt><name>readercount</name> := <name>readercount</name> - 1 ; <comment>// leva i lettori in coda</comment>
<idt></idt><idt></idt><idt></idt><idt></idt><kw>if</kw> <name>readercount</name> = 0 <kw>then</kw> <name>OKtowrite</name>.signal <comment>// appena finiscono si scrive</comment>
<idt></idt><idt></idt><idt></idt><kw>end</kw> <name>endread</name>; <comment>// fine finelettura</comment>
<idt></idt><idt></idt><kw>procedure</kw> <name>startwrite</name>; <comment>// inizio scrittura</comment>
<idt></idt><idt></idt><idt></idt><kw>begin</kw>
<idt></idt><idt></idt><idt></idt><idt></idt><kw>if</kw> <name>readercount</name> != 0 || <name>busy</name> <kw>then</kw> <name>OKtowrite</name>.wait <comment>// se ci sono lettori aspetta la scrittura</comment>
<idt></idt><idt></idt><idt></idt><idt></idt><name>busy</name> := true
<idt></idt><idt></idt><idt></idt><kw>end</kw> <name>startwrite</name>; <comment>// fine inizioscrittura</comment>
<idt></idt><idt></idt><kw>procedure</kw> <name>endwrite</name>; <comment>// procedura finescrittura</comment>
<idt></idt><idt></idt><idt></idt><kw>begin</kw>
<idt></idt><idt></idt><idt></idt><idt></idt><name>busy</name> := false;
<idt></idt><idt></idt><idt></idt><idt></idt><kw>if</kw> <name>OKtoread</name>.queue <kw>then</kw> <name>OKtoread</name>.signal
<idt></idt><idt></idt><idt></idt><idt></idt><kw>else</kw> <name>OKtowrite</name>.signal <comment>// continua a fare entrare in scrittura</comment>
<idt></idt><idt></idt><idt></idt><kw>end</kw> <name>endwrite</name>; <comment>// fine finescrittura</comment>
<idt></idt><idt></idt><name>readercount</name> := 0;
<idt></idt><idt></idt><name>busy</name> := false;
<idt></idt><kw>end</kw> <name>readers and writers</name>; <comment>// finito tutto</comment>
</codeblock> </corpo> <autore>Lorenzo Viola</autore>