Updated: meaning of concurrent programs Posted on June 4, 2008 by yodaiken by yodaiken Updated rough draft available with thrilling descriptions of atomic compare and swap and some comments on “formal methods”. Bonus photo Post navigation More on common weaknessMeaning of concurrent programs and IP One thought on “Updated: meaning of concurrent programs” 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.