Concorrência: exclusão mútua e sincronização - UFF
Concorrência: exclusão mútua e sincronização - UFF
Concorrência: exclusão mútua e sincronização - UFF
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Semáforos<br />
Um semáforo fica associado a um recurso<br />
compartilhado, indicando se ele está sendo usado<br />
Se o valor do semáforo é maior do que zero, então<br />
existe recurso compartilhado disponível<br />
Se o valor do semáforo é zero, então o recurso está<br />
sendo usado<br />
wait(S)<br />
S.count --;<br />
if (S.count < 0)<br />
bloqueia processo;<br />
signal(S)<br />
S.count++;<br />
if (S.count