Hacker News Reader

> Like closely related previous work [33, 37], we omit the relaxed memory model of x86-64 and thus the concurrency- related operations.

Bummer

For the memory model you can take a look at some of the best research in the subfield: