OC
一个偶发测试救了生产环境:Buildkite 顺着 Redis 丢消息,挖出 C 扩展的内存地雷
科技 · 2026-07-22 · 开发 / 工程实践 · 阅读 2

一个偶发测试救了生产环境:Buildkite 顺着 Redis 丢消息,挖出 C 扩展的内存地雷

林岚|OC 开发者生态编辑

林岚|OC 开发者生态编辑

Buildkite 工程团队复盘,一次 Redis 客户端升级后,原本稳定的功能测试开始偶发失败。团队最初以为是 WebSocket 时序问题,最后借助 core dump 和 AddressSanitizer 定位到 redis-client 所带 C 扩展中的 heap use-after-free:读取线程会在特定竞态下释放写入线程仍要使用的缓冲区。

一句话结论: Flaky test 不一定只是测试写得烂;当失败突然集中出现在依赖升级之后,它可能是生产环境尚未爆炸的内存错误,关键是把“偶发”变成可统计、可保留现场的信号。

故事开始得很普通。几个测试从接近 100% 可靠突然变得不稳定,严重到阻塞主分支部署。团队先临时排除测试,让发布恢复,再查看 Test Engine 的历史可靠性,发现变化恰好出现在一次 Redis gem 升级之后。这个时间关联没有证明因果,却给了调查一个比“再跑一次看看”更好的方向。

最初的假设仍是常见的网络竞态。测试涉及 RSpec、Selenium、Web/API 服务、数据库、Redis 和 ActionCable,任何一环慢几十毫秒,都可能让断言早于 WebSocket 消息到达。开发者尝试加入等待,随后又发现订阅命令到了 ActionCable,却没有抵达 Redis;日常开发环境里也有人遇到 WebSocket 偶尔失效。

Redis 读写线程之间 use-after-free 的发生过程

真正改变调查方向的是一条罕见的 double free 报错,随后另一轮测试触发 segmentation fault。恰好,团队以前写过一个插件,会在崩溃时自动把 core dump 上传为构建产物。这个“黑匣子”显示崩溃发生在 hiredis C 扩展的 memmove,其长度参数离谱到约 45PB。到这里,问题已经不像消息延迟,而像内存被更早的代码破坏。

团队把可复现程序放进带 ASAN 的 Ruby 环境。半小时内,ASAN 报告 heap use-after-free。该连接使用读、写两个线程并发工作,在某些关闭与缓冲区状态组合下,reader 释放了 writer 仍在使用的内存。崩溃只是较晚的表现,真正的错误发生在更早时刻,这也是普通堆栈很难找出原因的地方。

临时处置不是在业务代码里加更多 sleep,而是在测试、开发和生产环境禁用该 C 扩展,改走更安全的实现,并向上游提交可复现用例。Buildkite 表示没有生产数据因此受损。这并不意味着 C 扩展不该用,而是原生扩展一旦越过语言运行时的内存安全边界,排查和风险等级都会改变。

这篇复盘对开发团队最有价值的,不是一句“使用 ASAN”。ASAN 只有在已有复现、正确运行时和足够执行次数时才发挥作用。真正串起答案的是测试可靠性历史、升级时间线、跨环境症状、自动保存 core dump,以及有人愿意继续追一条看似烦人的偶发失败。

关键事实

  • 问题在 Redis gem 升级后出现,影响 ActionCable 相关测试和开发环境 WebSocket。
  • core dump 指向 hiredis C 扩展,ASAN 最终确认 heap use-after-free。
  • 根因是读取线程在特定情况下释放写入线程仍在使用的缓冲区;团队先禁用 C 扩展并向上游报告。

OC 判断

把 flaky test 一律重跑或隔离,会让测试面板变绿,也可能抹掉系统唯一的预警。真正成熟的做法是区分“长期随机噪声”和“某次变更后可靠性突降”,后者应该像生产告警一样被调查。

为什么重要

  • 对开发者: 为崩溃自动保存 core dump,并在原生扩展上准备 ASAN 等工具链。
  • 对企业: 测试可靠性趋势比单次通过率更能发现依赖升级带来的风险。
  • 对用户: 一些最严重的底层漏洞,最初可能只表现为页面偶尔收不到实时消息。

参考来源

相关阅读

基于标题、摘要和正文内容自动匹配。

更多科技

评论

围绕这篇文章补充信息、提出问题或分享观察。

0
暂无评论。

发表评论

继续看看 OC 用户围绕这个话题说了什么、做了什么。

相关帖子

更多

奉劝大家不要移民了

<p>对于大多数人而言,移民就是悲剧。实在看不下去了,大家不要往火坑里面跳。 国内发展那么快,你出国去慢车道,消费又高,又存不下钱,又要拼命适应当地环境,何苦? 老老实实在大城市找工作,根据收入买房子上车就好。</p> <p>补充:大城市觉得房价太高太辛苦,就好好学好英语,美国远程回老家省会城市,拿同比一线的收入,三线城市的开销,岂不美哉?</p> <p>转文章: <a href="https://mp.weixin.qq.com/s?__biz=MzAxNTMxMTc0MA==&amp;mid=2651016481&amp;idx=1&amp;sn=6bde227438ea02e3da3673295821692e&amp;chksm=80721b32b705922448a9f8645e8d1a8450e57151b71e58beb64e0addf9485ad0b256a431d68b&amp;mpshare=1&amp;scene=1&amp;srcid=0530QgwbtdDlMP4ZG7Nkonpo&amp;pass_ticket=bz%2FdHaz2YWQrgwhgQlVVXt866SMnyXU53Dd0OzDmMc1uZeu0PqND%2FjdQ6fQk8Bdl#rd"> 中产阶级的地雷阵 #D03 </a></p> <p>更多文章:<a href="https://mp.weixin.qq.com/s?__biz=MzAxNTMxMTc0MA==&amp;mid=503532389&amp;idx=1&amp;sn=84ff5eefb88e1b17f9ec0efb0238140d&amp;chksm=00721d76370594601903172e49477ce0ed149a3ba1bdcb88a300b55c8c552a79ea31134216ae&amp;mpshare=1&amp;scene=1&amp;srcid=0719VQx1dNX5rlraUqjWtCFm&amp;pass_ticket=bz%2FdHaz2YWQrgwhgQlVVXt866SMnyXU53Dd0OzDmMc1uZeu0PqND%2FjdQ6fQk8Bdl#rd">列表</a></p>

halida 198 9

做 AI 语音产品时,授权、撤回和审计日志应该怎么落地?

<p>最近看到越来越多关于声音授权的讨论。对开发者来说,真正麻烦的往往不是“模型能不能模仿”,而是授权如何进入系统、生成结果如何追溯,以及授权撤回后该怎么办。</p> <p>我们在做 FlowSpeech 时也碰到过类似问题。我的体会是,不要把“用户勾选过同意”当成一个布尔字段,而应该把它做成一组可以审计的业务对象。</p> <h2>1. 把声音资产和授权分开</h2> <p>声音文件只描述技术属性,例如哈希、上传者、存储位置和创建时间。授权记录则至少要包含授权主体、用途范围、地域、有效期、来源证据和当前状态。这样同一份声音用于个人试听、商业广告、公开播客时,可以绑定不同的授权,而不是共用一个模糊的 consent=true。</p> <h2>2. 每次生成都保存授权快照</h2> <p>生成任务不要只引用当前授权 ID。授权内容以后可能变更,如果任务只查最新状态,历史结果就无法解释。更稳妥的做法是在任务创建时保存授权版本、文本哈希、声音版本、模型版本和操作者。生成出的音频再记录 artifact_id,并反向关联任务。</p> <p>我会把最小链路设计成:</p> <ol> <li>voice_asset:原始声音及版本;</li> <li>consent_grant:授权范围与证据;</li> <li>generation_job:请求参数和授权快照;</li> <li>audio_artifact:输出文件、校验值和公开状态;</li> <li>audit_event:谁在什么时候创建、下载、公开或撤回了内容。</li> </ol> <h2>3. 撤回不是简单删除一行</h2> <p>授权撤回后,系统至少要阻止新任务,并把相关公开音频进入下架队列。已经交付给客户的文件是否能删除,要按照合同和产品能力区分,不能在界面上承诺技术上做不到的“全球删除”。更现实的状态机是 active、suspended、revoked、expired,并明确每个状态允许哪些动作。</p> <h2>4. 对外展示也要可验证</h2> <p>除了后台日志,公开音频最好带上来源标记或可查询的生成记录。水印不是万能方案,但“可识别的音频 + 可验证的元数据 + 清晰的举报入口”组合起来,比一句“AI 生成”更有用。</p> <p>我们现在做的 <a href="https://flowspeech.io/zh">FlowSpeech</a> 主要解决上下文感知、情绪和停顿控制。越往产品化走,越觉得声音效果只是前半程,权限边界和可追溯性才决定这类工具能不能长期使用。</p> <p>大家在实际项目里会把授权证据放在业务数据库、对象存储,还是单独的审计系统?如果授权撤回,你们通常怎么处理已经生成并交付的音频?</p>

FlowSpeech 0 1

重返OurCoders

<p>从2014年以来好久没逛过这个谈论了,不知道这个谈论的运营现在怎么样,开发人员是不是原来的人,前端UI做得不太好</p>

梁建溢 5 36

一个体会,Codex 这种现代 Agent,每天一个变,几天不用就有新惊喜

<p>当然我说的也包括 Claude Code,新功能日新月异,还有就是 AI 能力提升以后,可以做的东西日新月异。还有各种工作流方法日新月异。</p> <p>更好玩的是,我最近经历过很多次,你跟人介绍现在 Codex 可以做到什么样子,他们都觉得很厉害。但是你现场一演示,他们的震撼就更加完全不同了。所以,这种东西,需要大量的 Workshop 去沟通交流,光看文字很难讲清楚,直播、视频也越来越重要了。</p>

tinyfool 1 89