严格混叠、CUdeviceptr和cuMemAllocManaged

Question

cuMemAllocManaged要求作为其第一个参数提供的指针类型为CUdeviceptr * (技术上为unsigned int *)，但使用托管内存的目的是能够在主机和设备上操作同一内存地址中的数据。因此，为了能够在主机上操作托管数据，必须在访问之前将这些CUdeviceptr转换为适当的指针类型(例如float *或double *)，或者主机必须存储正确类型的指针并转换为CUdeviceptr。据我所知，前者显然违反严格的混叠规则，但后者是否也是安全的，因为只有在通过类型双关指针显式访问数据时才会出现严格的混叠问题吗？

换句话说，即使启用了严格的别名，模式是否与下面的片段安全？

float* turkey;
CUdeviceptr* goose = reinterpret_cast<CUdeviceptr*>(&turkey); // alternatively, (CUdeviceptr*)&turkey
// error checking code elided
cuMemAllocManaged(goose, sizeof(float)*10000, CU_MEM_ATTACH_GLOBAL);
// initialize turkey
// supply goose as an argument to a kernel function
cuCtxSynchronize();
// do stuff with turkey on host again

Answer 1

看上去这两种行为都很好。经过http://www.cocoawithlove.com/2008/04/using-pointers-to-recast-in-c-is-bad.html

为了明确起见，只有在单个范围或函数中取消引用两个指针(或以其他方式访问它们的共享数据)时，这些bug才会发生。仅仅创建一个指针应该是安全的。

考虑到在任何给定的函数范围中只有两个类型指针中的一个将被取消引用，那么就不会出现与严格混叠有关的问题。

还有union方法，但是什么都可以。