【发布时间】:2015-07-19 10:47:19
【问题描述】:
我有一个字节数组 (unsigned char *),它表示内存中的树状数据结构。树的每个节点都包含不同大小的元素:1 bool 开头,n unsigned ints 和n 无符号短。我这样做是因为内存使用最少对我来说非常重要。不幸的是,当我尝试从全局内存复制到共享内存时,这会导致内存对齐问题:
__global__ void sampleerror(unsigned char * global_mem, unsigned int updated_idx...) {
__shared__ unsigned int offsets[MAX_NUM_CHILDREN/2 +1];
__shared__ unsigned int entries[ENTRIES_PER_NODE];
__shared__ bool booleans[4];
bool * is_last = &booleans[0];
//First warp divergence here. We are reading in from global memory
if (i == 0) {
*is_last = (bool)global_mem[updated_idx];
}
__syncthreads();
if (*is_last) {
//The number of entries in the bottom most nodes may be smaller than the size
if (i < (size - 1)/entry_size) {
entries[i] = *(unsigned int *)(&global_mem[updated_idx + 1 + i*sizeof(unsigned int)]);
}
} else {
int num_entries = (size - 1 - sizeof(unsigned int) - sizeof(unsigned short))/(entry_size + sizeof(unsigned short));
//Load the unsigned int start offset together with the accumulated offsets to avoid warp divergence
if (i < ((num_entries + 1)/2) + 1) {
offsets[i] = *(unsigned int *)(&global_mem[updated_idx + 1 * i*sizeof(unsigned int)]);
}
__syncthreads();
//Now load the entries
if (i < num_entries) {
entries[i] = *(unsigned int *)(&global_mem[updated_idx + 1 + (num_entries + 1)*sizeof(unsigned int) + i*sizeof(unsigned int)]);
}
}
__syncthreads();
}
我得到未对齐的内存访问,因为我试图在此处(以及在 else 语句中)复制到共享内存:
entries[i] = *(unsigned int *)(&global_mem[updated_idx + 1 + i*sizeof(unsigned int)]);
因为 updated_idx + 1 不一定是对齐的。问题:
1) 如果我不想填充我的数据结构以很好地对齐整数,那么我唯一的选择是逐字节复制吗?
2) 如果我将 byte 通过 byte 从全局复制到共享内存,它是否会比我能够复制 unsigned int 慢 4 倍 by unsigned int。
3) 如果我逐字节进行,是否有可能获得未对齐的内存访问?我想我已经读过字节访问总是对齐的。
编辑:
我有一个 btree-ish 数据结构,其中每个节点都包含以下形式的有效负载:
struct Entry {
unsigned int key;
unsigned int next_level_offset;
float prob1;
float prob2;
}
为了搜索 btree,我只需要每个条目的关键信息,而不需要结构中的其余信息。因此,每个节点按以下方式折叠在一个字节数组中:
(bool is_last)(key1, key2, key3...)((offset, prob1 prob2 of key1), (offset, prob1 prob2 of key2), (offset, prob1 prob2 of key3))(unsigned int first_child_start_offset) (short sizeofChild1, short sizeofChild2, short sizeofChild3...)
很明显,如果 is_last 为 false,那么就不会存储任何 childrenOffsets。
我以这种方式排列数据的原因是每个节点的条目数可以是可变的,因此如果我将单独的东西存储在单独的数组中,我将不得不额外跟踪这些“元数据”的开始和结束索引" 数组,这将导致存储更多数据或在搜索期间必须使用状态机,我想避免这种情况。我相信对于每个节点的 bool 部分来说,它可以通过相对较少的工作来完成,但对于其他任何东西(比如偏移量)都不能。
【问题讨论】:
-
发布和实际可编译的最小版本代码会不会太难?当影响代码读取模式的许多变量未定义时,很难分析您的内核。
-
我可以发布我的代码的可编译版本,但您需要一个字节数组,其中包含实际的数据结构和构造它的方式,我不能轻易发布。我的代码有什么不清楚的地方?
-
条目的实际大小,对于初学者。 entry_size 来自哪里?是从全局内存读取还是从块和线程索引计算的 updated_idx。您还没有解释为什么无论如何都需要使用 AOS。为什么不使用 SOA 方法?
-
我已经用您需要的信息更新了我的帖子。如果不清楚并且您需要更多,请询问。