Updated: meaning of concurrent programs

Updated rough draft available with thrilling descriptions of atomic compare and swap and some comments on “formal methods”. Bonus photo

Wild Onion

One thought 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.