我调过的最难调的Bug - 博客 - 伯乐在线
& 我调过的最难调的Bug
“你调过的最难调的bug是哪个？”（编注：这个问题源自 Quora 上的同名问答帖，在众多回复中，Dave Baggett 遭遇和量子力学相关的Bug经历最让人惊叹，得到了3500 多个顶。去年伯乐在线技术翻译组已把 Dave 的回复。本文来自另外一位程序员 Peter Lundgren 的分享。）
每个程序员都有些不畏死亡决战猛兽的英雄事迹。以下这些是我的。
毕业不到半年，拿着刚到手的文凭，我在Lexmark公司的一个嵌入式Linux固件开发团队中负责追踪一个内存冲突的问题。因为内存冲突的原因和问题表象总是相差非常大，所以这类问题很难调。有可能是因为缓存溢出，也有可能是指针未初始化，或是指针被多次free，亦或是某处的DMA错误，但是你所见的却是一堆神秘的问题：挂起、指令未定义、打印错误，以及未处理的内核错误。这些都非常频繁，内存冲突看上去似乎是随机出现又很难重现。
要调试这种问题，第一步是可重现问题。在我们奇迹般地找到这样一个场景之后，故事开始变得好玩起来。
当时，我们发现在运行时因内存冲突而产生的程序崩溃每几百小时就会出现一次。之后有一天有人发现一个特别的打印任务会产生内存冲突从而在几分钟之内就使程序崩溃。我从来不知道为什么这个打印任务会产生这个问题。现在，我们就可以进一步做些什么了。
这个问题可重现之后，我就开始寻找崩溃中出现的模式。最引人注意的是未定义指令和内核错误，它们差不多三分之一的时间就会发生一次。未定义指令的地址是一个合理的内核代码地址，但是CPU读到的这个指令却不是我们期望出现的。这就很简单了，可能是有人不小心写了这些指令。把这些未定义指令的句柄打印出来之后，我可以看到这些错误的指令所在位置的周边内存的状态。
在做了大量失败的将更多的代码排除出崩溃的尝试之后，一个特殊的崩溃渐渐显现。
这个崩溃解开了所有秘密。当时我们用了一个双核CPU。在这个特殊的崩溃里，首先CPU1在有效的模块地址范围内收到了一个未处理的内核错误，而此时它正在尝试执行模块代码，这段代码可能是一个冲突的页表或是一个无效TLB。而正在处理这个错误时，CPU0在内核地址空间内收到了一个非法的指令陷阱。
以下是从修改后的未定义指令句柄中打印出来的数据（已转为物理地址，括号中是出错地址）
undefined instruction: pc=0018abc4
0018aba0: e7d031a2 e1b00e e2822008
0018abb0: eafffff9 e1a0f00e
0018abc0: 0bd841e6 (ceb3401c) 00001
0018abd0: 0de7 c0049ab8
0018abe0: e2822001 eafffff1 e33000
0018abf0: e16f3f13 e263301f e10000
以下是内存域应该显示的数据：
0018aba0: e7d031a2 e1b00e e2822008
0018abb0: eafffff9 e1a0f00e
0018abc0: eafffffb) e212c007 0afffff3
0018abd0: e7d031a2 e1b03c33 1a22007
0018abe0: e2822001 eafffff1 e33000
0018abf0: e16f3f13 e263301f e10000
确切地来说，只有一行缓存(中间那32byte)是有冲突的。一个同事指出冲突行中0x49fa30e7这个字是一个魔术cookie，它标记了系统中一个特殊环形缓冲区的入口。入口值的最后一个字永远是一个时间戳，所以0x5439541b是上一个入口的时间戳。我决定去读取这个环形缓冲的内容，但它现在挂在一个不可执行的KGDB提示那了。机器现在跟死了一样。
冷启动攻击
为获取环形缓冲区的数据，我进行了一次冷启动攻击。我为正在使用的主板搞到了一份概要拷贝，然后发现CPU的复位线上连了一块不受欢迎的板子。我把它短路了，重置CPU而不妨碍DRAM的完整性。然后，我把Boot挂载在引导程序上。
在引导程序里，我dump到了问题中环形缓冲区的内容。谢天谢地，这个缓存总是在一个固定的物理地址上被定位到，所以找到它不是问题了。
通过分析错误时间戳周边的环形缓冲区，我们发现了两个老的cache line。这两个cache line里有有效数据，但是在这两个cache line里的时间戳却是环形缓冲区里之前的时间。
导致CPU0上未定义指令的cache line与环形缓冲区里那两个老cache line之一相当契合，但是这并不说明其他可能的地方也是这样。我发现一个决定性的证据。假设，另一个消失的cache line是导致CPU1上未处理内核错误的元凶。
错置的cache line
cache line应该被写入0x0ebd2bc0（环形缓冲区里的cache line），但是事实上却写入了0x0018abc0（冲突的内核码）。这些地址在我们CPU上属于相同的缓存，它们的位[14:5]的值是相同的。不知为何它们有别名。
0x0ebd2bc0 in binary is 11 11
0x0018abc0 in binary is 01 11
一个地址的低5位是cache line(32字节cache line)里的索引。后10位，即位[14:5]，表示缓存集。剩下的17位，即位[31:15]，用来表示缓存里当前存的是哪个cache line.
我向我们的CPU供应商提交了一个bug报告，之后他们制定了一个解决方案，并在下一版本CPU里修复了这个bug。
我期望听到更多牛掰的此类故事，也期望我自己可以再攒点这样的。
关于作者：
最关键的还是重现，能稳定的重现bug才能去找根源在哪
为作者带来更多读者；为读者筛选优质内容；专注IT互联网。
最新评论（期待您也参与评论）
汇集优质的Python技术文章和资源。人生苦短，我用Python！
JavaScript, CSS, HTML5 这里有前端的技术干货！
关注安卓移动开发业界动态，分享技术文章和优秀工具资源。
关注iOS移动开发业界动态，分享技术文章和优秀工具资源。
为作者带来更多读者；为读者筛选优质内容；专注IT互联网。
由数百名译者组成，立志翻译传播优秀的外文技术干货。
一个专门为IT单身男女服务的征婚传播平台。
收录优秀的工具资源，覆盖开发、设计、产品和管理等。
关于伯乐在线博客
在这个信息爆炸的时代，人们已然被大量、快速并且简短的信息所包围。然而，我们相信：过多“快餐”式的阅读只会令人“虚胖”，缺乏实质的内涵。伯乐在线博客团队正试图以我们微薄的力量，把优秀的原创/译文分享给读者，做一个小而精的精选博客，为“快餐”添加一些“营养”元素。
欢迎关注更多频道
– 分享和发现有价值的内容与观点
– 为IT单身男女服务的征婚传播平台
– 优秀的工具资源导航
– 翻译传播优秀的外文文章
– 国内外的精选博客文章
– JavaScript, HTML5, CSS
– 专注Android技术分享
– 专注iOS技术分享
– 专注Java技术分享
– 专注Python技术分享
（加好友请注明来意）
网站使用问题
请在询问或者反馈
& 2015 伯乐在线
赞助云主机， 赞助云存储看到苏宁的伯乐 XQB62-AD 6.2公斤 波轮洗衣机|薅羊毛_一淘玩客
和0人一起讨论
135人阅读过
ũ收藏
继续阅读：
751962人已入驻
1235人阅读&&
&&18条评论
4589人阅读&&
&&11条评论
9061人阅读&&
&&36条评论
395人阅读&&|&&17条评论
135人阅读&&|&&7条评论
193人阅读&&|&&7条评论
增值电信业务经营许可证：浙B2-热门搜索：
当前位置：
伯乐洗衣机XQB62-AD
所属类别：
所属品牌：
产品简述：聪明点家居用品频道合作多家专业家居用品企业，将各类生活常用的家居用品参数信息详细分类，为您呈现最权威的性能参数，技术参数等。使您可以轻松作出各项对比。&&
产品简述： 聪明点家居用品频道合作多家专业家居用品企业，将各类生活常用的家居用品参数信息详细分类，为您呈现最权威的性能参数，技术参数等。使您可以轻松作出各项对比。在这里您可以量身挑选适合自己的伯乐洗衣机XQB62-AD性能参数标准，重量，体积，厚度，色彩，价格等，适合自己的才是最好的，SMARTER帮您做出最聪明的购买选择&&
推荐商家：
配送方式：送货上门
最低价格：
详细参数说明
伯乐洗衣机XQB62-AD
相关品牌：
本网站为购物搜索引擎,只提供各网站商品及服务信息链接,以商家实际信息为准!
沪ICP证B2-号&沪ICP备号新闻中心 &&
苏宁深化品牌联合 惠而浦、伯乐冬令产品首发特惠
艾肯家电网
　　日起，平板电视、洗衣机、变频空调、空气能热水器和吸油烟机等五大类家电开始实行新能效标准，一个月来，目前家电市场仍有部分“旧标”存在，但“新标”已渐渐步入市场。近日，苏宁联合惠而浦、伯乐等知名家电制造商，迎合秋冬季市场对空调、洗衣机的刚性需求，对新能效上市新品进行推广，掀起新品首发特惠风暴。
O2O模式优势凸显& 开拓新能效市场
　　今年以来，苏宁全面进行互联网转型，先后推出双线同价战略和苏宁云台，深化O2O发展模式，不仅受到了供应商的认可及大力支持，也为消费者打造线上线下融合的全新购物体验。基于苏宁零售模式的不断创新及优化，全球著名白电品牌惠而浦一直与苏宁保持良好的战略合作关系，借助苏宁双线协同O2O模式的渠道优势为中国市场引入大量品质精良、技术领先的产品。除了国际品牌的青睐，国内家电行业领先品牌伯乐也对苏宁青睐有加，选择苏宁作为其洗衣机产品独家销售渠道。
　　10月，变频空调APF新能效、洗衣机净洗比新标准正式推出。进入11月，为了推动新能效标准执行，加速产品结构调整，抢占新能效市场，苏宁联合惠而浦、伯乐大力推广新能效产品，旨在全面落实新能效标准，推动产品更新换代速度，恰逢秋冬季消费者对冷暖空调、洗衣机等季节性产品刚性需求凸显，苏宁以“新能效产品节能特性”加上“新品首发特惠”的组合拳形式，进一步开拓新能效产品市场，并为消费者带来新品尝鲜优惠。
惠而浦、伯乐新品组合上市特惠出击
　　记者走访时发现，消费者表示虽然并不了解新能效标准，但如果新老标准产品价格相差不大，他们更愿意选择节能高效的新标准产品，而目前市场上的“新标”产品价格均有不同程度的上浮，同级别的新旧能效标准产品价格相差一百至数百元不等，让消费者对新能效产品望而却步。对此，苏宁将联合惠而浦、伯乐推出最经济配置、最实惠价格的新能效等级的新款空调、洗衣机，为消费者带来最高性价比产品。
　　据悉，此次上市的惠而浦K系列产品为APF新能效变频三级产品，具有5000W的超强制热能力，外观采用ABS面板，表面融入丝印渐变小圆点装饰，搭载的专利风扇使静音效果低至23分贝，在温度显示及控制方面达到0.1度的高精确标准，同时具备光感睡眠功能，带来舒适、智能的享受。11月1日至7日，凡购买含K系列产品的空调套餐，K系列产品享受200元现金抵用券返利，套餐内其他机型可享受9.5折优惠，关注并转发苏宁官方微博还有机会赢取惠而浦任意一款挂机空调免单大奖！
　　伯乐洗衣机XQB62-AD为新国标三级能效产品，6.2公斤全自动波轮首发价格仅899元，堪称市场上千元以下波轮洗衣机性价比之王。箱体采用100%优质高强度纯PP原料制作，通过二倍国标标准跌落测试，抗摔防冻耐严寒酷暑，内筒为镜面不锈钢材质，更加洁净卫生，几百个密布蜂巢状小孔能有效减少衣物磨损，提高脱水效率。11月5日起，登录苏宁易购享受新品尝鲜价，还可参与赢取现金抵用券及免单大奖。
热泵热水器
&&高清图集
一周新闻排行
常州市艾肯网络广告有限公司　网络实名：艾肯&
&信息产业部备案/许可证编号：苏ICP备号 经营性ICP：号XQB62-308G小天鹅洗衣机使用说明？怎么用啊？_百度知道
XQB62-308G小天鹅洗衣机使用说明？怎么用啊？
降低缠绕、水循环七种程序互相切换，方便又节省，全方位洁净空间。双水位。浸泡，自动调节 波轮的转动角度和力度，错开用水用电高峰。拥有8段水位：24小时预约洗涤，有效增强衣物翻卷、翻滚、童装。*预约洗涤，降低衣物的磨损，洗涤时内桶水位动态快速冲高回落、不损伤衣物和衣服洗涤剂残留降到最低的前提下将水位进一步细分来达到真正节水的效果。在保证洗干净衣服：量衣定水、发散。三维大瀑布水流，都有适合的水位，无论衣服多少、节水环保，洗涤水量和漂洗水量分别可调 *六种全自动程序，满足各种衣物的洗涤需求 *水位细分，推动衣物沉浮、自洁，在保证洗净衣物的前提下降低磨损、大物、快洗、标准，根据水位的高低。 *人工智能（Fuzzy)，强力喷瀑加速洗涤液循环。大推力冲浪波轮+无孔不锈钢内桶+强力喷瀑全面升级水流技术
其他类似问题
为您推荐：
小天鹅洗衣机的相关知识
其他1条回答
甩干，漂洗，自动进水，洗衣，按启动键即可，打开电源接好进水管
等待您来回答
下载知道APP
随时随地咨询
出门在外也不愁