美味情缘

新西兰总理宣布：这周三首访这个国家……_我的网站

妖女迷行

一 | Peter 编译总理Christopher Luxon今天下午在内阁后新闻发布会宣布，这周三，他将首次以总理身份出访澳洲，在悉尼与澳大利亚总理Anthony Albanese会晤。

二 | 而在同一天，财政部长Nicola Willis将发布圣诞节前“迷你预算”。作者 | Steef-Jan Wiggers 译者 | 平川 OpenAI 的工程师们花了数周时间，试图解释 Rockset 中那些神秘的崩溃问题。

三 | Rockset 是一款 C++ 数据基础设施服务，为 ChatGPT 的搜索和数据插件提供支持。 Advertise with us Luxon可能带回这个成果 Luxon说:“ Albanese总理是我在选举后首批交谈的国际领导人之一，我期待着在我的总理任内继续与之进行讨论。” “联合政府将以新的紧迫感和强度参与国际事务，做好投资关系，促进繁荣，加强我们的安全。函数似乎会返回错误的内存地址，栈指针在执行过程中似乎会偏移 8 个字节。” 他补充说，他支持新西兰和澳大利亚之间“更加关注改善商业环境”。团队提出的每一种假设都面临着有力的反证。今年1月，Chris Hipkins就任总理后，首次出访的国家也选在澳大利亚。今年4月，在澳新军团日前夕的一次访问中，Hipkins与Albanese宣布了澳洲直接入籍途径，适用于在澳洲居住至少4年符合条件的新西兰公民。今年7月，该项目开放时，已有近2000名新西兰人提出入籍申请。与此同时，两人同意组建一个澳大利亚-新西兰联合专家小组，研究如何使跨塔斯曼的旅行更加“无缝”，该组织的最后期限是12个月。 Albanese随后表示，新西兰和澳大利亚可以更好地利用两国已在使用的“智能门”技术，这意味着游客在新西兰登机之前，就已被确认允许进入澳洲。 Luxon和Albanese本周的会晤可能包括讨论新西兰是否加入由澳大利亚、英国和美国达成的Aukus协议。这个 Bug 似乎根本不可能存在。他们原本以为是一个 Bug ，结果却发现是两个互不相关的 Bug ，它们只是很巧合地在同一时间被发现了。这一突破性发现并非来自对单个崩溃事件的深入排查，而是源于转向了他们所说的“流行病学调试”：构建一条管道，自动分析过去一年中生产环境的每一个核心转储文件，然后寻找整体规律，而不是对单个案例进行推断。该团队让 ChatGPT 编写了一个脚本，用于下载每个核心文件的开头部分，提取寄存器数据，过滤已知的误报，并将每次崩溃标记为“返回空指针”、“栈对齐错误”或其他类型。他们将该脚本并行应用于过去一年中的所有 Rockset 核心转储文件。他们很快就发现了相关性。

四 | 原本从症状上看属于同类的问题，实际上对应两组特征完全不同的崩溃事件。鉴于新西兰一直反对核电，不太可能成为Aukus协议的正式成员国，但有可能同意协议的第二部分，主要涉及技术共享。这些因栈对齐错误导致的崩溃均源自同一个 Azure 区域，有明确的起始日期，而且从未出现在长期运行的节点上。曾经常与澳总理一起吃饭在谈到与Albanese的关系，Luxon表示，他在担任新西兰航空(Air New Zealand)首席执行官期间就认识了他。团队追踪发现，这些崩溃源自一台物理主机，其 CPU 正在悄无声息地产生错误的结果。当他在澳大利亚时，Albanese当时在交通部门任职，他们还经常一起吃午饭。它既没有过热，也没有抛出机器检查异常，而只是数学运算默默出了错。

五 | 将该主机从服务中移除后，因栈对齐错误导致的崩溃便完全消失了。在剔除硬件崩溃问题后，剩余的由“返回空指针”导致的崩溃问题便变得可控了。此前，团队曾排除了 C++ 异常展开的原因，因为他们认为自己找到了反例：在未使用异常的代码路径中发生了崩溃。可能无法坐“空军一号”去不过，Luxon这次首次出访，可能无法搭乘新西兰“空军一号”波音757专机，因为可能来不及修好。

六 | Luxon说，这架专机出现问题“令人非常沮丧”。

七 | 当被问及他之前反对使用757的言论时，Luxon说，使用这架飞机可以让媒体记者跟随，这很重要。但这些反例全都来自有硬件损坏的故障集群。

八 | 一旦剔除了这些干扰因素，剩余的所有崩溃便都是发生在异常展开过程中了。

九 | 问题发生的根本原因是 GNU libunwind 的 _Ux86_64_setcontext 函数中有一个已经存在 18 年的竞争条件。 Luxon说:“我们不是要把人送上月球，我们只是想去澳大利亚。在 C++ 异常展开过程中，libunwind 会在栈上合成一个 ucontext_t 结构体，填充所需的寄存器状态，然后调用 _Ux86_64_setcontext 将控制权转移给清理处理程序。

十 | ”他同时承认，757飞机不断出故障对新西兰来说是“非常尴尬的”。问题在于：_Ux86_64_setcontext 在从旧结构体中读取指令指针的操作尚未完成之前，就将栈指针（%rsp）更新为指向新的栈帧。

十一 | 一旦 %rsp 发生变化，该结构体便不再属于活动栈的一部分，也不再受内核红区的保护。如果信号恰好在 %rsp 更新与 %rip 读取之间的这一时间窗口内到达，内核就会在该结构体之上构建其信号帧，指令指针遭到破坏，函数便会跳转到 NULL 或垃圾地址。 Luxon表示，新西兰国防军的一架757飞机处于“长期维护”状态。他本来指望把第二架飞机带去澳大利亚，但那架也出了问题。 Luxon不愿透露他的备用方案。

十二 | 上周，Luxon以私人身份赴澳洲，参加女儿的大学毕业典礼。

十三 | 更多阅读： Luxon前往澳洲参加女儿毕业典礼 Christopher Luxon担任总理后首次访问学校，重申将禁止在学校使用手机注：本文为编译/原创，欢迎转发分享；但严禁复制等未经授权的非法使用。竞争窗口的宽度正好为一条指令。以现代处理器的时钟频率计算，这大约相当于 100 皮秒。违反上述声明者，本网将追究其相关法律责任。

十四 | 使用授权请联系[email protected]。在大多数程序中，这种情况根本不会被触发。OpenAI 的 Rockset 使用了 timer_create 函数，每隔几毫秒的 CPU 时间就发送一次 SIGUSR2 信号，为的是实现轻量级的按查询记账，这样产生的信号发送事件远多于传统的应用程序。正是这种高频的信号发送，将只在理论上可能发生的竞争状况转化成了实际生产环境中的崩溃。该团队将一个修复方案和一个自包含的重现示例提交到了 GNU libunwind，并通过验证证实，其他展开器（如 libgcc）不存在这个问题。该修复方案通过重新排序指令，确保在更新 %rsp 之前先读取 %rip，从而彻底消除了这个时间窗口。 chineseherald.co.nz All Rights Reserved 版权所有 (责编：Peter) 相关内容新政府向这一机构开刀！前总理Bill English复出罗托鲁瓦两车相撞，造成4人受伤突发！奥克兰西区一公园发生命案，一人被捕洋人老牌公司不申请建筑许可就开建，硬怼奥克兰市议会，结果悲剧了无语！奥克兰抢劫累犯强奸女生！法官这样判决…… 新西兰废除2条重要政策！总理被催讨退钱…… 交通部门透露：将在全国范围内安装更多摄像头今天凌晨，奥克兰四名青少年开着两辆偷来的车逃逸，已被警方逮捕。该团队对这一教训的总结值得全文引用：最重要的步骤并非巧妙地解读汇编代码，也不是对细节的深入了解，而是构建一个高质量的数据集。如果没有这个数据集，我们就会把两种截然不同的现象混为一谈，并试图通过推理来理清这种混乱。一旦获得了准确且完整的全量数据，问题的结构便显而易见了。

十五 | 如果你的团队正在排查难以解释的生产环境崩溃问题，请检查你们是否将多个 Bug 混为一谈。那些看似与所有假设都不相符的症状，实际上可能并不矛盾；它们可能与两个不同的假设相符，而你却无意中将它们混淆了。洞察问题结构的最快途径，并非对单个案例进行更深入的分析，而是获取涵盖所有故障案例的完整、带标签的数据。这篇完整的工程技术博文包含了详细的栈内存示意图、存在漏洞的汇编指令，以及揭示出两种不同类型故障的崩溃率可视化图表。 https://www.infoq.com/news/2026/07/openai-libunwind-core-dumps/ 声明：本文由 InfoQ 翻译，未经许可禁止转载。

十六 |

Current article:http://haq.zongchaeiwengshuabaisisuofu.sbs/mb57e4m/eeza5f.html

Published on:12:12:08