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

[det3.livejournal.com]

Heh. I first learned of that dilemma when I read Tannenbaum. Stuck with me ever since.

[compilerbitch.livejournal.com]

For me I think it would probably have been a lecture by Tony Hoare I went to in 1990 or 91, or maybe reading his CSP book, I don't remember. It's a fun problem. It's in my paper because it's a classic example in model checking, so (of course) I couldn't resist including the silly drawing!