轻踩一下就崩溃吗——踩内存案例分析

简介: 踩内存问题分析成本较高,尤其是低概率问题困难更大。本文详细分析并还原了两个由于动态库全局符号介入机制(it's a feature, not a bug)触发的踩内存案例。

一、踩内存不仅仅是调皮

进程是资源分配的最小单位,线程是cpu调度的最小单位。在同一个进程中各个线程是共用整个进程的地址空间的。


把进程的地址空间比作一张大画布,大家(各个线程)可以从这张大画布中裁剪出来一张张小画布使用,用完归还。每个人借还都在管理员那里登记好即可。同一张小画布也可以小A用完归还后小B使用。大家都遵守规则的情况下是非常和谐的。但是某一天,小A同学突然调皮了一下,在小B借用的小画布上乱涂乱画,甚至踩了个大脚印——这就是踩内存了!每一块画布除了画图区域外还有边框,小A同学如果对边框踩上几脚,归还的时候管理员也会非常无语的。


可以看到,小A的行为不仅仅是调皮了,简直是“恶劣行径”,很可能导致小B同学或者管理员同学“崩溃”大哭。


1.1. 堆内存管理结构

malloc的数据结构如下图所示:

image.png

我们申请的内存前后被metadata包裹,这里的metadata就是上文说的“画布边框”,内存释放的时候libc(管理员)是会对其进行检查,如果有问题libc会主动触发abort;申请到的内存可读写区域就是上文说的“画布的画图区域”。


1.2 踩内存后果


内存越界踩踏发生后比较严重的后果可能有如下几种情况:


1)内存释放时崩溃(发生abort而不是segment fault)——画布管理员哭了


2)多次崩溃调用栈不一致(发生segment fault),具体看谁的内存被踩了——小B或者小C等被踩的同学哭了


这两种表现主要看越界的"步子"有多大(踩到了边框还是踩到了别人)。


相关问题的分析难点在于找到作案第一现场。而通常踩内存的问题导致崩溃后生成的coredump文件只是一个最终现场,从core中看到的触发崩溃的地方并不一定是罪魁祸首。


二、一个小案例

2.1. 崩溃栈无法分析原因

版本提测之前总是能遇到一些突发崩溃,core文件解出的backtrace如下:

#0  0x00007f91396cd207 in raise () from /lib64/libc.so.6
#1  0x00007f91396ce8f8 in abort () from /lib64/libc.so.6
#2  0x00007f913970fd27 in __libc_message () from /lib64/libc.so.6
#3  0x00007f91397165d4 in malloc_printerr () from /lib64/libc.so.6
#4  0x00007f91397186cb in _int_free () from /lib64/libc.so.6
#5  0x00007f913ce85fa1 in Posxxx::releasexxx ()
#6  0x00007f913cdf53be in xxxProvider::~xxxProvider (this=0x151fbc0, __in_chrg=<optimized out>)
    at /root/workspace/feature/xxxProvider/xxxProvider.cpp:27

可以看到是在析构函数中释放内存是libc检测到异常主动触发了abort。难道我们要修改相关变量的内存释放逻辑吗?显然不是。这个core只是展示了进程崩溃的案发现场,但是并没有揭示为什么会这样。


2.2. valgrind报告指认真凶

释放内存导致崩溃只是最后的案发现场,内存释放逻辑是无辜的,真正行凶者早已逍遥法外。


运气比较好,这是一个必现问题。我们可以让凶手反复出手来对其实施抓捕。针对内存问题,asan和valgrind都是一把好手。

valgrind --tool=memcheck --leak-check=full --show-reachable=yes --trace-children=yes ./Map /data/ /short.loc 2>&1|tee valgrind.log

valgrind日志中看到:


valgrind: m_mallocfree.c:305 (get_bszB_as_is): Assertion 'bszB_lo == bszB_hi' failed.

valgrind: Heap block lo/hi size mismatch: lo = 1360, hi = 3212836864.

This is probably caused by your program erroneously writing past the

end of a heap block and corrupting heap metadata.

valgrind检查到了堆内存访问越界,并指出了发生非法内存写操作的地方--"Invalid write of size 8",相关问题出在xxx_define.h:380中的reset函数。


==92== Invalid write of size 8

==92== at 0x50F317C: reset (xxx_define.h:380)

==92== by 0x50F317C: xxxInfo (xxx_define.h:299)

==92== by 0x50F317C: xxx::xxx::xxxData() (xxxDefineBase.cpp:4)

==92== by 0x6089286: ??? (in /root/workspace/test/sdk/xxxResim/libxxxSimulater.so)

==92== by 0x400F8F2: _dl_init (in /usr/lib64/ld-2.17.so)

==92== by 0x4001159: ??? (in /usr/lib64/ld-2.17.so)

==92== by 0x2: ???

这里对struct xxxInfo的各个成员变量进行赋值操作导致了内存非法写入。


2.3. 问题修复

进一步确认是因为回放工具(A.so)与定位模块(B.so)共用了相同的结构体定义,但是头文件却是各自维护一份,本次新需求定位模块在结构体中新增了字段,但是回放工具使用的结构体中未新增。


既然是两者代码不一致导致问题,我们只需要把两个头文件代码改成一样的不就解决问题了吗?


2.4. 刨根问底

代码一致性问题解决后问题修复了,如果只是为了解决一次崩溃问题到此结束的话总感觉少了点什么。因为我们心中的疑问还没有解决——到底为什么会越界呢?凶手找到了,但是他的动机是什么?又是什么让他产生了这样的动机?如果这些疑问不搞清楚的话我们只能结案一起凶杀案件,无法彻底解决其背后反映的社会问题。


2.5. 深入分析

2.5.1. 疑点重重

为什么valgrind的调用栈里显示的行号那么奇怪?明明是回放工具的库里面出的问题,但是行号看着更像是定位库最新代码,难道回放工具调用到了定位模块的代码(两个仓是隔离的,没有依赖关系)?


回顾本次问题,回放工具越界的原因是申请了一块小内存(按照老结构体定义size),但是赋值操作时却按照新结构体定义进行赋值,导致越界。两部分代码不在一个仓里,它是怎么用上新结构体定义的函数的呢?

2.5.2. 灵光乍现

发现这部分回放工具复制过来的代码没有增加自己的命名空间。即回放工具模块和定位模块都有自己的xxx_define.h,这里面定义了结构体xxxInfo,并且包含了它的reset函数的实现(对结构体成员变量赋默认值),在xxxInfo构造函数中调用reset函数。


看到这里,一个专有名词突然闪过——"全局符号介入"!豁然开朗。是全局符号介入导致的A.so的代码用到了B.so中的函数定义!


2.5.3. 拨云见日


下面验证下我们的猜想:


1)两个动态库中存在相同符号定义

回放工具的so为libxxxSimulater.so,定位模块是静态库,打进了libxxxSDK.so中,查看这两个库的符号,发现他们都有xxxInfo::reset()这个函数的符号。

image.png


并且这两个都是弱符号("W"),根据全局符号介入的原理,运行时按照动态库链接顺序查找调用函数的符号,然后加入全局符号表中,这之后的动态库中如果有相同的符号将被忽略。而动态库链接按照什么顺序则由不同的链接器内部实现,通常是广度优先遍历的顺序。

2)定位模块所在动态库先于回放工具库加载

使用ldd查看可执行程序xxxMap依赖库如下:

image.png

这里从上到下的顺序就是运行时动态库的链接顺序。但是ldd官方接口说明并没有看到类似承诺。为了明确运行时各个库的装载、链接过程,我们可以使用LD_DEBUG功能更直观得查看。相关命令如下:

LD_DEBUG=files ./Map /data/ /data/short.loc

输出如下所示:

560: file=libxxxSDK.so [0]; needed by ./Map [0]

560: file=libxxxSDK.so [0]; generating link map

560: dynamic: 0x00007f53a0aa1a10 base: 0x00007f53a02d9000 size: 0x00000000007e1f90

560: entry: 0x00007f53a04a05b0 phdr: 0x00007f53a02d9040 phnum: 7

...

560: file=libxxxSimulater.so [0]; needed by ./Map [0]

560: file=libxxxSimulater.so [0]; generating link map

...

由此可见,可执行程序Map先链接的libxxxSDK.so,后链接的libxxxSimulater.so。


ps: LD_DEBUG[1]是linux的一个环境变量,通过设置它我们可以看到链接器背后的很多操作,如果我们把它设置成symbols,即LD_DEBUG=symbols,则更能直接看到链接器是怎么查找到符号定义的。


2.6. 真相大白


回放工具代码中分配内存使用的是自己的结构体定义大小(sizeof是编译时行为),而运行时由于全局符号介入跑到了定位模块定义的新结构体构造函数,以及reset方法,导致堆内存越界写。


所以,真相只有一个——事件还原如下:


step1. 定位模块和回放工具代码中各自有一份自己的xxx_define.h,大家各自include自己的头文件到各自的cpp中,而include的操作其实可以翻译成复制.h内容到cpp中。相当于大家各自定义了自己模块内部的struct xxxInfo以及它的构造函数和xxxInfo::reset()方法。


step2. 回放工具使用new xxxData()操作对xxxData进行了实例化,这一步new其实做了两件事。第一件事,在堆上分配了sizeof(xxxData)大小的内存,而xxxInfo是xxxData的成员,因此对sizeof(xxxData)的大小亦有贡献,sizeof是编译时行为,因此得到的size大小为回放工具代码中定义的老的xxxInfo的size;第二件事,调用了xxxData的构造函数。


step3. xxxData构造函数执行时会先构造它的成员变量xxxInfo,而reset就是xxxInfo的构造函数中调用的函数。程序运行时链接器找到了libxxxSDK.so中xxxInfo::reset()函数的符号并加入全局符号表中,待libSimulater.so加载时其内部的xxxInfo构造和reset方法都被忽略了(参考《程序员的自我修养——链接、装载与库》中的介绍 [2])。因此运行时回放工具执行的是libxxxSDK.so中定义的新结构体构造函数和reset函数。由于新结构体的reset函数里额外的成员赋值导致了写入内存超过了老结构体的size,堆内存越界!


2.7. 用实践来检验真理

实践是检验真理的唯一标准,下面我们写一个小demo来印证我们的分析结论。/* a1_def.h */

#include <iostream>

struct A {
A() 
{
    std::cout << "A() in a1_def.h" << std::endl;
}
~A()
{
    std::cout << "~A() in a1_def.h" << std::endl;
}
int a;
};

/* a2_def.h */

#include <iostream>

struct A {
A() 
{
    std::cout << "A() in a2_def.h" << std::endl;
}

~A()
{
    std::cout << "~A() in a2_def.h" << std::endl;
}

int a[8]; // 注意这里故意比a1_def.h中多了几个字节
};

/* b1.h */

void b1();

/* b2.h */

void b2();

/* b1.cpp */

#include "a1_def.h"
void b1()
{
    struct A a;
    std::cout << "b1(): sizeof A is: " << sizeof(a) << std::endl;
}

/* b2.cpp */

#include "b2.h"
#include "a2_def.h"
void b2()
{
    struct A a;
    std::cout << "b2(): sizeof A is: " << sizeof(a) << std::endl;
}

编译动态库:

g++ -fPIC -shared b1.cpp -o b1.so

g++ -fPIC -shared b2.cpp -o b2.so


/* main.cpp */

#include "b1.h"
#include "b2.h"
int main()
{
    b2();
    b1();
    return 0;
}

生成可执行程序,先链接b1.so:g++ main.cpp b1.so b2.so -o main_b1_first_link


生成可执行程序,先链接b2.so: g++ main.cpp b2.so b1.so -o main_b2_first_link


执行结果如下:

image.png

可以看到,当先链接b1.so时,函数b1() b2()中调用的都是a1_def.h中定义的struct A的构造函数;当先链接b2.so时变成了调用的都是a2_def.h中定义的struct A的构造函数。但是函数b1() b2()中的sizeof是编译时处理的,与链接无关,得到的都是各自include到的struct A的size,与动态库链接顺序无关。


至此,印证了本次的问题分析:malloc时使用sizeof得到的size分配了较小的内存,但是运行时使用的却是新定义的大结构体构造函数,导致内存越界写。


三、似曾相识


多数情况下,我们不会故意做类似上文这种相同代码拷贝两处的事情,或者说上述问题我们可以通过“小心”、“谨慎”来避免。但是有些时候类似问题却还是能在不经意间发生。最近商用客户上报了一例全局符号介入导致的踩内存问题,但是其触发原因更加隐晦。


3.1. 熟悉的配方--奇怪的崩溃栈

客户反馈新增模块加载后发生崩溃,崩溃栈很奇怪,在一堆客户模块调用流程中夹杂了一行高德动态库中STL模板类的调用。且最终崩溃的位置没有道理,怀疑发生踩内存。


3.2. 一样的味道--全局符号介入

本次崩溃backtrace中,客户代码没有调用高德的API,但是backtrace中却出现了高德库中的stl模板类函数符号。有了第一个案例背景,我们自然会想到全局符号介入的原因,所以这个backtrace并不奇怪(it's a feature, not a bug),但是问题是它发生了崩溃!


3.3. 又一次真相大白

我们和客户共用相同版本的gcc编译工具链,各自对stl模板类的使用都是通过include头文件的方式完成的。大家include了一样的代码,那么即使出现全局符号介入,最终用哪个库的符号应该都是一样的才对。既然源码和工具链都一致,那么最终导致不一致的只有编译参数了。经排查,我们的编译参数跟客户的果然不一致!其中最危险的就是我们使用了-fshort-wchar而客户未使用。这将导致我们编译的代码中wchar_t类型大小是2字节,客户的代码中是4字节!进而导致发生踩内存,引发不可思议的崩溃。


3.4. show me the code

如下是最近客户上报问题的等价demo代码。

void funcA();
#include <iostream>
#include <vector>
#include <stddef.h>

void funcA()
{
  std::cout << "funcA: size of wchar_t:" << sizeof(wchar_t) << std::endl;
  std::vector<wchar_t> words = {};
  size_t n = words.size();
}

将A.cpp编译成A.so(高德提供)。

g++ -fPIC -std=c++11 -fshort-wchar -shared -g A.cpp -o A.so

注意,此处编译参数添加了-fshort-wchar这会把wchar_t类型的size变成2字节,即funcA中打印的sizeof(wchar_t) = 2。

void funcB();
#include <iostream>
#include <vector>
#include <stddef.h>

void funcB()
{
  std::cout << "funcB: size of wchar_t:" << sizeof(wchar_t) << std::endl;
  std::vector<wchar_t> words = {};
  size_t n = words.size();
}

编译B.so(客户内部模块):

g++ -fPIC -std=c++11 -shared -g B.cpp -o B.so

注意B.so编译时未使用-fshort-wchar。


由于stl中有很多模板类(本demo以vector为例),源文件中include相关模板类头文件后会将相关代码编译到当前so中,我们查看A.so中vector相关符号。

[root@4bad734105ec stl_template_demo]# nm A.so |grep vector
000000000000134a W _ZNKSt6vectorIwSaIwEE4sizeEv
00000000000012ec W _ZNSt6vectorIwSaIwEEC1Ev
00000000000012ec W _ZNSt6vectorIwSaIwEEC2Ev
0000000000001306 W _ZNSt6vectorIwSaIwEED1Ev
0000000000001306 W _ZNSt6vectorIwSaIwEED2Ev

使用c++filt翻译一下,这些被修饰的符号。

[root@4bad734105ec stl_template_demo]# c++filt _ZNKSt6vectorIwSaIwEE4sizeEv
std::vector<wchar_t, std::allocator<wchar_t> >::size() const
[root@4bad734105ec stl_template_demo]# c++filt _ZNSt6vectorIwSaIwEEC1Ev
std::vector<wchar_t, std::allocator<wchar_t> >::vector()
[root@4bad734105ec stl_template_demo]# c++filt _ZNSt6vectorIwSaIwEED1Ev
std::vector<wchar_t, std::allocator<wchar_t> >::~vector()
[root@4bad734105ec stl_template_demo]# c++filt _ZNSt6vectorIwSaIwEED2Ev
std::vector<wchar_t, std::allocator<wchar_t> >::~vector()

发现这些正是我们demo源码中用到的vector相关函数:vector<wchar_t>构造、vector<wchar_t>::size()接口、vector<wchar_t>的析构。


注意nm的结果中显示,这些符号类型都是"W",即弱符号(Weak),说明相关符号定义在A.so中存在一份,但是是否会真正使用要看链接结果,最终全局只会指定一份生效。同理,B.so中也存在一组vector相关的弱符号的定义。


接着看调用方代码(客户集成可执行程序)。

#include "A.h"
#include "B.h"

int main()
{
    funcA();
    funcB();
}

我们调整链接顺序,生成两个demo可执行程序。

// 先链接A.so
g++ main.cpp A.so B.so -g -o main_A_link_first
// 先链接B.so
g++ main.cpp B.so A.so -g -o main_B_link_first

ldd查看链接顺序,如下图:

image.png

有了上文的基础,我们可以预测,如果可执行程序先链接A.so,那么funcB()中vector相关的符号使用的就是A.so的了,我们可以通过gdb更清晰的明确这个结论。

Starting program: /root/workspace/test/stl_template_demo/main_A_link_first
warning: Error disabling address space randomization: Operation not permitted

Breakpoint 1, main () at main.cpp:6
6      funcA();
Missing separate debuginfos, use: debuginfo-install glibc-2.17-260.el7_6.3.x86_64 libgcc-4.8.5-36.el7_6.1.x86_64
(gdb) n
funcA: size of wchar_t:2
7      funcB();
(gdb) s
funcB () at B.cpp:7
7    std::cout << "funcB: size of wchar_t:" << sizeof(wchar_t) << std::endl;
(gdb) n
funcB: size of wchar_t:4
8    std::vector<wchar_t> words = {};
(gdb) s
std::vector<wchar_t, std::allocator<wchar_t> >::vector (this=0x7fff35804dd0) at /usr/include/c++/4.8.2/bits/stl_vector.h:249
249        : _Base() { }
(gdb) i register pc
pc             0x7f312b8f62f8  0x7f312b8f62f8 <std::vector<wchar_t, std::allocator<wchar_t> >::vector()+12>
(gdb) i symbol 0x7f312b8f62f8
std::vector<wchar_t, std::allocator<wchar_t> >::vector() + 12 in section .text of ./A.so

在单步调试中我们使用info symbol查看pc对应符号位置,果然B.so中的funcB中使用的vector构造函数来自A.so的代码段。

(gdb) i symbol 0x7f312b8f62f8 std::vector<wchar_t, std::allocator<wchar_t> >::vector() + 12 in section .text of ./A.so

可是别忘了,A.so和B.so的编译参数不一致!!A.so中的wchar_t是2字节,B.so的wchar_t类型是4字节呀!!

[root@4bad734105ec stl_template_demo]# ./main_A_link_first
funcA: size of wchar_t:2
funcB: size of wchar_t:4

这就会导致引发踩内存问题。例如,分配的内存小,但是写数据是偏移的size大(这就与案例一类似了),导致踩坏到了别人的内存,触发崩溃。


3.5. 整理回顾


本示例中,A.so来自高德团队,B.so和可执行程序由客户完成。A.so中的对外接口void funcA();非常简单,但是却不经意间额外导出了stl相关的符号,导致客户so中的符号被我们替换,而更为致命的是两个团队编译参数不一致导致wchar_t类型的size不一致,进而引发踩内存的稳定性问题。


该案例暴露了两个问题:


  • 我们的SDK额外导出了一些符号,更好的做法应该是使用编译参数-fvisibility=hidden默认隐藏所有符号,只针对性导出对外接口符号。
  • 同一个进程中的多方提供的动态库编译参数不一致。


针对本案例,拉齐多方编译参数是最佳解决方案。


默认隐藏其他符号是解决不了问题的,因为我们对外导出的接口可能也会使用stl模板类,例如void funcX(vector<wchar_t> data);但这并不是我们不使用-fvisibility=hidden的理由。


四、小结&感悟


踩内存问题分析成本较高,尤其是低概率问题困难更大。本文详细分析并还原了两个由于动态库全局符号介入机制(it's a feature, not a bug)触发的踩内存案例。


之前老说不同库定义相同符号危害如何如何,这次看到了活生生的例子。以前看书的时候对全局符号介入、运行时绑定等装载、链接的各种概念没啥感觉,这次的案例真是书本知识的完美应用。问题想明白本质后感觉真是酣畅淋漓!


写在最后:

  • 不一致,是万恶之源。
  • 工程标准化,是解放生产力的良方。


参考链接:

[1]https://bnikolic.co.uk/blog/linux-ld-debug.html

[2]https://markrepo.github.io/kernel/2018/08/19/dynamic-link/


来源  |  阿里云开发者公众号
作者  |
瞳尘

相关实践学习
阿里云图数据库GDB入门与应用
图数据库(Graph Database,简称GDB)是一种支持Property Graph图模型、用于处理高度连接数据查询与存储的实时、可靠的在线数据库服务。它支持Apache TinkerPop Gremlin查询语言,可以帮您快速构建基于高度连接的数据集的应用程序。GDB非常适合社交网络、欺诈检测、推荐引擎、实时图谱、网络/IT运营这类高度互连数据集的场景。 GDB由阿里云自主研发,具备如下优势: 标准图查询语言:支持属性图,高度兼容Gremlin图查询语言。 高度优化的自研引擎:高度优化的自研图计算层和存储层,云盘多副本保障数据超高可靠,支持ACID事务。 服务高可用:支持高可用实例,节点故障迅速转移,保障业务连续性。 易运维:提供备份恢复、自动升级、监控告警、故障切换等丰富的运维功能,大幅降低运维成本。 产品主页:https://www.aliyun.com/product/gdb
相关文章
|
11天前
|
程序员 编译器 C++
【C++核心】C++内存分区模型分析
这篇文章详细解释了C++程序执行时内存的四个区域:代码区、全局区、栈区和堆区,以及如何在这些区域中分配和释放内存。
27 2
|
11天前
|
算法 程序员 Python
程序员必看!Python复杂度分析全攻略,让你的算法设计既快又省内存!
在编程领域,Python以简洁的语法和强大的库支持成为众多程序员的首选语言。然而,性能优化仍是挑战。本文将带你深入了解Python算法的复杂度分析,从时间与空间复杂度入手,分享四大最佳实践:选择合适算法、优化实现、利用Python特性减少空间消耗及定期评估调整,助你写出高效且节省内存的代码,轻松应对各种编程挑战。
23 1
|
13天前
|
存储 Prometheus NoSQL
Redis 内存突增时,如何定量分析其内存使用情况
【9月更文挑战第21天】当Redis内存突增时,可采用多种方法分析内存使用情况:1)使用`INFO memory`命令查看详细内存信息;2)借助`redis-cli --bigkeys`和RMA工具定位大键;3)利用Prometheus和Grafana监控内存变化;4)优化数据类型和存储结构;5)检查并调整内存碎片率。通过这些方法,可有效定位并解决内存问题,保障Redis稳定运行。
|
29天前
|
存储 运维
.NET开发必备技巧:使用Visual Studio分析.NET Dump,快速查找程序内存泄漏问题!
.NET开发必备技巧:使用Visual Studio分析.NET Dump,快速查找程序内存泄漏问题!
|
2月前
|
Python
Python变量的作用域_参数类型_传递过程内存分析
理解Python中的变量作用域、参数类型和参数传递过程,对于编写高效和健壮的代码至关重要。正确的应用这些概念,有助于避免程序中的错误和内存泄漏。通过实践和经验积累,可以更好地理解Python的内存模型,并编写出更优质的代码。
18 2
|
2月前
|
NoSQL Java 测试技术
Golang内存分析工具gctrace和pprof实战
文章详细介绍了Golang的两个内存分析工具gctrace和pprof的使用方法,通过实例分析展示了如何通过gctrace跟踪GC的不同阶段耗时与内存量对比,以及如何使用pprof进行内存分析和调优。
55 0
Golang内存分析工具gctrace和pprof实战
|
1月前
使用qemu来dump虚拟机的内存,然后用crash来分析
使用qemu来dump虚拟机的内存,然后用crash来分析
|
2月前
|
搜索推荐 Java API
Electron V8排查问题之分析 node-memwatch 提供的堆内存差异信息来定位内存泄漏对象如何解决
Electron V8排查问题之分析 node-memwatch 提供的堆内存差异信息来定位内存泄漏对象如何解决
44 0
|
2月前
|
监控 Java
JAVA性能优化- IntelliJ插件:java内存分析工具(JProfiler)
JAVA性能优化- IntelliJ插件:java内存分析工具(JProfiler)
81 0
|
2月前
|
存储 编译器 C语言
【C语言篇】数据在内存中的存储(超详细)
浮点数就采⽤下⾯的规则表⽰,即指数E的真实值加上127(或1023),再将有效数字M去掉整数部分的1。

热门文章

最新文章

下一篇
无影云桌面