如何理解 WebAssembly 中的“ align ”属性？

在 WebAssembly 中，访问线性内存时，align 属性用来指示数据的对齐方式。对齐是计算机内存访问中的一个概念，它指的是数据在内存中的起始地址相对于某个值（通常是2的幂）是如何对齐的。正确的对齐可以帮助提高内存访问的效率，因为许多处理器都优化了对齐的内存访问。

在某些处理器架构上，错误的对齐（即数据的起始地址不是其大小的整数倍）可能会导致性能惩罚，甚至是硬件异常。因此，指定正确的对齐对于确保代码的性能和正确性至关重要。

举个例子，如果您正在读取一个32位的整数（4个字节），在许多处理器上，最有效的做法是从一个地址开始读取，该地址是4的倍数（即它的对齐是4）。在 WebAssembly 的文本格式中，这可以使用 align 属性来指定：

wasm
(i32.load align=4 (i32.const 0))

这段代码表示从地址0开始加载一个32位整数，且该地址应该是4的倍数。如果这个整数的实际起始地址不是4的倍数，那么 align 属性可能会指示编译器或虚拟机进行必要的调整以满足这个要求。

然而，在WebAssembly的实际使用中，align 属性通常是一个建议值，WebAssembly运行时会确保即使在非对齐的地址访问数据时也不会导致硬件异常。这意味着，即使指定了 align=4，WebAssembly虚拟机仍然可以处理从非4倍数的地址读取4字节整数的情况，只是这样做可能会有性能上的损失。在WebAssembly二进制格式中，align 实际上是编码为对齐的对数（log2），因此 align=4 会被编码为 2（因为2的2次幂是4）。