缺陷信息

缺陷描述

sort_merge_sort.h 第344行使用 if (blockIdx_ > GetBlockNum()) return; 作为边界保护，但同目录下 sort_radix_sort_one_core.h 第151行使用 if (blockIdx_ >= realCoreNum_) ，sort_axis_one_copy.h 第106行使用 if (blockIdx_ >= blockDim_) 等均使用 >= 比较。当 blockIdx_ 恰好等于 GetBlockNum() 时，该保护不会触发 return，该核会继续执行后续的 ProcessSingleBlockSort 循环，其中第303行 tileOffset = blockIdx_ * numTileData_ * oneCoreRowNum_ 和第337行 answerTileOffset = blockIdx_ * outputLastDimValue_ * oneCoreRowNum_ 会使用该无效 blockIdx_ 计算偏移，导致全局内存越界访问。

事实核查

经复核确认：第344行使用if(blockIdx_>GetBlockNum())作为边界保护，当blockIdx_==GetBlockNum()时不会return，该核继续执行。

对比同目录sort_radix_sort_one_core.h:151使用>=、sort_axis_one_copy.h:106使用>=、sort_small_axis_two_stage.h:125使用>=、sort_small_axis_insertion.h:126使用>=、non_last_small_axis_base.h:53使用>=、radix_more_core_base.h:1166使用>=，所有其他sort kernel均用>=比较。

blockIdx_由GetBlockIdx()获取（第92行），合法范围[0, GetBlockNum()-1]，等于GetBlockNum()时为无效索引，后续第303行和第337行用blockIdx_计算GM偏移将导致越界访问。

这是一个明确的off-by-one缺陷。

数据流证据

Source（问题源头）

math/sort/op_kernel/arch35/sort_merge_sort.h:92 行 blockIdx_ = GetBlockIdx() 获取当前核索引（可能等于 GetBlockNum()）

Sink（问题爆发点）

math/sort/op_kernel/arch35/sort_merge_sort.h:344 行 if (blockIdx_ > GetBlockNum()) return 边界检查使用 > 而非 >=，当 blockIdx_==GetBlockNum() 时不返回，后续访问 GM 越界

传播路径：

修复建议

if (blockIdx_ >= GetBlockNum()) {
    return;
}