2010年十月月 发布的文章

从mock malloc说起

上午对一段代码进行单元测试,由于需要用到mock,所以选择使用cmockery
作为Unit Testing框架(lcut还未提供mock功能)。测试代码里需要mock malloc以模拟分配内存失败的异常情况。

编写一个用例后,Build,提示出错:multiple definition of `malloc'。经检查发现Makefile中定义mock malloc的那个目标文件(.o文件)居然被link了两次,类似于下面的这种错误情形:
$ gcc testmain.c malloc.o malloc.o
malloc.o: In function `malloc':
malloc.c:(.text+0×0): multiple definition of `malloc'
malloc.o:malloc.c:(.text+0×0): first defined here
collect2: ld returned 1 exit status

去掉一个显式链接的malloc.o文件后Build顺利通过,运行该单元测试,程序dump core,对此很是疑惑!使用gdb查看core文件,很快发现了问题所在:因为cmockery本身也使用了malloc,但在链接过程中,cmockery库中的malloc符号被绑定到了malloc.c中的那个malloc实现上了,而我们mock的那个malloc在测试用例中又被设置返回NULL,这样非法地址访问就不足为奇了。

对以上两个问题的理解或多或少都需要一些链接方面的知识,这里你可能会问到以下两个问题:
1、C运行库(libc.a)是要被作为默认库隐式提供给ld程序做链接的,那么用自己实现的malloc替代C标准库中的malloc,链接器在链接时为什么没有检查出重定义?
2、cmockery库中的malloc是如何绑定到我们自己实现的那个malloc上的呢?为什么不绑定到C运行库中的那个malloc?

从问题内容我们也似乎可隐约推论出一点:那就是链接器对目标文件(.o)和归档文件(.a)的对待似乎是不同的。没错,的确是这样的。

可执行程序是由一系列.o文件“合并”而成。以静态链接为例,.o文件集合中除了包含我们显式(.c->.o)提供的.o文件外,还有从归档文件(.a)中提取出来的.o文件。这类.o文件是“按需”从.a中提取出来的,这也符合.a文件最初设计的初衷(减少可执行文件的size + 减少可执行文件load到内存后的内存占用)。

我们用一个的例子来解释.o文件“按需”从.a中提取的过程,也顺便回答上面的两个问题。
我们有三个源文件testmain.c、print.c和libprint.c,三个文件都很简单:
/* testmain.c */
extern void print();

int main() {
    print();
    return 0;
}

/* print.c */
#include
void print() {
    printf("print in object files\n");
}

/* libprint.c */
#include
void print() {
    printf("print in archive files\n");
}
我们将libprint.c构建为一个.a文件(gcc -c libprint.c; ar rcs libprint.a libprint.o),用于模拟库中的符号。print.c中的print则是我们自定义函数,试图用来替换库中同名函数。

执行gcc testmain.c print.c -L ./ -lprint,编译顺利通过。执行a.out,输出“print in object files”。显然testmain.c中的print调用被绑定到print.o中的print函数了。分析这个编译链接过程,我们就能回答上面的两个问题了。

我们知道gcc只是一组gnu compile tools的外部名称,gcc像个指挥官,协调一系列tools去完成任务。其中链接是最后一环,ld的输入是.o文件和.a文件。以这个例子来说,最后一步执行的是ld testmain.o print.o -L ./ -lprint …..,其中…..代表的是默认传入的C运行库。链接器从左向右扫描命令行参数中的.o和.a,目的是确定最终.o集合以及为每个.o中的外部符号(引用了但是未在本.o文件中定义)确定具体定义的位置。

链接器依从左到右顺序首先扫描testmain.o,将testmain.o加入到"最终.o文件集合"(初始该集合为空),并发现testmain.o中引用了符号print,但却未定义,将该符号放到"undefined集合"中(初始"undefined集合"为空),另外testmain中还有一个符号main,与print不同,该符号为已定义的符号,同样链接器将之放到"defined集合"中(初始"defined集合"为空)。

继续从左向右扫描,轮到print.o这个目标文件了。该文件中有一个已定义的符号print和一个引用但未定义的外部符号printf,链接器的处理过程是:发现print是当前"undefined集合"中的元素,将print从"undefined集合"中取出,放入"defined集合"中; printf因无法确定定义,放入"undefined集合",print.o放入"最终.o文件集合"。

继续向右扫描,遇到libprint.a。上面说过链接器对待.a与.o不同,.a中的符号是按需提取,这里的“按需”指的就是"undefined集合"中的符号。当前"undefined集合"中只有一个元素:printf,链接器尝试在libprint.a中查找printf的定义,未果。则链接器略过libprint.a,继续向右扫描。

最后剩下的就是libc.a了,也就是默认传递的C运行库。libc.a中包含了成百上千个.o文件。但目前只剩下printf一个符号没有得到定义了,我们只需要libc.a中包含printf符号定义的那个.o文件,也就是print.o,链接器找到print.o后将print.o放入"最终.o文件集合",将printf符号从"undefined集合"挪到"defined集合"中,此致"undefined集合"变为空集合了。也就说明这次链接是成功的。

相信上面的两个问题通过这段过程描述已经可以被解释了。

如果我们将构建语句写为:gcc testmain.c -L./ -lprint print.c会发生什么呢?我们看看执行结果:
/tmp/ccSNKvLP.o: In function `print':
print.c:(.text+0×0): multiple definition of `print'
.//libprint.a(libprint.o):libprint.c:(.text+0×0): first defined here
collect2: ld returned 1 exit status

出现重定义错误!不过有了之前的基础,这里的重定义也很好理解了。gcc testmain.c -L./ -lprint print.c执行到最后一步是ld testmain.o -L./ -lprint print.o ….; 链接器扫描完libprint.a后,print的符号已经从libprint.a中的libprint.o目标文件中被"按需"提取出来放入"defined集合"中了。接下来链接器扫描print.o居然又发现了一个名为print的全局定义的符号,与"defined集合"中冲突,ld自然就会报错。

我们再来做点修改,构造一个稍微复杂些的例子:
/* testmain.c */
extern void do_print();

int main() {
    do_print();
    return 0;
}

/* print.c */
#include
void print() {
    printf("print in object files\n");
}

/* libprint.c */
#include
void print();
void do_print() {
    print();
}

void print() {
    printf("print in archive files\n");
}
在testmain.c中我们换作调用do_print了,do_print在libprint.a中有定义。执行gcc testmain.c print.c -L ./ -lprint,结果出错:
.//libprint.a(libprint.o): In function `print':
libprint.c:(.text+0xd): multiple definition of `print'
/tmp/ccoWjHZS.o:print.c:(.text+0×0): first defined here
collect2: ld returned 1 exit status

这回怎么又变成“重定义”了呢?我们来分析一下:
*扫描testmain.o,"undefined集合"中有了符号do_print;
*扫描print.o,"undefined集合"未变,"defined集合"中增加了print
*碰到libprint.a,按照"按需"提取的原则,我们找到了do_print定义,"undefined集合"中的do_print被移到"defined集合",libprint.a中的libprint.o被放置到"最终.o文件集合"中;与前面例子不同的是libprint.o中有两个符号do_print和print,作为"最终.o文件集合"中的一分子,libprint.o的地位与testmain.o和print.o是一致的,链接器需要扫描其全部内容,而不仅仅只是提取do_print,这样链接器又发现一个print的定义,与"defined集合"中的print符号重复,链接器报错!

如果要进一步了解链接器相关内容的话,推荐阅读一下下面几本书籍:
1、《链接器与加载器
2、《深入理解计算机系统
3、国人总结性质的大作《程序员的自我修养–链接、装载与库

这个十一累并快乐着

自从LP上班后,果果一直由岳母照顾。带小孩子是一件很辛苦的差事,这个我和LP也十分清楚,这不这个十一假期我们让岳母回家歇息歇息^_^,这七天就由我和LP照顾果果。

平时我和LP都是朝九晚五的作息,由于公司离家较远,我们下班到家基本上都是晚上六点以后了。我回家更晚,有时候到家时果果已经被哄睡着了。这样我们和果果在一起的时间实际上并不多,甚至对果果新近养成的一些习惯了解得都不多,一切还要慢慢适应。

以前喂奶、添加辅食、把尿等都是岳母一个人包办,现在我和LP共同承担。之前果果每天的作息基本已经养成:
1、早上6点果果睡醒,先把屎把尿;
2、喂白水(<50ml,早起成人要喝杯白水,婴儿也不例外^_^)
3、大约7点左右第一次喂奶(果果现在一次能喝180ml母乳,据说同龄男孩儿可以一次喝光240ml)。
4、陪着果果玩耍,直到8点半左右,哄果果睡觉(白天果果每觉都比较短,大约半个小时)
5、9点多果果睡醒,喂少量白水;
6、10点左右添加第一遍辅食-半个鸡蛋黄(用水搅成泥状,吃完后补充点白水,防止噎着)
7、11点左右第二次喂奶
8、陪着果果玩耍,直到12点左右,哄果果睡觉(现在天气冷了,一般不带果果出去看大自然了,另外果果已经五个多月了,从母体中携带的免疫因子正在减少,也怕带果果出去着凉生病)
9、12点半左右,果果睡醒,继续陪着她玩耍;
10、下午1点半左右添加第二顿辅食-50ml果汁或鲜水果煮的水(因为果汁或鲜水果煮的水都很甜,所以果果很爱喝)。
11、下午3点左右,第三次喂奶,一般果果吃完奶也会睡上一觉。
12、3点半或4点多果果醒来,陪她玩耍半个小时,然后给果果洗澡。(果果特别爱洗澡)
13、洗完澡的果果恢复了精力,能持续玩耍两个小时,到了晚上6点半或7点左右,第四次喂奶并哄果果睡觉。
14、凌晨1点半或两点,果果醒一次,LP第五次给果果喂奶。
15、果果一觉到天亮。

国庆前三天是“适应期”-我们要适应果果的作息。刚刚从工作状态转换为长假休息状态,这个身体还是很疲惫的,所以前三天我和LP都感觉特“困”,甚至有时陪果果在床上玩耍时都能睡着。另外果果也着实“不老实”并且精力充沛得很,看什么都是新鲜的,争着去抓去拿。果果这个阶段还喜欢“啃”东西,只要能拿到她手里的,全部往嘴里塞。所以时刻都要看住果果,不能离人。 哄果果睡觉是最累人的。果果困的时候,显得很是烦躁,大声喊叫,躺在床上左翻右翻,抱起来后小脑瓜儿是左转右转。另外果果体重近17斤,如果哄上一段时间仍然不能将她哄睡着,那胳膊就会开始酸痛。还好有我和LP两个人,我们可以换着哄^_^。

“适应期”过去后,一切变得自然了些,我和LP的体力也恢复了,白天也不感觉那么困倦了,带起果果来顺手多了。果果也适应了我们,之后家里更多的是果果的笑声和笑脸。不过给果果喂奶还是很费劲儿。果果一直吃母乳,LP白天上班将乳汁挤到专用的“母乳保鲜袋”里,再放到冰包里保存。回家放到冰箱里,留着果果白天用奶瓶喝。LP放假在家就不用这么麻烦了,果果可以直接吃母乳。不过不知道是不是果果习惯了奶瓶,这几天果果甚是不愿意直接吸母乳,除了半夜那次(果果夜里起来迷迷糊糊的,给什么都吃^_^)。这个问题让我们很是头疼,每次喂奶果果的大喊大叫又哭又闹的不愿意吃,直到换成奶瓶。

今天是十一假期的第六天了,如果说带果果不累那是假的,真的很累,甚至感觉比上班还累。不过正如dutor所说,这里面的“幸福和快乐”也许只有我自己才能体会到^_^。当然LP她也能体会到,呵呵!

如发现本站页面被黑,比如:挂载广告、挖矿等恶意代码,请朋友们及时联系我。十分感谢! Go语言第一课 Go语言精进之路1 Go语言精进之路2 商务合作请联系bigwhite.cn AT aliyun.com

欢迎使用邮件订阅我的博客

输入邮箱订阅本站,只要有新文章发布,就会第一时间发送邮件通知你哦!

这里是 Tony Bai的个人Blog,欢迎访问、订阅和留言! 订阅Feed请点击上面图片

如果您觉得这里的文章对您有帮助,请扫描上方二维码进行捐赠 ,加油后的Tony Bai将会为您呈现更多精彩的文章,谢谢!

如果您希望通过微信捐赠,请用微信客户端扫描下方赞赏码:

如果您希望通过比特币或以太币捐赠,可以扫描下方二维码:

比特币:

以太币:

如果您喜欢通过微信浏览本站内容,可以扫描下方二维码,订阅本站官方微信订阅号“iamtonybai”;点击二维码,可直达本人官方微博主页^_^:
本站Powered by Digital Ocean VPS。
选择Digital Ocean VPS主机,即可获得10美元现金充值,可 免费使用两个月哟! 著名主机提供商Linode 10$优惠码:linode10,在 这里注册即可免费获 得。阿里云推荐码: 1WFZ0V立享9折!


View Tony Bai's profile on LinkedIn
DigitalOcean Referral Badge

文章

评论

  • 正在加载...

分类

标签

归档



View My Stats