出发吧爱情

OpenAI 将崩溃调试视为流行病学研究，修复了存在 18 年之久的 GNU libunwind 漏洞_我的网站

全家福

A | 葵园筑彩梦童心向未来中关村一小顺义学校心理健康节活动近期，我校成功举办心理健康日活动，为全校师生及家长带来了一场丰富多彩且意义深远的心灵盛宴。作者 | Steef-Jan Wiggers 译者 | 平川 OpenAI 的工程师们花了数周时间，试图解释 Rockset 中那些神秘的崩溃问题。Rockset 是一款 C++ 数据基础设施服务，为 ChatGPT 的搜索和数据插件提供支持。一、新体验活动：幸运转盘开启心灵之旅活动开始，连廊处的大转盘活动吸引了众多目光。嘉宾与孩子们齐聚于此，转动幸运大转盘，收获精美小礼品的同时，也开启了充满惊喜与欢乐的心理健康之旅。函数似乎会返回错误的内存地址，栈指针在执行过程中似乎会偏移 8 个字节。

B | 欢声笑语回荡在连廊之间，为活动营造了轻松愉悦的开场氛围。团队提出的每一种假设都面临着有力的反证。二、心理课展示：多彩课堂助力心灵探索随后，针对低、中、高不同年级学生的心理特点与需求，我校精心安排了四节精彩纷呈的心理课程。这个 Bug 似乎根本不可能存在。他们原本以为是一个 Bug ，结果却发现是两个互不相关的 Bug ，它们只是很巧合地在同一时间被发现了。这一突破性发现并非来自对单个崩溃事件的深入排查，而是源于转向了他们所说的“流行病学调试”：构建一条管道，自动分析过去一年中生产环境的每一个核心转储文件，然后寻找整体规律，而不是对单个案例进行推断。老师们各展其能，以生动有趣的教学方式引导学生探索自我、感悟成长。管晓旭老师授课的主题是“我的情绪我做主”，课程通过讲解不同的情绪，如积极情绪和消极情绪，以及如何调节自己的情绪，让学生们了解到情绪的多样性和重要性。课程中，老师通过游戏活动、故事分享和实际案例，引导学生们学会识别和调节自己的情绪，从而提升自己的心理健康水平。该团队让 ChatGPT 编写了一个脚本，用于下载每个核心文件的开头部分，提取寄存器数据，过滤已知的误报，并将每次崩溃标记为“返回空指针”、“栈对齐错误”或其他类型。刘宇老师以《认识自我，树立自信》为主题，引领孩子们驶向了一场自我认同与欣赏的奇妙旅程，孩子们在欢笑与共鸣中进行了生理我、心理我、社会我多维度的自我探索，学会了欣赏自己的优点，接纳自身的不足，在心中悄然种下了自信的种子。他们将该脚本并行应用于过去一年中的所有 Rockset 核心转储文件。李楠老师和二年级同学以《我和我的小伙伴》为主题开展了一节心理班会课。他们很快就发现了相关性。课堂活动过程中，李老师根据低年级年龄特点，通过视频，情景表演等方式与孩子们共同探寻与朋友相处的正确方式。原本从症状上看属于同类的问题，实际上对应两组特征完全不同的崩溃事件。这些因栈对齐错误导致的崩溃均源自同一个 Azure 区域，有明确的起始日期，而且从未出现在长期运行的节点上。团队追踪发现，这些崩溃源自一台物理主机，其 CPU 正在悄无声息地产生错误的结果。气氛活跃的炸弹游戏，让学生在活动中，体会到了成为团结向上的集体所要付出的努力。课后，通过本次活动课，每位同学都能更深刻地了解到日常生活中，如何与朋友相处。它既没有过热，也没有抛出机器检查异常，而只是数学运算默默出了错。高静老师的《“我语言”的魔法》这一课属于“人际交往”领域，是针对本校五年级学生之间经常出现的口头语言攻击现象而设计的心理健康课。

C | 聚焦于同学沟通中的 “如何说”，通过学生喜爱的情境表演体验方式，引导学生体会非暴力沟通带来的积极情感体验，产生友好表达的强烈意愿，从而尝试运用非暴力沟通的有效方法（沟通四要素：观察、感受、需要、请求），在后续学习、生活中，建立良好的人际关系，发展亲社会行为。

D | 课堂上，学生们积极参与互动，在思考与讨论中对心理健康有了更深入的认识。专家们深入课堂，认真聆听每一节课，并在课后给予专业且细致的点评，为老师们进一步提升心理教学质量提供了宝贵的建议与方向。将该主机从服务中移除后，因栈对齐错误导致的崩溃便完全消失了。

E | 在剔除硬件崩溃问题后，剩余的由“返回空指针”导致的崩溃问题便变得可控了。三、心理健康校园游园会：趣味项目畅享心灵盛宴操场上的心理健康校园游园会无疑是本次活动的高潮部分。25 个精心布置的体验项目如繁星般散落操场，孩子们满怀期待地奔赴这片心灵探索的天地。

F | 从情绪管理的小测试到团队协作的趣味游戏，每一个项目都是一次心灵的触动。 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 10 11 16 17 18 值得一提的是，在此次活动中，家长志愿者们也积极参与进来，他们分布在各个项目点，协助老师们维持秩序、引导同学们参与活动，用自己的热情与行动为活动的顺利开展贡献力量。在班级里，同学们还玩起了翻花，那一根根彩色的翻花在同学们手中灵活翻转，变幻出各种花样，不仅锻炼了手部精细动作，也为校园生活增添了一抹传统游戏的乐趣与色彩。在这里，他们勇敢地打开心房，在无拘无束的体验中，逐渐掌握应对压力的技巧，学会自如地调节情绪，自信心也在不经意间得到极大提升，同时还收获了珍贵的团队协作经验与良好的人际关系。此前，团队曾排除了 C++ 异常展开的原因，因为他们认为自己找到了反例：在未使用异常的代码路径中发生了崩溃。但这些反例全都来自有硬件损坏的故障集群。四、心理工作汇报：总结回顾共绘心灵蓝图多功能厅内，一场意义非凡的交流活动拉开帷幕。活动现场嘉宾云集，众多嘉宾的到来，充分彰显了各界对我校心理健康教育工作的大力支持与深切关注。一旦剔除了这些干扰因素，剩余的所有崩溃便都是发生在异常展开过程中了。

G | 孙校长的开场致辞如同一束温暖而明亮的光，穿透迷雾，为我们今后的心理健康工作照亮了前行的道路，指引着我们在心灵培育的征程上稳步迈进。问题发生的根本原因是 GNU libunwind 的 _Ux86_64_setcontext 函数中有一个已经存在 18 年的竞争条件。在 C++ 异常展开过程中，libunwind 会在栈上合成一个 ucontext_t 结构体，填充所需的寄存器状态，然后调用 _Ux86_64_setcontext 将控制权转移给清理处理程序。紧接着，德育副校长李颖对学校心理工作进行了全面且详实的汇报，系统回顾了过往工作的斐然成果与宝贵经验，并对未来的发展规划与目标进行了清晰展望，使在场的每一位嘉宾与师生都对学校心理健康工作有了透彻且全面的认知。五、心理论坛：多元交流汇聚心灵智慧随后的家校社师生论坛更是将交流氛围推向了极致。各方代表汇聚一堂，围绕学生心理健康话题各抒己见。家长们真情吐露家庭教育中的酸甜苦辣，老师们分享教学过程中的深刻洞察与感悟，学生们也大胆说出内心的真实渴望与诉求，社会各界代表则带来全新的视角与丰富资源。专家们的点评切中要害，为论坛的热烈讨论提供了坚实的理论根基与专业实践指导，进一步拓展了大家的思维边界与视野广度。问题在于：_Ux86_64_setcontext 在从旧结构体中读取指令指针的操作尚未完成之前，就将栈指针（%rsp）更新为指向新的栈帧。六、领导讲话：指引方向照亮心灵前路最后，顺义教委体卫艺科心理负责人张娟主任的总结讲话为我们今后的心理健康教育提供了强劲的动力与切实可行的方向指引。一旦 %rsp 发生变化，该结构体便不再属于活动栈的一部分，也不再受内核红区的保护。其深刻的见解与殷切的期望，如同春风化雨，滋润着我们在心理健康教育这片沃土里持续深耕细作，激励全体师生与家长携手并肩，为学生的心理健康全力以赴，保驾护航。此次心理健康日活动的成功举办，淋漓尽致地展现了我校对学生心理健康教育的高度重视与笃定信念。

H | 展望未来，我校将坚定不移地探索创新心理健康教育模式，全力整合各方优质资源，持续为学生的心灵成长不懈努力，让每一位学子都能于阳光明媚、健康和谐的校园环境中茁壮成长，绽放出独一无二、绚烂夺目的青春光彩。撰稿：张奇陈冠羽审核：摄影：董广清谢晓军陈冠羽审核：李颖张奇中关村第一小学顺义学校。

I | 如果信号恰好在 %rsp 更新与 %rip 读取之间的这一时间窗口内到达，内核就会在该结构体之上构建其信号帧，指令指针遭到破坏，函数便会跳转到 NULL 或垃圾地址。竞争窗口的宽度正好为一条指令。

J | 以现代处理器的时钟频率计算，这大约相当于 100 皮秒。在大多数程序中，这种情况根本不会被触发。OpenAI 的 Rockset 使用了 timer_create 函数，每隔几毫秒的 CPU 时间就发送一次 SIGUSR2 信号，为的是实现轻量级的按查询记账，这样产生的信号发送事件远多于传统的应用程序。

K | 正是这种高频的信号发送，将只在理论上可能发生的竞争状况转化成了实际生产环境中的崩溃。该团队将一个修复方案和一个自包含的重现示例提交到了 GNU libunwind，并通过验证证实，其他展开器（如 libgcc）不存在这个问题。

L | 该修复方案通过重新排序指令，确保在更新 %rsp 之前先读取 %rip，从而彻底消除了这个时间窗口。

M | 该团队对这一教训的总结值得全文引用：最重要的步骤并非巧妙地解读汇编代码，也不是对细节的深入了解，而是构建一个高质量的数据集。

N | 如果没有这个数据集，我们就会把两种截然不同的现象混为一谈，并试图通过推理来理清这种混乱。

o | 一旦获得了准确且完整的全量数据，问题的结构便显而易见了。如果你的团队正在排查难以解释的生产环境崩溃问题，请检查你们是否将多个 Bug 混为一谈。那些看似与所有假设都不相符的症状，实际上可能并不矛盾；它们可能与两个不同的假设相符，而你却无意中将它们混淆了。

p | 洞察问题结构的最快途径，并非对单个案例进行更深入的分析，而是获取涵盖所有故障案例的完整、带标签的数据。这篇完整的工程技术博文包含了详细的栈内存示意图、存在漏洞的汇编指令，以及揭示出两种不同类型故障的崩溃率可视化图表。 https://www.infoq.com/news/2026/07/openai-libunwind-core-dumps/ 声明：本文由 InfoQ 翻译，未经许可禁止转载。