Tailscale 揪出 SQLite 16 年旧 Bug,开源资助模式获赞
【导语去年年底Tailscale 的 uptime 变得不稳定19 次数据库损坏事件均由同一个 SQLite bug 导致。经过艰难排查Tailscale 不仅定位到存在 16 年的 WAL - reset 数据竞争 bug还发现了第二个陈旧的表达式索引 bug引发行业关注。】SQLite 故障频发排查陷入困境Tailscale 控制平面内部使用 SQLite 存储每个 tailnet 的配置元数据采用 SQLite 推荐的单写入者架构自 2022 年起一直运行正常。然而2025 年 8 月一个读取 S3 备份的数据管道报错运行 PRAGMA integrity_check 后发现数据库损坏。此后数据库损坏事件多次发生。Tailscale 团队对所有近来改动进行检查重新审查所有 SQLite 交互代码均未发现问题。而且损坏事件之间没有共同因素无法复现只能靠被动遥测故障出现的频率也毫无规律。资助开源工具揪出 16 年旧 Bug面对困境Tailscale 资助了一个开源的 SQLite VFS shim 来隔离竞态条件。借助这个工具他们定位到了 SQLite 中一个存在了 16 年的 WAL - reset 数据竞争 bug。更意外的是在修复过程中还发现了第二个 bug即一个陈旧的表达式索引 bug。Antithesis 随后发表博客详细分析了这个 WAL - reset bug 的技术细节包括如何在确定性环境下复现它。行业热议可靠性与开源资助模式HN 上的讨论集中在多个方面。有人赞赏 Tailscale 的透明度认为把这种事公开写出来需要勇气。有人对 SQLite 存在 16 年的 bug 感到惊讶但更多人指出这恰恰证明了 SQLite 的可靠性因为如此罕见的竞态条件是在大规模部署下才暴露出来的。还有人讨论了 Tailscale 资助开源调试工具的做法认为这是公司资助开源的绝佳范例。编辑观点Tailscale 成功揪出 SQLite 旧 Bug展现了其技术实力与开源精神。这一事件不仅凸显了 SQLite 的可靠性也为行业提供了开源资助的优秀范例有望推动数据库技术的进一步发展。

相关新闻

谷歌 Pixel Watch 5 与苹果 Watch Series 11 对比:399 美元该选谁?

谷歌 Pixel Watch 5 与苹果 Watch Series 11 对比:399 美元该选谁?

谷歌 Pixel Watch 5 与苹果 Watch Series 11 对比:399 美元该选谁?万万没想到,谷歌最新款智能手表登场,而且比以往更出色。谷歌 Pixel Watch 5 首次具备血压和胰岛素抵抗追踪功能,同时也能监测心率、睡眠和活动等常见指…

2026/8/14 3:47:56 阅读更多 →
一套键鼠控制多台电脑:开源 KVM 软件 input-leap 完整上手指南

一套键鼠控制多台电脑:开源 KVM 软件 input-leap 完整上手指南

一套键鼠控制多台电脑:开源 KVM 软件 input-leap 完整上手指南 【免费下载链接】input-leap Open-source KVM software 项目地址: https://gitcode.com/gh_mirrors/in/input-leap 深夜加班时,你是否也经历过这样的画面:右手刚离开台式…

2026/8/14 3:47:56 阅读更多 →
全面解析义乌市建设局网站功能指南及政务服务优化提升探索

全面解析义乌市建设局网站功能指南及政务服务优化提升探索

今天咱们不聊虚的,就聊聊那个看似高冷、实则与我们每个人生活息息相关,甚至可以说是咱们义乌老板和打工人的“后勤总管”——义乌市建设局网站。很多人听到“建设局”三个字,脑海里浮现的可能是满眼的灰尘、轰鸣的工地,或者是那些遥不可及的行政审批流程。但你要真这么想,…

2026/8/14 3:47:56 阅读更多 →

最新新闻

Android系统属性添加实战:从原理到SELinux权限配置全解析

Android系统属性添加实战:从原理到SELinux权限配置全解析

1. 项目概述:为什么需要添加系统属性?在Android开发,特别是系统定制和底层调试中,我们经常会遇到一个需求:需要在系统层面定义一个全局可访问的配置项或状态标志。这个配置项可能是一个简单的开关(比如debu…

2026/8/14 4:53:30 阅读更多 →
从AI Agent自进化到自驯化:基于Harness与SEAGym的工程实践

从AI Agent自进化到自驯化:基于Harness与SEAGym的工程实践

1. 从“自进化”的幻想到“自驯化”的现实最近在折腾AI Agent开发的朋友,估计没少被“自进化”(Self-Evolution)这个概念刷屏。听起来很酷,对吧?让Agent自己写代码、自己测试、自己修复Bug,甚至自己优化自己…

2026/8/14 4:53:30 阅读更多 →
为什么越来越多高明老板在寻找高明网站建设首选公司,这背后的逻辑你读懂了吗

为什么越来越多高明老板在寻找高明网站建设首选公司,这背后的逻辑你读懂了吗

在这个移动互联网彻底重塑商业规则的时代,很多高明当地的企业老板都在问同一个问题:“我还需要花钱做一个网站吗?大家都在刷抖音、搞微信,网站是不是已经是过时的东西了?” 每次听到这种问题,我心里都挺五味杂陈的。一方面我理解大家追逐热点的心情,毕竟短视频确实火;但…

2026/8/14 4:53:30 阅读更多 →
Tool Schema设计指南:构建高效AI工具调用的结构化模式

Tool Schema设计指南:构建高效AI工具调用的结构化模式

1. 从“能说”到“能做”:为什么我们需要 Tool Schema如果你最近在折腾大语言模型的应用开发,尤其是想让 AI 模型去调用外部工具、执行具体任务,那你大概率已经接触过“Tool Calling”这个概念。上一章我们可能还在庆祝:“太好了&…

2026/8/14 4:53:30 阅读更多 →
Axure原型设计入门:从零构建可交互原型的核心指南

Axure原型设计入门:从零构建可交互原型的核心指南

1. 为什么我强烈推荐Axure给设计新手? 如果你刚踏入产品、交互或UI设计领域,或者只是一个对“把想法画出来”感兴趣的小白,面对满屏的Figma、Sketch、Adobe XD,是不是有点眼花缭乱,不知从何下手?别急&#…

2026/8/14 4:53:30 阅读更多 →
AI如何通过多模态数据实现货架智能管理:从数据采集到业务闭环

AI如何通过多模态数据实现货架智能管理:从数据采集到业务闭环

1. 从“看不见”到“看得清”:货架管理的传统困境与AI破局如果你在零售行业干过几年,尤其是负责过门店运营或者商品管理,一定对下面这个场景不陌生:总部下达了最新的促销陈列图,要求A商品必须放在货架的第二层黄金位置…

2026/8/14 4:52:30 阅读更多 →

日新闻

临沂网站建设铭镇:深耕本土数字生态,以匠心铸就企业品牌核心竞争力

临沂网站建设铭镇:深耕本土数字生态,以匠心铸就企业品牌核心竞争力

在这个流量为王、视觉至上的互联网时代,对于临沂乃至整个山东乃至全国的传统中小企业来说,拥有一张精美的“数字名片”早已不再是可选项,而是生存的必答题。每当夜幕降临,沂河两岸灯火辉煌,物流之都的喧嚣逐渐沉淀为对未来的思考。我们常常听到老板们在茶余饭后探讨:为什…

2026/8/14 0:00:26 阅读更多 →
Flutter与OpenHarmony实现剧本杀组队表单开发实战

Flutter与OpenHarmony实现剧本杀组队表单开发实战

1. 项目概述在移动应用开发领域,跨平台框架Flutter因其高效的开发体验和出色的性能表现,已经成为众多开发者的首选。而OpenHarmony作为新兴的操作系统平台,其开放性和灵活性为开发者提供了全新的可能性。本文将聚焦于一个实际应用场景——剧本…

2026/8/14 0:00:26 阅读更多 →
大连网站建设找简维科技:为您打造懂业务更懂用户的数字化转型引擎

大连网站建设找简维科技:为您打造懂业务更懂用户的数字化转型引擎

在这个数字化浪潮席卷全球的今天,企业想要在激烈的市场竞争中站稳脚跟,拥有一张好看的“数字名片”已经远远不够了。很多老板在刚开始接触互联网业务时,都有一个共同的困惑:为什么我花了钱建的网站,就像是在真空中自嗨?访客进来转了两圈就跑了,线索石沉大海,甚至连客服…

2026/8/14 0:01:27 阅读更多 →

周新闻

5分钟告别提取码焦虑:baidupankey如何智能破解百度网盘资源锁

5分钟告别提取码焦虑:baidupankey如何智能破解百度网盘资源锁

5分钟告别提取码焦虑:baidupankey如何智能破解百度网盘资源锁 【免费下载链接】baidupankey 在线查询网盘提取码(维护中 rm repo) 项目地址: https://gitcode.com/gh_mirrors/ba/baidupankey 你是否曾经在深夜寻找一份重要资料&#x…

2026/8/13 2:38:34 阅读更多 →
如何快速生成中国车牌图片:Python开源工具完整指南

如何快速生成中国车牌图片:Python开源工具完整指南

如何快速生成中国车牌图片:Python开源工具完整指南 【免费下载链接】chinese_license_plate_generator 中国车牌生成器 项目地址: https://gitcode.com/gh_mirrors/ch/chinese_license_plate_generator 中国车牌生成器是一个基于Python的开源项目&#xff0c…

2026/8/13 10:41:52 阅读更多 →
收藏!小白程序员轻松入门大模型,从Harness工程开始实践

收藏!小白程序员轻松入门大模型,从Harness工程开始实践

文章强调学习大模型不应只关注模型本身,而应重视模型外的系统搭建,即Harness。提出AgentModelHarness的实用公式,详细介绍Harness的四个层次:持久化层、执行层、控制层和观察与验证层。文章还探讨了上下文工程、工具设计、AGENTS.…

2026/8/13 10:41:51 阅读更多 →

月新闻

免费解锁百度网盘SVIP加速:macOS用户必备的下载提速终极指南

免费解锁百度网盘SVIP加速:macOS用户必备的下载提速终极指南

免费解锁百度网盘SVIP加速:macOS用户必备的下载提速终极指南 【免费下载链接】BaiduNetdiskPlugin-macOS For macOS.百度网盘 破解SVIP、下载速度限制~ 项目地址: https://gitcode.com/gh_mirrors/ba/BaiduNetdiskPlugin-macOS 还在为百度网盘macOS版的龟速下…

2026/8/13 10:41:50 阅读更多 →
终极ncmdump指南:3分钟实现网易云NCM音乐解密与格式转换

终极ncmdump指南:3分钟实现网易云NCM音乐解密与格式转换

终极ncmdump指南:3分钟实现网易云NCM音乐解密与格式转换 【免费下载链接】ncmdump 项目地址: https://gitcode.com/gh_mirrors/ncmd/ncmdump 还在为网易云音乐下载的NCM格式文件无法在其他播放器播放而烦恼吗?ncmdump解密工具帮你轻松解决这个困…

2026/8/13 10:41:49 阅读更多 →
HarmonyOS 应用开发《掌上英语》第81篇: 智能体卡片:为英语学习 App 打造桌面级学习助手

HarmonyOS 应用开发《掌上英语》第81篇: 智能体卡片:为英语学习 App 打造桌面级学习助手

AgentCard 智能体卡片:为英语学习 App 打造桌面级学习助手适用平台:HarmonyOS 7.0 (API 26 Beta)一、引言 HarmonyOS 7.0(API 26 Beta)新增了 AgentCard 智能体卡片能力,这是继 HMAF(鸿蒙智能体框架&#x…

2026/8/13 10:41:49 阅读更多 →