È possibile pranzare e filosofi problema - un chiarimento necessario

Question

Di recente ho letto questo articolo Wikipedia per quanto riguarda il problema è possibile pranzare e filosofi, ma non mi è chiaro con Chandy / Misra soluzione.

Secondo l'articolo, "Quando un filosofo con una forchetta riceve un messaggio di richiesta, tiene la forcella, se è pulito, ma dà in su quando è sporco." Nel contesto di questa domanda, si passa se è mangiare e lo mantiene se non ha ancora cominciato a mangiare.

Secondo lo scenario, Qual è il significato di Dirty? Discussione è in esecuzione o è yeilded?

Answer 1

Dirty significa che il trattamento è iniziato in modo che possa essere interrotto.

E si può solo processo se si dispone di due forchette.

Answer 2

Dirty sembra significare 'inattive' o 'era disponibile', e pulite significa 'dovuto richiederla' o 'preempted esso'.

Si dice che una forchetta è 'sporco', se lo prese (la forcella non è stato sostenuto quando voleva), e 'pulito' se dovesse farne richiesta, e che il suo stato iniziale è sporco.

• Pick up una forchetta => forcella a disposizione è sporco => pulirla e dare in su quando gli viene chiesto.

• No forcella disponibili => chiedere per essa => lo riceverà pulito.

Mi ricorda il modello organizzativo chiamato Non interrompere un interrupt .