On Mon, Oct 30, 2017 at 6:29 PM <dr.ch.mau...@gmail.com> wrote: > I noticed a very strange effect by translating the > mutual exclusion algorithm of E. W. Dijkstra to Go.
For every combination of lines A/B present/not present, the program has data races, so there's nothing to reason about. You can try it by yourself by issuing $ go run -race main.go -- -j -- 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.