fchan-go/writeup at master · google/fchan-go edit / delete

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

Making the move from Scala to Go, and why we're not going back | Movio Blog edit / delete

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

libdill edit / delete

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 edit / delete

"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

Notes on concurrency bugs edit / delete

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 edit / delete

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

Nim Programming Language edit / delete

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

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

Browser bookmarks: tasty+ | tasty= Log in | Export | Atom

Tags related to concurrency

- concurrency
 
1 + active-objects
7 + ag0803
1 + algol
2 + algorithm
1 + amusements
1 + android
1 + apache
1 + arm
1 + assembler
1 + atomic
3 + atomics
1 + audio
1 + benchmarking
1 + beta
1 + boost
1 + broadcast
1 + buffering
1 + bug
1 + bugs
5 + c
9 + c++
1 + channel
2 + channels
1 + client-server
1 + clojure
4 + compiler
2 + conference
6 + continuations
1 + cop
1 + coroutine
5 + coroutines
1 + correctness
2 + cpu
2 + cs
8 + csp
1 + data-structures
2 + debugging
6 + design
1 + distributed
1 + ease
3 + electronics
4 + embedded
7 + erlang
4 + etext
1 + exceptions
1 + fgmpi
1 + formal-methods
1 + forth
2 + fpga
2 + functional
1 + future
2 + futures
2 + games
1 + gcc
1 + gcd
8 + go
1 + gpgpu
1 + gprof
1 + greenlets
1 + guitar
1 + handel-c
5 + haskell
1 + helios
1 + herd
2 + intel
1 + ipc
3 + java
4 + javascript
1 + journal
9 + language
16 + language-design
1 + lightweight-concurrency
2 + lightweight-processes
1 + lightweight-threads
2 + linux
1 + lisp
4 + lockfree
2 + lua
1 + lwp
2 + maths
1 + matlab
1 + memory
1 + memory-model
2 + memory-models
2 + message-passing
1 + microcontroller
1 + microprocessor
1 + mobile
1 + mobility
3 + model-checking
1 + monad
1 + monads
1 + mozilla
2 + mpi
4 + multicore
1 + multicore-msc
1 + multiway
1 + mutex
4 + network
3 + networking
1 + newsqueak
1 + nim
1 + nonblocking
1 + oberon
1 + ocaml
10 + occam
3 + oo
1 + openmp
2 + os
1 + papers
18 + parallel
5 + parallelism
4 + patterns
2 + performance
2 + perl
1 + petri-nets
1 + phone
1 + posix
1 + power
1 + process-editor
4 + process-oriented
1 + profiling
22 + programming
1 + propeller
1 + protocol
1 + prototypes
1 + pthreads
8 + publications
16 + python
1 + queue
1 + rcu
1 + reactive
1 + reagents
1 + reliability
78 + research
5 + retrocomputing
1 + ruby
2 + runtime
1 + runtimes
1 + safety
2 + scala
1 + scalability
1 + scheduler
1 + scheduling
1 + scripting
1 + server
1 + shell
1 + simulation
29 + software
2 + software-engineering
1 + sparc
1 + spin
1 + splash
2 + static-analysis
1 + stm
2 + synchronisation
2 + tbb
21 + teaching
1 + theory
2 + thesis
1 + threading
5 + threads
1 + to-package
2 + transactional
1 + transactional-memory
2 + transputer
1 + transterpreter
2 + tutorial
1 + types
1 + unix
1 + valgrind
1 + video
1 + visualisation
1 + vm
1 + wasp
9 + web
1 + x86
2 + xmos