---
title: 内存一致性静态检查
description: "内存一致性静态检查 就是采用静态检查模式检查C/C++源码在鲲鹏平台运行时是否存在内存一致性问题，并提供内存一致性的检测结果与插入内存屏障的建议。"
url: https://www.hikunpeng.com/document/detail/zh/kunpengdevps/development/affinityanalyzer/KunpengDevKitCli_0027.html
sourcePath: /source/zh/kunpengdevps/development/affinityanalyzer/KunpengDevKitCli_0027.html
indexId: 125c52f91dd96a90ffc96ce236cb8cb78ad06ead5bb7d88feea8a2edc769d68679
---
# 内存一致性静态检查

内存一致性静态检查 就是采用静态检查模式检查C/C++源码在鲲鹏平台运行时是否存在内存一致性问题，并提供内存一致性的检测结果与插入内存屏障的建议。

- 由于运行内存一致性检查时，生成的中间文件较大，如果用户想要使用该功能，请确保安装工具的所在磁盘空间足够大。根据经验数据，每10万行代码需要100GB左右的可用内存。
- 源码规模过大可能会导致占用资源过多，建议代码量不超过10万行。


#### 命令功能

静态检查源码中存在的内存一致性问题。


#### 命令格式

```
devkit advisor mm-check [-h | --help] {-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] [-l {0,1,2,3} | --log-level {0,1,2,3}] [-r {all,json,html,csv} | --report-type {all,json,html,csv}] [--set-timeout TIMEOUT]
```


#### 参数说明


**表1 参数说明**

| 参数 | 参数选项 | 参数说明 |
| --- | --- | --- |
| \-h/\-\-help | \- | 可选参数，获取帮助信息。 |
| \-i/\-\-input | \- | 必选参数， BC文件 对应的源码文件夹路径。 |
| \-f/\-\-bc\-file | \- | 必选参数，BC文件夹路径，该路径下必须存在BC文件。 说明： 使用命令行工作方式生成BC文件请参见BC文件生成。 使用工程构建工具生成BC文件请参见生成BC文件中的方法二。 |
| \-\-autofix | true/false | 可选参数，是否生成编译器配置文件，默认为false。 |
| \-\-autofix\-dir | \- | 可选参数，编译器配置文件的存放地址。默认生成在工具目录下的源码文件夹下，“\-\-autofix”参数为true时才能生效。 |
| \-o/\-\-output | \- | 可选参数，扫描报告的存放路径，默认存放在当前执行路径下，报告名称为模块名称\_时间戳。 |
| \-l/\-\-log\-level | 0/1/2/3 | 可选参数，设置日志级别，默认为1。 0：日志级别为DEBUG。 1：日志级别为INFO。 2：日志级别为WARNING。 3：日志级别为ERROR。 |
| \-r/\-\-report\-type | all/json/html/csv | 可选参数，扫描报告的格式，默认为all。 all：生成JSON、HTML、CSV三种格式报告。 json：生成JSON格式报告。 html：生成HTML格式报告。 csv：生成CSV格式报告。 |
| \-\-set\-timeout | \- | 可选参数，任务超时时间，单位为分钟，若执行时间超过超时时间则退出执行。默认无超时时间，任务将持续执行直到结束。 |


#### 使用示例

此处以扫描“/opt/DevKit/testcase/affinity/weak_cons/test-mulbc_sort”路径下源码，扫描报告存放至“/opt/DevKit”路径且日志级别为INFO为例，请根据实际情况进行修改。

```
devkit advisor mm-check -i /opt/DevKit/testcase/affinity/weak_cons/test-mulbc_sort -f /opt/DevKit/testcase/affinity/weak_cons/bc_file -o /opt/DevKit
```


返回信息如下，并输出报告。

```
Executing static memory consistency check task, please wait...
Current progress: ################################# [100%]
Scanned time: 2025/04/07 03:38:29
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: /opt/DevKit
Generate report type: all
Task Timeout Interval: The timeout period is not set.
Log level: info
Summary:
Scanned 2 bc files, there are 2 recommended modifications.
For the details information, please check:
/opt/DevKit/mem-check_20250407033829_7ebf.json
/opt/DevKit/mem-check_20250407033829_7ebf.html
/opt/DevKit/mem-check_20250407033829_7ebf.csv
```


#### 输出报告说明


**表2 内存一致性静态检查输出报告参数说明**

| 参数 | 说明 |
| --- | --- |
| 配置信息 | 显示软件源码文件及BC文件存放路径。 |
| 需要修改的源码文件 | 显示存在内存一致性静态问题，并需要进行修改的源码文件路径等相关信息。 |