> > One WIP http://www.doc.ic.ac.uk/~cn06/pub/2016/dingo/ >
Man, this is cool! Thanks for the link. They say their deadlock detector only works for unbounded buffers. Nevertheless, this closes a very important gap. If I only think of the years I spent reproducing deadlocks and race conditions ... Reproducing them is hard and fixing them in the usual non-CSP setting is sometimes even harder (CSP helps a great deal to make this easier). -- You received this message because you are subscribed to the Google Groups "golang-nuts" group. To unsubscribe from this group and stop receiving emails from it, send an email to golang-nuts+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.