30.10.2014 Views

Operating Systems - David Vernon

Operating Systems - David Vernon

Operating Systems - David Vernon

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

Processes<br />

InterProcess Communication IPC<br />

– Semaphores (Dijkstra 1965)<br />

»DOWN<br />

generalization of SLEEP<br />

checks if semaphore value<br />

is greater than zero<br />

if semaphore > 0<br />

then<br />

decrement semaphore<br />

else<br />

process is blocked (sleep)<br />

decrement semaphore<br />

Copyright © 2007 <strong>David</strong> <strong>Vernon</strong> (www.vernon.eu)

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!