McKenney: So You Want to Rust the Linux Kernel?

The channels in Go or communicating serial processes (CSP) as they were called in the original paper by Tony Hoare are problematic for performance. Ada initially relied exclusively on them, but quickly gained mutexes when it was realised in eighties that the hope that the compiler could optimise CSP patterns was way too optimistic. Almost 40 years later situation has not changed much. Even in Go if one wants to max the performance one better use mutexes or other low-level synchronisation methods. So channels are just not suitable for kernel.

And even when performance is not critical channels at least as implemented in Go have numerous problems. Proper cancelation is hard. Priority message delivery is not supported. From anecdotal experience even in Go using single untyped message queue per goroutine modelling what Erlang leads to more maintainable code than using multiple typed channels and select.