Research on Go memory model and race detector
198 views
Skip to first unread message
Daniel Fava
Jun 11, 2021, 1:18:00 PM6/11/21
to 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:
The defense is on Monday (June 14), here is how to join the presentation:
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
Amnon
Jul 8, 2021, 4:40:28 PM7/8/21
to golang-nuts
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.
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.
Reply all
Reply to author
Forward
0 new messages