TopK
产品支持情况
|
产品 |
是否支持 |
|---|---|
|
Atlas 350 加速卡 |
√ |
|
|
√ |
|
|
√ |
|
|
x |
|
|
√ |
|
|
x |
|
|
x |
功能说明
获取最后一个维度的前k个最大值或最小值及其对应的索引。
如果输入是向量,则在向量中找到前k个最大值或最小值及其对应的索引;如果输入是矩阵,则沿最后一个维度计算每行中前k个最大值或最小值及其对应的索引。本接口最多支持输入为二维数据,不支持更高维度的输入。
如下图所示,对shape为(4, 32)的二维矩阵进行排序,k设置为1,输出结果为[[32] [32] [32] [32]]。

- 必备概念
基于如上样例,我们引入一些必备概念:行数称之为外轴长度(outter),每行实际的元素个数称之为内轴的实际长度(n)。本接口要求输入的内轴长度为32的整数倍,所以当n不是32的整数倍时,需要开发者将其向上补齐到32的整数倍,补齐后的长度称之为内轴长度(inner)。比如,如下的样例中,每行的实际长度n为31,不是32的整数倍,向上补齐后得到inner为32,图中的padding代表补齐操作。n和inner的关系如下:当n是32的整数倍时,inner=n;否则,inner > n。

- 接口模式
本接口支持两种模式:Normal模式和Small模式。Normal模式是通用模式;Small模式是为内轴长度固定为32(单位:元素个数)的场景提供的高性能模式。因为Small模式inner固定为32,可以进行更有针对性的处理,所以相关的约束较少,性能较高。内轴长度inner为32时建议使用Small模式。
- 附加功能:本接口支持开发者指定某些行的排序是无效排序。通过传入finishLocal参数值来控制,finishLocal对应行的值为true时,表示该行排序无效,此时排序后输出的dstIndexLocal的k个索引值会全部被置为无效索引n。

实现原理
TopK提供了两种不同的排序算法,MERGE_SORT算法和RADIX_SELECT算法,两种算法在执行速度、时间复杂度和算法稳定性上表现不同。MERGE_SORT算法的时间复杂度是O(
),是一种稳定的排序算法,执行速度相对较慢;RADIX_SELECT算法的时间复杂度是O(n),通常不关心稳定性,执行速度较快。
- MERGE_SORT算法
以float类型,ND格式,shape为[outter, inner]的输入Tensor为例,描述TopK高阶API内部算法框图,如下图所示。
图1 TopK算法框图
图2 TopK算法框图
根据TopKMode不同的模式选择,可分为两个分支。
- 计算TopK NORMAL模式,过程如下:
- 模板参数isInitIndex为false,需生成0到inner - 1的索引;
Atlas A3 训练系列产品 /Atlas A3 推理系列产品 采用方式二。Atlas A2 训练系列产品 /Atlas A2 推理系列产品 采用方式二。Atlas 推理系列产品 采用方式二。- 方式一:使用CreateVecIndex生成0到inner - 1的索引。
- 方式二:使用Arange生成0到inner - 1的索引。
- isLargest参数为false,由于Sort32指令默认为降序排序,则给数据乘以-1;
- 对输入数据完成全排序。
Atlas A3 训练系列产品 /Atlas A3 推理系列产品 采用方式二。Atlas A2 训练系列产品 /Atlas A2 推理系列产品 采用方式二。Atlas 推理系列产品 采用方式二。方式一:
使用高阶API Sort对数据完成全排序。
方式二:- 使用Sort32对数据排序,保证每32个数据是有序的。
- 使用MrgSort指令对所有的已排序数据块归并排序。
- 使用GatherMask指令提取前k个数据和索引;
- finishLocal[i]为true时,则更新该行对应的排序结果为无效索引n;
- isLargest参数为false,则给数据乘以-1还原数据。
注意:
Atlas 推理系列产品 上使用ProposalConcat基础API将data和index组合起来后,再使用RpSort16基础API对数据排序;使用MrgSort4进行归并;使用ProposalExtract基础API提取data和index。 - 模板参数isInitIndex为false,需生成0到inner - 1的索引;
- 计算TopK SMALL模式,过程如下:
- 模板参数isInitIndex为false,需生成0到inner - 1的索引,并使用Copy指令将数据复制为outter条;
Atlas A3 训练系列产品 /Atlas A3 推理系列产品 采用方式二。Atlas A2 训练系列产品 /Atlas A2 推理系列产品 采用方式二。Atlas 推理系列产品 采用方式二。- 方式一:使用CreateVecIndex生成0到inner - 1的索引。
- 方式二:使用Arange生成0到inner - 1的索引。
- isLargest参数为false,由于Sort32指令默认为降序排序,则给输入数据乘以-1;
- 使用Sort32对数据排序;
- 使用GatherMask指令提取前k个数据和索引;
- isLargest参数为false,则给输入数据乘以-1还原数据。
注意:
Atlas 推理系列产品 上使用ProposalConcat基础API将data和index组合起来后,再使用RpSort16基础API对数据排序;由于small模式下inner为32,RpSort16排序后为每16个数据有序,因此在步骤3和步骤4之间,使用MrgSort4基础API进行一次归并排序。 - 模板参数isInitIndex为false,需生成0到inner - 1的索引,并使用Copy指令将数据复制为outter条;
- 计算TopK NORMAL模式,过程如下:
- RADIX_SELECT算法
该算法仅在Atlas 350 加速卡上支持。图3 TopK算法框图
计算过程分为如下几步:- 生成索引,根据不同的TopKMode,分为:
- TopK NORMAL模式:模板参数isInitIndex为false,使用CreateVecIndex生成0到inner-1的索引;
- TopK SMALL模式:模板参数isInitIndex为false,使用CreateVecIndex生成0到inner-1的索引,并使用Copy指令将数据复制为outter条;
- 根据模板参数选择是否对数据进行预处理。如果数据类型是浮点类型或者有符号的整数类型,需要执行twiddle in操作(将浮点数或有符号的整数转换成无符号的整数类型)。如果TopK取最小值,对无符号整数类型的数据执行取反操作;
- 寻找第K大的数,并保存到kValue中;
- 取出大于kValue的数据和索引;
- 取出等于kValue的数据和索引;
- 根据模板参数sorted选择是否对k个数进行排序,将排序数据结果存放到临时空间中;
- 根据模板参数,如果TopK取最小值,执行取反操作;如果数据类型是浮点类型或者有符号的整数类型,执行twiddle out操作(将无符号的整数类型转换成浮点数或有符号的整数类型)。
- 生成索引,根据不同的TopKMode,分为:
函数原型
- API内部申请临时空间
1 2
template <typename T, bool isInitIndex = false, bool isHasfinish = false, bool isReuseSrc = false, enum TopKMode topkMode = TopKMode::TOPK_NORMAL> __aicore__ inline void TopK(const LocalTensor<T>& dstValueLocal, const LocalTensor<int32_t>& dstIndexLocal, const LocalTensor<T>& srcLocal, const LocalTensor<int32_t>& srcIndexLocal, const LocalTensor<bool>& finishLocal, const int32_t k, const TopkTiling& tilling, const TopKInfo& topKInfo, const bool isLargest = true)
1 2
template <typename T, bool isInitIndex = false, bool isHasfinish = false, bool isReuseSrc = false, enum TopKMode topkMode = TopKMode::TOPK_NORMAL, const TopKConfig& config = defaultTopKConfig> __aicore__ inline void TopK(const LocalTensor<T>& dstValueLocal, const LocalTensor<int32_t>& dstIndexLocal, const LocalTensor<T>& srcLocal, const LocalTensor<int32_t>& srcIndexLocal, const LocalTensor<bool>& finishLocal, const int32_t k, const TopkTiling& tilling, const TopKInfo& topKInfo, const bool isLargest = true)
- 通过tmpLocal入参传入临时空间
1 2
template <typename T, bool isInitIndex = false, bool isHasfinish = false, bool isReuseSrc = false, enum TopKMode topkMode = TopKMode::TOPK_NORMAL> __aicore__ inline void TopK(const LocalTensor<T>& dstValueLocal, const LocalTensor<int32_t>& dstIndexLocal, const LocalTensor<T>& srcLocal, const LocalTensor<int32_t>& srcIndexLocal, const LocalTensor<bool>& finishLocal, const LocalTensor<uint8_t>& tmpLocal, const int32_t k, const TopkTiling& tilling, const TopKInfo& topKInfo, const bool isLargest = true)
1 2
template <typename T, bool isInitIndex = false, bool isHasfinish = false, bool isReuseSrc = false, enum TopKMode topkMode = TopKMode::TOPK_NORMAL, const TopKConfig& config = defaultTopKConfig> __aicore__ inline void TopK(const LocalTensor<T>& dstValueLocal, const LocalTensor<int32_t>& dstIndexLocal, const LocalTensor<T>& srcLocal, const LocalTensor<int32_t>& srcIndexLocal, const LocalTensor<bool>& finishLocal, const LocalTensor<uint8_t>& tmpLocal, const int32_t k, const TopkTiling& tilling, const TopKInfo& topKInfo, const bool isLargest = true)
由于该接口的内部实现中涉及复杂的逻辑计算,需要额外的临时空间来存储计算过程中的中间变量。临时空间支持API接口申请和开发者通过tmpLocal入参传入两种方式。
- API接口内部申请临时空间,开发者无需申请,但是需要预留临时空间的大小。
- 通过tmpLocal入参传入,使用该tensor作为临时空间进行处理,API接口内部不再申请。该方式开发者可以自行管理tmpLocal内存空间,并在接口调用完成后,复用该部分内存,内存不会反复申请释放,灵活性较高,内存利用率也较高。临时空间大小tmpLocal的BufferSize的获取方式如下:通过TopK Tiling中提供的GetTopKMaxMinTmpSize接口获取所需最大和最小临时空间大小。
参数说明
|
参数名 |
描述 |
||||
|---|---|---|---|---|---|
|
T |
待排序数据的数据类型。 Atlas 350 加速卡,MERGE_SORT算法当前支持的数据类型为half、float。RADIX_SELECT算法当前支持的数据类型为uint8_t、int8_t、uint16_t、int16_t、uint32_t、int32_t、bfloat16_t、half、float、uint64_t、int64_t。 |
||||
|
isInitIndex |
是否传入输入数据的索引。
|
||||
|
isHasfinish |
Topk接口支持开发者通过finishLocal参数来指定某些行的排序是无效排序。该模板参数用于控制是否启用上述功能,true表示启用,false表示不启用。 Normal模式支持的取值:true / false。 Small模式支持的取值:false。 isHasfinish参数和finishLocal的配套使用方法请参考表2中的finishLocal参数说明。 Atlas 350 加速卡,对于RADIX_SELECT算法,该参数为预留参数,暂未启用,为后续的功能扩展做保留,保持默认值即可。 |
||||
|
isReuseSrc |
是否允许修改源操作数,默认值为false。 Atlas 350 加速卡,该参数仅在输入的数据类型为float时生效,取值如下:
|
||||
|
topkMode |
Topk的模式选择,数据结构如下:
|
||||
|
config |
该参数仅支持Atlas 350 加速卡。 TopK计算的相关配置,包括算法选择、取最大值或最小值、是否对结果排序。此参数可选配,TopKConfig类型,具体定义如下:
该参数的默认值defaultTopKConfig的取值如下:
|
|
参数名 |
输入/输出 |
描述 |
||
|---|---|---|---|---|
|
dstValueLocal |
输出 |
目的操作数。用于保存排序出的k个值。 类型为LocalTensor,支持的TPosition为VECIN/VECCALC/VECOUT。 Normal模式:
Small模式:
|
||
|
dstIndexLocal |
输出 |
目的操作数。用于保存排序出的k个值对应的索引。 类型为LocalTensor,支持的TPosition为VECIN/VECCALC/VECOUT。 Normal模式:
Small模式:
|
||
|
srcLocal |
输入 |
源操作数。用于保存待排序的值。 类型为LocalTensor,支持的TPosition为VECIN/VECCALC/VECOUT。
|
||
|
srcIndexLocal |
输入 |
源操作数。用于保存待排序的值对应的索引。 类型为LocalTensor,支持的TPosition为VECIN/VECCALC/VECOUT。 该参数和模板参数isInitIndex配合使用,isInitIndex为false时,srcIndexLocal只需进行定义,不需要赋值,将定义后的srcIndexLocal传入接口即可;isInitIndex为true时,开发者需要通过srcIndexLocal参数传入索引值。srcIndexLocal参数设置的规则如下: Normal模式:
Small模式:
|
||
|
finishLocal |
输入 |
源操作数。用于指定某些行的排序是无效排序,其shape为(outter, 1)。 类型为LocalTensor,支持的TPosition为VECIN/VECCALC/VECOUT。 针对Atlas 350 加速卡,该参数为预留参数,暂未启用,为后续的功能扩展做保留,取值为false。 该参数和模板参数isHasfinish配合使用,Normal模式下支持isHasfinish配置为true/false,Small模式下仅支持isHasfinish配置为false。
|
||
|
tmpLocal |
输入 |
临时空间。接口内部复杂计算时用于存储中间变量,由开发者提供,临时空间大小的获取方式请参考TopK Tiling。数据类型固定uint8_t。 类型为LocalTensor,逻辑位置仅支持VECCALC,不支持其他逻辑位置。 |
||
|
k |
输入 |
获取前k个最大值或最小值及其对应的索引。数据类型为int32_t。 k的大小应该满足:1 <= k <= n。 |
||
|
tilling |
输入 |
Topk计算所需Tiling信息,Tiling信息的获取请参考TopK Tiling。 |
||
|
topKInfo |
输入 |
srcLocal的shape信息。TopKInfo类型,具体定义如下:
|
||
|
isLargest |
输入 |
类型为bool。取值为true时默认降序排列,获取前k个最大值;取值为false时进行升序排列,获取前k个最小值。 |
返回值说明
无
约束说明
- 操作数地址偏移对齐要求请参见通用说明和约束。
- 不支持源操作数与目的操作数地址重叠。
- 当存在srcLocal[i]与srcLocal[j]相同时,如果i>j,则srcLocal[j]将首先被选出来,排在前面。
- inf在Topk中被认为是极大值。
- nan在topk中排序时无论是降序还是升序,均被排在前面。
- 对于
Atlas 推理系列产品 AI Core:- 输入srcLocal类型是half,模板参数isInitIndex值为false时,传入的topKInfo.inner不能大于2048。
- 输入srcLocal类型是half,模板参数isInitIndex值为true时,传入的srcIndexLocal中的索引值不能大于2048。
调用示例
本样例实现了Normal模式代码逻辑。完整的算子样例参考topk样例。
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 |
// dstLocalValue:保存已排序出的k个值 // dstLocalIndex:保存已排序出的k个值对应的索引 // srcLocal:保存待排序的值 // srcLocalIndex:保存待排序的值对应的索引 // srcLocalFinish:用于指定某些行的排序是无效排序,其shape为(outter, 1) // sharedTmpBuffer: 保存排序过程中临时缓存的Tensor // 获取前k个最大值或最小值及其对应的索引 // topKTiling:存放Topk计算所需Tiling信息,可通过TopKTilingFunc接口获取 // topKInfo:srcLocal的shape信息 // isLargest:取值为true时默认降序排列,获取前k个最大值;取值为false时进行升序排列,获取前k个最小值 // 通过sharedTmpBuffer入参传入临时空间 AscendC::TopK<T, isInitIndex, isHasfinish, isReuseSrc, AscendC::TopKMode::TOPK_NORMAL>(dstLocalValue, dstLocalIndex, srcLocalValue, srcLocalIndex, srcLocalFinish, sharedTmpBuffer, k, topKTilingData, topKInfo, isLargest); // 接口框架申请临时空间 AscendC::TopK<T, isInitIndex, isHasfinish, isReuseSrc, AscendC::TopKMode::TOPK_NORMAL>(dstLocalValue, dstLocalIndex, srcLocalValue, srcLocalIndex, srcLocalFinish, k, topKTilingData, topKInfo, isLargest); |
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 |
// 当前仅支持Atlas 350 加速卡。 // dstLocalValue:保存已排序出的k个值 // dstLocalIndex:保存已排序出的k个值对应的索引 // srcLocal:保存待排序的值 // srcLocalIndex:保存待排序的值对应的索引 // srcLocalFinish:用于指定某些行的排序是无效排序,其shape为(outter, 1) // sharedTmpBuffer: 保存排序过程中临时缓存的Tensor // 获取前k个最大值或最小值及其对应的索引 // topKTiling:存放Topk计算所需Tiling信息,可通过TopKTilingFunc接口获取 // topKInfo:srcLocal的shape信息 // isLargest:取值为true时默认降序排列,获取前k个最大值;取值为false时进行升序排列,获取前k个最小值 // defaultTopKConfig:TopK计算的相关配置,包括算法选择、取最大值或最小值、是否对结果排序 // 通过sharedTmpBuffer入参传入临时空间 AscendC::TopK<T, isInitIndex, isHasfinish, isReuseSrc, AscendC::TopKMode::TOPK_NORMAL, defaultTopKConfig>(dstLocalValue, dstLocalIndex, srcLocalValue, srcLocalIndex, srcLocalFinish, sharedTmpBuffer, k, topKTilingData, topKInfo, isLargest); // 接口框架申请临时空间 AscendC::TopK<T, isInitIndex, isHasfinish, isReuseSrc, AscendC::TopKMode::TOPK_NORMAL, defaultTopKConfig>(dstLocalValue, dstLocalIndex, srcLocalValue, srcLocalIndex, srcLocalFinish, k, topKTilingData, topKInfo, isLargest); |
|
样例描述 |
本样例为对shape为(2,32)、数据类型为float的矩阵进行排序的示例,分别求取每行数据的前5个最小值。 使用Normal模式的接口,开发者自行传入输入数据索引,传入finishLocal来指定某些行的排序是无效排序。 |
||||||||
|---|---|---|---|---|---|---|---|---|---|
|
输入 |
|
||||||||
|
输出数据 |
|
本样例实现了Small模式的代码逻辑。
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 |
// dstLocalValue:保存已排序出的k个值 // dstLocalIndex:保存已排序出的k个值对应的索引 // srcLocal:保存待排序的值 // srcLocalIndex:保存待排序的值对应的索引 // srcLocalFinish:用于指定某些行的排序是无效排序,其shape为(outter, 1) // sharedTmpBuffer: 保存排序过程中临时缓存的Tensor // 获取前k个最大值或最小值及其对应的索引 // topKTiling:存放Topk计算所需Tiling信息,可通过TopKTilingFunc接口获取 // topKInfo:srcLocal的shape信息 // isLargest:取值为true时默认降序排列,获取前k个最大值;取值为false时进行升序排列,获取前k个最小值 // 通过sharedTmpBuffer入参传入临时空间 AscendC::TopK<T, isInitIndex, isHasfinish, isReuseSrc, AscendC::TopKMode::TOPK_NSMALL>(dstLocalValue, dstLocalIndex, srcLocalValue, srcLocalIndex, srcLocalFinish, sharedTmpBuffer, k, topKTilingData, topKInfo, isLargest); // 接口框架申请临时空间 AscendC::TopK<T, isInitIndex, isHasfinish, isReuseSrc, AscendC::TopKMode::TOPK_NSMALL>(dstLocalValue, dstLocalIndex, srcLocalValue, srcLocalIndex, srcLocalFinish, k, topKTilingData, topKInfo, isLargest); |
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 |
// 当前仅支持Atlas 350 加速卡。 // dstLocalValue:保存已排序出的k个值 // dstLocalIndex:保存已排序出的k个值对应的索引 // srcLocal:保存待排序的值 // srcLocalIndex:保存待排序的值对应的索引 // srcLocalFinish:用于指定某些行的排序是无效排序,其shape为(outter, 1) // sharedTmpBuffer: 保存排序过程中临时缓存的Tensor // 获取前k个最大值或最小值及其对应的索引 // topKTiling:存放Topk计算所需Tiling信息,可通过TopKTilingFunc接口获取 // topKInfo:srcLocal的shape信息 // isLargest:取值为true时默认降序排列,获取前k个最大值;取值为false时进行升序排列,获取前k个最小值 // defaultTopKConfig:TopK计算的相关配置,包括算法选择、取最大值或最小值、是否对结果排序 // 通过sharedTmpBuffer入参传入临时空间 AscendC::TopK<T, isInitIndex, isHasfinish, isReuseSrc, AscendC::TopKMode::TOPK_NSMALL, defaultTopKConfig>(dstLocalValue, dstLocalIndex, srcLocalValue, srcLocalIndex, srcLocalFinish, sharedTmpBuffer, k, topKTilingData, topKInfo, isLargest); // 接口框架申请临时空间 AscendC::TopK<T, isInitIndex, isHasfinish, isReuseSrc, AscendC::TopKMode::TOPK_NSMALL, defaultTopKConfig>(dstLocalValue, dstLocalIndex, srcLocalValue, srcLocalIndex, srcLocalFinish, k, topKTilingData, topKInfo, isLargest); |
|
样例描述 |
本样例为对shape为(4,17)、类型为float的输入数据进行排序的示例,求取每行数据的前8个最大值。 使用Small模式的接口,开发者自行传入输入数据索引。 |
||||||
|---|---|---|---|---|---|---|---|
|
输入 |
|
||||||
|
输出数据 |
|