Escolar Documentos
Profissional Documentos
Cultura Documentos
Semântica Formal e Concorrência
Semântica Formal e Concorrência
Ações:
e = comer
f = pensar
Estados:
E = comendo
F = pensando
1)
2)
W = (F->(D->[b])) (C->[a])
Nesta situação, todos os filósofos irão pegar o garfo que está imediatamente a sua direita, e
após isso irá ver se o garfo a sua esquerda também está livre e tentará pegá-lo, porém após
todos os filósofos pegarem o garfo imediatamente a sua direita, nenhum garfo mais estará
disponível, portanto os filósofos ficariam eternamente esperando um garfo a sua esquerda
ficar disponível, o que não irá ocorrer, sendo assim, um deadlock.
3)
A fórmula é falsa, pois existem 4 ou mais filósofos, ou seja, é impossível que todos os filósofos
consigam realizar a fórmula ao mesmo tempo, pois todos irão pegar ao mesmo tempo
imediatamente a sua direita, porém existem n garfos e n filósofos, logo depois de pegarem o
garfo imediatamente a sua esquerda, ficariam esperando o da esquerda ficar livre, porém isso
nunca irá ocorrer, portanto a fórmula não é verdadeira.