News for hackers. Stuff that matters.

A comment on A Complete Formal Semantics of x86-64 User-Level Instruction Set Architecture. Parent comment

Re:A Complete Formal Semantics of x86-64 User-Level Instruct... by johnbender on Tuesday April 23, 2019 @07:32PM (#19734080)
For the memory model you can take a look at some of the best research in the subfield:

https://www.cl.cam.ac.uk/~pes20/weakmemory/index3.html

[ Parent | on HN ]

There are no comments on this comment yet.