Dining philosophers

[compilerbitch]

(from the paper I'm currently working on. Look at the Wikipedia article if you don't already know about the problem)

In other news, it seems that I can taste sugar again. No wasabi peas for me for a while. :-)

Comments

[4zumanga.livejournal.com]

I didn't know there was much left to say about the Philospher's problem. Then again, I spend all my time solving NP-complete problems, and you'd think except for finally answering if P = NP or not, there wasn't much left to say there.

[compilerbitch.livejournal.com]

I'm certainly not saying anything new about it. :-)

It seems to be an expected rite-of-passage that any new model checker should include a dining philosophers sample. So I did, but couldn't stop myself doing the ubiquitous silly drawing. :-)

[mageboltrat.livejournal.com]

nor could I :)