On Thu, Sep 15, 2022 at 9:19 AM Thomas Bushnell BSG <tbushn...@google.com> wrote:
> On Thu, Sep 15, 2022 at 11:16 AM robert engels <reng...@ix.netcom.com> > wrote: > >> This is simply incorrect. The ‘issue’ about clarifying the memory has >> been about “happens before” since the beginning. The model was clarified. >> The race detector cannot cope with it. >> >> I don’t think you fully understand what “happens before” means. Please >> read the article I referred to. >> > > The article you referred to is a casual description of a different > language, neither the official GCC documentation itself nor the C++ > standard. I'm not making representations about the semantics of C++ in any > way. > > I understand the model, the race-detector is implementing the model, and > the model is as explicit as it can be that atomics create a "happens > before" relationship only when both variables concerned are atomic. I don't > see any reason to continue this conversation, so I'll leave off here. > The memory model doesn't stop there though. In particular, this section: https://go.dev/ref/mem#model > > Thomas > > -- 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. To view this discussion on the web visit https://groups.google.com/d/msgid/golang-nuts/CAMV2RqocgnUmbOqw0t5pELju%3DCe7wva%2BGjbbgmnPvQwmuSvyXA%40mail.gmail.com.
