Good luck with your thesis. It is worth looking at Russ Cox's blog, where he is giving Memory models his usual thorough treatment.
https://research.swtch.com/mm. I suspect that memory models may be getting increased attention because of the increased usage of Arm processors, with more relaxed memory models. The third article, about the Go memory model is due next week. On Friday, 11 June 2021 at 18:18:00 UTC+1 Daniel Fava wrote: > golan...@googlegroups.com > > Hi, > > I will defending my PhD thesis, which is about the Go memory model and > about race detection in the setting of channel communication. > > Feel free to look at the abstract to see if this might be something that > interests you. You can find a draft of the thesis here: > > https://dfava.github.io/thesis/dfava_draft.pdf > > The defense is on Monday (June 14), here is how to join the presentation: > > > https://www.mn.uio.no/ifi/forskning/aktuelt/arrangementer/disputaser/2021/fava.html > > Besides the introduction (chapter 1), chapter 4 might be the most > interesting to the community. It talks about changes we've made to > runtime/chan.go and to the thread sanitizer so that the Go race detector > better matches the Go memory model. These changes were part of Go's 1.16 > release. > > Cheers, > > Daniel S. Fava > [image: Sent from Mailspring] -- 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/033780a8-e40b-4ef5-b8a4-1311ec5cd0ecn%40googlegroups.com.
