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 https://www.cl.ca

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 https://www.cl.cam.ac.uk/~pes20/weakmemory/index3.html