Providing a hardware bit for strict alignment checking is not turned on (which, like on x86, no universal OS is realistic), AArch64 allows unrelated data access to regular (non Device) memory with regular loading / storage instructions.
However, there are several reasons why the compiler still wants to maintain aligned data:
- : , .. , , - . , - . concurrency, , , , .
- Atomic read-modify-write: concurrency, ( ) , load-exclusive/store-exclusive, Atom-read-modify-write, /. , .
- . - 1 , . ( ) . (, ), .
- : , , , , .
, OCaml , , , , " ".