1 Comment on Updated: meaning of concurrent programs

  1. 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.