AI 助理
备案控制台
开发者社区 云计算 文章 正文

使用valgrind检查内存问题

2018-01-30 1037
版权
版权声明：
本文内容由阿里云实名注册用户自发贡献，版权归原作者所有，阿里云开发者社区不拥有其著作权，亦不承担相应法律责任。具体规则请查看《 阿里云开发者社区用户服务协议》和 《阿里云开发者社区知识产权保护指引》。如果您发现本社区中有涉嫌抄袭的内容，填写 侵权投诉表单进行举报，一经查实，本社区将立刻删除涉嫌侵权内容。
简介： 作者：gfree.wind@gmail.com 博客：blog.focus-linux.net   linuxfocus.blog.chinaunix.net    本文的copyleft归gfree.wind@gmail.com所有，使用GPL发布，可以自由拷贝，转载。
作者：gfree.wind@gmail.com
博客：blog.focus-linux.net   linuxfocus.blog.chinaunix.net 
 
本文的copyleft归gfree.wind@gmail.com所有，使用GPL发布，可以自由拷贝，转载。但转载请保持文档的完整性，注明原作者及原链接，严禁用于任何商业用途。
======================================================================================================

工欲善其事，必先利其器。Valgrind作为一个免费且优秀的工具包，平时大部分人可能都是使用valgrind检测内存问题，如内存泄露，越界等。其实Valgrind的用途远不止于此，其实际上为一个工具包，除了检查内存问题以外，还有其它多项用途。我准备将其大致介绍一下。本不想再介绍Valgrind检测内存问题的用法的，但是又一想，毕竟这是Valgrind的一个最有名的用途，如果少了它，不免有些遗憾，所以还是把检查内存问题作为第一篇吧。

请看一下代码：
  1. #include stdlib.h>
  2. #include stdio.h>
  3. #include string.h>

  5. static void mem_leak1(void)
  6. {
  7.     char *p = malloc(1);
  8. }

  10. static void mem_leak2(void)
  11. {
  12.     FILE *fp = fopen("test.txt", "w");
  13. }

  15. static void mem_overrun1(void)
  16. {
  17.     char *p = malloc(1);
  18.     *(short*)p = 2;

  20.     free(p);
  21. }

  23. static void mem_overrun2(void)
  24. {
  25.     char array[5];
  26.     strcpy(array, "hello");
  27. }

  29. static void mem_double_free(void)
  30. {
  31.     char *p = malloc(1);
  32.     free(p);
  33.     free(p);
  34. }

  36. static void mem_use_wild_pointer(void)
  37. {
  38.     char *p = (void*)0x80184800;
  39.     *p = 1;
  40. }

  42. static void mem_free_wild_pointer(void)
  43. {
  44.     char *p;
  45.     free(p);
  46. }


  49. int main()
  50. {
  51.     mem_leak1();
  52.     mem_leak2();
  53.     mem_overrun1();
  54.     mem_overrun2();
  55.     mem_double_free();
  56.     //mem_use_wild_pointer();
  57.     mem_free_wild_pointer();

  59.     return 0;
  60. }
这里一共列出了七种常见的内存问题：1. 动态内存泄露；2. 资源泄露，这里以文件描述符为例；3. 动态内存越界；4.数组内存越界；5.动态内存double free；6.使用野指针，即未初始化的指针；7.释放野指针，即未初始化的指针；其中由于本示例代码过于简单，第6中情况，使用野指针会直接导致crash，所以在main中，并没有真正的调用那个示例代码。由于valgrind只能检测执行到的代码，所以在后面的报告中，不会报告第6种错误情况。但是，在大型的项目中，有可能使用野指针并不会导致程序crash。另外上面的7中情况，有些情况严格的说，实际上可以归为一类。

下面看怎样执行valgrind来检测内存错误：
  1. valgrind --track-fds=yes --leak-check=full --undef-value-errors=yes ./a.out
上面那些option的具体含义，可以参加valgrind --help，其中有些option默认就是打开的，不过我习惯于明确的使用option，以示清晰。

看执行后的报告：
  1. ==2326== Memcheck, a memory error detector
  2. ==2326== Copyright (C) 2002-2009, and GNU GPL'd, by Julian Seward et al.
  3. ==2326== Using Valgrind-3.5.0 and LibVEX; rerun with -h for copyright info
  4. ==2326== Command: ./a.out
  5. ==2326==
  6. /* 这里检测到了动态内存的越界，提示Invalid write。*/
  7. ==2326== Invalid write of size 2
  8. ==2326== at 0x80484B4: mem_overrun1 (in /home/fgao/works/test/a.out)
  9. ==2326== by 0x8048553: main (in /home/fgao/works/test/a.out)
  10. ==2326== Address 0x40211f0 is 0 bytes inside a block of size 1 alloc'd
  11. ==2326== at 0x4005BDC: malloc (vg_replace_malloc.c:195)
  12. ==2326== by 0x80484AD: mem_overrun1 (in /home/fgao/works/test/a.out)
  13. ==2326== by 0x8048553: main (in /home/fgao/works/test/a.out)
  14. ==2326==
 /* 这里检测到了double free问题，提示Invalid Free  */
  1. ==2326== Invalid free() / delete / delete[]
  2. ==2326== at 0x40057F6: free (vg_replace_malloc.c:325)
  3. ==2326== by 0x8048514: mem_double_free (in /home/fgao/works/test/a.out)
  4. ==2326== by 0x804855D: main (in /home/fgao/works/test/a.out)
  5. ==2326== Address 0x4021228 is 0 bytes inside a block of size 1 free'd
  6. ==2326== at 0x40057F6: free (vg_replace_malloc.c:325)
  7. ==2326== by 0x8048509: mem_double_free (in /home/fgao/works/test/a.out)
  8. ==2326== by 0x804855D: main (in /home/fgao/works/test/a.out)
  9. ==2326==
  11. /* 这里检测到了未初始化变量 */
  12. ==2326== Conditional jump or move depends on uninitialised value(s)
  13. ==2326== at 0x40057B6: free (vg_replace_malloc.c:325)
  14. ==2326== by 0x804853C: mem_free_wild_pointer (in /home/fgao/works/test/a.out)
  15. ==2326== by 0x8048562: main (in /home/fgao/works/test/a.out)
  16. ==2326==
 /* 这里检测到了非法是否野指针 */
  1. ==2326== Invalid free() / delete / delete[]
  2. ==2326== at 0x40057F6: free (vg_replace_malloc.c:325)
  3. ==2326== by 0x804853C: mem_free_wild_pointer (in /home/fgao/works/test/a.out)
  4. ==2326== by 0x8048562: main (in /home/fgao/works/test/a.out)
  5. ==2326== Address 0x4021228 is 0 bytes inside a block of size 1 free'd
  6. ==2326== at 0x40057F6: free (vg_replace_malloc.c:325)
  7. ==2326== by 0x8048509: mem_double_free (in /home/fgao/works/test/a.out)
  8. ==2326== by 0x804855D: main (in /home/fgao/works/test/a.out)
  9. ==2326==
  10. ==2326==
  11. /* 
  12. 这里检测到了文件指针资源的泄露，下面提示说有4个文件描述符在退出时仍是打开的。
  13. 描述符0,1,2无需关心，通过报告，可以发现程序中自己明确打开的文件描述符没有关闭。
  14. */
  15. ==2326== FILE DESCRIPTORS: 4 open at exit.
  16. ==2326== Open file descriptor 3: test.txt
  17. ==2326== at 0x68D613: __open_nocancel (in /lib/libc-2.12.so)
  18. ==2326== by 0x61F8EC: __fopen_internal (in /lib/libc-2.12.so)
  19. ==2326== by 0x61F94B: fopen@@GLIBC_2.1 (in /lib/libc-2.12.so)
  20. ==2326== by 0x8048496: mem_leak2 (in /home/fgao/works/test/a.out)
  21. ==2326== by 0x804854E: main (in /home/fgao/works/test/a.out)
  22. ==2326==
  23. ==2326== Open file descriptor 2: /dev/pts/4
  24. ==2326==
  25. ==2326==
  26. ==2326== Open file descriptor 1: /dev/pts/4
  27. ==2326==
  28. ==2326==
  29. ==2326== Open file descriptor 0: /dev/pts/4
  30. ==2326==
  31. ==2326==
  32. ==2326==
  33. /* 堆信息的总结：一共调用4次alloc，4次free。之所以正好相等，因为上面有一函数少了free，有一个函数多了一个free */
  34. ==2326== HEAP SUMMARY:
  35. ==2326== in use at exit: 353 bytes in 2 blocks
  36. ==2326== total heap usage: 4 allocs, 4 frees, 355 bytes allocated
  37. ==2326==
  38. /* 检测到一个字节的内存泄露 */
  39. ==2326== 1 bytes in 1 blocks are definitely lost in loss record 1 of 2
  40. ==2326== at 0x4005BDC: malloc (vg_replace_malloc.c:195)
  41. ==2326== by 0x8048475: mem_leak1 (in /home/fgao/works/test/a.out)
  42. ==2326== by 0x8048549: main (in /home/fgao/works/test/a.out)
  43. ==2326==
  44. /* 内存泄露的总结 */
  45. ==2326== LEAK SUMMARY:
  46. ==2326== definitely lost: 1 bytes in 1 blocks
  47. ==2326== indirectly lost: 0 bytes in 0 blocks
  48. ==2326== possibly lost: 0 bytes in 0 blocks
  49. ==2326== still reachable: 352 bytes in 1 blocks
  50. ==2326== suppressed: 0 bytes in 0 blocks
  51. ==2326== Reachable blocks (those to which a pointer was found) are not shown.
  52. ==2326== To see them, rerun with: --leak-check=full --show-reachable=yes
  53. ==2326==
  54. ==2326== For counts of detected and suppressed errors, rerun with: -v
  55. ==2326== Use --track-origins=yes to see where uninitialised values come from
  56. ==2326== ERROR SUMMARY: 5 errors from 5 contexts (suppressed: 12 from 8)
这个只是一个简单的示例程序，即使没有Valgrind，我们也可以很轻易的发现问题。但是在真实的项目中，当代码量达到万行，十万行，甚至百万行时。由于申请的内存可能不是在一个地方使用，不可避免的被传来传去。这时，如果光是看review代码来检查问题，可能很难找到根本原因。这时，使用Valgrind则可以很容易的发现问题所在。

当然，Valgrind也不是万能的。我也遇到过Valgrind无法找到问题，反而我通过不断的review代码找到了症结。发现问题，解决问题，毕竟是末流。最好的方法，就是不引入内存问题。这可以通过良好的代码风格和设计来实现的。

写代码不是那么容易的。要用心，把代码当作自己的作品，真心的去写好它。这样，自然而然的就会把代码写好。


xumaojun
目录
相关文章
决策智能实验室运营小编
|
C语言 Perl 存储
优化求解器之MPS文件的格式简介
在使用MindOpt优化求解器解决实际问题时，其中重要的一环在于如何建立优化模型，以及存储优化模型以便于作为求解器的输入文件。存储优化模型的文件，其关键在于定义一种清晰的格式，用来说明优化模型的数学结构和相关的数据。接下来我们将发布一系列文章，对常见的MPS/LP等格式的模型文件和命名规范进行简要的介绍。
决策智能实验室运营小编
7969 0
优化求解器之MPS文件的格式简介
程序员小海绵
|
存储 NoSQL Redis
SpringCloud基础7——Redis分布式缓存，RDB,AOF持久化+主从+哨兵+分片集群
Redis持久化、RDB和AOF方案、Redis主从集群、哨兵、分片集群、散列插槽、自动手动故障转移
程序员小海绵
400 5
SpringCloud基础7——Redis分布式缓存，RDB,AOF持久化+主从+哨兵+分片集群
土木林森
|
12月前
|
机器学习/深度学习 数据采集 人工智能
探索未来：大模型私有化垂直技术的创新路径
【10月更文挑战第16天】随着人工智能技术的发展，大模型在各领域的应用日益广泛，但数据隐私和安全问题成为企业应用的障碍。大模型的私有化垂直技术应运而生，通过定制化的方案，不仅保障数据安全，还能针对特定行业需求进行优化，提高模型的准确性和效率。以医疗健康领域为例，私有化大模型技术可以在本地环境中部署和训练模型，确保数据不出域，同时利用最新AI技术改善医疗服务。未来，这一技术将在更多行业中发挥重要作用，推动社会经济的高质量发展。
土木林森
183 4
Deephub
|
机器学习/深度学习 人工智能 自然语言处理
SCoRe: 通过强化学习教导大语言模型进行自我纠错
谷歌研究人员提出了一种名为自我纠错强化学习（SCoRe）的新方法，旨在使大型语言模型（LLMs）能够在无需外部反馈的情况下即时纠正自己的错误。SCoRe通过在线多轮强化学习训练模型，解决了传统自我纠错方法的局限性。实验结果显示，SCoRe在数学问题求解和代码生成任务上显著提升了模型的自我纠错能力，相较于基准模型和其他方法表现出色。此外，SCoRe还可与其他推理优化技术结合，进一步提升模型性能。尽管存在迭代次数限制和计算成本等局限性，SCoRe为未来研究提供了新的方向，有望推动AI系统的自主性和适应性发展。
Deephub
592 3
刘悦的技术博客
|
人工智能 并行计算 数据安全/隐私保护
铅华洗尽,粉黛不施,人工智能AI基于ProPainter技术去除图片以及视频水印(Python3.10)
视频以及图片修复技术是一项具有挑战性的AI视觉任务，它涉及在视频或者图片序列中填补缺失或损坏的区域，同时保持空间和时间的连贯性。该技术在视频补全、对象移除、视频恢复等领域有广泛应用。近年来，两种突出的方案在视频修复中崭露头角：flow-based propagation和spatiotemporal Transformers。尽管两套方案都还不错，但它们也存在一些局限性，如空间错位、时间范围有限和过高的成本。 说白了，你通过AI技术移除水印或者修复一段不清晰的视频，但结果却没法保证连贯性，让人一眼能看出来这个视频或者图片还是缺失状态，与此同时，过高的算力成本也是普通人难以承受的。
刘悦的技术博客
468 0
铅华洗尽,粉黛不施,人工智能AI基于ProPainter技术去除图片以及视频水印(Python3.10)
wljslmz
|
安全 Java 数据安全/隐私保护
Spring 安全配置中拦截 URL 的顺序重要性
【8月更文挑战第21天】
wljslmz
187 1
猫头虎
|
运维 Java Serverless
深度解析四大主流软件架构模型：单体架构、分布式应用、微服务与Serverless的优缺点及场景应用
深度解析四大主流软件架构模型：单体架构、分布式应用、微服务与Serverless的优缺点及场景应用
猫头虎
1578 0
热爱嵌入式的小佳同学
|
程序员 编译器 C++
C/C++ 编程规范总结-1
C/C++ 编程规范总结
热爱嵌入式的小佳同学
429 0
C/C++ 编程规范总结-1
67vpym2vvkfhs
|
机器学习/深度学习 域名解析 缓存
详尽分享用C语言实现DNS
详尽分享用C语言实现DNS
67vpym2vvkfhs
169 0