43 lines
2.6 KiB
HTML
43 lines
2.6 KiB
HTML
<corpo>
|
|
<small>
|
|
<codeblock>
|
|
<name>readers and writers</name>: <kw>monitor</kw><br />
|
|
<idt></idt><kw>begin</kw> <name>readercount</name> : integer;<br />
|
|
<idt></idt><idt></idt><name>busy</name>: Boolean;<br />
|
|
<idt></idt><idt></idt><name>OKtoread</name>, <name>OKtowrite</name>:condition;<br />
|
|
<br />
|
|
<idt></idt><idt></idt><kw>procedure</kw> <name>startread</name>;<br />
|
|
<idt></idt><idt></idt><idt></idt><kw>begin</kw><br />
|
|
<idt></idt><idt></idt><idt></idt><idt></idt><kw>if</kw> <name>busy</name> V <name>OKtowrite</name>.queue <kw>then</kw> <name>OKtoread</name>.wait;<br />
|
|
<idt></idt><idt></idt><idt></idt><idt></idt><name>readercount</name> := <name>readercount</name> + 1;<br />
|
|
<idt></idt><idt></idt><idt></idt><idt></idt><name>OKtoread</name>.signal;<br />
|
|
<idt></idt><idt></idt><idt></idt><idt></idt><comment>// Quando un lettore può iniziare, tutti possono</comment><br />
|
|
<idt></idt><idt></idt><idt></idt><kw>end</kw> <name>startread</name>;<br />
|
|
<br />
|
|
<idt></idt><idt></idt><kw>procedure</kw> <name>endread</name>;<br />
|
|
<idt></idt><idt></idt><idt></idt><kw>begin</kw><br />
|
|
<idt></idt><idt></idt><idt></idt><idt></idt><name>readercount</name> := <name>readercount</name> -- 1 ;<br />
|
|
<idt></idt><idt></idt><idt></idt><idt></idt><kw>if</kw> <name>readercount</name> = 0 <kw>then</kw> <name>OKtowrite</name>.signal<br />
|
|
<idt></idt><idt></idt><idt></idt><kw>end</kw> <name>endread</name>;<br />
|
|
<br />
|
|
<idt></idt><idt></idt><kw>procedure</kw> <name>startwrite</name>;<br />
|
|
<idt></idt><idt></idt><idt></idt><kw>begin</kw><br />
|
|
<idt></idt><idt></idt><idt></idt><idt></idt><kw>if</kw> <name>readercount</name> != 0 V <name>busy</name> <kw>then</kw> <name>OKtowrite</name>.wait<br />
|
|
<idt></idt><idt></idt><idt></idt><idt></idt><name>busy</name> := true<br />
|
|
<idt></idt><idt></idt><idt></idt><kw>end</kw> <name>startwrite</name>;<br />
|
|
<br />
|
|
<idt></idt><idt></idt><kw>procedure</kw> <name>endwrite</name>;<br />
|
|
<idt></idt><idt></idt><idt></idt><kw>begin</kw><br />
|
|
<idt></idt><idt></idt><idt></idt><idt></idt><name>busy</name> := false;<br />
|
|
<idt></idt><idt></idt><idt></idt><idt></idt><kw>if</kw> <name>OKtoread</name>.queue <kw>then</kw> <name>OKtoread</name>.signal<br />
|
|
<idt></idt><idt></idt><idt></idt><idt></idt><kw>else</kw> <name>OKtowrite</name>.signal<br />
|
|
<idt></idt><idt></idt><idt></idt><kw>end</kw> <name>endwrite</name>;<br />
|
|
<br />
|
|
<idt></idt><idt></idt><name>readercount</name> := 0;<br />
|
|
<idt></idt><idt></idt><name>busy</name> := false;<br />
|
|
<idt></idt><kw>end</kw> <name>readers and writers</name>;<br />
|
|
</codeblock>
|
|
</small>
|
|
</corpo>
|
|
<autore>Lorenzo Viola</autore>
|