Los filósofos de restauración problema - una aclaración necesaria

Question

Hace poco leí este artículo Wikipedia en relación con el problema de la cena de los filósofos, pero no me queda claro con Chandy / Misra solución.

De acuerdo con el artículo, "Cuando un filósofo con un tenedor recibe un mensaje de solicitud, que mantiene el tenedor si está limpio, pero lo abandona cuando esté sucia." En el contexto de esta pregunta, que pasa si él está comiendo y lo mantiene si no ha empezado a comer todavía.

De acuerdo con el escenario, ¿Cuál es el significado de sucio? El hilo está ejecutando o ha yeilded?

Answer 1

sucio significa que el proceso ha comenzado por lo que puede ser interrumpido.

Y se puede único proceso si tiene dos horquillas.

Answer 2

sucio parece significar medios 'ociosas' o 'estaba disponible', y limpios 'tenían que solicitarlo' o "derecho de prioridad es.

Se dice que un tenedor es 'sucio' si él lo recogió (el tenedor no se sostuvo cuando él quería), y 'limpia' si tenía que solicitarlo, y que su estado inicial está sucio.

• recoger un tenedor => tenedor disponible es sucia => limpiarlo y renunciar a ella cuando se le preguntó.

• Sin tenedor disponible => tener que pedir, => recibirá lo limpien.

Me recuerda el patrón de organización llamada No interrumpa una interrupción .