https://123dok.net/document/zwv93d00-semantics-performance-and-language-support-for-transactional-memory.html