I have read it (along with lots Russ Cox wrote about CSP and Go, such as https://swtch.com/~rsc/thread/ https://swtch.com/~rsc/thread/) and McIlroy (https://www

I have read it (along with lots Russ Cox wrote about CSP and Go, such as https://swtch.com/~rsc/thread/ https://swtch.com/~rsc/thread/) and McIlroy (https://www.cs.dartmouth.edu/~doug/sieve/sieve.pdf https://www.cs.dartmouth.edu/~doug/sieve/sieve.pdf) . From what I can tell, CSP channels are semantically equivalent to a particular subtype of queues and use the same OS primitives. I'm not an OS expert but I've worked with distributed systems and threads for decades, and nobody I've asked has disagreed that Go's implementation of CSP is an M:N thread model with (blocking) queues.