One thought on “Updated: meaning of concurrent programs”

  • regehr
    June 6, 2008 at 2:04 pm
    Permalink

    Victor- looks like a good start. Something I’d like to see addressed are the semantics of both interrupts and threads. This is a bit selfish– I’m getting major headaches lately thinking about reasoning about code when interrupts may be reentrant.

Comments are closed.