« earlier | later » Page 3 of 18
C++17: I See a Monad in Your Future! | Bartosz Milewski's Programming Cafe
Why C++ futures are like monads. Neat!
to c++ concurrency future haskell language-design monad ... on 09 April 2014
GeekDot - Helios Next Generation
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
Pithy definitions thereof.
to ag0803 concurrency parallel ... on 29 December 2013
checkedthreads: bug-free shared memory parallelism
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
A surprise with mutexes and reference counts [LWN.net]
A nice example of a concurrency bug in Linux resulting from an interaction between mutexes and atomics.
to ag0803 bug concurrency linux mutex ... on 13 December 2013
Living without Pointers: Bringing Value Semantics to Object-Oriented Parallel Programming
Coming at mobile data from the other direction.
to concurrency language-design mobile oo parallel programming splash ... on 01 December 2013
Common Pitfalls in Writing Lock-Free Algorithms | MemSQL Blog | The Real-Time Analytics Platform
Both in terms of correctness and performance.
to algorithm concurrency debugging lockfree performance ... on 24 October 2013
Concurrent Revisions | Lambda the Ultimate
"Concurrent Revisions are a distributed version control-like abstraction [1] for concurrently mutable state that requires clients to specify merge functions that make fork-join deterministic, and so make concurrent programs inherently composable." That is, it's a shared data strategy based on version control ideas, which is kind of neat.
to concurrency language-design ... on 24 October 2013
MPI with a lightweight process scheduler. This was presented at CPA 2013 -- looks like it'll be worth playing with.
to concurrency mpi scheduler software to-package ... on 24 October 2013
"Go-style channels in Lua" -- i.e. CSP channels done with an implementation of Go's channel algorithm on top of Lua's coroutines. Neat.
to channels concurrency csp go lua scheduling ... on 08 September 2013
« earlier | later » Page 3 of 18
tasty by Adam Sampson.