Tasty » Adam Sampson's concurrency bookmarks

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

C++17: I See a Monad in Your Future! |   Bartosz Milewski's Programming Cafe edit / delete

Why C++ futures are like monads. Neat!

to c++ concurrency future haskell language-design monad ... on 09 April 2014

GeekDot - Helios Next Generation edit / delete

Helios -- the roughly-Unixish microserver-based OS for transputers -- is now free software.

to concurrency helios os retrocomputing software transputer ... on 26 March 2014

Designing ParaSail, a new programming language: Concurrency vs. Parallelism edit / delete

Pithy definitions thereof.

to ag0803 concurrency parallel ... on 29 December 2013

checkedthreads: bug-free shared memory parallelism edit / delete

Fork-join framework with static checking assisted by Valgrind. Good description of how the analysis works.

to ag0803 concurrency parallel software static-analysis valgrind ... on 15 December 2013