Ideas & society2014 · shared on Hacker News
X86-TSO: A Rigorous and Usable Programmer’s Model for x86 Multiprocessors (2010)
Research PDF · needs verificationExplore X86-TSO: A Rigorous and Usable Programmer’s Model for x86 Multiprocessors (2010), its original source and Hacker News discussions. Discover community perspectives and save it to your reading list.
GO BEYOND THE ABSTRACT
The conversation around the idea.
Original Hacker News threads. Different perspectives, questions, and things worth thinking about.
Showing up to 100 related threads. A paper may appear in a comment rather than the original submission.
Links found in the discussion
Up to 50 recent source links, in HN item order.
Yvlangber ·
Windows 10 on ARM
450 points277 comments
Ydezgeg ·
Coq: The world’s best macro assembler? (2013) [pdf]
187 points61 comments
Yluu ·
Who ordered memory fences on an x86? (2008)
86 points23 comments
Ynkurz ·
X86-TSO: A Rigorous and Usable Programmer’s Model for x86 Multiprocessors (2010)
46 points5 comments
Yluu ·
Intel memory ordering, fence instructions, and atomic operations (2009)
45 points7 comments