旭日X3派:AI工具链【horizon_ai_toolchain_user_guide】

1. 产品介绍

1.1. 工具链总览

地平线芯片工具链(以下简称 工具链)是一套完整的边缘AI算法落地解决方案,可以帮助您在地平线AI芯片上快速部署自研算法模型。 工具链由模型转换和嵌入式运行环境等部分组成,其软件逻辑框图如下:

_images/logic_diagram.png

mapper部分提供了模型转换能力。通过公开DL框架获得的浮点模型,可以使用功能域转换为地平线AI芯片可识别的异构模型。

runtime sdk提供了异构模型的运行库支持,当前release版本只包含arm版本支持。

1.2. 快速上手

本章节帮助您了解浮点转换工具链的基本使用流程,实现快速上手。

使用浮点转换工具链的基本工作流程如下图,本章节我们将以MobileNet-v1模型为例为您进行使用演示,详细内容会在后续章节为您展开介绍。

_images/workflow.png

1.2.1. 准备开发环境

准备开发环境时,我们需要分别对开发机和开发板环境进行部署,完整的环境部署工作请您参考 环境部署

##### 开发机环境部署 #####
# 第一次使用前请拉取Docker镜像,{version}为工具链版本号
docker pull openexplorer/ai_toolchain_centos_7_xj3:{version}

# 进入OE包首层路径
cd horizon_xj3_open_explorer_{version}_{date}

# 运行脚本启动CPU Docker容器,/data请在使用时替换为您校准/评测数据集路径
# 容器启动后,默认会将OE包挂载在/open_explorer,将数据集挂载在/data/horizon_x3/data
bash run_docker.sh /data

##### 开发板环境部署 #####
# 在板端运行模型前请执行以下安装脚本,{board_ip}为开发板IP地址,执行前请确保您的开发机能够访问
cd ddk/package/board
bash install.sh {board_ip}
scp -r ddk/samples/model_zoo/runtime/ root@{boad_ip}:/userdata/xj3/model/
cd /userdata/xj3/script/00_quick_start/
bash run_mobilenetV1.sh

1.2.2. 浮点模型准备

在OE包的 ddk/samples/ai_toolchain/model_zoo/mapper 路径下,我们为您提供了相关示例模型。 如果您需要转换自己的模型,请参考 浮点模型准备

1.2.3. 模型检查

浮点模型准备好之后,请先使用 hb_mapper checker 工具检查工具链是否支持,详细说明请参考 验证模型 。

# 进入浮点模型转换示例目录
cd ddk/samples/ai_toolchain/horizon_model_convert_sample/

# 进入MobileNet-v1模型目录
cd 03_classification/01_mobilenet/mapper

# 模型检查,确认模型结构及算子是否支持,并提供每个算子执行硬件的分配情况(BPU/CPU)
bash 01_check.sh

1.2.4. 模型转换

模型检查通过后,请使用 hb_mapper makertbin` 工具链进行量化转换,相关 yaml 配置文件和校准数据集的具体准备请您参考 转换模型 。

# 准备校准数据
bash 02_preprocess.sh

# 模型转换(转换时所需的配置文件请参考mobilenet_config.yaml)
bash 03_build.sh

1.2.5. 性能快速验证

更多关于性能验证及优化建议请您参考 模型性能分析与调优 。

##### 静态性能评估 #####
# 1.可从模型转换日志观察模型分段及算子执行硬件分配情况
# 2.使用hb_perf工具评估模型bpu部分性能表现,结果文件.html中包含latency、ddr占用等信息
hb_perf model_output/mobilenetv1_224x224_nv12.bin

##### 动态性能评估 #####
# 首先请确保您已参考1.2.1节完成开发板环境部署
# 开发板推荐使用hrt_model_exec perf工具快速验证模型多帧串行/多线程并行性能
scp model_output/mobilenetv1_224x224_nv12.bin root@{board_ip}:/userdata

# 登录开发板环境
ssh root@{board_ip}

# 进入模型拷贝路径,hrt_model_exec工具被安装在/userdata/.horizon路径下
cd /userdata
.horizon/hrt_model_exec perf --model_file mobilenetv1_224x224_nv12.bin

1.2.6. 精度验证

具体的精度验证和优化建议请参考 模型精度分析与调优 。

在正式进行精度评测前,请确保您已准备好相关数据集,并挂载在 Docker 容器中。示例模型所依赖的相关数据集请联系地平线工程师或开发者社区助手进行获取。

1.2.6.1. Python环境验证

地平线为您提供了量化模型在开发机python环境的推理能力,极大地简化了前期的验证工作,参考指令如下:

##### 开发机Python环境评测 #####
# 在开发机环境可以直接验证xxx_quantized_model.onnx模型精度,与.bin模型数值一致

# 测试量化模型单张图片推理结果
bash 04_inference.sh

# 测试浮点模型单张图片推理结果(可选)
bash 04_inference.sh origin

# 测试量化模型验证集精度,请确保您的数据集已正确挂载在Docker容器中
bash 05_evaluate.sh
1.2.6.2. 开发板C++环境验证

为方便您在板端快速完成模型部署,我们为您提供了一套适配地平线所有硬件平台的嵌入式端预测库,并提供了相关示例。

预测库所有API介绍请参考 BPU SDK API手册

单张推理及常用API示例介绍可参考 基础示例包使用说明

示例运行方式如下:

##### 开发板C++环境单张图片推理 #####
# 开发机环境交叉编译
cd /open_explorer/ddk/samples/ai_toolchain/horizon_runtime_sample/code
bash build_xj3.sh
scp -r ../xj3/ root@{board_ip}:/userdata
scp -r /open_explorer/ddk/samples/model_zoo/runtime/ root@{boad_ip}:/userdata/xj3/model/

# 登录开发板环境
ssh root@{board_ip}

# 执行单张图片推理脚本
cd /userdata/xj3/script/00_quick_start/
bash run_mobilenetV1.sh

此外,我们还提供了常见的分类、检测和分割模型的评测示例,包括性能评测和精度评测两部分,以便开发者快速体验并基于这些示例进行应用开发。 具体可参考 AI-Benchmark使用说明

在进行精度验证前,您需要进行精度验证的准备工作,步骤如下:

1、 准备编译好的模型

执行以下命令,将 ptq 目录拷贝到开发板的 /userdata 目录下,然后将 model_zoo/runtime 拷贝到 ptq/model 目录下。

scp -r ddk/samples/ai_benchmark/xj3/ptq root@{board_ip}:/userdata
scp -r ddk/samples/model_zoo/runtime root@{board_ip}:/userdata/ptq/model/

2、 数据预处理

以 ImageNet 为例,MobileNet-v1 模型的预处理命令如下:

hb_eval_preprocess -m mobilenetv1 -i imagenet/val -o ./pre_mobilenetv1

3、 数据挂载

由于数据集较大,不适合直接放在开发板上,可以采用挂载的方式供开发板读取。此处注意服务器PC端需要具备root权限,挂载步骤如下:

开发机端:

1)编辑 /etc/exports ,增加一行: /nfs *(insecure,rw,sync,all_squash,anonuid=1000,anongid=1000,no_subtree_check) 。 /nfs 表示的是本机挂载路径,可替换为用户指定目录。

2)执行命令 exportfs -a -r ,使 /etc/exports 生效。

板端:

1)创建需要挂载的目录: mkdir -p /mnt 。

2)输入指令: mount -t nfs {PC端IP}:/nfs /mnt -o nolock 。

完成将PC端的 /nfs 文件夹挂载至板端的 /mnt 文件夹。按照此方式,完成将包含预处理数据的文件夹挂载至板端,并将 /data 目录软链接至板端 /ptq 目录下,与 /script 同级目录。

4、 生成lst文件

板端挂载完成后,在板端 /userdata/ptq/script/classification/mobilenetv1/ 路径下输入以下命令,将预处理文件生成对应的lst文件,lst文件中包含了需要读取的每一张前处理文件的路径。

其中 ../../../data/imagenet/imagenet.lst 路径是通过查看 /userdata/ptq/script/classification/mobilenetv1/workflow_accuracy.json 文件中 "image_list_file": "../../../data/imagenet/imagenet.lst" 所得位置。

find /mnt -name "*JPEG*" > ../../../data/imagenet/imagenet.lst

备注

此处命令find后接的路径一定要包含对应模型的所有预处理图片,且图片格式需要检查是jpg还是JPEG。

准备工作完成后,可进行以下精度验证步骤:

##### 开发板C++环境完整测试集评测 #####
# 开发机环境交叉编译
cd /open_explorer/ddk/samples/ai_benchmark/code
sh build_ptq_xj3.sh
scp -r ../xj3/ptq root@{board_ip}:/userdata

# 登录开发板环境
ssh root@{board_ip}

# 生成预测结果文件
cd /userdata/ptq/script/classification/mobilenetv1
bash accuracy.sh

完成开发板C++环境完整测试集评测步骤后,板端程序在当前 mobilenetv1 目录下生成 eval.log 文件,该文件就是预测结果文件。

1.2.6.3. 进行精度计算

1、将上一节中板端得到的 eval.log 文件拷贝至开发机安装包 /ddk/samples/ai_benchmark/xj3/ptq/tools/python_tools/accuracy_tools 路径下。

2、将开发机中安装包 /ddk/samples/ai_toolchain/horizon_model_convert_sample/01_common/test_data 路径下的 val.txt 文件拷贝至开发机安装包 /ddk/samples/ai_benchmark/xj3/ptq/tools/python_tools/accuracy_tools 路径下。

在 /ddk/samples/ai_benchmark/xj3/ptq/tools/python_tools/accuracy_tools 路径下执行以下命令即可得到所需模型的精度计算结果:

python3 cls_eval.py --log_file=eval.log --gt_file=val.txt

备注

此处 cls_eval.py 是用来计算分类模型精度的脚本;针对不同数据集,我们为您提供了不同的脚本。 精度计算的脚本在 python_tools 目录下,其中 accuracy_tools 中的: cls_eval.py 是用来计算分类模型的精度; det_eval.py 是用来计算使用COCO数据集评测的检测模型的精度; parsing_eval.py 是用来计算使用Cityscapes数据集评测的分割模型的精度; voc_metric 中 /det_eval.py 是用来计算使用VOC数据集评测的检测模型的精度。

1.2.7. 应用开发

当模型的性能和精度都符合预期后,请参考 应用开发 中的步骤实现上层应用的具体开发。

2. 环境部署

2.1. 简介

本章节介绍了在使用工具链前必须的环境准备工作,包含 开发机部署 和 开发板部署 两个部分。

2.2. 开发机部署

对于开发机的环境部署,地平线支持使用Docker和手工安装两种方式,您只需要选择其中一种即可。

提示

地平线强烈建议您使用Docker方式,以避免在安装过程中出现问题。

2.2.1. 开发机准备

为了顺利地使用工具链,地平线建议您选择的开发机应满足以下要求:

硬件/操作系统

要求

CPU

CPU I3以上或者同级别E3/E5的处理器

内存

16G或以上级别

GPU

CUDA11、驱动版本Linux:>= 450.80.02*

适配显卡包括但不限于:

1)GeForce RTX 3090

2)GeForce RTX 2080 Ti

3)NVIDIA TITAN V

4)Tesla V100S-PCIE-32GB

系统

CentOS 7、Ubuntu 18.04

更多关于CUDA与显卡的兼容性问题请参考 NVIDIA官网信息 。

2.2.2. 使用Docker环境

为了帮助您快速使用工具链,地平线提供了包含了完整开发环境的CPU和GPU Docker镜像,大大简化了环境的部署过程。

在阅读此部分内容前,我们希望您的开发机中已经预装好了Docker的基础环境。 地平线要求的Docker基础环境信息如下:

完成Docker环境安装后,需要将无root权限的用户添加到Docker用户组中。参考如下命令:

sudo groupadd docker
sudo gpasswd -a ${USER} docker
sudo systemctl restart docker  # CentOS7/Ubuntu
# re-login

如果您使用CPU Docker,请从 地平线天工开物cpu docker hub 获取本节需要使用的CentOS Docker镜像。 CPU镜像文件命名形式为 openexplorer/ai_toolchain_centos_7_xj3:{version}

如果您使用GPU Docker,请从 地平线天工开物gpu docker hub 获取本节需要使用的Ubuntu Docker镜像。 GPU镜像文件命名形式为 openexplorer/ai_toolchain_ubuntu_gpu_xj3:{version}

小技巧

执行命令时将{version}替换为您获取到的版本号。

每个镜像文件在第一次使用前,需要拉取镜像。

  • CPU镜像拉取命令为:

    docker pull openexplorer/ai_toolchain_centos_7_xj3:{version}
    
  • GPU镜像拉取命令为:

    docker pull openexplorer/ai_toolchain_ubuntu_gpu_xj3:{version}
    

然后执行以下命令运行Docker容器。

  • CPU Docker容器执行以下命令:

    // 进入OE包首层路径
    cd horizon_xj3_open_explorer_{version}_{date}
    
    // 运行脚本进入CPU docker容器
    sh run_docker.sh /data
    
  • GPU Docker容器执行以下命令:

    // 进入OE包首层路径
    cd horizon_xj3_open_explorer_{version}_{date}
    
    // 运行脚本进入GPU docker容器
    sh run_docker.sh /data gpu
    

备注

在执行上述命令时:

  • 将 {version} 和 {date} 替换为您实际获取到的OpenExplorer发布包(简称OE包)版本和发布日期。 如: openexplorer/horizon_xj3_open_explorer_v1.7.0_20211101/

  • /data 为数据集文件目录,如果该目录不存在会导致加载问题,需要创建好后再运行命令。 您可以从 vrftp.horizon.ai/Open_Explorer/eval_dataset 获取数据集,然后创建该路径。

至此,您就已经成功通过Docker镜像进入了完整的工具链开发环境。 您可以键入 hb_mapper --help 命令验证下是否可以正常得到帮助信息,hb_mapper 是工具链的一个常用工具, 在后文的模型转换部分对其有详细介绍。

2.2.3. 手工安装环境

在执行手动安装前,我们希望您的操作环境满足如下软件环境要求:

  • 操作系统: CentOS7 或者 Ubuntu18.04

  • Python3.6

  • libpython3.6

  • python3-devel

  • python3-pip

  • gcc&c++: 5.4.0

  • graphviz

确认满足以上条件后,手工安装过程需要您依次完成:交叉编译器安装AI工具安装 和 其他开发工具安装 三个步骤。

  1. 交叉编译器安装

交叉编译器使用相关文件已经包含在open_explorer发布包中, 您可以在发布包的 ddk/tools 中找到gcc_ubuntu_9.3.0_2020.03_x86_64_aarch64_linux_gnu.tar.xz, 并将其解压到开发机的 /opt 目录下。 另外您需要在环境中新增一个变量 LINARO_GCC_ROOT,给其复制为交叉编译器的完整路径,参考如下:

export LINARO_GCC_ROOT=/opt/gcc-ubuntu-9.3.0-2020.03-x86_64-aarch64-linux-gnu/
  1. AI和其他开发工具安装

AI工具安装涉及到系列内部工具安装,open_explorer发布包中已经将安装过程打包为一个安装脚本。 在发布包中进入到 ddk/package/host,执行以下命令启动安装:

bash install.sh

安装脚本会自动检查相应的环境,缺少相应依赖或配置会中断安装过程,并给出修正建议如下图。

_images/ai_tool_installation.png

根据建议补充依赖后,重新执行install脚本即可。

注意

如果修正建议指出是gcc/g++版本不符合要求,在安装完指定版本之后,您需要重新建立gcc和g++软链接为gcc-5.4.0和g++-5.4.0。

在顺利完成install脚本后,您可以键入 hb_mapper --help 命令验证下是否可以正常得到帮助信息, hb_mapper 是工具链的一个常用工具,在后文的模型转换部分对其有详细介绍。同时也可以从 ~/.horizon 目录下查看安装的依赖情况。

2.3. 开发板部署

开发板部署需要您先准备好一块烧写好系统镜像的开发板,再将相关补充文件拷贝到开发板中即可。

2.3.1. 开发板准备

此阶段需要验证下开发板的可用性,将可用系统镜像烧写到开发板中。 具体过程请参考open_explorer发布包中的XJ3 Soc用户指导材料 《地平线XJ3芯片固件升级手册》 。

2.3.2. 补充文件准备

工具链的部分补充工具未包含在系统镜像中,这些工具已经放置在Open Explorer发布包中, 进入到 ddk/package/board 执行install脚本即可。 执行命令如下:

bash install.sh ${board_ip}

备注

其中,${board_ip} 是您为开发板设置的IP地址,请确保在开发机上可以访问该IP。 成功安装后,重新启动开发板,在开发板上执行 hrt_model_exec 可以验证安装是否成功。

3. 模型转换

3.1. 简介

模型转换是指将原始浮点模型转换为地平线混合异构模型的过程。 原始浮点模型(文中部分地方也称为浮点模型)是指您通过TensorFlow/PyTorch等等DL框架训练得到的 可用模型,这个模型的计算精度为float32;混合异构模型是一种适合在地平线芯片上运行的模型格式。 本章节将反复使用到这两种模型名词,为避免理解歧义,请先理解这个概念再阅读下文。

配合地平线工具链的模型完整开发过程,需要经过 浮点模型准备、 模型验证、 模型转换、 性能评估 和 精度评估 共五个重要阶段,如下图。

_images/model_conversion_flowchart.png

浮点模型准备 阶段的产出是输入到模型转换工具的浮点模型, 这些模型一般都是基于公开DL训练框架得到的, 需要您注意的是将模型导出为地平线工具支持的格式。 具体要求与建议请参考 浮点模型准备

模型验证 阶段用来确保算法模型是符合工具链要求的。 地平线提供了指定工具完成此阶段检查,对于不符合要求的情况, 检查工具会明确给出不符合要求的具体算子信息,方便您结合算子约束的说明将模型调整过来。 具体使用请参考 验证模型

模型转换 阶段将完成浮点模型到地平线混合异构模型的转换。 为了模型能在地平线芯片上高效运行,地平线转换工具内部会完成模型优化、量化和编译等关键步骤, 地平线的量化方法经过了长期的技术与生产验证,在大部分典型模型上可以达到99%以上的精度保持效果。 具体使用请参考 转换模型

性能评估 阶段提供了系列评估模型性能的工具。 在应用部署前,您可以使用这些工具验证模型性能是否达到应用要求。 对于部分性能不及预期的情况,也可以参考地平线提供的性能优化建议进行调优。 具体评估请参考 模型性能分析与调优

精度评估 阶段提供了系列评估模型精度的工具。 大部分情况下,地平线转换后模型可以保持与原始浮点模型基本一致的精度效果, 在应用部署前,您可以使用地平线工具验证模型的精度是否符合预期。 对于部分精度不及预期的情况,也可以参考地平线提供的性能优化建议进行调优。 具体评估请参考 模型精度分析与调优

注意

通常在模型转换后就已经得到了可以上板的模型, 但是为了确保您得到的模型性能和精度都是符合应用要求的, 地平线强烈建议每次转换后都完成后续的性能评估与精度评估步骤。

模型转换过程会生成onnx模型, 该模型均为中间产物, 只是便于用户验证模型精度情况, 因此不保证其在版本间的兼容性。 若使用事例中的评测脚本对onnx模型单张或在测试集上进行评测时, 请使用当前版本工具生成的onnx模型进行操作。

3.2. 浮点模型准备

基于公开DL框架训练得到的浮点模型是转换工具的输入,目前转换工具支持的DL框架如下:

框架

Caffe

PyTorch

TensorFlow

MXNet

其他框架

地平线工具链

支持

支持(转ONNX)

请联系地平线

以上框架中,Caffe导出的caffemodel是直接支持的; PyTorch、TensorFlow和MXNet是通过转到ONNX实现间接支持, ONNX目前主要支持的opset版本是opset10和opset11。

对于不同框架到ONNX的转换,目前都有对应的标准化方案,参考如下:

🔗 Pytorch2Onnx:PytTorch官方API支持直接将模型导出为ONNX模型,参考链接:

(optional) Exporting a Model from PyTorch to ONNX and Running it using ONNX Runtime — PyTorch Tutorials 2.3.0+cu121 documentation

🔗 Tensorflow2Onnx:基于ONNX社区的onnx/tensorflow-onnx 进行转换,参考链接:

GitHub - onnx/tensorflow-onnx: Convert TensorFlow, Keras, Tensorflow.js and Tflite models to ONNX

🔗 MXNet2Onnx:MXNet官方API支持直接将模型导出为ONNX模型,参考链接:

machinelearning/test/Microsoft.ML.Tests/OnnxConversionTest.cs at main · dotnet/machinelearning · GitHub

🔗 更多框架的ONNX转换支持,参考链接:

GitHub - onnx/tutorials: Tutorials for creating and using ONNX models

注意

  • 目前转换工具仅支持输出个数小于或等于32的模型进行转换。

  • 原始模型限制:ir_version≤7, opset=10或11,ir_version与onnx版本的对应关系请参考 onnx官方文档 。

3.3. 验证模型

为了确保模型能顺利在地平线平台高效运行,模型中所使用的算子需要符合平台的算子约束。 算子约束部分给出了我们支持的具体算子,每个算子都给出了具体的参数限制, 具体详细信息请参考 supported_op_list_and_restrictions/ 路径下的《supported_op_list_and_restrictions_release》Excel表格。 考虑到地平线支持的算子较多,为了避免人工逐条校对的麻烦, 我们提供了 hb_mapper checker 工具用于验证模型所使用算子的支持情况。

3.3.1. 使用 hb_mapper checker 工具验证模型

hb_mapper checker 工具的使用方式如下:

hb_mapper checker --model-type ${model_type} \
                  --march ${march} \
                  --proto ${proto} \
                  --model ${caffe_model/onnx_model} \
                  --input-shape ${input_node} ${input_shape} \
                  --output ${output}

hb_mapper checker 参数解释:

--model-type

用于指定检查输入的模型类型,目前只支持设置 caffe 或者 onnx

--march

用于指定需要适配的AI芯片类型,X/J3芯片应设置为 bernoulli2

--proto

此参数仅在 model-type 指定 caffe 时有效,取值为Caffe模型的prototxt文件名称。

--model

在 model-type 被指定为 caffe 时,取值为Caffe模型的caffemodel文件名称。 在 model-type 被指定为 onnx 时,取值为ONNX模型文件名称。

--input-shape

可选参数,明确指定模型的输入shape。 取值为 {input_name} {NxHxWxC/NxCxHxW} ,input_name 与shape之间以空格分隔。 例如模型输入名称为 data1,输入shape为 [1,224,224,3], 则配置应该为 --input_shape data1 1x224x224x3。 如果此处配置shape与模型内shape信息不一致,以此处配置为准。

备注

注意一个 --input-shape 只接受一个name和shape组合,如果您的模型有多个输入节点, 在命令中多次配置 --input-shape 参数即可。

--output

可选参数,接受设置值为一个日志文件名称。 指定该参数情况下,检查的结果将输出到指定的日志文件。

3.3.2. 检查异常处理

如果模型检查不通过,hb_mapper checker 工具会报出ERROR。 在当前工作目录下会生成hb_mapper_checker.log文件,从文件中可以查看到具体的报错。 例如以下配置中含不可识别算子类型 Accuracy

layer {
  name: "data"
  type: "Input"
  top: "data"
  input_param { shape: { dim: 1 dim: 3 dim: 224 dim: 224 } }
}
layer {
  name: "Convolution1"
  type: "Convolution"
  bottom: "data"
  top: "Convolution1"
  convolution_param {
    num_output: 128
    bias_term: false
    pad: 0
    kernel_size: 1
    group: 1
    stride: 1
    weight_filler {
      type: "msra"
    }
  }
}
layer {
  name: "accuracy"
  type: "Accuracy"
  bottom: "Convolution3"
  top: "accuracy"
  include {
    phase: TEST
  }
}

使用 hb_mapper checker 检查这个模型,您会在hb_mapper_checker.log中得到如下信息:

ValueError: Not support layer name=accuracy type=Accuracy

3.3.3. 检查结果解读

如果不存在ERROR,则顺利通过校验。hb_mapper checker 工具将直接输出如下信息:

==============================================
Node         ON   Subgraph  Type
----------------------------------------------
conv1        BPU  id(0)     HzSQuantizedConv
conv2_1/dw   BPU  id(0)     HzSQuantizedConv
conv2_1/sep  BPU  id(0)     HzSQuantizedConv
conv2_2/dw   BPU  id(0)     HzSQuantizedConv
conv2_2/sep  BPU  id(0)     HzSQuantizedConv
conv3_1/dw   BPU  id(0)     HzSQuantizedConv
conv3_1/sep  BPU  id(0)     HzSQuantizedConv
...

结果中每行都代表一个模型节点的check情况,每行含Node、ON、Subgraph和Type四列, 分别为节点名称、执行节点计算的硬件、节点所属子图和节点映射到的地平线内部实现名称。 如果模型在非输入和输出部分出现了CPU计算的算子,工具将把这个算子前后连续在BPU计算的部分拆分为两个Subgraph(子图)。

3.3.4. 检查结果的调优指导

在最理想的情况下,非输入和输出部分都应该在BPU上运行,也就是只有一个子图。 如果出现了CPU算子导致拆分多个子图,hb_mapper checker 工具会给出导致CPU算子出现的具体原因。 例如以下Caffe模型的Convolution2使用了9x9 kernel,超出了Convolution的算子约束。

layer {
  name: "data"
  type: "Input"
  top: "data"
  input_param { shape: { dim: 1 dim: 3 dim: 224 dim: 224 } }
}
layer {
  name: "Convolution1"
  type: "Convolution"
  bottom: "data"
  top: "Convolution1"
  convolution_param {
    num_output: 128
    bias_term: false
    pad: 0
    kernel_size: 1
    group: 1
    stride: 1
    weight_filler {
      type: "msra"
    }
  }
}
layer {
  name: "Convolution2"
  type: "Convolution"
  bottom: "Convolution1"
  top: "Convolution2"
  convolution_param {
    num_output: 128
    bias_term: false
    pad: 4
    kernel_size: 9
    group: 1
    stride: 1
    weight_filler {
      type: "msra"
    }
  }
}
layer {
  name: "Convolution3"
  type: "Convolution"
  bottom: "Convolution2"
  top: "Convolution3"
  convolution_param {
    num_output: 128
    bias_term: false
    pad: 1
    kernel_size: 3
    group: 1
    stride: 1
    weight_filler {
      type: "msra"
    }
  }
}

使用 hb_mapper checker 工具检查这个模型时,您将得到kernel超出约束的提示如下:

1 Layer Convolution2
2         Expected data shape range of Kernel shape is [[1, 2048],[1, 7],[1, 7],[1, 2048]], but the data shape is [128,9,9,128]

模型最终检查结果也会出现一个以上的分段,如下:

===============================================
Node          ON   Subgraph  Type
-----------------------------------------------
Convolution1  BPU  id(0)     HzSQuantizedConv
Convolution2  CPU  --        Conv
Convolution3  BPU  id(1)     HzSQuantizedConv

根据 hb_mapper checker 给出的提示,如果需要更高的性能,您需要将Convolution2的kernel调整到限制范围内。 当然,多个子图也不会影响整个转换流程,如果在后续性能评估不达预期,您再根据这里的建议尽量将算子调整到BPU上运行。

3.4. 转换模型

转换模型阶段会完成浮点模型到地平线混合异构模型的转换,经过这个阶段,您将得到一个可以在地平线芯片上运行的模型。 在进行转换之前,请确保已经顺利通过了3.3节的验证模型过程。

模型转换使用 hb_mapper makertbin 工具完成,转换期间会完成模型优化和校准量化等重要过程,校准需要依照模型预处理要求准备校准数据。 为了方便您全面了解模型转换,本节将依次介绍转换工具使用、校准数据准备、转换内部过程解读、转换结果解读和转换产出物解读。

3.4.1. 使用 hb_mapper makertbin 工具转换模型

hb_mapper makertbin命令使用方式如下:

hb_mapper makertbin --config ${config_file}  \
                    --model-type  ${model_type}

hb_mapper makertbin参数解释:

--model-type

用于指定转换输入的模型类型,目前支持设置 caffe 或者 onnx

--config

模型编译的配置文件,内容采用yaml格式,文件名使用.yaml后缀。一份完整的配置文件模板如下:

备注

此处配置文件仅作展示,在实际模型配置文件中 caffe_model 与 onnx_model 两个参数只存在其中之一。 即,要么是Caffe模型,要么是ONNX模型。

# 模型参数组
model_parameters:
  # 原始Caffe浮点模型描述文件
  prototxt: '***.prototxt'

  # 原始Caffe浮点模型数据模型文件
  caffe_model: '****.caffemodel'

  # 原始Onnx浮点模型文件
  onnx_model: '****.onnx'

  # 转换的目标AI芯片架构
  march: 'bernoulli2'

  # 模型转换输出的用于上板执行的模型文件的名称前缀
  output_model_file_prefix: 'mobilenetv1'

  # 模型转换输出的结果的存放目录
  working_dir: './model_output_dir'

  # 指定转换后混合异构模型是否保留输出各层的中间结果的能力
  layer_out_dump: False

  # 转换过程中日志生成级别
  log_level: 'debug'

# 输入信息参数组
input_parameters:
  # 原始浮点模型的输入节点名称
  input_name: "data"

  # 原始浮点模型的输入数据格式(数量/顺序与input_name一致)
  input_type_train: 'bgr'

  # 原始浮点模型的输入数据排布(数量/顺序与input_name一致)
  input_layout_train: 'NCHW'

  # 原始浮点模型的输入数据尺寸
  input_shape: '1x3x224x224'

  # 网络实际执行时,输入给网络的batch_size, 默认值为1
  input_batch: 1

  # 在模型中添加的输入数据预处理方法
  norm_type: 'data_mean_and_scale'

  # 预处理方法的图像减去的均值, 如果是通道均值,value之间必须用空格分隔
  mean_value: '103.94 116.78 123.68'

  # 预处理方法的图像缩放比例,如果是通道缩放比例,value之间必须用空格分隔
  scale_value: '0.017'

  # 转换后混合异构模型需要适配的输入数据格式(数量/顺序与input_name一致)
  input_type_rt: 'yuv444'

  # 输入数据格式的特殊制式
  input_space_and_range: 'regular'

  # 转换后混合异构模型需要适配的输入数据排布(数量/顺序与input_name一致),若input_type_rt配置为nv12,则此处参数不需要配置
  input_layout_rt: 'NHWC'

# 校准参数组
calibration_parameters:
  # 模型校准使用的标定样本的存放目录
  cal_data_dir: './calibration_data'

  # 开启图片校准样本自动处理(skimage read; resize到输入节点尺寸)
  #preprocess_on: False

  # 校准使用的算法类型
  calibration_type: 'kl'

  # max 校准方式的参数
  max_percentile: 1.0

  # 强制指定OP在CPU上运行
  run_on_cpu:  {OP_name}

  # 强制指定OP在BPU上运行
  run_on_bpu:  {OP_name}

# 编译参数组
compiler_parameters:
  # 编译策略选择
  compile_mode: 'latency'

  # 是否打开编译的debug信息
  debug: False

  # 模型运行核心数
  core_num: 1

  # 模型编译的优化等级选择
  optimize_level: 'O3'

custom_op:
  # 自定义op的校准方式, 推荐使用注册方式 register
  custom_op_method: register

  # 自定义OP的实现文件, 多个文件可用";"分隔, 该文件可由模板生成, 详情见自定义OP相关文档
  op_register_files: sample_custom.py

  # 自定义OP实现文件所在的文件夹, 请使用相对路径
  custom_op_dir: ./custom_op

配置文件主要包含模型参数组、输入信息参数组、校准参数组和编译参数组。 在您的配置文件中,四个参数组位置都需要存在,具体参数分为可选和必选,可选参数可以不配置。 具体参数的设置形式为:param_name:  'param_value' ,参数存在多个值时使用 ';' 符号分隔: param_name:  'param_value1; param_value2; param_value3' 。

小技巧

当模型为多输入模型时, 强烈建议用户将可选参数们(input_nameinput_shape 等)显式的写出, 以免造成参数对应顺序上的错误。

注意

请注意,如果设置 input_type_rt 为 nv12 ,则模型的输入尺寸中不能出现奇数。

以下是具体参数信息,参数会比较多,我们依照上述的参数组次序介绍。

🛠️ 模型参数组

参数名称

参数配置说明

可选/

必选

1

prototxt

参数作用:指定Caffe浮点模型的prototxt文件名称。

取值范围:无。

默认配置:无。

参数说明:在 hb_mapper makertbin 的

model-type 为 caffe 时必须配置。

可选

2

caffe_model

参数作用:指定Caffe浮点模型的caffemodel文件名称。

取值范围:无。

默认配置:无。

参数说明:在 hb_mapper makertbin 的

model-type 为 caffe 时必须配置。

可选

3

onnx_model

参数作用:指定ONNX浮点模型的onnx文件名称。

取值范围:无。

默认配置:无。

参数说明:在 hb_mapper makertbin 的

model-type 为 onnx 时必须配置。

可选

4

march

参数作用:指定产出混合异构模型需要支持的平台架构。

取值范围bernoulli2

默认配置: bernoulli2

参数说明: X3&J3芯片对应的微框架。

根据您使用的平台选择。

可选

5

output_model_file_prefix

参数作用:指定转换产出混合异构模型的名称前缀。

取值范围:无。

默认配置:无。

参数说明:输出的定点模型文件的名称前缀。

必选

6

working_dir

参数作用:指定模型转换输出的结果的存放目录。

取值范围:无。

默认配置model_output

参数说明:若该目录不存在, 则工具会自动创建目录。

可选

7

layer_out_dump

参数作用:指定混合异构模型是否保留输出中间层值的能力。

取值范围True 、 False

默认配置False

参数说明:输出中间层的值是调试需要用到的手段,

常规状态下请不要开启。

可选

8

log_level

参数作用:指定转换工具日志文件的记录级别。

取值范围debug、 info、 warn

默认配置: debug

参数说明debug 输出模型转换的详细信息;

info 只输出关键信息;

warn 输出警告和错误级别以上的信息。

可选

9

output_nodes

参数作用:指定模型的输出节点。

取值范围:无。

默认配置:无。

参数说明:一般情况下,转换工具会自动识别模型的输出节点。

此参数用于支持您指定一些中间层次作为输出。

设置值为模型中的具体节点名称,

多个值的配置方法请参考前文对 param_value 配置描述。

需要您注意的是,一旦设置此参数后,工具将不再自动识别输出节点,

您通过此参数指定的节点就是全部的输出。

可选

10

remove_node_type

参数作用:设置删除节点的类型。

取值范围:”Quantize”, “Transpose”, “Dequantize”, “Cast”, “Reshape”。不同类型用”;”分割。

默认配置:无。

参数说明:该参数为隐藏参数, 不设置或设置为空不影响模型转换过程。 此参数用于支持您设置待删除节点的类型信息。

被删除的节点必须在模型的开头或者末尾, 与模型的输入或输出连接。

注意:待删除节点会按顺序依次删除,并动态更新模型结构;

同时在节点删除前还会判断该节点是否位于模型的输入输出处。

因此节点的删除顺序很重要。

可选

11

remove_node_name

参数作用:设置删除节点的名称。

取值范围:无。不同类型用”;”分割。

默认配置:无。

参数说明:该参数为隐藏参数, 不设置或设置为空不影响模型转换过程。 此参数用于支持您设置待删除节点的名称。

被删除的节点必须在模型的开头或者末尾, 与模型的输入或输出连接。

注意:待删除节点会按顺序依次删除,并动态更新模型结构;

同时在节点删除前还会判断该节点是否位于模型的输入输出处。

因此节点的删除顺序很重要。

可选

🛠️ 输入信息参数组

参数名称

参数配置说明

可选/

必选

1

input_name

参数作用:指定原始浮点模型的输入节点名称。

取值范围:无。

默认配置:无。

参数说明:浮点模型只有一个输入节点情况时不需要配置,

多于一个输入节点时必须配置以保证后续类型及校准数据输入顺序的准确性。

多个值的配置方法请参考前文对param_value配置描述。

可选

2

input_type_train

参数作用:指定原始浮点模型的输入数据类型。

取值范围: rgb 、 bgr 、 yuv444 、 gray 、 featuremap

默认配置:无。

参数说明:每一个输入节点都需要配置一个确定的输入数据类型,

存在多个输入节点时,设置的节点顺序需要与

input_name 里的顺序严格保持一致。

多个值的配置方法请参考前文对 param_value 配置描述。

数据类型的选择请参考下文

转换内部过程解读

部分的介绍。

必选

3

input_layout_train

参数作用:指定原始浮点模型的输入数据排布。

取值范围NHWC 、 NCHW

默认配置:无。

参数说明:每一个输入节点都需要配置一个确定的输入数据排布,

这个排布必须与原始浮点模型所采用的数据排布相同。存在多个输入节点时,

设置的节点顺序需要与 input_name 里的顺序严格保持一致。

多个值的配置方法请参考前文对 param_value 配置描述。

什么是数据排布请参考下文

转换内部过程解读

部分的介绍。

可选

4

input_type_rt

参数作用:转换后混合异构模型需要适配的输入数据格式。

取值范围rgb 、 bgr 、 yuv444 、

nv12 、 gray 、 featuremap

默认配置:无。

参数说明:这里是指明您需要使用的数据格式,

不要求与原始模型的数据格式一致,

但是需要注意在边缘平台喂给模型的数据是使用这个格式。

每一个输入节点都需要配置一个确定的输入数据类型,存在多个输入节点时,

设置的节点顺序需要与 input_name 里的顺序严格保持一致。

多个值的配置方法请参考前文对 param_value 配置描述。

数据类型的选择请参考下文

转换内部过程解读

部分的介绍。

必选

5

input_layout_rt

参数作用:转换后混合异构模型需要适配的输入数据排布。

取值范围: NCHW 、 NHWC

默认配置:无。

参数说明:每一个输入节点都需要配置一个确定的输入数据排布,

这个输入是您希望给混合异构模型指定的排布。

不合适的输入数据的排布设置将会影响性能,

X/J3平台建议用户使用 NHWC 格式输入。

若input_type_rt配置为nv12,则此处参数不需要配置。

存在多个输入节点时,设置的节点顺序需要与

input_name 里的顺序严格保持一致。

多个值的配置方法请参考前文对 param_value 配置描述。

什么是数据排布请参考下文

转换内部过程解读

部分的介绍。

可选

6

input_space_and_range

参数作用:指定输入数据格式的特殊制式。

取值范围: regular , bt601_video

默认配置: regular

参数说明:这个参数是为了适配不同ISP输出的yuv420格式,

在相应 input_type_rt 为 nv12 时,该配置才有效。

regular 就是常见的yuv420格式,数值范围为 [0,255]

bt601_video 是另一种视频制式yuv420,数值范围为 [16,235]

更多信息可以通过网络资料了解bt601,

在没有明确需要的情况下,您不要配置此参数。

可选

7

input_shape

参数作用:指定原始浮点模型的输入数据尺寸。

取值范围:无。

默认配置:无。

参数说明:shape的几个维度以 x 连接,例如 1x3x224x224

原始浮点模型只有一个输入节点情况时可以不配置,

工具会自动读取模型文件中的尺寸信息。

配置多个输入节点时,设置的节点顺序需要与 input_name

里的顺序严格保持一致,

多个值的配置方法请参考前文对 param_value 配置描述。

可选

8

input_batch

参数作用:指定转换后混合异构模型需要适配的输入batch数量。

取值范围1-128

默认配置1

参数说明:这里input_batch为转换后混合异构bin模型输入batch数量,

但不影响转换后onnx的模型的输入batch数量。

此参数不配置时默认为1。

配置多个输入节点时,设置的节点顺序需要与 input_name

里的顺序严格保持一致,

多个值的配置方法请参考前文对 param_value 配置描述。

可选

9

norm_type

参数作用:在模型中添加的输入数据预处理方法。

取值范围: data_mean_and_scale 、 data_mean 、

data_scale 、 no_preprocess

默认配置:无。

参数说明: no_preprocess 表示不添加任何数据预处理;

data_mean 表示提供减均值预处理;

data_scale 表示提供乘scale系数预处理;

data_mean_and_scale 表示提供先减均值再乘scale系数前处理。

输入节点时多于一个时,设置的节点顺序需要与 input_name

里的顺序严格保持一致,

多个值的配置方法请参考前文对 param_value 配置描述。

配置该参数的影响请参考下文

转换内部过程解读

部分的介绍。

必选

10

mean_value

参数作用:指定预处理方法的图像减去的均值。

取值范围:无。

默认配置:无。

参数说明:当 norm_type 存在 data_mean_and_scale

或 data_mean 时需要配置该参数。

对于每一个输入节点而言,存在两种配置方式。

第一种是仅配置一个数值,表示所有通道都减去这个均值;

第二种是提供与通道数量一致的数值(这些数值以空格分隔开),

表示每个通道都会减去不同的均值。

配置的输入节点数量必须与 norm_type 配置的节点数量一致,

如果存在某个节点不需要 mean 处理,则为该节点配置 'None'

多个值的配置方法请参考前文对 param_value 配置描述。

可选

11

scale_value

参数作用:指定预处理方法的数值scale系数。

取值范围:无。

默认配置:无。

参数说明:当 norm_type 存在 data_mean_and_scale 或

data_scale 时需要配置该参数。

对于每一个输入节点而言,存在两种配置方式。

第一种是仅配置一个数值,表示所有通道都乘以这个系数;

第二种是提供与通道数量一致的数值(这些数值以空格分隔开),

表示每个通道都会乘以不同的系数。

配置的输入节点数量必须与 norm_type 配置的节点数量一致,

如果存在某个节点不需要 scale 处理,则为该节点配置 'None'

多个值的配置方法请参考前文对 param_value 配置描述。

可选

🛠️ 校准参数组

参数名称

参数配置说明

可选/

必选

1

cal_data_dir

参数作用:指定模型校准使用的标定样本的存放目录。

取值范围:无。

默认配置:无。

参数说明:目录内校准数据需要符合输入配置的要求,

具体请参考 准备校准数据

部分的介绍。配置多个输入节点时,

设置的节点顺序需要与 input_name 里的顺序严格保持一致,

多个值的配置方法请参考前文对 param_value 配置描述。

必选

2

preprocess_on

参数作用:开启图片校准样本自动处理。

取值范围: True 、 False

默认配置: False

参数说明:在启动该功能时,

cal_data_dir 目录下存放的都是jpg/bmp/png等图片数据,

工具会使用skimage读取图片,

并resize到输入节点需要的尺寸。

为了保证校准的效果,建议您保持该参数关闭。

使用的影响请参考 准备校准数据

部分的介绍。

可选

3

calibration_type

参数作用:校准使用的算法类型。

取值范围default、 kl 、 max 、load 。

默认配置:无。

参数说明: kl 和 max 都是公开的校准量化算法,

其基本原理可以通过网络资料查阅。

使用 load 方式校准时, qat模型必须是通过horizon_nn提供的

export_to_onnx来导出的模型。详情参见

使用QAT量化感知训练方案进一步提升模型精度 。

default 是一个自动搜索的策略,

会尝试从系列校准量化参数中获得一个相对效果较好的组合。

建议您先尝试 default

如果最终的精度结果不满足预期

再根据 精度调优

部分建议配置不同的校准参数。

必选

4

max_percentile

参数作用:该参数为 max 校准方法的参数,

用以调整 max 校准的截取点。

取值范围: 0.0 ~ 1.0

默认配置: 1.0

参数说明:此参数仅在 calibration_type 为 max 时有效,

常用配置选项有:0.99999/0.99995/0.99990/0.99950/0.99900。

建议您先尝试 calibration_type 配置 default

如果最终的精度结果不满足预期

再根据 精度调优 部分建议调整该参数。

可选

5

per_channel

参数作用:控制是否针对featuremap的每个channel进行校准。

取值范围: True 、 False

默认配置: False

参数说明: calibration_type 设置非default时有效。

建议您先尝试 default

如果最终的精度结果不满足预期

再根据 精度调优

部分建议调整该参数。

可选

6

run_on_cpu

参数作用:强制指定算子在CPU上运行。

取值范围:无。

默认配置:无。

参数说明:CPU上虽然性能不及BPU,但是提供的是float精度计算,

如果您确定某些算子需要在CPU上计算,

可以通过该参数指定。

设置值为模型中的具体节点名称,

多个值的配置方法请参考前文对 param_value 配置描述。

可选

7

run_on_bpu

参数作用:强制指定OP在BPU上运行。

取值范围:无。

默认配置:无。

参数说明:为了保证最终量化模型的精度,少部分情况下,

转换工具会将一些具备BPU计算条件的算子放在CPU上运行。

如果您对性能有较高的要求,愿意以更多一些量化损失为代价,

则可以通过该参数明确指定算子运行在BPU上。

设置值为模型中的具体节点名称,

多个值的配置方法请参考前文对 param_value 配置描述。

可选

🛠️ 编译参数组

参数名称

参数配置说明

可选/

必选

1

compile_mode

参数作用:编译策略选择。

取值范围: latency、 bandwidth

默认配置: latency

参数说明: latency 以优化推理时间为目标;

bandwidth 以优化ddr的访问带宽为目标。

如果模型没有严重超过预期的带宽占用,建议您使用 latency 策略。

必选

2

debug

参数作用:是否打开编译的debug信息。

取值范围: True 、 False

默认配置: False

参数说明:开启该参数情况下,

编译后模型将附带一些调试信息,

用于支持后续的调优分析过程。

默认情况下,建议您保持该参数关闭。

可选

3

core_num

参数作用:模型运行核心数。

取值范围: 1、 2

默认配置: 1

参数说明:地平线平台支持利用多个AI加速器核心同时完成一个推理任务,

多核心适用于输入尺寸较大的情况,

理想状态下的双核速度可以达到单核的1.5倍左右。

如果您的模型输入尺寸较大,对于模型速度有极致追求,

可以配置 core_num=2

可选

4

optimize_level

参数作用:模型编译的优化等级选择。

取值范围: O0 、 O1 、 O2 、 O3

默认配置:无。

参数说明:优化等级可选范围为 O0 ~ O3

O0 不做任何优化, 编译速度最快,优化程度最低,。

O1 - O3 随着优化等级提高,

预期编译后的模型的执行速度会更快,

但是所需编译时间也会变长。

正常用于生产和验证性能的模型,

必须使用 O3 级别优化才能保证得到最优性能。

某些流程验证或精度调试过程中,

可以尝试使用更低级别优化加快过程速度。

必选

5

input_source

参数作用:设置上板bin模型的输入数据来源。

取值范围: ddrpyramidresizer

默认配置: {input_name} : ddr

参数说明:这个参数是适配工程环境的选项,

建议您已经全部完成模型验证后再配置。

ddr 表示数据来自内存,pyramid 和 resizer

表示来自AI芯片上的固定硬件。

具体在工程环境中如何适配 pyramid 和 resizer 数据源,

请您参考第4章涉及到的

《BPU SDK API手册》

此参数配置有点特殊,例如模型输入名称为 data,

数据源为内存(ddr), 则此处应该配置值为 "data": "ddr"

可选

6

max_time_per_fc

参数作用:指定模型的每个function-call的最大可连续执行时间(单位ms)。

取值范围:0-4294967295

默认配置:0

参数说明:编译后的数据指令模型在BPU上进行推理计算时,

它将表现为1个或者多个function-call的调用,

其中function-call是BPU的执行粒度,

该参数用来限制每个function-call最大的执行时间,

设置达到后即使这一段function-call还未执行完也会被高优先级模型抢占。

当一个模型设置了 max_time_per_fc 编译参数后,即为低优先级模型,

它才可以被抢占。

详情参见 模型优先级控制 部分的介绍。

备注

此参数仅用于实现模型抢占功能,如无需实现该功能则可以忽略。

可选

🛠️ 自定义算子参数组

编 号

参数名称

参数配置说明

可选/

必选

1

custom_op_method

参数作用:自定义算子策略选择。

取值范围register

默认配置:无。

参数说明:目前仅支持register策略,具体使用请参考

自定义算子开发

可选

2

op_register_files

参数作用:自定义算子的Python实现文件名称。

取值范围:无。

默认配置:无。

参数说明:多个文件可用 ; 分隔,算子如何实现请参考

自定义算子开发

可选

3

custom_op_dir

参数作用:自定义算子的Python实现文件存放路径。

取值范围:无。

默认配置:无。

参数说明:设置路径时,请使用相对路径。

可选

3.4.2. 转换内部过程解读

模型转换完成浮点模型到地平线混合异构模型的转换。 为了使得这个异构模型能快速高效地在嵌入式端运行, 模型转换重点在解决 输入数据处理 和 模型优化编译 两个问题,本节会依次围绕这两个重点问题展开。

输入数据处理 方面地平线的边缘AI计算平台会为某些特定类型的输入通路提供硬件级的支撑方案, 但是这些方案的输出不一定符合模型输入的要求。 例如视频通路方面就有视频处理子系统,为采集提供图像裁剪、缩放和其他图像质量优化功能,这些子系统的输出往往是yuv420格式图像, 而我们的算法模型往往是基于bgr/rgb等一般常用图像格式训练得到的。 地平线针对此种情况提供的固定解决方案是,每个转换模型都提供两份输入信息描述, 一份用于描述原始浮点模型输入( input_type_train 和 input_layout_train), 另一份则用于描述我们需要对接的边缘平台输入数据( input_type_rt 和 input_layout_rt)。

图像数据的mean/scale也是比较常见的操作,显然yuv420等边缘平台数据格式不再适合做这样的操作, 因此,我们也将这些常见图像前处理固化到了模型中。 经过以上两种处理后,转换产出的异构模型的输入部分将变成如下图状态。

_images/input_data_process.png

上图中的数据排布就只有NCHW和NHWC两种数据排布格式,N代表数量、C代表channel、H代表高度、W代表宽度, 两种不同的排布体现的是不同的内存访问特性。在TensorFlow模型NHWC较常用,Caffe中就都使用NCHW, 地平线平台不会限制使用的数据排布,但是有两条要求:第一是 input_layout_train 必须与原始模型的数据排布一致; 第二是在边缘AI平台准备好与 input_layout_rt 一致排布的数据,正确的数据排布指定是顺利解析数据的基础。

工具会根据 input_type_rt 和 input_type_train 指定的数据格式自动添加数据转换节点,根据地平线的实际生产经验, 并不是任意type组合都是需要的,为了避免您误用,我们只开放了一些固定的type组合如下表。

input_type_train \ input_type_rt

nv12

yuv444

rgb

bgr

gray

featuremap

yuv444

Y

Y

N

N

N

N

rgb

Y

Y

Y

Y

N

N

bgr

Y

Y

Y

Y

N

N

gray

N

N

N

N

Y

N

featuremap

N

N

N

N

N

Y

备注

表格中第一行是 input_type_rt 中支持的类型,第一列是 input_type_train 支持的类型, 其中的 Y/N 表示是否支持相应的 input_type_rt 到 input_type_train 的转换。 在转换得到的最终产出bin模型中,input_type_rt 到 input_type_train 是一个内部的过程, 您只需要关注 input_type_rt 的数据格式即可。 正确理解每种 input_type_rt 的要求,对于嵌入式应用准备推理数据很重要,以下是对 input_type_rt 每种格式的说明:

  • rgb、bgr和gray都是比较常见的图像数据,注意每个数值都采用UINT8表示。

  • yuv444是一种常见的图像格式,注意每个数值都采用UINT8表示。

  • nv12是常见的yuv420图像数据,每个数值都采用UINT8表示。

  • nv12有个比较特别的情况是 input_space_and_range 设置 bt601_video (参考前文对 input_space_and_range 参数的介绍),较于常规nv12情况,它的数值范围由[0,255]变成了[16,235], 每个数值仍然采用UINT8表示。

  • featuremap适用于以上列举格式不满足您需求的情况,此type只要求您的数据是四维的,每个数值采用float32表示。 例如雷达和语音等模型处理就常用这个格式。

小技巧

以上 input_type_rt 与 input_type_train 是固化在工具链的处理流程中,如果您非常确定不需要转换, 将两个 input_type 设置成一样就可以了,一样的 input_type 会做直通处理,不会影响模型的实际执行性能。

同样的,数据前处理也是固化在流程中,如果您不需要做任何前处理,通过 norm_type 配置关闭这个功能即可,不会影响模型的实际执行性能。

模型优化编译 方面完成了模型解析、模型优化、模型校准与量化、模型编译几个重要阶段,其内部工作过程如下图所示。

_images/model_optimization.png

模型解析阶段 对于Caffe浮点模型会完成到ONNX浮点模型的转换。 在原始浮点模型上会根据转换配置中的配置参数决定是否加入数据预处理节点,此阶段产出一个original_float_model.onnx。 这个ONNX模型计算精度仍然是float32,在输入部分加入了一个数据预处理节点。

理想状态下,这个预处理节点应该完成 input_type_rt 到 input_type_train 的完整转换, 实际情况是整个type转换过程会配合地平线AI芯片硬件完成,ONNX模型里面并没有包含硬件转换的部分。 因此ONNX的真实输入类型会使用一种中间类型,这种中间类型就是硬件对 input_type_rt 的处理结果类型, 数据layout(NCHW/NHWC)会保持原始浮点模型的输入layout一致。 每种 input_type_rt 都有特定的对应中间类型,如下表:

nv12

yuv444

rgb

bgr

gray

featuremap

yuv444_128

yuv444_128

RGB_128

BGR_128

GRAY_128

featuremap

备注

表格中第一行加粗部分是 input_type_rt 指定的数据类型,第二行是特定 input_type_rt 对应的中间类型, 这个中间类型就是original_float_model.onnx的输入类型。每个类型解释如下:

  • yuv444_128 是yuv444数据减去128结果,每个数值采用float32表示。

  • RGB_128 是RGB数据减去128的结果,每个数值采用float32表示。

  • BGR_128 是BGR数据减去128的结果,每个数值采用float32表示。

  • GRAY_128 是gray数据减去128的结果,每个数值采用float32表示。

  • featuremap 是一个四维张量数据,每个数值采用float32表示。

模型优化阶段 实现模型的一些适用于地平线平台的算子优化策略,例如BN融合到Conv等。 此阶段的产出是一个optimized_float_model.onnx,这个ONNX模型的计算精度仍然是float32,经过优化后不会影响模型的计算结果。 模型的输入数据要求还是与前面的original_float_model一致。

模型校准阶段 会使用您提供的校准数据来计算必要的量化阈值参数,这些参数会直接输入到量化阶段,不会产生新的模型状态。

模型量化阶段 使用校准得到的参数完成模型量化,此阶段的产出是一个quantized_model.onnx。 这个模型的输入计算精度已经是int8,使用这个模型可以评估到模型量化带来的精度损失情况。 这个模型要求输入的基本数据格式仍然与 original_float_model 一样,不过layout和数值表示已经发生了变化, 整体较于 original_float_model 输入的变化情况描述如下:

  • 数据layout均使用NHWC。

  • 当 input_type_rt 的取值为非 featuremap 时,则输入的数据类型均使用INT8, 反之, 当 input_type_rt 取值为 featuremap 时,则输入的数据类型则为float32。

模型编译阶段 会使用地平线模型编译器,将量化模型转换为地平线平台支持的计算指令和数据, 这个阶段的产出一个***.bin模型,这个bin模型是后续将在地平线边缘嵌入式平台运行的模型,也就是模型转换的最终产出结果。

3.4.3. 准备校准数据

在进行模型转换时,校准阶段会需要100份左右标定样本输入,每一份样本都是一个独立的数据文件。 为了确保转换后模型的精度效果,我们希望这些校准样本来自于您训练模型使用的训练集或验证集, 不要使用非常少见的异常样本,例如纯色图片、不含任何检测或分类目标的图片等。

前文介绍了转换配置文件中的 preprocess_on 参数,该参数启用和关闭状态下分别对应了两种不同的预处理样本要求。

preprocess_on 关闭状态下,您需要把取自训练集/验证集的样本做与inference前一样的前处理, 处理完后的校准样本会与原始模型具备一样的数据类型(前文 input_type_train)、尺寸(前文 input_shape)和 layout(前文 input_layout_train),对于featuremap输入的模型,您可以通过 numpy.tofile 命令将数据保存为float32格式的二进制文件, 工具链校准时会基于 numpy.fromfile 命令进行读取。 例如,有一个使用ImageNet训练的用于分类的原始浮点模型,它只有一个输入节点,输入信息描述如下:

  • 输入类型:BGR

  • 输入layout:NCHW

  • 输入尺寸:1x3x224x224

使用验证集做Inference时的数据预处理如下:

  1. 图像长宽等比scale,短边缩放到256。

  2. center_crop 方法获取224x224大小图像。

  3. 按通道减mean

  4. 数据乘以scale系数

依照 preprocess_on 关闭状态下的样本文件制作原则,针对上述举例模型的样本处理代码如下 (为避免过长代码篇幅,各种简单transformer实现代码未贴出,请自行实现):

# 本示例使用skimage,如果是opencv会有所区别
# 需要您特别注意的是,transformers中并没有体现减mean和乘scale的处理
# mean和scale操作已经融合到了模型中,参考前文norm_type/mean_values/scale_values配置
def data_transformer():
  transformers = [
  # 长宽等比scale,短边缩放至256
  ShortSideResizeTransformer(short_size=256),
  # CenterCrop获取224x224图像
  CenterCropTransformer(crop_size=224),
  # skimage读取结果为NHWC排布,转换为模型需要的NCHW
  HWC2CHWTransformer(),
  # skimage读取结果通道顺序为RGB,转换为模型需要的BGR
  RGB2BGRTransformer(),
  # skimage读取数值范围为[0.0,1.0],调整为模型需要的数值范围
  ScaleTransformer(scale_value=255)
  ]

  return transformers

# src_image 标定集中的原图片
# dst_file 存放最终标定样本数据的文件名称
def convert_image(src_image, dst_file, transformers):
  image = skimage.img_as_float(skimage.io.imread(src_file))
  for trans in transformers:
  image = trans(image)
  # 模型指定的input_type_train BGR数值类型是UINT8
  image = image.astype(np.uint8)
  # 二进制存储标定样本到数据文件
  image.tofile(dst_file)

if __name__ == '__main__':
  # 此处表示原始标定图片集合,伪代码
  src_images = ['ILSVRC2012_val_00000001.JPEG',...]
  # 此处表示最终标定文件名称(后缀名不限制),伪代码
  # calibration_data_bgr_f32是您在配置文件中指定的cal_data_dir
  dst_files = ['./calibration_data_bgr_f32/ILSVRC2012_val_00000001.bgr',...]

  transformers = data_transformer()
  for src_image, dst_file in zip(src_images, dst_files):
  convert_image(src_image, dst_file, transformers)

小技巧

preprocess_on 启用状态下,标定样本使用skimage支持read的图片格式文件即可。 转换工具读取这些图片后,会将其缩放到模型输入节点要求的尺寸大小,以此结果作为校准的输入。 这样的操作会简单,但是对于量化精度的没有保障,我们强烈建议您使用前文关闭 preprocess_on 的方式。

3.4.4. 转换结果解读

本节将依次介绍模型转换成功状态的解读、转换不成功的分析方式。 确认模型转换成功,需要您从 makertbin 状态信息、相似度信息和 working_dir 产出三个方面确认。 makertbin 状态信息方面,转换成功将在控制台输出信息尾部给出明确的提示信息如下:

2021-04-21 11:13:08,337 INFO Convert to runtime bin file successfully!
2021-04-21 11:13:08,337 INFO End Model Convert

相似度信息也存在于 makertbin 的控制台输出内容中,在 makertbin 状态信息之前,其内容形式如下:

======================================================================
Node    ON   Subgraph  Type     Cosine Similarity  Threshold
----------------------------------------------------------------------
...    ...     ...     ...       0.999936           127.000000
...    ...     ...     ...       0.999868           2.557209
...    ...     ...     ...       0.999268           2.133924
...    ...     ...     ...       0.996023           3.251645
...    ...     ...     ...       0.996656           4.495638

上面列举的输出内容中,Node、ON、Subgraph、Type与 hb_mapper checker 工具的解读是一致的, 请参考前文 检查结果解读; Threshold是每个层次的校准阈值,用于异常状态下向地平线技术支持反馈信息,正常状况下不需要关注; Cosine Similarity反映的Node指示的节点中,原始浮点模型与量化模型输出结果的余弦相似度。

注意

需要您特别注意的是,Cosine Similarity只是指明量化后数据稳定性的一种参考方式,对于模型精度的影响不存在明显的直接关联关系。 一般情况下,输出节点的相似度低于0.8就有了较明显的精度损失,当然由于与精度不存在绝对的直接关联, 完全准确的精度情况还需要您参考 模型精度分析与调优 的介绍。

转换产出存放在转换配置参数 working_dir 指定的路径中,成功完成模型转换后, 您可以在该目录下得到以下文件(***部分是您通过转换配置参数 output_model_file_prefix 指定的内容):

  • ***_original_float_model.onnx

  • ***_optimized_float_model.onnx

  • ***_quantized_model.onnx

  • ***.bin

转换产出物解读 介绍了每个产出物的用途。 不过在上板运行前,我们强烈建议您完成 验证模型 和 模型性能分析与调优 介绍的性能&精度评测过程,避免将模型转换问题延伸到后续嵌入式端。

如果以上验证模型转换成功的三个方面中,有任一个出现缺失都说明模型转换出现了错误。 一般情况下,makertbin 工具会在出现错误时将错误信息输出至控制台, 例如我们在Caffe模型转换时不配置 prototxt 和 caffe_model 参数,工具给出如下提示。

2021-04-21 14:45:34,085 ERROR Key 'model_parameters' error:
Missing keys: 'caffe_model', 'prototxt'
2021-04-21 14:45:34,085 ERROR yaml file parse failed. Please double check your input
2021-04-21 14:45:34,085 ERROR exception in command: makertbin

如果转换工具控制台输出信息未能明确指示问题所在,此时需要您在转换配置文件中将前文介绍的 log_level 参数设置为 debug 级别, 重新做转换后,您可以在当前工作目录下hb_mapper_makertbin.log中看到导致错误发生的原因。

如果以上两步仍不能帮助您发现问题,欢迎在地平线唯一官方技术社区(地平线开发者社区首页)提出您的问题, 我们将在24小时内给您提供支持。

3.4.5. 转换产出物解读

上文提到模型成功转换的产出物包括以下四个部分,本节将介绍每个产出物的用途:

  • ***_original_float_model.onnx

  • ***_optimized_float_model.onnx

  • ***_quantized_model.onnx

  • ***.bin

***_original_float_model.onnx的产出过程可以参考 转换内部过程解读 的介绍, 这个模型计算精度与转换输入的原始浮点模型是一模一样的,有个重要的变化就是为了适配地平线平台添加了一些数据预处理计算。 一般情况下,您不需要使用这个模型,在转换结果出现异常时,如果能把这个模型提供给地平线的技术支持,将有助于帮助您快速解决问题。

***_optimized_float_model.onnx的产出过程可以参考 转换内部过程解读 的介绍, 这个模型经过一些算子级别的优化操作,常见的就是算子融合。 通过与original_float模型的可视化对比,您可以明显看到一些算子结构级别的变化,不过这些都不影响模型的计算精度。 一般情况下,您不需要使用这个模型,在转换结果出现异常时,如果能把这个模型提供给地平线的技术支持,将有助于帮助您快速解决问题。

***_quantized_model.onnx的产出过程可以参考 转换内部过程解读 的介绍, 这个模型已经完成了校准和量化过程,量化后的精度损失情况可以从这里查看。 这个模型是精度验证过程中必须要使用的模型,具体使用方式请参考 模型精度分析与调优 部分的介绍。

***.bin就是可以用于在地平线AI芯片上加载运行的模型, 配合 第4章:应用开发 部分介绍的内容, 您就可以将模型快速在芯片部署运行。不过为了确保模型的性能与精度效果是符合您的预期的, 我们强烈建议完成 转换模型 和 模型精度分析与调优 介绍的性能和精度分析过程后再进入到应用开发和部署。

3.5. 模型性能分析与调优

本节介绍了如何使用地平线提供的工具评估模型性能,这些工具得到的都是与实际执行基本无异的性能效果, 如果此阶段发现评估结果不符合预期,强烈建议您尽量在此阶段根据地平线的优化建议解决性能问题, 不建议将模型的问题延伸到应用开发阶段。

3.5.1. 使用 hb_perf 工具估计性能

地平线提供的 hb_perf 以模型转换得到的 ***.bin为输入,可以直接得到模型预期上板性能,工具使用方式如下:

hb_perf  ***.bin

备注

如果分析的是 pack 后模型,需要加上一个 -p 参数,命令为 hb_perf -p ***.bin。 关于模型 pack,请查看 其他模型工具(可选) 部分的介绍。

命令中的 ***.bin就是模型转换产出的bin模型,命令执行完成后, 在当前工作目录下会得到一个 hb_perf_result 目录,分析结果以html形式提供。 以下是我们分析一个MobileNet的示例结果,其中mobilenetv1_224x224_nv12.html就是查看分析结果的主页面。

hb_perf_result/
└── mobilenetv1_224x224_nv12
    ├── MOBILENET_subgraph_0.html
    ├── MOBILENET_subgraph_0.json
    ├── mobilenetv1_224x224_nv12
    ├── mobilenetv1_224x224_nv12.html
    ├── mobilenetv1_224x224_nv12.png
    └── temp.hbm

通过浏览器打开结果主页面,其内容如下图:

_images/hb_mapper_perf_2.png

分析结果主要由Model Performance Summary、Details和BIN Model Structure三个部分组成。 Model Performance Summary是整个bin模型的整体性能评估结果,其中各项指标为:

  • Model Name——模型名称。

  • Model Latency(ms)——模型整体单帧计算耗时(单位为ms)。

  • Model DDR Occupation(Mb per frame)——模型运行的整体内存占用情况(单位为Mb/frame)。

  • Loaded Bytes per Frame——模型运行每帧读取数据量。

  • Stored Bytes per Frame——模型运行每帧存储数据量。

在了解Details和BIN Model Structure前,您需要了解子图(subgraph)的概念。 如果模型在非输入和输出部分出现了CPU计算的算子,模型转换工具将把这个算子前后连续在BPU计算的部分拆分为两个独立的子图(subgraph)。 具体可以参考 验证模型 部分的介绍。

Details是每份模型BPU子图的具体信息,在主页面中,每个子图提供的指标解读如下:

  • Model Subgraph Name——子图名称。

  • Model Subgraph Calculation Load (OPpf)——子图的单帧计算量。

  • Model Subgraph DDR Occupation(Mbpf)——子图的单帧读写数据量(单位为MB)。

  • Model Subgraph Latency(ms)——子图的单帧计算耗时(单位为ms)。

每份子图结果提供了一个明细入口,以上指标都是明细页面提取到的,进入到明细页面可以给您更加细致的参考信息。

注意

需要特别注意的是,明细页面会根据您是否启用调试级转换而有所区别, 下图中的Layer Details仅当在配置文件中设置 debug 参数为 True 时才可以拿到, 这个 debug 参数配置方法请参考 使用 hb_mapper makertbin 工具转换模型 部分的介绍。

Layer Details提供到了具体算子级别的分析,在调试分析阶段也是比较不错的参考, 如果是某些BPU算子导致性能低,可以帮助您定位到这个具体算子。

_images/layer_details.png

BIN Model Structure部分提供的是bin模型的子图级可视化结果,图中深色节点表示运行在BPU上的节点,灰色节点表示在CPU上计算的节点。

使用 hb_perf 的意义在于了解bin模型子图结构,对于BPU上计算部分,该工具也能提供较全面的静态分析指标。 不过 hb_perf 不含CPU部分的计算评估,如果CPU计算仅限于模型输入或输出部分的常规性处理,不含计算密集型计算节点,这个影响不大。 否则,您就一定需要利用开发板工具实测性能。

3.5.2. 开发板实测性能

开发板上实测模型性能使用的是开发板上 hrt_model_exec perf 工具, hrt _model_exec 是一个模型执行工具,可直接在开发板上评测模型的推理性能、获取模型信息。 一方面可以让用户拿到模型时实际了解模型真实性能; 另一方面也可以帮助用户了解模型可以做到的速度极限,对于应用调优的目标极限具有指导意义。

使用 hrt_model_exec perf 工具前,有两个准备工作。

  1. 确保您已经参考 第2章:环境部署 介绍完成了开发板上工具安装。

  2. 第二是需要将Ubuntu/CentOS开发机上得到的bin模型拷贝到开发板上(建议放在/userdata目录), 开发板上是一个Linux系统,可以通过 scp 等Linux系统常用方式完成这个拷贝过程。

使用 hrt_model_exec perf 实测性能的参考命令如下(注意是在开发板上执行):

./hrt_model_exec perf --model_file mobilenetv1_224x224_nv12.bin \
                      --model_name="" \
                      --core_id=0 \
                      --frame_count=200 \
                      --perf_time=0 \
                      --thread_num=1 \
                      --profile_path="."

hrt_model_exec perf

model_file:

需要分析性能的bin模型名称。

model_name:

需要分析性能的bin模型名字。若 model_file 只含一个模型,则可以省略。

core_id

默认值 0,运行模型使用的核心id,0 代表任意核心,1 代表核心0,2 代表核心1。若要分析双核极限帧率,请将此处设为 0

frame_count:

默认值 200,设置推理帧数,工具会执行指定次数后再分析平均耗时。 当 perf_time 为 0 时生效。

perf_time:

默认值 0,单位分钟。设置推理时间,工具会执行指定时间后再分析平均耗时。

thread_num:

默认值 1,设置运行的线程数,取值范围 [1,8]。若要分析极限帧率,请将线程数改大。

profile_path:

默认关闭,统计工具日志产生路径。该参数引入的分析结果会存放在指定目录下的profiler.log文件中。

命令执行完成后,您将在控制台得到如下结果。 最终的评估结果就是 Average latency 和 Frame rate,分别表示平均单帧推理延时和模型极限帧率。 如果想获得模型在板子上运行的极限帧率,需将 thread_num 设置得足够大。

Running condition:
  Thread number is: 1
  Frame count   is: 200
  core number   is: 1
  Program run time: 726.604000  ms
Perf result:
  Frame totally latency is: 714.537781  ms
  Average    latency    is: 3.572689  ms
  Frame      rate       is: 275.253095  FPS

控制台得到的信息只有整体情况,通过 profile_path 控制产生的node_profiler.log文件记录了更加丰富的信息如下:

{
  "model_latency": {
    "MOBILENET_subgraph_0": {
      "avg_time": 2.889,
      "max_time": 2.889,
      "min_time": 2.889
    },
    "MOBILENET_subgraph_0_output_layout_convert": {
      "avg_time": 0.017265,
      "max_time": 0.038,
      "min_time": 0.015
    },
    "fc7_1_HzDequantize": {
      "avg_time": 0.07467,
      "max_time": 0.146,
      "min_time": 0.069
    },
    "prob": {
      "avg_time": 0.08839,
      "max_time": 0.172,
      "min_time": 0.052
    }
  },
  "task_latency": {
    "TaskRunningTime": {
      "avg_time": 3.43695,
      "max_time": 5.883,
      "min_time": 3.354
    },
    "TaskScheduleTime": {
      "avg_time": 0.07456,
      "max_time": 0.215,
      "min_time": 0.054
    },
    "TaskSubmitTime": {
      "avg_time": 0.00861,
      "max_time": 0.106,
      "min_time": 0.006
    }
  }
}

这里的内容会对应到 使用hb_perf工具估计性能 中的BIN Model Structure部分介绍的bin可视化图中, 图中每个节点都有一个对应节点在profiler.log文件中,可以通过 name 对应起来。 profiler.log文件中记录了每个节点的执行时间,对优化节点有重要的参考意义。

profiler 分析是经常使用的操作,前文 检查结果解读 部分提到检查阶段不用过于关注CPU算子, 此阶段就能看到CPU算子的具体耗时情况了,如果根据这里的评估认为CPU耗时太长,那就值得优化了。

3.5.3. 模型性能优化

根据以上性能分析结果,您可能发现性能结果不及预期,本章节内容介绍了地平线对提升模型性能的建议与措施, 包括检查yaml配置参数、处理CPU算子、高性能模型设计建议、使用地平线平台友好结构&模型共四个方面。

部分修改可能会影响原始浮点模型的参数空间,意味着需要您重训模型,为了避免性能调优过程中反复调整并训练的代价, 在得到满意性能效果前,建议您使用随机参数导出模型来验证性能即可。

3.5.3.1. 检查影响模型性能的yaml参数

在模型转换的yaml配置文件中,部分参数会实际影响模型的最终性能,可以先检查下是否已正确按照预期配置, 各参数的具体含义和作用请参考 🛠️ **编译参数组** 表格。

  • layer_out_dump:指定模型转换过程中是否输出模型的中间结果,一般仅用于调试功能。 如果将其配置为 True,则会为每个卷积算子增加一个反量化输出节点,它会显著的降低模型上板后的性能。 所以在性能评测时,务必要将该参数配置为 False

  • compile_mode:该参数用于选择模型编译时的优化方向为带宽还是时延,关注性能时请配置为 latency

  • optimize_level:该参数用于选择编译器的优化等级,实际生产中应配置为 O3 获取最佳性能。

  • core_num:配置为 2 时可同时调用两个核运行,降低单帧推理延迟,但是也会影响整体的吞吐率。

  • debug:配置为 True 将打开编译器的debug模式,能够输出性能仿真的相关信息,如帧率、DDR 带宽占用等。 一般用于性能评估阶段,在产品化交付时候,可关闭该参数减小模型大小,提高模型执行效率。

  • max_time_per_fc:该参数用于控制编译后的模型数据指令的function-call的执行时长,从而实现模型优先级抢占功能。 设置此参数更改被抢占模型的function-call执行时长会影响该模型的上板性能。

3.5.3.2. 处理CPU算子

根据 hrt_model_exec perf 的评估,已经确认突出的性能瓶颈是CPU算子导致的。 此种情况下,我们建议您先查看 算子约束 的内容,确认当前运行在CPU上的算子是否具备BPU支持的能力。

如果算子不具备BPU支持能力,那么就是您的算子参数超过了BPU支持的参数约束范围, 将相应原始浮点模型计算参数调整到约束范围内即可。 为了方便您快速知晓超出约束的具体参数,建议您再使用 验证模型 部分介绍的方法做一遍检查, 工具将会直接给出超出BPU支持范围的参数提示。

备注

修改原始浮点模型参数对模型计算精度的影响需要您自己把控, 例如Convolution的 input_channel 或 output_channel 超出范围就是一种较典型的情况, 减少channel快速使得该算子被BPU支持,单单只做这一处修改也预计会对模型精度产生影响。

如果算子并不具备BPU支持能力,就需要您在地平线支持的BPU算子中找一个替代算子,并将其替换到原始浮点模型中。 对于计算密集型的算子,地平线一般都具备BPU支持能力,少数只能在CPU上运行算子也都经过了极致优化。 所以,这种情况一般由于您使用了一种不被BPU支持的激活函数造成的,而且这个激活函数反复被使用,最终导致bin模型中出现很多子图分割情况。

3.5.3.3. 高性能模型设计建议

根据性能评估结果,CPU上耗时占比可能很小,主要的性能瓶颈还是BPU推理时间过长。 这种情况下,我们已经把计算器件都用上了,发力的空间就在于提升计算资源的利用率。 每种AI芯片都有自己的硬件特性,算法模型的计算参数是否很好地符合了硬件特性, 直接决定了计算资源的利用率,符合度越高则利用率越高,反之则低。 本部分介绍重点在于阐明地平线的硬件特性。

首先,地平线的AI芯片是一款旨在加速CNN(卷积神经网络)的芯片,主要的计算资源都集中在处理各种卷积计算。 所以,我们希望您的模型是以卷积计算为主的模型,卷积之外的算子都会导致计算资源的利用率降低,不同OP的影响程度会有所不同。

整体硬件要求

下表是硬件层面提出的一些计算友好性要求,供您做一个全面参考。

Operators

Restrictions

Note

Convolution

Kernel HxW=[1,7]x[1,7]

kernel size 2, 4, 6会造成算力浪费

Channel Num (one group) <= 2048

Conv with sumin: Stride∈{1, 2}, Others: no restriction

  1. Stride > 2的情况会造成算力浪费。

  2. Pad不等于kernel_size / 2的情况会引入额外的pad操作,会导致模型性能下降。

必须能够被stride整除

Dilation会引入额外的数据搬移

Size of Kernel: HxWxC <= 32768

Deconvolution

Kernel HxW=[2,14]x[2,14]

Deconvolution is not natively supported by BPU.

Channel Num <= 2048

Padding HxW=[0,(Kernel_H-1)/2]x[0,(Kernel_W-1)/2]

Stride ∈ {2, 4}

Fully Connected Convolution

Kernel HxW=[1,31]x[1,31], and HxW <= 127

Channel Num∈[1,2048], or <= 16384 if H and W are both 1

for int8 output: HxCEIL(W/8)xCEIL(C/4) <= {512(X2/J2), 1024(X3J3)}

for int32 output: HxCEIL(W/8)xCEIL(C/4) < {1024(X2/J2), 2048(X3J3)}

Pooling

Average pooling: Kernel HxW=[1,7]x[1,7], Stride∈{1, 2}, Padding HxW=[0,Kernel_H/2]x[0,Kernel_W/2]

Global average pooling: Kernel HxW <= 8192

Max pooling: Kernel HxW=[1, 64]x[1,64], Stride=[1,256], Padding >= 0

Padding > 1, Stride > 2时会有额外的开销。

Global max pooling: Kernel HxW=[1,1024]x[1,1024]

Upscale

Scaling proportional range (1/256,256], precision=1/256

RoiAlign/Roiresize

Scaling proportional range (1/256,256], precision=1/256

Channel Concat

None

Input feature的channel num不是4对齐的话,会比较耗时。

Channel Split

Input feature channel is multiple of split number.

Output features的channel num不是4对齐的话,会比较耗时。

Slice

None

起始坐标中的W不是8对齐的话,会比较耗时。 channel方向的slice会占用MAC计算资源。

Upsample

mode={nearest}, HxWxC -> (2H)x(2W)xC

Reshape

Reshape in the H and W directions, currently N and C are not supported.

Input/Output feature的W不是8对齐的话,会非常耗时。

reorder upscale: HxWxC -> (2H)x(2W)x(C/4)

stack neighbor: HxWxC -> (H/2)x(W/2)x(4C)

Shuffle

Input feature channel <= 2048, only supports shuffle in C direction

如果shuffle的粒度不是4的倍数,会占用MAC计算资源。

Elementwise Add

Input feature channel <= 2048

会占用MAC计算资源

Elementwise Mul

Input feature channel <= 2048

会占用MAC计算资源,而且效率较低。

Broadcast Mul

Input feature channel <= 2048

会占用MAC计算资源,而且效率较低。

Elementwise Max/Min

Input feature channel <= 2048

会占用MAC计算资源,而且效率较低。

LookupTable (sigmoid,tanh..)

Lookup table: int8 -> int8

会占用MAC计算资源,而且效率较低。

Pad

Pad Zero, Constant or Boundary

Cross Channel Max

Input feature channel ∈ [1, 64*group_num].

Detection Post Process

Filter + Sort + NMS

Anchor num: [1, 64], Class num: [1, 64]

Max output num: 4096

Leaky Relu

None

会占用MAC计算资源,而且效率较低。

Prelu

None

会占用MAC计算资源,而且效率较低。

Relu/Relu6

None

会占用MAC计算资源,而且效率较低。

卷积的Width对齐

因为计算MAC阵列对齐要求的问题,featuremap的W在8对齐的时候效率会比较高(Convolution的stride=2时,W需要16对齐)。 如果不是8或16对齐,那么就会带来算力浪费,导致MAC利用率变低。 比如,如果convolution的输入feature大小是 1x8x9x32 (NHWC),那么在实际计算时, W会被padding到16(即feature大小变为1x8x16x32),会造成计算资源浪费。

在设计网络的时候,如果可以改变整个神经网络的输入大小(向上或向下对齐),那么模型的MAC利用率会直接提高。

模型输入大小的示例,比如一个多层stride=2 conv的网络(从resnet截取),输入224和256/192的区别。

_images/width_alignment.png

卷积的Channel对齐

Channel在硬件上是需要8对齐的,在算法设计的时候最好将kernel num调整为8的倍数。

_images/channel_alignment.png

对于Group Convolution,channel的对齐情况会更加复杂一些。

_images/group_channel_alignment.png

如果Kernel不是8的整数倍,那么每个group的kernel num需要对齐到8。 而且,由于这个对齐,会导致之后的convolution也产生算力浪费。 如上图所示,Convolution2中对weight进行padding之后,下一层的weight也需要进行padding。

备注

padding的方式是每个group内对齐到8,即padding的数据是分散在整个weight中间。

_images/group_channel_alignment_2.png

如果group内channel不是8的整数倍,那么就需要对上一层convolution进行padding。 如上图所示,Convolution1的kernel num从48被padding到了64。

另外,如果有连续多个group convolution中发生了group内kernel num或channel num不对齐的情况,那么影响会更大。 这种情况下我们需要同时考虑多层group conv的对齐要求,会导致更多的padding。 最差情况下,group convolution会被转换为普通convolution。

激活函数

大部分激活函数需要用LUT和Elementwise OP实现,虽然现在可以支持LUT和Elementwise操作,但是都是用其它OP拼出来的,而且效率都不太高。

如果模型中只有少量的几个地方使用非硬件直接支持的激活函数(非relu),而且计算量不是特别大,那么是可以使用的。 在这种情况下,对整个模型的计算效率应该不会很大。

如果模型中需要大量使用非硬件直接支持的激活函数,那么会对模型的执行速度产生非常大的影响。

其他建议

地平线芯片上的depthwise convolution的计算效率接近100%,所以对于MobileNet类的模型,BPU芯片具有效率优势。

另外,在模型设计时,我们应尽量让模型BPU段的输入输出维度降低,以减少量化、反量化节点的耗时和硬件的带宽压力。 以典型的分割模型为例,我们可以将Argmax算子直接合入模型本身。 但需注意,只有满足以下条件,Argmax才支持BPU加速:

  1. Caffe中的Softmax层默认axis=1,而ArgMax层则默认axis=0,算子替换时要保持axis的一致

  2. Argmax的Channel需小于等于64,否则只能在CPU上计算

3.5.3.4. BPU面向高效率模型优化

学术界在持续优化算法模型的计算效率(同样算法精度下所需的理论计算量越小越高效)、参数效率(同样算法精度下所用参数量越小越高效)。 这方面的代表工作有EfficientNet和ResNeXt,二者分别使用了Depthwise Convolution和Group Convolution。 面对这样的高效率模型,GPU/TPU支持效率很低,不能充分发挥算法效果,学术界被迫针对GPU/TPU分别优化了EfficientNet V2/X和NFNet, 优化过程主要是通过减少Depthwise Convolution的使用以及大幅扩大Group Convolution中的Group大小, 这些调整都降低了原本模型的计算效率和参数效率。

地平线X3-BPU、J3-BPU对于Depthwise Convolution和Group Convolution都有专门的优化,使得用户可以获得最高的计算效率、参数效率。

作为这两类模型的参考示例,工具链model_zoo发布物中提供:

  • efficientnet[-lite]系列,追求极致的计算效率、参数效率。 X3-BPU能够高效支持,以EfficientNet Lite0为例,X3-BPU帧率为某端侧30TOPS GPU帧率6倍。

  • vargnet系列,地平线自主设计模型,充分利用Group Convolution的高效率,同时针对X3-BPU、J3-BPU 做了优化。 在地平线的应用场景中广泛使用。对于训练超参数相对鲁棒,能够以较低的调参代价切换到不同的任务。

更多的模型结构和业务模型都在持续探索中,我们将提供更加丰富的模型给您作为直接的参考, 这些产出将不定期更新至 GitHub - HorizonRobotics-Platform/ModelZoo: original trained model(float) for Horizon model convert。 如果以上依然不能满足您的需要,欢迎在地平线唯一官方技术社区(https://developer.horizon.ai)发帖与我们取得联系, 我们将根据您的具体问题提供更具针对性的指导建议。

3.6. 模型精度分析与调优

基于几十或上百张校准数据实现浮点模型到定点模型转换的后量化方式,不可避免地会存在一定的精度损失。 但经过大量实际生产经验验证,如果能筛选出最优的量化参数组合,地平线的转换工具在大部分情况下,都可以将精度损失保持在1%以内。

本节先介绍了如何正确地进行模型精度分析,如果通过评估发现不及预期,则可以参考 精度调优 小节的内容尝试调优, 实在无法解决可寻求地平线的技术支持。

3.6.1. 模型精度分析

在进入到此部分介绍前,我们希望您已经了解如何对一个模型进行精度评测。本节介绍的内容是如何使用模型转换的产出物进行推理。

前文提到模型成功转换的产出物包括以下四个部分:

  • ***_original_float_model.onnx

  • ***_optimized_float_model.onnx

  • ***_quantized_model.onnx

  • ***.bin

虽然最后的bin模型才是将部署到AI芯片的模型,考虑到方便在Ubuntu/CentOS开发机上完成精度评测, 我们提供了***_quantized_model.onnx完成这个精度评测的过程。 quantized模型已经完成了量化,与最后的bin模型具有一致的精度效果。 使用地平线开发库加载ONNX模型推理的基本流程如下所示,这份示意代码不仅适用于quantized模型, 对original和optimized模型同样适用,根据不同模型的输入类型和layout要求准备数据即可。

# 加载地平线依赖库
from horizon_tc_ui import HB_ONNXRuntime

# 准备模型运行的feed_dict
def prepare_input_dict(input_names):
  feed_dict = dict()
  for input_name in input_names:
      # your_custom_data_prepare代表您的自定义数据
      # 根据输入节点的类型和layout要求准备数据即可
      feed_dict[input_name] = your_custom_data_prepare(input_name)
  return feed_dict

if __name__ == '__main__':
  # 创建推理Session
  sess = HB_ONNXRuntime(model_file='***_quantized_model.onnx')

  # 获取输入节点名称
  input_names = [input.name for input in sess.get_inputs()]
  # 或
  input_names = sess.input_names

  # 获取输出节点名称
  output_names = [output.name for output in sess.get_outputs()]
  # 或
  output_names = sess.output_names

  # 准备模型输入数据
  feed_dict = prepare_input_dict(input_names)
  # 开始模型推理,推理的返回值是一个list,依次与output_names指定名称一一对应
  # 输入图像的类型范围为(GRB/BGR/NV12/YUV444/GRAY)
  outputs = sess.run(output_names, feed_dict, input_offset=128)
  # 输入图像的类型范围为(FEATURE)
  outputs = sess.run_feature(output_names, feed_dict, input_offset=0)

  """
  Modification  history:
    OE 1.3 ~ 1.6
        outputs = sess.run(output_names, feed_dict, input_type_rt=None, float_offset=0)
        outputs = sess.run_feature(output_names, feed_dict, {input_name: "featuremap"}, float_offset=0)
    OE 1.7
        outputs = sess.run(output_names, feed_dict, input_type_rt=None, float_offset=None, input_offset=128)
        outputs = sess.run_feature(output_names, feed_dict, {input_name: "featuremap"}, float_offset=0)
    OE 1.8 ~ 1.9
        outputs = sess.run(output_names, feed_dict, input_offset=128)
        outputs = sess.run_feature(output_names, feed_dict, input_offset=128)

    note: OE 1.5 后架构上的调整,如果更新 OE 需要重新编译模型
  """

上述代码中,input_offset 参数默认值为128. 对于有前处理节点的模型, 这里都需要做-128的操作. 如果模型输入前并未添加前处理节点, 则需要将 input_offset 设置为0.

备注

对于多输入模型: 1、如果输入 input_type 均属于 ( GRB/BGR/NV12/YUV444/GRAY ),可以采用 sess.run 方法做推理. 2、如果输入 input_type 均属于 ( FEATURE ),可以采用 sess.run_feature 方法做推理. 3、如果输入 input_type 为混合类型,暂不支持这种场景.

此外, your_custom_data_prepare 所代表的输入数据准备过程是最容易出现误操作的部分。 较于您设计&训练原始浮点模型的精度验证过程,我们需要您在数据预处理后将推理输入数据进一步调整, 这些调整主要是数据格式(RGB、NV12等)、数据精度(int8、float32等)和数据排布(NCHW或NHWC)。 至于具体怎么调整,这个是由您在模型转换时设置的 input_type_train、 input_layout_train、 input_type_rt 和 input_layout_rt 四个参数共同决定的,其详细规则请参考 转换内部过程解读 部分的介绍。

举个例子,有一个使用ImageNet训练的用于分类的原始浮点模型,它只有一个输入节点。 这个节点接受BGR顺序的三通道图片,输入数据排布为NCHW。原始浮点模型设计&训练阶段,验证集推理前做的数据预处理如下:

  1. 图像长宽等比scale,短边缩放到256。

  2. center_crop 方法获取224x224大小图像。

  3. 按通道减mean。

  4. 数据乘以scale系数。

使用地平线转换这个原始浮点模型时, input_type_train 设置 bgr、 input_layout_train 设置 NCHW、 input_type_rt 设置 bgr、 input_layout_rt 设置 NHWC。 根据 转换内部过程解读 部分介绍的规则, ***_quantized_model.onnx接受的输入应该为bgr_128、NHWC排布。 对应到前文的示例代码,your_custom_data_prepare 部分提供的数据处理应该一个这样的过程:

# 本示例使用skimage,如果是opencv会有所区别
# 需要您特别注意的是,transformers中并没有体现减mean和乘scale的处理
# mean和scale操作已经融合到了模型中,参考前文norm_type/mean_values/scale_values配置
def your_custom_data_prepare_sample(image_file):
  #skimage读取图片,已经是NHWC排布
  image = skimage.img_as_float(skimage.io.imread(image_file))
  # 长宽等比scale,短边缩放至256
  image = ShortSideResize(image, short_size=256)
  # CenterCrop获取224x224图像
  image = CenterCrop(image, crop_size=224)
  # skimage读取结果通道顺序为RGB,转换为bgr_128需要的BGR顺序
  image = RGB2BGR(image)
  # skimage读取数值范围为[0.0,1.0],调整为bgr需要的数值范围
  image = image * 255
  # bgr_128是bgr减去128
  image = image - 128
  #bgr_128使用int8
  image = image.astype(np.int8)
  #扩充N维度,数据layout为NHWC
  #如果是多batch,拼接多份数据即可
  image = np.expand_dims(image, axis=0)

  return image

3.6.2. 精度调优

基于前文的精度分析工作,如果确定模型的量化精度不符合预期,则主要可分为以下两种情况进行解决:

  • 精度有较明显损失(损失大于4%)。 这种问题往往是由于yaml配置不当,校验数据集不均衡等导致的,可以根据我们接下来提供的建议逐一排查。

  • 精度损失较小(1.5%~3%)。 排除1导致的精度问题后,如果仍然出现精度有小幅度损失,往往是由于模型自身的敏感性导致,可以使用我们提供的精度调优工具进行调优。

整体精度问题解决流程示意如下图:

_images/accuracy_problem.png

3.6.2.1. 精度有明显损失(4%以上)

通常情况下,明显的精度损失往往是由于各种配置不当引起的,我们建议您依次从pipeline、模型转换配置和一致性三个方面检查。

pipeline检查

pipeline是指您完成数据准备、模型推理、后处理、精度评测Metric的全过程。 在以往的实际问题跟进经验中,我们发现这些部分在原始浮点模型训练阶段中有变动,却没有及时更新到模型转换的精度验证过程来是比较常见的情况。

模型转换配置检查

  • input_type_rt 和 input_type_train 该参数用来区分转后混合异构模型与原始浮点模型需要的数据格式, 需要认真检查是否符合预期,尤其是BGR和RGB通道顺序是否正确。

  • norm_typemean_valuesscale_values 等参数是否配置正确。 通过转换配置可以直接在模型中插入mean和scale操作节点,需要确认是否对校验/测试图片进行了重复的mean和scale操作。 重复预处理是错误的易发区。

  • 模型转换的 preprocess_on 开关是否开启,决定了是否对校准图片进行resize以及颜色转换,我们建议您关闭该参数。

数据处理一致性检查

  • skimage.read 和 opencv.imread 是两种常用图片读取方法,这两种方法在输出的范围和格式上都有所区别。 使用 skimage 的图片读取,得到的是RGB通道顺序,取值范围为0~1,数值类型为float; 而使用 opencv,得到的是BGR通道顺序,取值范围为0~255,数据类型为uint8。

  • 在校准数据准备阶段、给应用程序准备应用样本时,我们常使用numpy的tofile序列化数据。 这种方式不会保存shape和类型信息,在加载时都需要手动指定, 需要您确保这些文件的序列化和反序列化过程的数据类型、数据尺寸和数据排布等信息都是一致的。

  • 推荐您在地平线工具链使用过程中,依然使用原始浮点模型训练验证阶段依赖的数据处理库。 对于鲁棒性较差的模型,不同库实现的功能resize、crop等典型功能都可能引起扰动,进而影响模型精度。

  • 校验图片集是否合理设置。校准图片集数量应该在百张左右,同时最好可以覆盖到数据分布的各种场合, 例如在多任务或多分类时,校验图片集可以覆盖到各个预测分支或者各个类别。 同时避免偏离数据分布的异常图片(过曝光等)。

  • 使用 ***_original_float_model.onnx再验证一遍精度, 正常情况下,这个模型的精度应该是与原始浮点模型精度保持小数点后三到五位对齐。 如果验证发现不满足这种对齐程度,则表明您的数据处理需要再仔细检查。

3.6.2.2. 较小精度损失提升

一般情况下,为降低模型精度调优的难度,我们默认建议您在转换配置中使用的是自动参数搜索功能。 如果发现自动搜索的精度结果仍与预期有一定的差距,较于原始浮点模型的精度损失在1.5%到3%范围左右。 可以分别尝试使用以下建议提高精度:

  • 尝试在配置转换中手动指定 calibration_type,可以选择 klmax

  • 尝试在配置转换中启用 perchannel

  • 在 calibration_type 设定为 max 时, 同时配置 max_percentile 参数分别为 0.99999、 0.99995、 0.9999、 0.9995、 0.999 进行尝试。

根据以往的实际生产经验,以上策略已经可以应对各种实际问题。 如果经过以上尝试仍然未能解决您的问题,欢迎在地平线唯一官方技术社区(https://developer.horizon.ai)发帖与我们取得联系, 我们将根据您的具体问题提供更具针对性的指导建议。

3.6.3. 使用QAT量化感知训练方案进一步提升模型精度

如果通过上述分析,并没有发现任何配置上的问题,但是精度仍不能满足要求,则可能是PTQ(即:Post-training Quantization,后量化训练)本身的限制。 这时候我们可以改用QAT(即Quantization Aware Training,量化感知训练)的方式来对模型进行量化。

本小节内容对QAT方案进行详细介绍:

  • 首先,关于量化 介绍量化的概念和两种量化方法;

  • 其次,关于模型转换 介绍地平线模型转换、原始浮点模型和混合异构模型的概念;

  • 接着,在理解了以上一些概念后,关于模型量化编译流程 一小节内容,让您理解地平线PTQ和QAT方案的关系,便于您可以在不同情况下选择更合适的模型处理方案;

  • 最后,QAT模型量化编译 再展开介绍如何结合PyTorch社区的QAT方案完成量化模型编译。这一小节还给出了 API接口定义 和一个 完整量化示例 供开发者参考。

3.6.3.1. 关于量化

目前在GPU上训练的模型大部分都是浮点模型,即参数使用的是float类型存储。 地平线BPU架构的AI芯片使用的是int8的计算精度(业内AI芯片的通用精度),能运行定点量化模型。 那么 从训练出的浮点精度转为定点模型的过程,我们叫做量化。

量化方法有两种,分别为

  1. 后量化(post training quantization,PTQ): 先训练浮点模型,然后使用校准图片计算量化参数,将浮点模型转为量化模型。 该方法简单、快捷,但将浮点模型直接转为量化模型难免会有一些量化损失,地平线浮点转换工具链中提供的后量化工具能做到80%(估计)以上的模型量化误差小于1%。

备注

关于PTQ模型的量化和编译流程,本章内容的上述部分已为您做出了详细介绍。

  1. 量化感知训练(quantization aware training,QAT): 在浮点训练的时候,就先对浮点模型结构进行干预,增加量化误差,使得模型能够感知到量化带来的损失。 该方法需要用户在全量训练集上重新训练,能有效地降低量化部署的量化误差。 一些社区框架都提供QAT方案,例如pytorch的eager mode方案、pytorch的fx graph方案、tf-lite量化方案等。

备注

QAT训练与浮点训练的关系

QAT训练是一种finetune方法,最好是在浮点结果已经拟合的情况下,再用QAT方法提升量化精度。 即用户的训练分为了两个步骤,先训练浮点模型,将模型精度提升到满意的指标;再通过QAT训练,提升量化精度。

为了让模型更好的感知到量化误差,QAT训练需要使用全量的训练数据集。 训练轮数和模型难度相关,大约是原来的浮点训练的1/10。 因为是在浮点模型上finetune,所以QAT训练的学习率尽量和浮点模型的最后几个epoch一致。

3.6.3.2. 关于模型转换

模型转换是指将原始浮点模型转换为地平线混合异构模型的过程。 其中会包括模型前处理节点修改、原始模型图优化、模型量化和上板模型编译等过程。

原始浮点模型 (文中部分地方也称为浮点模型)是指您通过TensorFlow/PyTorch等等DL框架训练得到的可用模型,这个模型的计算精度为float32; 目前我们的QAT方案为PyTorch 社区QAT方案,因此只支持PyTorch格式的模型。 PTQ方案只支持Caffe&ONNX模型格式,因此对于TensorFlow/PyTorch等格式的模型,需要先通过转换到ONNX模型后,才能够被地平线的工具进行量化&编译。

混合异构模型 是一种适合在地平线芯片上运行的模型格式,之所以被称为异构模型是因为它能够支持模型同时在ARM CPU和BPU上执行。 由于在BPU上的运算速度会远大于CPU上的速度,因此会尽可能的将算子放在BPU上运算。 对于BPU上暂时不支持的算子,则会放在CPU上进行运算。

3.6.3.3. 关于模型量化编译流程

正常的模型量化编译流程如下图所示:

_images/qat_compile_flow.png

单击图片看大图

小技巧

由于PTQ方式的使用代价小,因此推荐用户首先尝试该方法进行模型量化编译。 若尝试并调优后的模型精度依然无法满足要求,则可以再改为尝试QAT方案。

3.6.3.4. QAT模型量化编译

社区QAT方案(PyTorch基于Fx Graph的量化方法)

PyTorch在1.8版本以后推出了FX Graph追踪的技术以及基于该技术的量化方案。 相对于之前的Eager Mode方案,该方案全过程都是自动的、可配置的,无需用户修改代码,更适合用户使用。 关于详细介绍,用户可参考pytorch的官方介绍: Quantization ‒ PyTorch 1.9.0 documentation。 目前该方案受到很多开发者的青睐,也渐渐变得稳定起来,地平线工具链也提供了部署该方案的能力。

基于FX Graph的社区QAT使用方法

用户调用 torch 提供的 prepare_qat_fx 函数,设置对应的量化节点参数,即可自动的完成浮点模型到量化模型的转换,函数API:

prepare_qat_fx 函数:

作用:

将浮点模型转为一个可以进行量化感知训练的Prepare模型。

参数:

model:

torch.nn.Module 类型的模型,一定是train的状态。

qconfig_dict:

声明量化节点的量化方法,例如非对称、per-tensor等方法。

prepare_custom_config_dict:

自定义设置prepare过程的配置,例如指定不量化某一层、指定不使用FX追踪某一层、指定某些结构(avgpooling+relu)可以打包量化等。

返回值:

一个可以用于QAT训练的prepare模型。

当用户调用 quantize_fx.prepare_qat_fx 时,会进行以下步骤:

  • 构建静态图: 使用fx工具trace整个网络结构(可使用 prepare_custum_config_dict 指定某一块不被trace),构建出一个静态的网络结构。

  • 融合特定网络结构: 加载默认的和用户定义的 fuse pattern 配置,对网络结构进行遍历、融合,例如PyTorch默认会把conv+bn+relu融合为 instrice.ConvBnRelu

  • 转换网络结构: 加载默认的和用户定义的 convert pattern 配置,将网络中特定的网络结构转换为指定的网络结构。

  • 量化网络结构: 加载默认的和用户定义的 quantize pattern,在节点指定的位置插入量化感知节点,例如在 quant.ConvBnRelu 后面插入 observer

  • 其他处理

基于FX Graph的社区QAT加载地平线的量化配置

PyTorch社区QAT默认的量化方法不能高效地运行在地平线AI芯片上,用户可以通过加载工具链提供的量化参数调整QAT训练配置。 为了使得QAT模型更容易拟合,地平线还提供了一些调整量化参数的策略,例如配置最后一层卷积为高精度输出等。

调用流程图如下所示(黄色为工具链提供的接口):

_images/qat_load_process.png

单击图片看大图

用户仅需从 horizon_nn 中导入 HorizonQConfig 用于设定量化策略。 若要求最后一层卷积进行高精度输出(float32), 则可以调用 adjust_qat_bits 接口对模型进行修改。

小技巧

QAT模型的评测、训练和浮点模型一致,但需要注意的是,QAT模型默认每一次推理(无论training还是eval)都会更新量化参数,所以会出现每次评测的结果不一致的现象。 我们需要在训练或者评测前,手动修改QAT模型的状态,让QAT模型仅在训练时更新量化参数。 用户可以通过导入工具链封装的 set_qat_eval、 set_qat_training 来完成修改。

API接口定义

# 调整模型中的部分节点及量化策略
def adjust_qat_bits(model, *args, **kwargs)-> torch.nn. Module:
    """
    desc:
        adjust the bits of some special nodes on qat model, like disable last fake quant
    :param model: torch qat model.
    :return: torch qat model after adjusted.
    """

# 将qat模型转为onnx模型, 储存在OnnxModule中
def convert(model: Union[torch.nn.Module, str],
            dummy_input: torch.Tensor,
            march: str = "bernoulli2",
            *args,
            **kwargs) -> OnnxModule:
    """
      desc:
          convert qat model into quantized model.
      :param model: torch qat model, onnx model, or onnx model path
      :param dummy_input: the example input, whose type could be dict, Tensor, list.
      :param march: on board march, default is bernoulli2, selected form['bernoulli2']
      :return: OnnxModule, which could run with torch dataloader as same as qat model.
    """

# 将onnx模型编译为混合异构模型
def compile(
    model: Union[OnnxModule, str],
    dummy_input: torch.Tensor,
    output_name: str = "model.bin",
    march: str = "bernoulli2",
    rt_input_type: Union[Sequence[str], str, dict] = "yuv444",
    rt_input_layout: Union[Sequence[str], str, dict] = "NCHW",
    opt: Union[str, int] = "O0",
    debug: bool = False,
    *args,
    **kwargs):
    """
        desc:
            compile quantized model to bin model.
        :param model: onnx model, or onnx model file path.
        :param dummy_input: tensor for dump onnx model from torch.nn.Module
        :param output_name: export bin model filename
        :param march: on board march, default is bernoulli2, selected form['bernoulli2']
        :param rt_input_type: runtime input type, selected from [nv12, gray, rgb, bgr, feature_map, yuv444].
        :param rt_input_layout: runtime input layout, selected from [NHWC, NCHW].
        :param opt: optimized level, select from ['O0', 'O1', 'O2', 'O3'], high level mean long time and better performance.
        :param debug: debug model allow user to dump all output.
        :param compiler_parameters: compiler related parameters,
            only support dual-core option for now. Compile the dual-core model using compiler_parameters = {"core_num" : 2 }.

        :return: None
    """
#  export_to_onnx 接口的api描述
def export_to_onnx(
  pytorch_model,
  input_data,
  opset_version=11,
  input_names=None,
  output_names=None,
  export_name="onnx_temp.onnx",
  ):
  """
  Export ONNX model from pytorch model.
  Args:
      pytorch_model: pytorch model
      input_data: dummy input data for onnx model output
      opset_version: export onnx version, 11 is default.
      input_names: list of model input names
      output_names: list of model output names
      export_name: name of the onnx model generated
  Return:
      None
  """

备注

如果您需要导出qat onnx模型,需要调用export_to_onnx api来进行,否则可能会出现导出模型不正确的情况。

完整量化示例

import horizon_nn
import torch
from torch.quantization.quantize_fx import prepare_qat_fx
from horizon_nn.torch import HorizonQConfig, adjust_qat_bits, set_qat_eval, set_qat_training, export_to_onnx, convert
from horizon_tc_ui.torch import compile

def load_model():
    pass
def accuracy():
    pass
def evaluate():
    pass
def train():
    pass
def prepare_data_loaders():
    pass

data_loader = prepare_data_loaders()
float_model = load_model()# 用户训练好的模型

# 按照HorizonQConfig配置量化策略
qat_model = prepare_qat_fx(float_model, HorizonQConfig)

# 设置最后一层卷积高精度输出 (若无此要求, 该步骤可省略)
qat_model = adjust_qat_bits(qat_model)

for nepoch in range(epoch_size):
    # 设置模型为训练模式, 开启量化参数更新
    qat_model = set_qat_training(qat_model)
    train(qat_model)

    # 设置模型为评测模式, 停止量化参数更新
    qat_model = set_qat_eval(qat_model)
    top1, top5 = eval(qat_model)

# 将训练好的模型进行保存
save_dict = {'state_dict':qat_model.state_dict()}
torch.save(save_dict,"qat_best.pth")

# 将qat模型导出为 onnx 格式
dummy_data = ...
export_to_onnx(qat_model, dummy_data)

# 加载pytorch模型
float_model = load_model()
qat_model = prepare_fx_qat(float_model, HorizonQConfig)
state_dict = torch.load('qat_best.pth')['state_dict']
qat_model.load_state_dict(state_dict)

# 将qat模型转为onnx模型
dummy_data = torch.randn((1, 3, 224, 224))
quantized_model = convert(
    qat_model,  # qat model
    dummy_data,  # dummy data, or real data, which is the input data to feed the qat model
    march='bernoulli2'  # quantization march
)

# 将定点onnx模型转为异构bin模型
compile(quantized_model,
        "test.bin",
        march="bernoulli2",
        rt_input_type="yuv444",
        rt_input_layout="NCHW",
        opt=opt,
        )

3.7. 算子约束

详见: supported_op_list_and_restrictions/ 路径下的《supported_op_list_and_restrictions_release》Excel表格。

3.8. 其他模型工具(可选)

本节将对上述常规流程中不涉及的工具做统一介绍,这些工具是为某些特定需要提供,如果您有类似的需求,可以酌情选用。

3.8.1. 模型打包

模型打包提供了将多个转换后bin模型整合成一个文件的功能, 应用开发阶段,我们也为打包后模型提供了相关的接口,在您业务场景中模型比较多的时候可以使用。 打包工具 hb_pack 使用命令如下:

hb_pack -o dst_name.bin  to_pack_1.bin to_pack_2.bin

工具使用 -o 参数指定打包后文件名称。

需要打包的bin模型依次在命令尾部添加,使用空格分隔即可。

3.8.2. 模型信息查看

模型信息查看工具可以提供模型转换时使用的配置参数信息,其使用命令如下:

hb_model_info model_name.bin

hb_model_info 后加上模型名称即可,如果您使用的是打包后模型,需要带上一个在 hb_model_info 后先加上一个 -p 参数。 命令执行后会输出一些转换环境信息和转换配置中使用的配置参数信息,转换配置参数解读请参考 使用 hb_mapper makertbin 工具转换模型 部分介绍。

3.8.3. bin模型节点修改

出于某些极大尺寸输入场景下的极致性能需求,部分输入的量化和转置操作可以融合在数据前处理中一并完成。 此时您可以选择使用 hb_model_modifier 工具移除这些节点,使用命令如下:

hb_model_modifier  bin_file  -r {node_name}

-r 参数指定需要删除的节点名称。

-o 指定删除节点后产生的新模型文件名称。

需要删除的节点名称必须与bin模型中的名称完全一致,且每次调用工具只能删除一个节点. 在 使用hb_perf工具估计性能 部分介绍的 BIN Model Structure 中可以查看节点名称。

注意

这种操作会使得前文讲述的模型输入格式要求等信息失效,一般不建议使用。 该节点中的量化信息会储存在model中, 可以用 hb_model_info 工具来查看被删除节点的 mean 和 scale 值, 并据此来自行实现处理逻辑。

3.9. 常见问题

3.9.1. 如何理解算子约束中提及的BPU支持和CPU支持等算子支持形式

  • BPU支持:BPU支持是指能使用BPU硬件加速的算子,对应到具体算子有直接支持和融合后间接支持两种形式。 直接支持是指BPU硬件和编译器编译优化已经为这个相应算子提供了特定实现。 融合间接支持是指在模型转换和优化过程中,对原始算子进行融合或替换后而支持。

  • CPU支持:如果一个算子不在BPU底层编译器算子范围内,或经过融合/替换以后,仍无法在BPU上进行加速计算, 就只能在CPU 上进行计算,即CPU支持。

3.9.2. 实测性能与benchmark材料不一致

有几个方面可能导致此种情况:

  • DDR带宽频率差异的影响,几款开发板的默认DDR参数标准都有一些差异,而DDR带宽对工具链的最终性能会产生较大的影响。 在开发板的命令提示符中已经包含了频率信息,目前常见的有2666和3200两种。

  • 工具链版本与系统镜像版本不完全匹配,最理想的情况是配套使用发布包的工具链和系统镜像。

  • CPU降频影响,目前开发板重启后默认启用自动降频,为了获得最好的性能,您需要在开发板上执行关闭降频命令: echo performance > /sys/devices/system/cpu/cpufreq/policy0/scaling_governor

3.9.3. 模型量化方式采用的是对称量化还是非对称量化?是否支持16bit量化?

目前在XJ3芯片中,浮点转换工具链仅支持对称量化。 量化位数受限于芯片硬件设计,目前也仅支持8bit的量化。 但在未来的J5 等芯片上我们会支持FP16或4 bit之类的量化方式。 在量化精度提升方面,我们围绕对称量化的量化校准算法进行了深度打磨, 主要包括:针对业界主流的kl,max量化校准算法进行深度优化,提出了基于Auto-Search的KL校准算法,基于分位数的MAX量化校准算法等等, 这些优化后的量化校准算法很好地保证了量化精度的性能和通用性,进而实现了在典型模型上量化掉点损失 <1% 的目标。

3.9.4. 如何正确看待模型分段对性能的影响

如上文 转换模型 中所述,当模型在非输入或输出段出现CPU算子时,模型会被切分成几个subgraph。 出现CPU算子或多或少都会影响模型性能,但如果分段数量较少(比如5个以内),且CPU算子的计算量也并不大,那一般对模型的整体性能影响也不大。 当然,按照 模型性能分析与调优 中介绍的性能评估方案进行验证才是最可靠的。 如果这些CPU算子导致板端性能无法满足预期,则可以参考 模型性能优化 一节内容进行优化, 或者寻求地平线的技术支持。

3.9.5. 哪些模型转换配置参数会影响最终模型性能?

请参考: 检查影响模型性能的yaml参数 小节的内容。

3.9.6. 是否支持模型稀疏性优化?

模型稀疏化是一种模型参数压缩技术,可以减小模型执行过程中的带宽占用,进而提升模型执行效率,但它也会牺牲量化后的算法精度。 部分AI加速方案提供稀疏化系数参数来控制压缩率,从而可以在性能和精度之间做一个折中。 地平线XJ3芯片当前受硬件限制,还不支持模型稀疏度转换,但会在后续的XJ5等芯片中会支持。 不过即使在目前的XJ3芯片上,地平线也已经通过编译器软硬结合的优化手段,极大地压缩了内存带宽使用, 在实际业务场景下,暂时无需通过稀疏化手段来减小带宽占用。

3.9.7. 理解模型尾部部分BPU可支持算子运行在CPU上

首先,我们需要理解以下两个概念:

  • 在浮点转换工具链中,目前只有Conv算子支持int8和int32两种输出,其他算子仅支持int8低精度输出。

  • 正常情况下,我们会在模型的optimize阶段,将Conv后的BN和ReLU/ReLU6吸收进Conv中做算子融合。 但由于BPU硬件本身限制,对于int32高精度输出的Conv却并不支持对ReLU/ReLU6算子的吸收。

所以如果模型以Conv+ReLU/ReLU6结尾,那么为了保证量化模型的整体精度, Conv默认会以高精度的int32输出,ReLU/ReLU6则会跑在CPU上。 同理,其他尾部可量化算子运行在CPU上也都是因为需要让Conv高精度输出。

4. 应用开发

4.1. 简介

本章节介绍了在地平线平台进行应用开发,将转换得到的模型部署运行起来,需要您注意的相关注意事项在此章节也会介绍。

注意

在应用开发前请,请确保您已经通过 环境部署 部分的介绍完成了开发环境的准备。

最简易的开发过程包括工程创建、工程实现、工程编译与运行三个阶段。 考虑到实际业务场景开发的较复杂需求,对于常用的多模型控制概念和应用调优建议也都提供了一些说明。

4.2. 工程创建

地平线推荐使用cmake进行应用工程管理,前文介绍的环境部署部分也已经完成了cmake安装。 在阅读本节内容前,我们希望您已经了解cmake的使用。

地平线开发库提供了arm的依赖环境和板端应用程序。我们在Docker镜像中提供的工程依赖信息如下:

  • 地平线评测库libdnn.so,路径:~/.horizon/ddk/xj3_aarch64/dnn/lib/。

  • 地平线编译器依赖 libhbrt_bernoulli_aarch64.so,路径:~/.horizon/ddk/xj3_aarch64/dnn/lib/。

  • 地平线 xj3 芯片系统依赖,路径:~/.horizon/ddk/xj3_aarch64/appsdk/appuser/。

  • c编译器 aarch64-linux-gnu-gcc。

  • c++编译器 aarch64-linux-gnu-g++。

创建一个工程用户需要编写CMakeLists.txt文件。 脚本中定义了编译工具路径,CMakeLists.txt文件中定义了一些编译选项,以及依赖库、头文件的路径。参考如下:

cmake_minimum_required(VERSION 2.8)

project(your_project_name)

set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -std=c++11")

set(CMAKE_CXX_FLAGS_DEBUG " -Wall -Werror -g -O0 ")
set(CMAKE_C_FLAGS_DEBUG " -Wall -Werror -g -O0 ")
set(CMAKE_CXX_FLAGS_RELEASE " -Wall -Werror -O3 ")
set(CMAKE_C_FLAGS_RELEASE " -Wall -Werror -O3 ")

if (NOT CMAKE_BUILD_TYPE)
    set(CMAKE_BUILD_TYPE Release)
endif ()

message(STATUS "Build type: ${CMAKE_BUILD_TYPE}")

# define dnn lib path
set(DNN_PATH "~/.horizon/ddk/xj3_aarch64/dnn/")
set(APPSDK_PATH "~/.horizon/ddk/xj3_aarch64/appsdk/appuser/")

set(DNN_LIB_PATH ${DNN_PATH}/lib)
set(APPSDK_LIB_PATH ${APPSDK_PATH}/lib/hbbpu)
set(BPU_libs dnn cnn_intf hbrt_bernoulli_aarch64)

include_directories(${DNN_PATH}/include
                    ${APPSDK_PATH}/include)
link_directories(${DNN_LIB_PATH}
                ${APPSDK_PATH}/lib/hbbpu
                ${APPSDK_PATH}/lib)

add_executable(user_app main.cc)
target_link_libraries(user_app
                      ${BPU_libs}
                      pthread
                      rt
                      dl)

注意在以上示例中,我们没有指定编译器位置,会在配合工程编译阶段补充编译器指定,请参考 工程编译与运行 小节部分的介绍。

4.3. 工程实现

工程实现主要介绍如何将前文模型转换得到的bin模型在地平线平台运行起来。 最简单的步骤应该包括模型加载、准备输入数据、准备输出内存、推理和结果解析,以下是一份简单的加载部署模型参考代码:

#include <iostream>

#include "dnn/hb_dnn.h"
#include "dnn/hb_sys.h"

int main(int argc, char **argv) {
  // 第一步加载模型
  hbPackedDNNHandle_t packed_dnn_handle;
  const char* model_file_name= "./mobilenetv1.bin";
  hbDNNInitializeFromFiles(&packed_dnn_handle, &model_file_name, 1);

  // 第二步获取模型名称
  const char **model_name_list;
  int model_count = 0;
  hbDNNGetModelNameList(&model_name_list, &model_count, packed_dnn_handle);

  // 第三步获取dnn_handle
  hbDNNHandle_t dnn_handle;
  hbDNNGetModelHandle(&dnn_handle, packed_dnn_handle, model_name_list[0]);

  // 第四步准备输入数据
  hbDNNTensor input;
  hbDNNTensorProperties input_properties;
  hbDNNGetInputTensorProperties(&input_properties, dnn_handle, 0);
  input.properties = input_properties;
  auto &mem = input.sysMem[0];

  int yuv_length = 224 * 224 * 3;
  hbSysAllocCachedMem(&mem, yuv_length);
  //memcpy(mem.virAddr, yuv_data, yuv_length);
  //hbSysFlushMem(&mem, HB_SYS_MEM_CACHE_CLEAN);

  // 第五步准备模型输出数据的空间
  int output_count;
  hbDNNGetOutputCount(&output_count, dnn_handle);
  hbDNNTensor *output = new hbDNNTensor[output_count];
  for (int i = 0; i < output_count; i++) {
  hbDNNTensorProperties &output_properties = output[i].properties;
  hbDNNGetOutputTensorProperties(&output_properties, dnn_handle, i);

  // 获取模型输出尺寸
  int out_aligned_size = 4;
  for (int j = 0; j < output_properties.alignedShape.numDimensions; j++) {
    out_aligned_size =
        out_aligned_size * output_properties.alignedShape.dimensionSize[j];
  }

  hbSysMem &mem = output[i].sysMem[0];
  hbSysAllocCachedMem(&mem, out_aligned_size);
}

  // 第六步推理模型
  hbDNNTaskHandle_t task_handle = nullptr;
  hbDNNInferCtrlParam infer_ctrl_param;
  HB_DNN_INITIALIZE_INFER_CTRL_PARAM(&infer_ctrl_param);
  hbDNNInfer(&task_handle,
              &output,
              &input,
              dnn_handle,
              &infer_ctrl_param);

  // 第七步等待任务结束
  hbDNNWaitTaskDone(task_handle, 0);
  //第八步解析模型输出,例子就获取mobilenetv1的top1分类
  float max_prob = -1.0;
  int max_prob_type_id = 0;
  hbSysFlushMem(&(output->sysMem[0]), HB_SYS_MEM_CACHE_INVALIDATE);
  float *scores = reinterpret_cast<float *>(output->sysMem[0].virAddr);
  int *shape = output->properties.validShape.dimensionSize;
  for (auto i = 0; i < shape[1] * shape[2] * shape[3]; i++) {
    if(scores[i] < max_prob)
      continue;
    max_prob = scores[i];
    max_prob_type_id = i;
  }

  std::cout << "max id: " << max_prob_type_id << std::endl;
  // 释放内存
  hbSysFreeMem(&(input.sysMem[0]));
  hbSysFreeMem(&(output->sysMem[0]));

  // 释放模型
  hbDNNRelease(packed_dnn_handle);

  return 0;
}

示例代码中,为了缩减篇幅,对于部分数据就直接使用了已知的常数。 在实际使用过程中,您应该通过 hbDNNGetInputTensorProperties/hbDNNGetOutputTensorProperties 等接口获取尺寸和数据类型等信息。

需要您注意的是,在输入数据准备阶段,我们注释掉了一段 memcpy 代码。 这里应当是根据模型的输入格式要求准备输入样本,并将其拷贝到 input.sysMem[0] 中, 前文转换配置中的 input_type_rt 和 input_layout_rt 参数共同决定了模型使用什么样的输入, 具体信息可以参考 转换内部过程解读 部分的介绍。

更加全面的工程实现指导,请您参考 《BPU SDK API手册》 。

4.4. 工程编译与运行

结合 工程创建 一节中的cmake工程配置,参考编译脚本如下:

# define gcc path for arm
LINARO_GCC_ROOT=/opt/gcc-ubuntu-9.3.0-2020.03-x86_64-aarch64-linux-gnu/

DIR=$(cd "$(dirname "$0")";pwd)

export CC=${LINARO_GCC_ROOT}/bin/aarch64-linux-gnu-gcc
export CXX=${LINARO_GCC_ROOT}/bin/aarch64-linux-gnu-g++

rm -rf build_arm
mkdir build_arm
cd build_arm

cmake ${DIR}

make -j8

根据 环境部署 部分的指引,您的开发机中应该已经安装有相应编译器,将上述脚本中的编译器配置指定为您的安装项目即可。

arm程序拷贝到地平线开发板上可运行,注意程序依赖的文件也需要一同拷贝到开发板,并在启动脚本中配置依赖。 例如我们的示例程序依赖库有:libhbrt_bernoulli_aarch64.so、libdnn.so, 这两个依赖库在本地的位置为:~/.horizon/ddk/xj3_aarch64/dnn/lib/,需要将之上传到板子的运行环境中。 建议在板端的 /userdata 路径下新建 lib 路径并将库传送至该目录下,则在板端运行程序前,需指定的依赖库路径信息如下:

export LD_LIBRARY_PATH=$LD_LIBRARY_PATH:/userdata/lib

4.5. 多模型控制策略

多模型场景中,每个模型都需要使用有限的计算资源完成推理,不可避免地会出现计算资源地争夺情况。 为了便于您控制多模型的执行,地平线提供了模型优先级的控制策略供您使用。

4.5.1. 模型优先级控制

XJ3芯片BPU计算单元硬件本身没有任务抢占功能,对于每一个推理任务,一旦它进到BPU模型计算之后, 在该任务执行完成之前都会一直占用BPU,其他任务只能排队等待。 此时很容易出现BPU计算资源被一个大模型推理任务所独占,进而影响其他高优先级模型的推理任务执行。 针对这种问题,Runtime SDK基于模型的优先级通过软件的方式实现了BPU资源抢占的功能。

其中有以下点需要被关注:

  • 编译后的数据指令模型在BPU上进行推理计算时,它将表现为1个或者多个function-call 的调用,其中function-call是BPU的执行粒度, 多个function-call调用任务将在BPU的硬件队列上按序进行调度,当一个模型所有的function-call都执行完成, 那么一个模型推理任务也就执行完成了。

  • 基于上述描述,BPU模型任务抢占粒度设计为function-call更为简单,即BPU执行完一个function-call之后,暂时挂起当前模型, 然后切入执行另外一个模型,当新模型执行完成之后,再恢复原来模型的状态继续运行。但是这里存在两个问题, 第一是经过编译器编译出来的模型function-call都是merge在一起,此时模型只有一个大的function-call,它无法被抢占; 第二是每个function-call的执行时间比较长或者不固定,也会造成抢占时机不固定,影响抢占效果。

为了解决上述的两个问题,地平线在模型转换工具和系统软件都给予了支持,下面分别介绍其实现原理和操作方法:

  • 首先,在 模型转换 阶段,可以在模型的YAML配置文件中的编译器相关参数(即 compiler_parameters )中, 通过 max_time_per_fc 参数(以微秒为单位,默认取值为 0,即不做限制。)来设置每个function-call的执行时间。 假设某function-call执行时间为10ms,如将其 max_time_per_fc 设置为 500, 则这个function-call将会被拆分成20个。

  • 其次,系统软件层面设计了 BPLAT_CORELIMIT 环境变量用于设置可抢占的粒度。 如将此参数设置为 2,则高优先级被调度执行的时间为前面2个低优先级function-call的处理时间。 如果为 0,则不抢占。因此,为了尽早执行高优先级的任务,可在 上板 时,先运行 export BPLAT_CORELIMIT=1 将此环境变量的取值设置为 1。 这样当系统底层收到模型的function-call时,会判断其优先级,对于优先级高的function-call则放入单独队列,以便能够在一个function-call 执行完成之后,抢占到BPU资源。

  • 接着,由于模型抢占机制是在libdnn中实现的,继续设置 dnn 的 infer 接口提供的 hbDNNInferCtrlParam.priority 参数。如:配置 infer 任务为 HB_DNN_PRIORITY_PREEMP(255),则为抢占任务,可支持function-call级别抢占; 您也可以配置优先级为 [0,255] 的任意等级,在同等条件下的执行队列中(粒度为任务),优先级越高的task会更优先执行。 需要说明的是,目前DNN内部最多支持8个任务同时进行。因此若提交抢占任务时已经有8个任务正在运行,则不支持抢占操作。 直到有任务完成后才可以调度优先级最高的任务执行。

4.6. 应用调优建议

地平线建议的应用调优策略包括工程任务调度和算法任务整合两个方面。

工程任务调度 方面,我们推荐您使用一些workflow调度管理工具,充分发挥不同任务阶段的并行能力。 一般AI应用可以简单拆分为输入前处理、模型推理、输出后处理三个阶段,在简易流程下,其处理流程如下图。

_images/app_optimization_1.png

充分利用workflow管理实现不同任务阶段并行后,理想的任务处理流程将达到下图效果。

_images/app_optimization_2.png

算法任务整合 方面,地平线推荐您使用多任务模型。 这样一方面可以在一定程度上避免多模型调度管理的困难; 另一方面多任务模型也能充分共享主干网络的计算量,较于使用各个独立的模型,可以在整个AI应用级别明显减少计算量,从而达到更高的整体性能。 在地平线内部和许多合作客户的业务实践中,多任务也是常见的应用级优化策略。

4.7. 其他应用开发工具

  1. hrt_bin_dump 是 ptq debug模型的layer dump工具,工具的输出文件为二进制文件,工具使用方法请参考 《hrt_bin_dump工具介绍》 。

2. hrt_model_exec 是一个模型执行工具,可直接在开发板上评测模型的推理性能、获取模型信息。一方面可以让用户拿到模型时实际了解模型真实性能;另一方面也可以帮助用户了解模型可以做到的速度极限,对于应用调优的目标极限具有指导意义。 hrt_model_exec 工具分别提供了模型推理 infer、模型性能分析 perf 和查看模型信息 model_info 三类功能,工具使用方法请参考 《hrt_model_exec工具介绍》 。

4.8. 常见问题

4.8.1. 如何将摄像头输出的NV12图片转换为BGR等格式?

地平线X/J3芯片未提供图片像素空间转换的加速硬件,因此有部分客户提出希望通过API接口来开放BPU对像素空间转换进行加速。 但是为了规避BPU的模型推理效率被该功能影响,经过地平线研发团队缜密评估后,决定暂不对用户开放。

但是在ARM CPU上,用户也可以利用开源的libYUV库来加速该操作。 经过测试验证,720P的图像,NV12转BGR,转换延迟低于7ms,满足大部分业务场景需求。

4.8.2. 如何理解BPU内存Cache

在BPU SDK API文档中,我们提供了BPU内存函数 hbSysAllocCachedMem 和 hbSysAllocMem 来分配BPU读写内存。 其中 hbSysAllocCachedMem 表示分配可以被cache的内存, 并配套了 hbSysFlushMem 函数来对Cache进行刷新。

Cache机制是由芯片BPU的Bernoulli内存架构来决定的,详细参考如下图所示。 CPU与主存之间存在的Cache会缓存数据,而BPU与主存之间则没有cache。 此时若错误使用Cache将会直接影响最终数据读写的准确性和效率。

_images/cache_mechanism.png

对于CPU写场景,即输入给BPU读的内存,由于数据会缓存到Cache中,导致memory主存中的数据仍是旧的, 这样BPU执行模型的时候取的数据就是错的。因此CPU写完Memory以后需要主动把Cache中的数据flush到memory中。

对于BPU写场景,即BPU中模型输出的内存。如果CPU曾经读取过memory中的数据,那么数据就有可能会被缓存到Cache中。 这时如果BPU重新写了该Memory,那么CPU 在读取数据时仍然会先读取Cache,这样就会导致CPU读到错误的数据。 所以在BPU写完Memory以后需要把Cache中上次读取到的数据清理掉。

对于CPU写,如果仅用于BPU读,不用于后续其他场景读,推荐直接设置为非Cacheable,这样可以规避一次flush过程。

对于BPU写,如果仅被CPU读过一次,那么也可以设置非Cacheable。 但是如果会被读取多次,例如模型输出,则建议设置为Cacheable,加速CPU反复读的效率。

4.8.3. 理解BPU内存中的物理地址和虚拟地址

在Bernoulli芯片架构中,BPU和CPU共享同一个memory空间,通过 hbSysAllocMem 函数可以分配一段物理空间连续的内存用于BPU读写。 函数返回值被包装在 hbSysMem 数据结构体中,它内部有 phyAddr 和 virAddr 两个字段分别表示其内存空间的物理地址和虚拟地址。 由于这段内存空间是连续的,所以物理地址和虚拟地址都可以通过首地址进行表示,也可以对相应的内存进行读写。 但是在实际使用过程中,建议以使用 hbSysMem 的虚拟地址为主,非必须场景不要直接使用物理地址。

5. 自定义算子开发

5.1. 简介

地平线工具链中已经支持了丰富的算子,在大多数情况下,您的模型应该可以通过前文所述模型转换顺利部署到地平线芯片上。 少部分算子不支持情况下,我们建议您先尝试下替换算子的可能性,这样有利于将地平线芯片能力充分发挥出来。

自定义算子只提供CPU上算子开发能力,一个完整的自定义算子应用过程包括创建模板、算子实现、算子编译、 含自定义算子模型转换和运行含自定义op模型几个阶段。具体流程如下图所示:

_images/custom_op_development.png

如图所示,定义自定义OP需要有两部分的任务,在模型转换阶段,需要提供自定义OP的python代码,在模拟器/上板运行推理阶段, 需要提供自定义OP的C++代码,要确保这两部分的代码运算的一致性。

5.2. 含自定义算子的模型转换

5.2.1. 模型文件修改

在准备好自定义算子实现后,为了将算子应用起来,您需要从原始模型文件和模型转换配置两个方面做出相应调整 (下面分别以 Caffe 模型和 ONNX 模型为例)。

  • Caffe 模型

原始模型文件中,将自定义算子对应的算子类型标记为 Custom,并提供一组 custom_param,示例如下。

layer {
  name: "hr_op"
  type: "Custom"
  bottom: "res3d_in"
  top: "res3d"
  custom_param {
    kind: "CustomIdentity"
    shape {
      dim: 1
      dim: 512
      dim: 28
      dim: 28
    }
    params: "'kernel_size': 10 \n'threshold': 0.5"
  }
}

以上完整 custom_param 示例中。 kind 是自定义算子的内部实现名称,该自定义OP为恒等OP,因此命名为 CustomIdentity,该名称在后续Python及C++代码中均会体现; shape 是算子的输出尺寸,需要完整指定;params 是算子的传入参数指定形式为 'param_name': param_value, 多个参数之间使用 \n 分隔。

在模型转换配置中,使用自定义算子需要在配置文件中加入一个新的自定义op参数组如下:

#...

custom_op:
  # 自定义op的校准方式
  custom_op_method: register

  # 自定义OP的实现文件, 多个文件可用";"分隔
  op_register_files: sample_custom.py

  # 自定义OP实现文件所在的文件夹, 请使用相对路径
  custom_op_dir: ./custom_op

对于 Caffe 模型,以上参数组中,三个参数都是必须配置的。custom_op_method 固定使用 register; op_register_files 是自定义算子计算的实现文件, 如果有多份实现,使用 ‘;’ 将各个文件分开即可;custom_op_dir 是存放 op_register_files 系列文件的路径名称,请使用相对路径。

完成这些配置后,模型转换的后续步骤与其他一般模型转换过程一致。

  • ONNX 模型

  1. 含有自定义算子的Onnx模型的获取:

    1. 从pytorch 等其他框架转换而来

    参考代码:

    import torch
    from horizon_nn.horizon_onnx.onnx_pb import TensorProto
    from torch.onnx.symbolic_helper import parse_args
    from torch.onnx.utils import register_custom_op_symbolic
    from torch import Tensor
    
    model = torch.hub.load('pytorch/vision:v0.10.0', 'googlenet', pretrained=True)
    
    def _transform_input(x: Tensor) -> Tensor:
        return x
    
    model._transform_input = _transform_input
    
    @parse_args("v", "v")
    def horizon_pool(g, input, output_size):
        return g.op(
            'horizon.custom::PyOp', #required, ! must be 'horizon.custom' domain !
            input,
            class_name_s="GlobalAveragePool",  #required ! must match the class def name in sample_custom python file !
            compute_s="compute",  #optional, 'compute' by default
            module_s="sample_custom",  #required ! must match the file name of the "op_register_files" !
            input_types_i=[TensorProto.FLOAT],  #required
            output_types_i=[TensorProto.FLOAT],  #required
            output_shape_s=["1, 1024, 1, 1"]) #required
    
    d_input = torch.rand(1, 3, 224, 224)
    register_custom_op_symbolic('::adaptive_avg_pool2d',
                                horizon_pool,
                                opset_version=11)
    torch.onnx.export(model, d_input, "googlenet_cop.onnx", opset_version=11)
    
    1. 直接修改onnx模型

    参考代码:

    from horizon_nn import horizon_onnx
    from horizon_nn.horizon_onnx import helper
    from horizon_nn.horizon_onnx.onnx_pb import TensorProto
    
    model = horizon_onnx.load("googlenet.onnx")
    
    # print(helper.printable_graph(model.graph))
    
    py1_node = helper.make_node(
        op_type='PyOp',  #required, must be 'PyOp'
        name='hr_op', #required
        inputs=['368'],  #required
        outputs=['368_py'],  #required
        domain='horizon.custom',  #required, ! must be 'horizon.custom' domain !
        input_types=[TensorProto.FLOAT],  #required
        output_types=[TensorProto.FLOAT],  #required
        module='sample_custom',  #required, ! must match the file name of the "op_register_files" !
        class_name='CustomIdentity',  #required ! must match the class def name in sample_custom python file !
        compute='compute',  #optional, 'compute' by default
        kernel_size='10',  #optional,
        threshold='1.2')  #optional,
    
    custom_index = -1
    for node_index in range(len(model.graph.node)):
        if model.graph.node[node_index].name == "Conv_4":  # insert pyop at certain point in the original model
            model.graph.node[node_index].input[0] = "368_py"
            custom_index = node_index
    
    if custom_index == -1:
        raise ValueError(f"target node not found")
    
    model.graph.node.insert(custom_index, py1_node)
    
    pyop_value_info = helper.make_tensor_value_info("368_py", TensorProto.FLOAT,  #  value info is needed for onnx shape infer.
                                                    [1, 64, 56, 56])
    
    model.graph.value_info.append(pyop_value_info)
    
    pyop_opset = helper.make_operatorsetid("horizon.custom", 1)
    model.opset_import.append(pyop_opset)
    
    horizon_onnx.save(model, "modified.onnx")
    

    注意

    Onnx模型中PyOp属性的注意点:

    1. domain 属性一定要设置, 不然的话会被默认成 onnx 标准domain 从而报错

    2. module 需要与注册时使用的注册文件同名. 若注册文件在当前目录的子文件夹中, 则需要修改module内容. 例如: 若 sample_custom.py 在当前路径的custom_op 文件夹中, 则该module应设置为 custom_op.sample_custom

    3. class_name 需要与注册文件中的class名称相同

  2. 与 Caffe 模型一致,需要在模型转换配置中,使用自定义算子需要在配置文件中加入一个新的自定义op参数组如下:

#...

custom_op:
  # 自定义op的校准方式
  custom_op_method: register

  # 自定义OP的实现文件, 多个文件可用";"分隔
  op_register_files: sample_custom.py

对于 ONNX 模型,以上参数组中的两个参数都是必须配置的。custom_op_method 固定使用 register; op_register_files 是自定义算子计算的实现文件,如果有多份实现,使用 ‘;’ 将各个文件分开即可;

完成这些配置后,模型转换的后续步骤与其他一般模型转换过程一致。

5.2.2. 算子实现

在模型转换阶段, 需要提供自定义算子的Python实现, 工具会利用该实现函数完成模型的浮点转定点转换。

Python模板文件(sample_custom.py)如下:

#sample_custom.py

from horizon_nn.custom.op_registration import op_implement_register, op_shape_infer_register

@op_implement_register("CustomIdentity")
class CustomIdentity(object):
    def __init__(self, kernel_size, threshold):
        self._kernel_size = kernel_size
        self._default_threshold = threshold

    def compute(self, X):
        return X

@op_shape_infer_register("CustomIdentity")
def infer_shape(inputs_shape):
    """Infer the output shapes of the custom operator.
    Arguments:
        input_shapes: A list of input shapes.
    Returns:
        Return a list of custom operator's output shapes.
    """
    outputs_shape = inputs_shape
    return outputs_shape

该文件的名字(sample_custom.py)需要填入模型转换的yaml配置文件中 op_register_files,否则工具无法正常import这个module, 并且修饰器 op_implement_register 注册的custom op名称 CustomIdentity 需要与自定义OP的类型(Kind)一致。

对于 Caffe 模型, init 函数中的参数(kernel_size, threshold)都是通过prototxt文件中的 params 传入的, 用于自定义op模块的初始化。如果在prototxt里已经说明op的形状, 则这里可以不用进行shape注册(op_shape_infer_register), op_shape_infer_register 注册的函数只在prototxt中没有 shape 信息时才会被调用。

op_shape_infer_register 的输入参数为 inputs_shape, 自定义OP的输入数据的 shape (即上一个OP的输出 shape)。

上述操作完成后即可进行浮点转定点的操作, 得到相应的bin文件 (即 hb_mapper makertbin 命令 )。

5.3. 含自定义算子的上板运行

在拿到bin文件后,还不能直接在开发板上运行。在运行之前需要先提供自定义算子的C++代码实现。 您可以使用下文提供的模板进行修改并添加到示例代码中进行使用。

如果您只是希望测试自定义算子的功能,也可以直接使用我们提供的模版文件,模版文件中将输入直接赋值为输出使用, 所以这个自定义算子并不会对结果造成任何影响。

5.3.1. 自定义算子C++模版

Runtime模板文件如下:

// custom_identity.h
#ifndef ADVANCED_SAMPLES_CUSTOM_IDENTITY_H_
#define ADVANCED_SAMPLES_CUSTOM_IDENTITY_H_

#include <string>
#include <vector>

#include "dnn/hb_dnn.h"
#include "dnn/plugin/hb_dnn_layer.h"
#include "dnn/plugin/hb_dnn_ndarray.h"

namespace hobot {
namespace dnn {

Layer *CustomIdentity_layer_creator();

class CustomIdentity : public Layer {
public:
  CustomIdentity() = default;
  ~CustomIdentity() override = default;

public:
  int32_t Init(const Attribute &attributes) override;

  int32_t Forward(const std::vector<NDArray *> &bottomBlobs,
                  std::vector<NDArray *> &topBlobs,
                  const hbDNNInferCtrlParam *inferCtrlParam) override;

  std::string GetType() const override { return "CustomIdentity"; }

private:
  std::string module_;
};

}  // namespace dnn
}  // namespace hobot

#endif
// custom_identity.cpp
#include "custom_identity.h"

namespace hobot {
namespace dnn {

Layer *CustomIdentity_layer_creator() { return new CustomIdentity; }

int32_t CustomIdentity::Init(const Attribute &attributes) {
  // unused attribute, just demonstrating
  attributes.GetAttributeValue(&module_, "module");
  return 0;
}

int32_t CustomIdentity::Forward(const std::vector<NDArray *> &bottomBlobs,
                                std::vector<NDArray *> &topBlobs,
                                const hbDNNInferCtrlParam *inferCtrlParam) {
  const NDArray *input = bottomBlobs[0];
  NDArray *out = topBlobs[0];
  const auto *input_data = input->Dptr<float>();
  auto *out_data = out->Dptr<float>();
  uint32_t size = input->Size();

  for (uint32_t i = 0U; i < size; i++) {
    out_data[i] = input_data[i];
  }
  return 0;
}
}  // namespace dnn
}  // namespace hobot

备注

该函数名称的前缀(即 CustomIdentity) 需要与自定义OP的类型(Kind)一致, 其传入的参数为:

  • bottom_blobs → 自定义OP节点输入数据。

  • top_blobs → 自定义OP节点输出数据。

  • inferCtrlParam → 自定义算子初始化阶段的输入参数。

注意

模板中的运算规则均为输出等于输入, 因此后续用户若要定义其他行为, 则需相应的更改运算规则即可。

5.3.2. 自定义算子注册

当您完成C++版本模版的修改后,仅需要在示例的CMakeLists.txt中添加对模版文件的包含, 并在示例中增加对算子的注册即可,注册请参考以下代码:

#include "custom_identity.h"

hbDNNRegisterLayerCreator("CustomIdentity",
                            hobot::dnn::CustomIdentity_layer_creator);
....

当您完成对模版文件的依赖及算子注册后,即可对含有自定义算子的模型进行执行等操作。

注意

在使用前,请您确认模型的自定义算子名称与注册的算子名称是相同的。

参考文档,请参阅 Runtime 示例中的 advanced_samples 。




1. 产品介绍 — horizon_ai_toolchain_user_guide v1.12.3 文档 

  • 7
    点赞
  • 23
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值