C++易失性:保证 32 位访问?

在我的Linux C++ 项目中，我在物理地址空间的某个地方映射了一个硬件内存区域，在执行mmap后，我使用uint32_t指针访问该区域。

应用程序的发布版本崩溃并显示SIGBUS(总线错误(。

发生这种情况是因为编译器使用 64位访问优化对上述硬件内存的访问，而不是坚持 32 位 => 总线错误，只能使用 32 位读/写访问硬件内存。

我将uint32_t指针标记为易失性。

它有效。至少对于这一个特定的代码部分。因为编译器被告知不要进行重新排序。大多数时候，它必须重新排序才能优化。

我知道编译器何时访问内存时易失性控制。问题是：易失性是否也告诉编译器如何访问内存，即完全按照程序员的指示访问内存？我是否保证编译器将始终坚持对易失性uint32_t缓冲区进行 32 位访问？

例如，易失性是否还保证编译器也将使用 32 位读/写访问以下代码片段中 2 次连续写入 2 次连续的 32 位值？

void aFunction(volatile uint32_t* hwmem_array)
{
[...]
// Are we guaranteed by volatile that the following 2 consecutive writes, in consecutive memory regions
// are not merged into a single 64-bit write by the compiler?
hwmem_array[0] = 0x11223344u;
hwmem_array[1] = 0xaabbccddu;
[...]
}