Question

我是一名初学者，我读过有关该主题的this文章（因为我使用的是与AVX2兼容的机器）。

现在，我已阅读this问题，检查指针是否对齐。

我正在使用这个玩具示例main.cpp测试它：

#include <iostream>
#include <immintrin.h>

#define is_aligned(POINTER, BYTE_COUNT) \
    (((uintptr_t)(const void *)(POINTER)) % (BYTE_COUNT) == 0)


int main()
{
  float a[8];
  for(int i=0; i<8; i++){
    a[i]=i;
  }
  __m256 evens = _mm256_set_ps(2.0, 4.0, 6.0, 8.0, 10.0, 12.0, 14.0, 16.0);
  std::cout<<is_aligned(a, 16)<<" "<<is_aligned(&evens, 16)<<std::endl;   
  std::cout<<is_aligned(a, 32)<<" "<<is_aligned(&evens, 32)<<std::endl;   

}

并使用icpc -std=c++11 -o main main.cpp进行编译。

产生的印刷是：

1 1
1 1

但是，如果我在4张照片之前加上3行：

for(int i=0; i<8; i++)
  std::cout<<a[i]<<" ";
std::cout<<std::endl;

结果如下：

0 1 2 3 4 5 6 7 
1 1
0 1

特别是，我不明白最后0。为什么它与上次打印不同？我错过了什么？

Answer 1

您的is_aligned（它是一个宏，而不是一个函数）确定对象是否已与特定边界对齐。它不确定对象类型的对齐要求。

编译器将保证浮点数组，它至少与float的对齐要求对齐 - 通常为4. 32不是4的因子，因此无法保证数组与32字节边界。但是，有许多存储器地址可以被4和32整除，因此4字节边界的存储器地址也可能出现在32字节边界。这是您第一次测试时发生的情况，但正如所解释的那样，无法保证会发生这种情况。在后一个测试中，您添加了一些局部变量，并且阵列最终位于另一个内存位置。碰巧其他内存位置不在32字节边界。

要请求SIMD指令可能需要更严格的对齐，您可以使用alignas说明符：

alignas(32) float a[8];

如何使用此宏来测试内存是否对齐？

1 个答案: