Re: [go-nuts] History & origins of the Go memory model

Thanks for this bit of history, Ian! I’ve been studying the memory model in grad school for a few years now and I think it’s well written. I was curious about how it came to be. I think the “completes” also mater for buffered channels, for example: https://github.com/golang/go/issues/37355

Re: [go-nuts] History & origins of the Go memory model

On Fri, Nov 27, 2020 at 12:57 PM Daniel Fava wrote: > > Does anyone know how the Go memory model came to be? I don't have technical > questions about it. I just would like to know the historical context. > > The model is specified in terms of happens-before, due to Lamport. But the > followin

[go-nuts] History & origins of the Go memory model

Hi, Does anyone know how the Go memory model came to be? I don't have technical questions about it. I just would like to know the historical context. The model is specified in terms of happens-before, due to Lamport. But the following rule, which allows channels to be used as locks, was not