[ATOMICSABI64]: Alpha Draft of Atomics ABI #256
Conversation
This is the Alpha draft of the ABI for the "C/C++ Atomics Application Binary Interface Standard for the Arm® 64-bit Architecture" This document describes the C/C++ Atomics Application Binary Interface for the Arm 64-bit architecture. This document concerns the valid mappings from C/C++ Atomic Operations to sequences of A64 instructions. This document does not support Armv7. For matters concerning the memory model, please consult §B2 of the Arm Architecture Reference Manual. We focus only on a subset of the C11 atomic operations and their mapping to A64 instructions at the time of writing. More atomics will be added. Co-Authored with Wilco Dijkstra (@Wilco1).
|
Apologies for my delay folks, I think I've addressed everything here now with the new version On the footnote front, I had to use a |
atomicsabi64/atomicsabi64.rst
Outdated
| Operations include Thread Fences. | ||
|
|
||
| Shared-Memory Location | ||
| A memory location that can be accessed by any Thread of Execution in the |
There was a problem hiding this comment.
By any Thread of Execution do you mean any one thread or all threads?
Intuitively I'd expect shared-memory location to be accessible by more than one Thread of Execution, but not necessarily all.
If I'm write perhaps: "by more than one Thread of Execution"
There was a problem hiding this comment.
Fixed, I've changed it to Thread and simplified definitions.
atomicsabi64/atomicsabi64.rst
Outdated
| following sub-components. | ||
|
|
||
| * The `Mappings from Atomic Operations to Assembly Sequences`_, which defines | ||
| the Mappings from C/C++ atomic operations to sto one of more Assembly |
atomicsabi64/atomicsabi64.rst
Outdated
| +-------------------------------------------------------------------------------------------+ | ||
| | Note | | ||
| +===========================================================================================+ | ||
| | ``*`` Using ``WZR`` or ``XZR`` for the destination register is invalid (Section 4.7). | |
There was a problem hiding this comment.
I'm assuming this * corresponds to the * on some of the sequences in the table?
I think it would be be good to make this explicit. For example
In the tables below, in sequences with * Using WZR ...
Alternatively we could do something like note1 or a footnote instead of *.
There was a problem hiding this comment.
Fixed, added before table rather than as a note at end. Normal footnotes didn't work properly, placed at very end of document...
atomicsabi64/atomicsabi64.rst
Outdated
| The content of this specification is a draft, and Arm considers the | ||
| likelihood of future incompatible changes to be significant. | ||
|
|
||
| All content in this document is at the **Release** quality level. |
There was a problem hiding this comment.
This should be **Alpha** quality I believe.
atomicsabi64.pdf
This is the Alpha draft of the ABI for the
"C/C++ Atomics Application Binary Interface Standard for the Arm® 64-bit Architecture"
This document describes the C/C++ Atomics Application Binary Interface for the Arm 64-bit architecture.
This document concerns the valid mappings from C/C++ Atomic Operations to sequences of A64 instructions. This document does not support Armv7.
For matters concerning the memory model, please consult §B2 of the Arm Architecture Reference Manual.
We focus only on a subset of the C11 atomic operations and their mapping to A64 instructions at the time of writing.
More atomics will be added.
Co-Authored with Wilco Dijkstra (@Wilco1).