diff options
Diffstat (limited to 'libitm/doc/the-libitm-abi/memory-model.rst')
| -rw-r--r-- | libitm/doc/the-libitm-abi/memory-model.rst | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/libitm/doc/the-libitm-abi/memory-model.rst b/libitm/doc/the-libitm-abi/memory-model.rst deleted file mode 100644 index f43e2f81df5..00000000000 --- a/libitm/doc/the-libitm-abi/memory-model.rst +++ /dev/null @@ -1,18 +0,0 @@ -.. - Copyright 1988-2022 Free Software Foundation, Inc. - This is part of the GCC manual. - For copying conditions, see the copyright.rst file. - -[New] Memory model -****************** - -The ABI should define a memory model and the ordering that is guaranteed for -data transfers and commit/undo actions, or at least refer to another memory -model that needs to be preserved. Without that, the compiler cannot ensure the -memory model specified on the level of the programming language (e.g., by the -C++ TM specification). - -For example, if a transactional load is ordered before another load/store, then -the TM runtime must also ensure this ordering when accessing shared state. If -not, this might break the kind of publication safety used in the C++ TM -specification. Likewise, the TM runtime must ensure privatization safety.
\ No newline at end of file |