We suppose that successful transactions are sequentially ordered and do not require additional memory fences around them. Technically it can be achieved only if xbegin has implicit acquire memory semantics an xend/xabort has release memory semantics on compiler and hardware level. See the article: https://arxiv.org/pdf/1710.04839.pdf
source not stored for this graph (policy: none)
no outgoing calls
no test coverage detected