我正在使用以下内核测试动态并行性,该内核以分而治之的方式使用动态并行性获得整数数组的最大值:
__global__ void getMax(int * arr, int ini, int fin, int * maxv) {
if (ini >= fin) return;
if (fin-ini==1) {
*maxv = arr[ini];
printf("Elem: %d (ini:%d)\n", *maxv, ini);
} else {
int * max1, * max2;
max1 = (int *) malloc(sizeof(int));
max2 = (int *) malloc(sizeof(int));
getMax<<<1,1>>>(arr, ini, (fin+ini)/2, max1);
getMax<<<1,1>>>(arr, (fin+ini)/2, fin, max2);
cudaDeviceSynchronize();
printf("Max1: %d, Max2: %d (ini:%d,fin:%d)\n",
*max1, *max2, ini, fin);
*maxv = max(*max1, *max2);
free(max1); free(max2);
}
}
一个被称为:getMax<<<1,1>>>(d_arr, 0, N, d_max)
, d_arr 是数组, N 是它的大小, d_max 是它的最大值。虽然有时我会得到正确的输出,但这个输出具有我倾向于在错误输出中看到的属性:
10 6 8 7 14 4 0 4 9 8 6 4 8 10 5 1
Max1: 0, Max2: 0 (ini:0,fin:4)
Elem: 10 (ini:0)
Max1: 10, Max2: 0 (ini:0,fin:2)
Elem: 6 (ini:1)
Elem: 8 (ini:2)
Max1: 8, Max2: 0 (ini:2,fin:4)
Elem: 7 (ini:3)
Max1: 8, Max2: 8 (ini:4,fin:8)
Elem: 14 (ini:4)
Max1: 14, Max2: 6 (ini:4,fin:6)
Elem: 4 (ini:5)
Elem: 0 (ini:6)
Max1: 0, Max2: 8 (ini:6,fin:8)
Elem: 4 (ini:7)
Max1: 0, Max2: 8 (ini:0,fin:8)
Max1: 0, Max2: 4 (ini:8,fin:12)
Elem: 9 (ini:8)
Max1: 9, Max2: 4 (ini:8,fin:10)
Elem: 8 (ini:9)
Elem: 6 (ini:10)
Max1: 6, Max2: 4 (ini:10,fin:12)
Elem: 4 (ini:11)
Max1: 6, Max2: 6 (ini:12,fin:16)
Elem: 8 (ini:12)
Max1: 8, Max2: 8 (ini:12,fin:14)
Elem: 10 (ini:13)
Elem: 5 (ini:14)
Max1: 5, Max2: 6 (ini:14,fin:16)
Elem: 1 (ini:15)
Max1: 4, Max2: 6 (ini:8,fin:16)
Max1: 8, Max2: 6 (ini:0,fin:16)
Device max: 8
Host max: 14
正如你所看到的,有很多次父亲网格在他们的孩子完成执行之前打印,尽管cudaDeviceSynchronize()
正在使用。更糟糕的是,最终输出中没有考虑某些子值,从而从 GPU 得到错误的结果。
我知道在内核中使用 malloc(使用全局内存)和动态并行本身目前还不够快,无法让这段代码在 CPU 上有很好的加速。我只是想了解为什么这段代码没有正确同步。