« earlier | later » Page 1 of 18
"This page collects work by a group of people working to develop mathematically rigorous and usable semantics for multiprocessor programs." The gap between what the manual says, what the processor actually does, and what programmers can reason about -- lots of interesting stuff.
to architecture cmp202 concurrency cpu memory-models ... on 24 October 2018
50 Shades of Go: Traps, Gotchas, and Common Mistakes for New Golang Devs
Mostly interesting to me for the concurrency problems.
to concurrency errors go language-design ... on 24 October 2018
Communicating Sequential Processes (CSP), by C. A. R. Hoare (PDF Version)
Online version of Tony Hoare's classic book.
to concurrency csp ... on 12 February 2018
fchan-go/writeup at master · google/fchan-go
Finally trying to produce a better channel implementation for Go (bet they don't cite our paper though!).
to channel concurrency go process-oriented ... on 26 February 2017
Making the move from Scala to Go, and why we're not going back | Movio Blog
POP being one reason: "It's not just the fact that channels and goroutines are cheaper in terms of resources [...] They are also easier to reason about when coding."
to concurrency go language-design process-oriented scala ... on 26 February 2017
Lightweight fork-join concurrency in C.
to c concurrency coroutine lightweight-processes parallel ... on 14 October 2016
Lock-free programming for the masses · KC Sivaramakrishnan
"We use take l_fork <*> take r_fork to atomically take both of the forks." Reagents in Multicore OCaml -- which are semantically (more or less?) equivalent to the multiway barriers that Neil implemented in CHP.
to concurrency multiway ocaml reagents synchronisation ... on 14 October 2016
A couple of studies (now a few years old) looking at what kinds of concurrency bugs show up in real software.
to concurrency correctness debugging software-engineering ... on 28 August 2016
Visualizing Concurrency in Go · divan's blog
The Go community reinventing what occam was doing in the 80s, again. I'm still not sure whether this is a positive thing or not.
to concurrency go visualisation ... on 28 February 2016
It's like Python but with a "parallel:" construct and a usage checker. Sounds familiar to anyone? :)
to concurrency language-design nim occam python ... on 22 March 2015
« earlier | later » Page 1 of 18
tasty by Adam Sampson.