以下代码似乎不是瓶颈。
我只是想知道是否有更快的方法在SSE4.2的cpu上完成这项工作。
代码在ar_tri
中以下列形式存储为1d数组的矩阵的下三角形条目:
[ (1,0),
(2,0),(2,1),
(3,0),(3,1),(3,2),
...,
(n,0)...(n,n-1) ]
其中(x,y)是第x行和第y列的矩阵条目。
还有ar_rdia
中以下形式的矩阵对角线的倒数平方根(rsqrt):
[ rsqrt(0,0), rsqrt(1,1), ... ,rsqrt(n,n) ]
gcc6.1 -O3
on the Godbolt compiler explorer使用SIMD指令(mulps
)自动向量化两个版本。三角形版本在每行的末尾都有清理代码,所以也有一些标量指令。
在连续内存中使用矩形矩阵作为1d数组存储会改善性能吗?
// Triangular version
#include <iostream>
#include <stdlib.h>
#include <stdint.h>
using namespace std;
int main(void){
size_t n = 10000;
size_t n_tri = n*(n-1)/2;
size_t repeat = 10000;
// test 10000 cycles of the code
float* ar_rdia = (float*)aligned_alloc(16, n*sizeof(float));
//reciprocal square root of diagonal
float* ar_triangular = (float*)aligned_alloc(16, n_tri*sizeof(float));
//lower triangular matrix
size_t i,j,k;
float a,b;
k = 0;
for(i = 0; i < n; ++i){
for(j = 0; j < i; ++j){
ar_triangular[k] *= ar_rdia[i]*ar_rdia[j];
++k;
}
}
cout << k;
free((void*)ar_rdia);
free((void*)ar_triangular);
}
// Square version
#include <iostream>
#include <stdlib.h>
#include <stdint.h>
using namespace std;
int main(void){
size_t n = 10000;
size_t n_sq = n*n;
size_t repeat = 10000;
// test 10000 cycles of the code
float* ar_rdia = (float*)aligned_alloc(16, n*sizeof(float));
//reciprocal square root of diagonal
float* ar_square = (float*)aligned_alloc(16, n_sq*sizeof(float));
//lower triangular matrix
size_t i,j,k;
float a,b;
k = 0;
for(i = 0; i < n; ++i){
for(j = 0; j < n; ++j){
ar_square[k] *= ar_rdia[i]*ar_rdia[j];
++k;
}
}
cout << k;
free((void*)ar_rdia);
free((void*)ar_square);
}
## Triangular version
main:
...
call aligned_alloc
movl $1, %edi
movq %rax, %rbp
xorl %esi, %esi
xorl %eax, %eax
.L2:
testq %rax, %rax
je .L3
leaq -4(%rax), %rcx
leaq -1(%rax), %r8
movss (%rbx,%rax,4), %xmm0
shrq $2, %rcx
addq $1, %rcx
cmpq $2, %r8
leaq 0(,%rcx,4), %rdx
jbe .L9
movaps %xmm0, %xmm2
leaq 0(%rbp,%rsi,4), %r10
xorl %r8d, %r8d
xorl %r9d, %r9d
shufps $0, %xmm2, %xmm2 # broadcast ar_rdia[i]
.L6: # vectorized loop
movaps (%rbx,%r8), %xmm1
addq $1, %r9
mulps %xmm2, %xmm1
movups (%r10,%r8), %xmm3
mulps %xmm3, %xmm1
movups %xmm1, (%r10,%r8)
addq $16, %r8
cmpq %rcx, %r9
jb .L6
cmpq %rax, %rdx
leaq (%rsi,%rdx), %rcx
je .L7
.L4: # scalar cleanup
movss (%rbx,%rdx,4), %xmm1
leaq 0(%rbp,%rcx,4), %r8
leaq 1(%rdx), %r9
mulss %xmm0, %xmm1
cmpq %rax, %r9
mulss (%r8), %xmm1
movss %xmm1, (%r8)
leaq 1(%rcx), %r8
jnb .L7
movss (%rbx,%r9,4), %xmm1
leaq 0(%rbp,%r8,4), %r8
mulss %xmm0, %xmm1
addq $2, %rdx
addq $2, %rcx
cmpq %rax, %rdx
mulss (%r8), %xmm1
movss %xmm1, (%r8)
jnb .L7
mulss (%rbx,%rdx,4), %xmm0
leaq 0(%rbp,%rcx,4), %rcx
mulss (%rcx), %xmm0
movss %xmm0, (%rcx)
.L7:
addq %rax, %rsi
cmpq $10000, %rdi
je .L16
.L3:
addq $1, %rax
addq $1, %rdi
jmp .L2
.L9:
movq %rsi, %rcx
xorl %edx, %edx
jmp .L4
.L16:
... print and free
ret
方形案例的汇编的有趣部分:
main:
... allocate both arrays
call aligned_alloc
leaq 40000(%rbx), %rsi
movq %rax, %rbp
movq %rbx, %rcx
movq %rax, %rdx
.L3: # loop over i
movss (%rcx), %xmm2
xorl %eax, %eax
shufps $0, %xmm2, %xmm2 # broadcast ar_rdia[i]
.L2: # vectorized loop over j
movaps (%rbx,%rax), %xmm0
mulps %xmm2, %xmm0
movups (%rdx,%rax), %xmm1
mulps %xmm1, %xmm0
movups %xmm0, (%rdx,%rax)
addq $16, %rax
cmpq $40000, %rax
jne .L2
addq $4, %rcx # no scalar cleanup: gcc noticed that the row length is a multiple of 4 elements
addq $40000, %rdx
cmpq %rsi, %rcx
jne .L3
... print and free
ret
答案 0 :(得分:2)
存储到三角形数组的循环应该向量化,在每行的末尾效率低下。根据你发布的asm,gcc实际上都进行了自动矢量化。我希望我先看一下,而不是接受你的话,它需要手动矢量化。 :(
.L6: # from the first asm dump.
movaps (%rbx,%r8), %xmm1
addq $1, %r9
mulps %xmm2, %xmm1
movups (%r10,%r8), %xmm3
mulps %xmm3, %xmm1
movups %xmm1, (%r10,%r8)
addq $16, %r8
cmpq %rcx, %r9
jb .L6
这看起来与我手动矢量化版本编译到的内部循环完全一样。 .L4是完全展开的标量清理,用于连续的最后3个元素。 (所以它可能不如我的代码那么好)。尽管如此,它还是相当不错的,并且自动矢量化将让您在没有源更改的情况下利用AVX和AVX512 。
我编辑了你的问题,以包含一个指向godbolt代码的链接,两个版本都作为单独的函数。我没有花时间将它们转换为将数组作为函数args,因为那时我必须花时间让所有__restrict__
关键字正确,并告诉gcc数组在4B * 16 = 64字节边界上对齐,因此如果需要,它可以使用对齐的加载。
在一行中,您每次都使用相同的ar_rdia[i]
,因此您可以在行的开头将其广播到向量中一次。然后,您只需在源ar_rdia[j + 0..3]
和目标ar_triangular[k + 0..3]
之间执行垂直操作。
要处理行末尾的最后几个元素,它们不是矢量大小的倍数,我们有两个选项:
i
4 ,并使用最佳序列处理行尾的奇数0,1,2和3个元素。所以 j
上的循环将重复4次,每次循环后都会进行固定清理。这可能是最佳方法。让最终的向量迭代超过行的末尾,而不是在最后一个完整向量之后停止。所以我们重叠下一行的开头。由于您的操作不是幂等的,因此该选项不能很好地工作。此外,确保k
在下一行开始时正确更新需要一些额外的代码。
仍然可以通过使行的最终向量混合乘数来实现,因此超出当前行末尾的元素乘以1.0(乘法标识)。这应该适用于blendvps
,其向量为1.0
,以替换ar_rdia[i] * ar_rdia[j + 0..3]
的某些元素。我们还必须创建一个选择器掩码(可能通过使用int32_t row_overshoot_blend_window {0, 0, 0, 0, -1, -1, -1}
作为索引索引到j-i
数组中,以获取4个元素的窗口)。另一个选项是分支以选择无混合或三个立即混合中的一个(blendps
更快,并且不需要矢量控制掩码,并且分支将具有容易预测的模式)。
当ar_triangular
的负载与最后一行末尾的存储重叠时,这会导致每4行中有3行开始存储转发失败。 IDK将表现最佳。
另一个可能更好的选择是执行超出行结束的加载,并使用压缩的SIMD进行数学计算,但随后有条件地存储1到4个元素。
不在您分配的内存之外读取可能需要在缓冲区的末尾留下填充,例如如果最后一行不是4个元素的倍数。
/****** Normalize a triangular matrix using SIMD multiplies,
handling the ends of rows with narrower cleanup code *******/
// size_t i,j,k; // don't do this in C++ or C99. Put declarations in the narrowest scope possible. For types without constructors/destructors, it's still a style / human-readability issue
size_t k = 0;
for(size_t i = 0; i < n; ++i){
// maybe put this inside the for() loop and let the compiler hoist it out, to avoid doing it for small rows where the vector loop doesn't even run once.
__m128 vrdia_i = _mm_set1_ps(ar_rdia[i]); // broadcast-load: very efficient with AVX, load+shuffle without. Only done once per row anyway.
size_t j = 0;
for(j = 0; j < (i-3); j+=4){ // vectorize over this loop
__m128 vrdia_j = _mm_loadu_ps(ar_rdia + j);
__m128 scalefac = _mm_mul_ps(vrdia_j, v_rdia_i);
__m128 vtri = _mm_loadu_ps(ar_triangular + k);
__m128 normalized = _mm_mul_ps(scalefac , vtri);
_mm_storeu_ps(ar_triangular + k, normalized);
k += 4;
}
// scalar fallback / cleanup for the ends of rows. Alternative: blend scalefac with 1.0 so it's ok to overlap into the next row.
/* Fine in theory, but gcc likes to make super-bloated code by auto-vectorizing cleanup loops. Besides, we can do better than scalar
for ( ; j < i; ++j ){
ar_triangular[k] *= ar_rdia[i]*ar_rdia[j]; ++k; }
*/
if ((i-j) >= 2) { // load 2 floats (using movsd to zero the upper 64 bits, so mulps doesn't slow down or raise exceptions on denormals or NaNs
__m128 vrdia_j = _mm_castpd_ps( _mm_load_sd(static_cast<const double*>(ar_rdia+j)) );
__m128 scalefac = _mm_mul_ps(vrdia_j, v_rdia_i);
__m128 vtri = _mm_castpd_ps( _mm_load_sd(static_cast<const double*>(ar_triangular + k) ));
__m128 normalized = _mm_mul_ps(scalefac , vtri);
_mm_storel_pi(static_cast<__m64*>(ar_triangular + k), normalized); // movlps. Agner Fog's table indicates that Nehalem decodes this to 2 uops, instead of 1 for movsd. Bizarre!
j+=2;
k+=2;
}
if (j<i) { // last single element
ar_triangular[k] *= ar_rdia[i]*ar_rdia[j];
++k;
//++j; // end of the row anyway. A smart compiler would still optimize it away...
}
// another possibility: load 4 elements and do the math, then movss, movsd, movsd + extractps (_mm_extractmem_ps), or movups to store the last 1, 2, 3, or 4 elements of the row.
// don't use maskmovdqu; it bypasses cache
}
movsd
和movlps
等同于商店,但不作为加载。见this comment thread for discussion of why it makes some sense that the store forms have separate opcodes。更新:Agner Fog's insn tables indicate that Nehalem decodes MOVH/LPS/D
to 2 fused-domain uops。他们还说SnB将其解码为1,但IvB将其解码为2 uop。那是错的。对于Haswell,他的表将事物拆分为movlps/d
(1个微融合uop)和movhps/d
(也是1个微融合uop)的单独条目。 movlps
的商店形式是2 uops并且在任何东西上需要随机端口是没有意义的;它与movsd
商店完全相同。
如果您的矩阵非常大,请不要过多担心行尾处理。如果它们很小,总的时间将花费在行的末尾,所以值得尝试多种方式,并仔细查看asm。
如果源数据是连续的,您可以在这里轻松计算rsqrt。否则,将对角线复制到一个数组中(并在执行该复制时计算rsqrt,而不是with another pass over that array like your previous question。使用标量rsqrtss
并且从矩阵的对角线复制到数组时没有NR步骤,或手动将元素收集到SIMD向量中(使用_mm_set_ps(a[i][i], a[i+1][i+1], a[i+2][i+2], a[i+3][i+3])
让编译器选择shuffle)并执行rsqrtps
+ NR步骤,然后将4个结果的向量存储到数组中。
矩阵的最开始是一个特例,因为三个&#34;结束&#34;在前6个元素中是连续的。 (第4行有4个元素)。它可能值得特别包装并使用两个SSE向量进行前3行。或者可能只是前两行,然后第三行作为单独的一组3.实际上,一组4和一组2更加优化,因为SSE可以做那些8B和16B加载/存储,但不是12B。
前6个比例因子是ar_rdia
的前三个元素的乘积,因此我们可以进行单个向量加载并对其进行多次混合。
ar_rdia[0]*ar_rdia[0]
ar_rdia[1]*ar_rdia[0], ar_rdia[1]*ar_rdia[1],
ar_rdia[2]*ar_rdia[0], ar_rdia[2]*ar_rdia[1], ar_rdia[2]*ar_rdia[2]
^
end of first vector of 4 elems, start of 2nd.
事实证明编译器在发现和利用这里的模式方面并不是很好,所以为了获得前10个元素的最佳代码,我们需要剥离这些迭代并手动优化混洗和乘法。我决定先做4行,因为第4行仍然重用ar_rdia[0..3]
的SIMD向量。该向量甚至仍然被第4行(第五行)的第一个向量宽度使用。
另外值得考虑:做2,4,4而不是4,4,4。
void triangular_first_4_rows_manual_shuffle(float *tri, const float *ar_rdia)
{
__m128 vr0 = _mm_load_ps(ar_rdia); // we know ar_rdia is aligned
// elements 0-3 // row 0, row 1, and the first element of row 2
__m128 vi0 = _mm_shuffle_ps(vr0, vr0, _MM_SHUFFLE(2, 1, 1, 0));
__m128 vj0 = _mm_shuffle_ps(vr0, vr0, _MM_SHUFFLE(0, 1, 0, 0));
__m128 sf0 = vi0 * vj0; // equivalent to _mm_mul_ps(vi0, vj0); // gcc defines __m128 in terms of GNU C vector extensions
__m128 vtri = _mm_load_ps(tri);
vtri *= sf0;
_mm_store_ps(tri, vtri);
tri += 4;
// elements 4 and 5, last two of third row
__m128 vi4 = _mm_shuffle_ps(vr0, vr0, _MM_SHUFFLE(3, 3, 2, 2)); // can compile into unpckhps, saving a byte. Well spotted by clang
__m128 vj4 = _mm_movehl_ps(vi0, vi0); // save a mov by reusing a previous shuffle output, instead of a fresh _mm_shuffle_ps(vr0, vr0, _MM_SHUFFLE(2, 1, 2, 1)); // also saves a code byte (no immediate)
// actually, a movsd from ar_ria+1 would get these two elements with no shuffle. We aren't bottlenecked on load-port uops, so that would be good.
__m128 sf4 = vi4 * vj4;
//sf4 = _mm_movehl_ps(sf4, sf4); // doesn't save anything compared to shuffling before multiplying
// could use movhps to load and store *tri to/from the high half of an xmm reg, but each of those takes a shuffle uop
// so we shuffle the scale-factor down to the low half of a vector instead.
__m128 vtri4 = _mm_castpd_ps(_mm_load_sd((const double*)tri)); // elements 4 and 5
vtri4 *= sf4;
_mm_storel_pi((__m64*)tri, vtri4); // 64bit store. Possibly slower than movsd if Agner's tables are right about movlps, but I doubt it
tri += 2;
// elements 6-9 = row 4, still only needing elements 0-3 of ar_rdia
__m128 vi6 = _mm_shuffle_ps(vr0, vr0, _MM_SHUFFLE(3, 3, 3, 3)); // broadcast. clang puts this ahead of earlier shuffles. Maybe we should put this whole block early and load/store this part of tri, too.
//__m128 vi6 = _mm_movehl_ps(vi4, vi4);
__m128 vj6 = vr0; // 3, 2, 1, 0 already in the order we want
__m128 vtri6 = _mm_loadu_ps(tri+6);
vtri6 *= vi6 * vj6;
_mm_storeu_ps(tri+6, vtri6);
tri += 4;
// ... first 4 rows done
}
gcc和clang使用-O3 -march=nehalem
非常类似地编译它(以启用SSE4.2但不启用AVX)。 See the code on Godbolt, with some other versions that don't compile as nicely:
# gcc 5.3
movaps xmm0, XMMWORD PTR [rsi] # D.26921, MEM[(__v4sf *)ar_rdia_2(D)]
movaps xmm1, xmm0 # tmp108, D.26921
movaps xmm2, xmm0 # tmp111, D.26921
shufps xmm1, xmm0, 148 # tmp108, D.26921,
shufps xmm2, xmm0, 16 # tmp111, D.26921,
mulps xmm2, xmm1 # sf0, tmp108
movhlps xmm1, xmm1 # tmp119, tmp108
mulps xmm2, XMMWORD PTR [rdi] # vtri, MEM[(__v4sf *)tri_5(D)]
movaps XMMWORD PTR [rdi], xmm2 # MEM[(__v4sf *)tri_5(D)], vtri
movaps xmm2, xmm0 # tmp116, D.26921
shufps xmm2, xmm0, 250 # tmp116, D.26921,
mulps xmm1, xmm2 # sf4, tmp116
movsd xmm2, QWORD PTR [rdi+16] # D.26922, MEM[(const double *)tri_5(D) + 16B]
mulps xmm1, xmm2 # vtri4, D.26922
movaps xmm2, xmm0 # tmp126, D.26921
shufps xmm2, xmm0, 255 # tmp126, D.26921,
mulps xmm0, xmm2 # D.26925, tmp126
movlps QWORD PTR [rdi+16], xmm1 #, vtri4
movups xmm1, XMMWORD PTR [rdi+48] # tmp129,
mulps xmm0, xmm1 # vtri6, tmp129
movups XMMWORD PTR [rdi+48], xmm0 #, vtri6
ret
前4行只有22条指令,其中4条是movaps
reg-reg移动。 (clang只管理3个,共有21个指令)。我们可以通过将[ x x 2 1 ]
放入movsd
来自ar_rdia+1
的向量而不是另一个movaps + shuffle来保存一个。并减少shuffle端口的压力(通常ALU uops)。
对于AVX,clang使用vpermilps进行大多数shuffle,但这只会浪费一个字节的代码大小。除非它省电(因为它只有1个输入),否则没有理由比shufps
更喜欢它的直接形式,除非你可以将负载折叠到其中。
我考虑过使用palignr
总是通过三角矩阵一次四次,但这几乎肯定更糟。你一直需要那些palignr
,而不仅仅是在最后。
我认为行末端的额外复杂性/更窄的加载/存储只会给无序执行做些事情。对于大问题规模,您将在内循环中一次花费大部分时间做16B。这可能会对内存造成瓶颈,因此只要乱序执行不断地从内存中拉出缓存行,就可以在行尾减少内存密集型工作。
对于这个用例,三角矩阵仍然很好;保持你的工作集密集和连续的记忆似乎是好的。根据您接下来要做的事情,这可能是也可能不是理想的整体。