The "Armv8 Architecture Reference Manual" says the following about the non-Reordering attribute for Device memory:
"For all memory types with the non-Reordering attribute, the order of memory accesses arriving at a single peripheral of IMPLEMENTATION DEFINED size, as defined by the peripheral, must be the same order that occurs in a simple sequential execution of the program."
Who sets IMPLEMENTATION DEFINED SIZE? Is it set by the hardware engineer who designs the processor, or can IMPLEMENTATION DEFINED SIZE be configured by software, for example, when software sets up the page tables? Could someone point me to a section of the "Armv8 Architecture Reference Manual" that clarifies this?
Thanks for your answer to #1.
I'm not convinced about #2 though. Reading section "B2.7.2 Device memory" of the DDI 0487G.a document, I think it's more likely that "IMPLEMENTATION DEFINED size" refers to the MMIO size. Can we contact the authors to understand what the original intent was?
Comments on the content can be sent to errata@arm.com. Or, better still is to open a support case with Arm.