记录一次使用unordered_set插入数据异常的问题
问题描述
问题和 unordered_set 有关,相关代码如下:
//打印unordered_set的所有值
void printSet(const std::unordered_set<std::string> &data)
{
int index = 0;
auto it = data.begin();
for (; it != data.end(); ++it)
{
const std::string& key = *it;
EASE_ERROR("%d:%s", index++, key.c_str());
}
}
...//其他业务代码
std::unordered_set<std::string> defined_task_variable;//数据定义
defined_task_variable.emplace(task_variable); //插入代码
printSet(defined_task_variable); //打印所有值
这些代码作为so提供给 程序A 调用,但是程序执行过程中发现,defined_task_variable 插入值后,printSet()方法应该遍历defined_task_variable,打印出其内部数据的,但实际上其打印出来的都是(null),且只在arm平台出现,且必现,但x86一切正常
排查思路
1、怀疑是线程资源冲突
相关操作函数增加线程id打印,确定是单线程,排除
2、怀疑是局部变量task_variable被释放
首先,unordered_set的emplace方法采用完美转发,不可能因为传入参数生命周期结束而导致没有值
其次,修改代码,emplace插入纯字符串,发现问题依然,排查
3、怀疑是程序A的问题
编写测试程序B,加载同一个so
此时,测试发现一个奇怪的现象。首先,x86依然正常,但是arm平台出现两种情况:
测试程序B因为代码量小,编译出来的结果在1M以下,运行正常;此时,相同的程序B再额外加上一些代码(这些代码没有用到),导致编译出来的二进制文件大小达到24M,此时运行,复现错误
什么原因呢?运行的问题出现在so中,但是却是调用so的二进制文件大小决定问题是否出现。有点诡异啊。
最终,仍然没有找到根本原因,但是既然文件大小会影响运行结果,那么减小文件是不是就可以避免了呢?
3.1、二进制文件大小
编译时加入编译器优化选项,使用-O3
set(CMAKE_CXX_FLAGS "${CMAKE_C_FLAGS} -O3 -Wall")
set(CMAKE_C_FLAGS "${CMAKE_C_FLAGS} -O3 -Wall")
原本编译出来的程序A大小从20多M,降到了5M,运行正常,算是暂时解决了这个问题,但是因为使用了编译器优化,会不会导致逻辑不达预期,需要进一步测试
总结
那么,造成此问题的原因究竟是什么呢?