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.

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Google+ photo

You are commenting using your Google+ account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )


Connecting to %s