OpenCL 中 c 数组的无法解释的行为

Question

我遇到了一个有趣的问题：如果我在函数内部定义一个数组，它可以正常工作，但是如果我在函数外部定义相同的数组并将其作为参数传递，则该数组的行为会有所不同。

void main()
{
     unsigned short arr[8] = {0,1,2,3,4,5,6,7};
     fun([...], arr);
}

void fun([...], unsigned short * arr, [...])
{
        [...]
    unsigned short fun_arr[8] = {0,1,2,3,4,5,6,7};
    for(int i = 0; i < 8; i++)
        if(arr[i] != fun_arr[i])
            printf("Not the same"); 

    //until here it works. the arrays are the same, I get no output, as expected

    //this works just fine aswell
    float f = some_float_array[fun_arr[0]];
    //this works aswell
    unsigned short index_from_arr = arr[0];
    //this doesnt. The program crashes (-9999, which isnt an actual OpenCL error)
    float f = some_float_array[arr[0]];
}

Answer 1

函数的数组参数只是指针。 OpenCL 中的指针总是指向特定的内存空间。不幸的是，有一个默认值，即global，这就是你的内部函数fun 正在寻找的地方。您在 main 中声明并传递给fun() 的数组位于private 地址空间中。出于某种原因，许多（大多数？全部？）实现在这种情况下甚至都不会生成警告，因此您必须时刻警惕这个错误。

解决方案是使用private 注释您的函数参数。根据个人经验，我建议在 OpenCL 中明确说明 all 指针的地址空间。

更新：

另请注意，当您使用指向 unsigned short 的指针时，可能会应用字/字节寻址限制，除非您的实现明确没有这些限制。另见https://www.khronos.org/registry/cl/sdk/1.0/docs/man/xhtml/cl_khr_byte_addressable_store.html

如果有疑问，请切换到 unsigned int 看看是否可以解决问题。