| |
| | [No title] |
 | | initial configuration: no forks dirty, phil 1 has both forks, phil 2 thru 4 have right fork but not left, phil 5 has neither, all phils thinking phil 5 get H, asks for its R fork from phil 1, gets it, asks phil 4 for L fork, while that message is in transit.... |
 | | phil 4 gets H, has R fork, asks phil 3 for L fork, while that message is in transit...... |
 | | somebody just ate last and has two dirty forks so now we are back to something like the initial configuration a hold-and-wait cycle can't form either clockwise or counterclockwise if one starts to form clockwise, then the philosopher who just fininshed eating's right fork will go right and its right neighbor can eat |
| www.mcs.drexel.edu /~shartley/MCS361/Lectures/02.2.decentralized_din_phil (413 words) |
|