使用命令行进行内存一致性检查
命令功能
检查源码中存在的内存一致性问题。
命令格式
devkit advisor mem-cons {-i INPUT_PATH | --input INPUT_PATH}[-f BC_PATH | --bc-file BC_PATH] [--autofix {true,false}] [--autofix-dir AUTOFIX_OUTPUT_PATH] [-o OUTPUT_PATH | --output OUTPUT_PATH] [-r {all,json,html,csv} | --report-type {all,json,html,csv}] [-l {0,1,2,3} | --log-level {0,1,2,3}] [--set-timeout TIMEOUT]
参数说明
参数 |
参数选项 |
参数说明 |
|---|---|---|
-i/--input |
input_path |
BC文件对应的源码文件夹路径。 必选参数。 例如：/home/test |
-f/--bc-file |
path |
BC文件夹路径，该路径下必须存在BC文件。 必选参数。 例如：/home/testbc |
--autofix |
true/false |
是否生成编译器配置文件。 可选参数。 默认为false。 |
--autofix-dir |
path |
编译器配置文件的存放地址。 可选参数。 默认生成在工具目录下的源码文件夹下，使用--autofix且参数必须为true时才能生效。 |
-o/--output |
output_path |
报告存放路径。 可选参数。 报告默认存放在当前执行路径下，名称默认为“特性名称_时间戳”。 |
--set-timeout |
time |
任务超时时间。 可选参数。 默认无超时时间，任务将持续执行直到结束。 |
-l/--log-level |
0,1,2,3 |
日志等级，可选参数：0（DEBUG）、1（INFO）、2（WARNING）、3（ERROR），默认为1（INFO）。 |
-r/--report-type |
all,json,html,csv |
扫描报告的格式。 可选参数。 默认为all，即默认生成json、html、csv三种报告。 |
使用实例
此处以以下命令为例，请根据实际情况替换成实际需要扫描的配置文件路径。
devkit advisor mem-cons -i /opt/DevKit/testcase/affinity/weak_cons/test-mulbc_sort -f /opt/DevKit/testcase/affinity/weak_cons/bc_file -l 0
返回信息如下，并输出报告。
Scanned time: 20240229061648
Configuration:
Scan bc files path: /opt/DevKit/testcase/affinity/weak_cons/bc_file
Scan source code path: /opt/DevKit/testcase/affinity/weak_cons/test-mulbc_sort
Autofix: false
Generate report path: /home/test001/DevKit-CLI-24.0.RC1-Linux-Kunpeng
Generate report type: all
Task Timeout Interval: The timeout period is not set.
Log level: DEBUG
Summary:
Scanned 2 bc files, there are 6 recommended modifications.
For the details information, please check:
/home/test001/DevKit-CLI-24.0.RC1-Linux-Kunpeng/mem-cons_20240229061648_7905.json
/home/test001/DevKit-CLI-24.0.RC1-Linux-Kunpeng/mem-cons_20240229061648_7905.html
/home/test001/DevKit-CLI-24.0.RC1-Linux-Kunpeng/mem-cons_20240229061648_7905.csv
输出报告说明
参数 |
说明 |
|---|---|
配置信息 |
显示软件源码文件及BC文件存放路径。 |
需要修改的源码文件 |
显示需要存在内存一致性问题需要进行修改的源码文件路径等相关信息。 |
父主题： 内存一致性检查