Tasty » Adam Sampson's concurrency bookmarks

Futures aren't ersatz threads edit / delete

Awfully limiting compared to actual message-passing concurrency, though.

to concurrency futures parallelism ... on 13 March 2015

Taming the Asynchronous Beast with CSP Channels in JavaScript edit / delete

A nice example of the ideas of process-oriented programming being reinvented. (Again.)

to concurrency csp javascript programming web ... on 13 March 2015

On Go edit / delete

A critical comparison of Go and... Algol 68. I would also observe that Go failed to learn even from occam, another Algol-derived language that it's much more closely related to. But I wasn't previously aware of some of the cool features that Algol 68 had; this is a good read.

to algol concurrency go language-design retrocomputing ... on 05 March 2015

Axiomatic validation of memory barriers and atomic instructions [LWN.net] edit / delete

More progress on model checking for memory models on modern processors. The tool described here covers ARM, Power and x86 memory models, and does efficient analysis of (smallish) chunks of code.

to arm atomic concurrency herd intel memory memory-model model-checking power static-analysis x86 ... on 28 August 2014

mikeash.com: Friday Q&A 2014-06-06: Secrets of dispatch_once edit / delete

Nice worked example of how to implement dispatch_once.

to ag0803 atomics c++ concurrency threading ... on 26 July 2014

Simple, Fast, and Practical Non-Blocking and Blocking Concurrent Queue Algorithms edit / delete

"Drawing ideas from previous authors, we present a new non-blocking concurrent queue algorithm and a new two-lock queue algorithm in which one enqueue and one dequeue can proceed concurrently." From 1996.

to ag0803 concurrency data-structures nonblocking queue ... on 04 June 2014

ferd.ca -> An Open Letter to the Erlang Beginner (or Onlooker) edit / delete

A nice overview of what's unique about Erlang (the concurrency stuff is obvious, but the error handling is equally neat).

to concurrency erlang exceptions language-design programming safety ... on 24 May 2014

Systems Programming at Twitter edit / delete

Scala, futures, and functional composition.

to concurrency network programming scala software-engineering web ... on 30 April 2014

FG-MPI: Fine-Grain MPI edit / delete

As presented at CPA. This sounds very neat -- MPI with lightweight scheduling.

to concurrency fgmpi lightweight-processes mpi parallelism software ... on 28 April 2014

An Introduction to Lock-Free Programming edit / delete

Nice description of the general idea, with examples.

to ag0803 concurrency lockfree ... on 27 April 2014