Problème des philosophes - Une clarification nécessaire

Question

J'ai lu récemment cet article de Wikipedia en ce qui concerne la salle à manger Philosophes problème, mais je ne suis pas clair avec solution Chandy / Misra.

Selon l'article, « Quand un philosophe avec une fourchette reçoit un message de demande, il garde la fourche si elle est propre, mais il donne quand il est sale. » Dans le cadre de cette question, il passe s'il est de manger et le garde s'il n'a pas commencé à manger encore.

Selon le scénario, Quel est le sens de sale? Le fil est en cours d'exécution ou il a yeilded?

Answer 1

sale signifie que le traitement a commencé il peut être interrompu.

Et vous ne pouvez traiter si vous avez deux fourchettes.

Answer 2

sale semble signifier « ralenti » ou « était disponible », et des moyens propres « devaient en faire la demande » ou «préempté il.

Il dit que la fourchette est s'il a choisi « sale » vers le haut (la fourche n'a pas été soutenu quand il le voulait) et « propre » s'il devait le demander, et que son état initial est sale.

• Ramassez une fourche disponible => fourchette est sale => propre et donner lorsqu'on lui avait demandé.

• Pas FOURCHETTE => faut le demander => recevra nettoyé.

Il me rappelle le modèle organisationnel appelé Ne pas interrompre une interruption .