内存调试工具Electric Fence
注:官方地址下载不了,可能不再维护了,此是一个老项目
efence中相关环境变量控制:
302 /*
303 * See if the user wants to allow malloc(0).
304 */
305 if ( EF_ALLOW_MALLOC_0 == -1 ) {
306 if ( (string = getenv("EF_ALLOW_MALLOC_0")) != 0 )
307 EF_ALLOW_MALLOC_0 = (atoi(string) != 0);
308 else
309 EF_ALLOW_MALLOC_0 = 0;
310 }
gdb的局限性:
有的时候,gbd 给出的 crash 上下文其实并不是真正发生问题的第一现场,在多线程程序设计中,这种情景会让 bug 的追查陷入误区。
内存调试工具Electric Fence
使用 electric-fence 调试内存越界
Electric-fence 介绍
electric-fence 原理如下:
- 重写malloc、free、realloc、calloc、valloc 函数,对于C++ 应使用 extern “C”; C 使用 extern 来导出符号;以确保应用程序使用 electric-fence 的malloc等函数
- 系 统调用malloc会多分配一个page(注意是 虚存) 然后根据是否EF_PROTECT_BELOW 设置来决定返回新分配内存区的高地址(或低地址)给user;同时,调用 mprotect((caddr_t)address, size, PROT_NONE) 来设置多分配的page页为不可访问;这样一旦程序越界便会进入不可访问区间,因此coredump。同时,EF_ALIGNMENT 也会影响到该处。
- electric-fence 内存管理的实现基本思路为:a. 每次向操作系统申请MEMORY_CREATION_SIZE(当前为1M)字节内存,使用mmap完成; b. 存在一片内存区 用于存放 所有 slot 信息, slot 用于管理被分配的内存信息,如返回给用户的地址以及其内部实际地址、size等; c. 分配时从当前slot 中查找是否有能满足分配需求的内存区,这里注意的是每次实际分配的内存区大小比用户请求的至少要大 一个page,大致公式为: real_size = user_size + (alignment – (user_size % alignment )) + page_size; 若存在则拆分内存区,修改相关slot信息 d. free 内存时不会将内存交给操作系统,而是设置free或者标志PROTECTED,PROTECTED意味着该片内存不会被再次分配,由 EF_PROTECT_FREE 控制。 若设置了EF_FREE_WIPES,还会用0xbd填充用户free的区域。
electric-fence 也有如下的缺点:
- 每一次分配都是利用一个 semaphore 同步,没有 thread local 的分配
- malloc 和 free 在 slot 都是线性查找,这也造成了整体性能的落后
- 内存消耗大,这个是显然的,特别对于频繁的小内存分配
2,3 点都是造成整个 lib 性能较低的原因。简单说,这还是一个比较简陋的工具,如果能借鉴 tcmalloc, jemalloc 等设计可能会更好一点。
注意:我在hi3520下使用时有如下错误:
Program received signal SIGSEGV, Segmentation fault.
[Switching to Thread 0x40ce94c0 (LWP 779)]
memalign (alignment=4, userSize=56) at efence.c:498
498 && slot->internalSize >= internalSize ) {
(gdb) bt
#0 memalign (alignment=4, userSize=56) at efence.c:498
#1 0x0074a2d4 in malloc (size=55) at efence.c:821
#2 0x4038cc60 in operator new(unsigned int) () from /lib/libstdc++.so.6
#3 0x40369e68 in std::string::_Rep::_S_create(unsigned int, unsigned int, std::allocator<char> const&) () from /lib/libstdc++.so.6
#4 0x4036a818 in std::string::_Rep::_M_clone(std::allocator<char> const&, unsigned int) () from /lib/libstdc++.so.6
#5 0x4036b39c in std::string::reserve(unsigned int) ()
from /lib/libstdc++.so.6
#6 0x4036b5e8 in std::string::append(char const*, unsigned int) ()
from /lib/libstdc++.so.6
#7 0x00135c24 in Thread::trace (this=0x403ebfd8, name=0x783070 "loop",
file=0x783075 "util/trace/tracer.cpp", line=505, func=0x782fa0 "run",
time=1478188527) at util/trace/tracer.cpp:88
#8 0x00135de0 in Tracer::trace (this=0x403b8fac, name=0x783070 "loop",
file=0x783075 "util/trace/tracer.cpp", line=505, func=0x782fa0 "run",
time=1478188527) at util/trace/tracer.cpp:725
#9 0x0013456c in traceOut (name=0x783070 "loop",
file=0x783075 "util/trace/tracer.cpp", line=505, func=0x782fa0 "run")
at util/trace/if_trace.cpp:110
#10 0x0013559c in Logger::run (arg=<optimized out>)
at util/trace/tracer.cpp:505
#11 0x401e2f9c in start_thread () from /lib/libpthread.so.0
#12 0x40245b58 in clone () from /lib/libc.so.0
#13 0x40245b58 in clone () from /lib/libc.so.0
Backtrace stopped: previous frame identical to this frame (corrupt stack?)
(gdb) q 496 for ( slot = allocationList, count = slotCount ; count > 0; count-- ) {
497 if ( slot->mode == FREE
498 && slot->internalSize >= internalSize ) {
499 if ( !fullSlot
500 ||slot->internalSize < fullSlot->internalSize){
501 fullSlot = slot;
502 if ( slot->internalSize == internalSize
503 && emptySlots[0] )
504 break; /* All done, */
505 }
506 }
507 else if ( slot->mode == NOT_IN_USE ) {
508 if ( !emptySlots[0] )
509 emptySlots[0] = slot;
510 else if ( !emptySlots[1] )
511 emptySlots[1] = slot;
512 else if ( fullSlot
513 && fullSlot->internalSize == internalSize )
514 break; /* All done. */
515 }
516 slot++;
517 } extern C_LINKAGE void *
malloc(size_t size)
{
void *allocation;
if ( allocationList == 0 ) {
pthread_mutex_init(&mutex, NULL);
initialize(); /* This sets EF_ALIGNMENT */
}
lock();
allocation=memalign(EF_ALIGNMENT, size); unlock();
▸ return allocation;
}
1、查看对应的错误点,发现相关变量都是正常的
2、frame 1到frame 0中的size莫名奇妙的发生了变化
3、基于这些原因,最终没有应用起来,不知道为什么?是否程序真的有越界行为导致
问题:
若出现segment fault错误,对应的pc指针是否为导致该错误的直接原因,还是这个pc指针是随机的?
答:pc仅能作为参考,segment fault应是通过signal机制实现的,具体需要进一步研究
内存调试工具Electric Fence的更多相关文章
- USACO 3.4 Electric Fence
Electric FenceDon Piele In this problem, `lattice points' in the plane are points with integer coord ...
- Valgrind,内存调试工具
Valgrind是一款用于内存调试.内存泄漏检测以及性能分析的软件开发工具 官网:http://valgrind.org/ 用户开发手册地址:http://valgrind.org/docs/manu ...
- valgrind 内存调试工具
一.valgrind 是运行在linux系统下的内存调试工具,支持很多对象:memcheck.addrcheck.cachegrind.Massif.helgrind.Callgrind等.使用val ...
- JVM常用启动参数+常用内存调试工具
一.JVM常用启动参数 -Xms:设置堆的最小值. -Xmx:设置堆的最大值. -Xmn:设置新生代的大小. -Xss:设置每个线程的栈大小. -XX:NewSize:设置新生代的初始值. -XX:M ...
- 【TOJ 5103】Electric Fence(皮克定理)
描述 In this problem, `lattice points' in the plane are points with integer coordinates. In order to c ...
- Linux内存调试工具初探-MEMWATCH
C 语言作为 Linux 系统上标准的编程语言给予了我们对动态内存分配很大的控制权.这种自由可能会导致严重的内存管理问题,可能导致程序崩溃或随时间的推移导致性能降级. 内存泄漏(即 malloc() ...
- 初试valgrind内存调试工具
虽然GDB调试工具功能强大,但对于平时做题调试的使用并不方便,这里尝试学习使用比较简单的valgrind工具 Valgrind是一个提供程序调试及性能分析的工具集.其包含的工具主要有Memcheck, ...
- Linux内存调试工具初探-MEMWATCH(转)
C 语言作为 Linux 系统上标准的编程语言给予了我们对动态内存分配很大的控制权.这种自由可能会导致严重的内存管理问题,可能导致程序崩溃或随时间的推移导致性能降级. 内存泄漏(即 malloc() ...
- linux下内存调试工具——valgrind
1.valgrind之memcheck 最常用的工具,用来检测程序中出现的内存问题,所有对内存的读写都会被检测到,一切对malloc()/free()/new/delete的调用都会被捕获.所以,它 ...
随机推荐
- java 格式化时间
java.text.DateFormat format1 = new java.text.SimpleDateFormat("yyyy-MM-dd hh:mm:ss"); form ...
- Java中栈结构的自我实现
package com.pinjia.shop.common.collection; /** * Created by wangwei on 2017/1/3. */ public class MyL ...
- jquery学习笔记---jquery插件开发
http://www.cnblogs.com/Wayou/p/jquery_plugin_tutorial.html jquery插件开发:http://www.cnblogs.com/damonla ...
- jQuery Mobile 基础(第二章)
1.可折叠块: <div data-role="collapsible"> <h1>点击我 - 我可以折叠!</h1> <p>我是可 ...
- 【T_SQL】 基础 视图、存储过程、触发器
合作对于我来说,真的很重要,不仅仅是我从中学到了什么技术,更加重要的是我从中学到了如何去协调,如何去处理团队之间的关系,不要误会,我不是组长,但是我们每个人都是组长.在漫长的编译代码的过程中,真的很烦 ...
- Python开发的10个小贴士
下面是十个Python中很有用的贴士和技巧.其中一些是初学这门语言常常会犯的错误. 注意:假设我们都用的是Python 3 1. 列表推导式 你有一个list:bag = [1, 2, 3, 4, 5 ...
- MySql的日常管理
连接故障恢复 MySQL套接字被误删 在UNIX系统上,本地客户以localhost为主机名建立MySQL连接,该过程是通过一个UNIX套接字文件(比如说,/tmp/mysql.sock文件)实现的. ...
- Wireshark分析非标准端口号流量
Wireshark分析非标准端口号流量 2.2.2 分析非标准端口号流量Wireshark分析非标准端口号流量 应用程序运行使用非标准端口号总是网络分析专家最关注的.关注该应用程序是否有意涉及使用非 ...
- c# 模拟 网页实现12306登陆、自动刷票、自动抢票完全篇
这一篇文章,我将从头到尾教大家使用c#模拟网页面登陆12306网站,自动刷票,选择订票人,到最后一步提交订单.研究过HTTP协议的童鞋们都知道,我们在访问网站时,是有两种方式的,POST和GET方式, ...
- LightOJ1158 Anagram Division(状压DP)
题目问一个数字字符串的不重复全排列有几个能被d整除. dp[S][m]表示用字符集合S构成的%d为m的数字字符串个数 dp[0][0]=0 我为人人转移,dp[S+{x}][(m*10+str[x]- ...