价值1.35亿美元的BUG

简介: 译者按: 一横值千金啊!原文: Mariner 1's $135 million software bug译者: Fundebug为了保证可读性,本文采用意译而非直译。

译者按: 一横值千金啊!
原文: Mariner 1's $135 million software bug
译者: Fundebug
为了保证可读性,本文采用意译而非直译。
今天,我们有丰富的开发工具可以使用,在写代码的时候自动帮助我们识别拼写错误,类型错误和其它容易犯错的地方。即使不借助开发工具,也可以慢慢地一行一行的reivew代码。然而,当年连这样的福利都没有。
在打孔时代,工程师手动将代码翻译成一张张被打孔的卡片或则使用一个专用的打孔机器来辅助翻译和打孔。

img_1e55ebc49a8c5f6672dffde06bb73d0a.jpe
卡片

img_7bf2a5a6d177d51fe77728e446f07106.jpe
打孔机器

如果不小心敲错了、输入了不正确的命令,没有一个屏幕显示刚刚输入的字符以便查验。如何确保打出来的卡片是否正确呢?再打一张卡片出来,然后使用一个叫做卡片验证器的工具。验证器外观和打孔器几乎一模一样。

img_b54f120a2946354b9769ab5f725942be.gif
卡片验证器

史上最严重的BUG就是由于在打孔的时候的一个失误,最终造成了1962年的水手一号的发射失败。
水手1号探测器是美国发射的第一个水手系列探测器,该探测器原计划探测金星,但因出现故障而被摧毁,它是美国“水手计划”发射的第一个空间探测器。

img_53c073e6ceaf0baf608a90265a18b59f.jpe

水手一号在当年耗资1850万美元,相当于现在的1.35亿美元。
水手一号飞船在1962年的7月22号从弗罗里达的卡纳维拉尔角发射基地升空。在发射之后的几分钟内,阿特拉斯(antenna)导航系统失败,切换到后备的雷达系统。然而该雷达系统有一个很严重的软件BUG:在使用打孔机编写代码的时候,忽略了公式中的一个上横线,导致导航系统对偏差过度修正,最终偏离正确的轨道。
根据推算,如果不及时阻止,水手一号很有可能坠落在居民区。为了防止造成安全威胁,在发射后293秒,一名区域安全主管主动发送命令摧毁了该飞船。
此次水手一号发射失败不仅仅是因为软件BUG,实际上在此前的两次发射中,使用相同的系统并没有出问题。因为只有当硬件导航系统失败之后,才会启动有BUG的后备雷达系统。当然,这个BUG是导致发射失败的主要原因。幸运的是,该BUG很快被修复,一个月之后,水手二号成功发射去完成水手一号的任务,飞往水星。
如果当年的代码可以像如今一样展示在屏幕上被我们review, 是否可以提早排除呢?依然不确定,毕竟有人的因素在里面。事实上,类似的事情在时隔30年之后还是有发生。我们不知道当年NASA使用了什么样的手法去review代码,我只能猜测代码验证器看来没有发挥多大作用。
欢迎加入我们Fundebug全栈BUG监控交流群: 622902485

img_e3dd1254549264a84aeb67509f5ed680.png
全栈BUG监控交流群

版权声明:
转载时请注明作者Fundebug以及本文地址:**
https://blog.fundebug.com/2017/06/05/worst-software-bug-series-1/**

目录
相关文章
|
7天前
|
存储 弹性计算 人工智能
【2025云栖精华内容】 打造持续领先,全球覆盖的澎湃算力底座——通用计算产品发布与行业实践专场回顾
2025年9月24日,阿里云弹性计算团队多位产品、技术专家及服务器团队技术专家共同在【2025云栖大会】现场带来了《通用计算产品发布与行业实践》的专场论坛,本论坛聚焦弹性计算多款通用算力产品发布。同时,ECS云服务器安全能力、资源售卖模式、计算AI助手等用户体验关键环节也宣布升级,让用云更简单、更智能。海尔三翼鸟云服务负责人刘建锋先生作为特邀嘉宾,莅临现场分享了关于阿里云ECS g9i推动AIoT平台的场景落地实践。
【2025云栖精华内容】 打造持续领先,全球覆盖的澎湃算力底座——通用计算产品发布与行业实践专场回顾
|
1天前
|
弹性计算 人工智能 安全
云上十五年——「弹性计算十五周年」系列客户故事(第二期)
阿里云弹性计算十五年深耕,以第九代ECS g9i实例引领算力革新。携手海尔三翼鸟、小鹏汽车、微帧科技等企业,实现性能跃升与成本优化,赋能AI、物联网、智能驾驶等前沿场景,共绘云端增长新图景。
|
6天前
|
人工智能 自然语言处理 自动驾驶
关于举办首届全国大学生“启真问智”人工智能模型&智能体大赛决赛的通知
关于举办首届全国大学生“启真问智”人工智能模型&智能体大赛决赛的通知
|
5天前
|
云安全 人工智能 自然语言处理
阿里云x硅基流动:AI安全护栏助力构建可信模型生态
阿里云AI安全护栏:大模型的“智能过滤系统”。
|
Linux 虚拟化 iOS开发
VMware Workstation Pro 25H2 for Windows & Linux - 领先的免费桌面虚拟化软件
VMware Workstation Pro 25H2 for Windows & Linux - 领先的免费桌面虚拟化软件
1096 4
|
9天前
|
存储 机器学习/深度学习 人工智能
大模型微调技术:LoRA原理与实践
本文深入解析大语言模型微调中的关键技术——低秩自适应(LoRA)。通过分析全参数微调的计算瓶颈,详细阐述LoRA的数学原理、实现机制和优势特点。文章包含完整的PyTorch实现代码、性能对比实验以及实际应用场景,为开发者提供高效微调大模型的实践指南。
697 2
|
6天前
|
编解码 自然语言处理 文字识别
Qwen3-VL再添丁!4B/8B Dense模型开源,更轻量,仍强大
凌晨,Qwen3-VL系列再添新成员——Dense架构的Qwen3-VL-8B、Qwen3-VL-4B 模型,本地部署友好,并完整保留了Qwen3-VL的全部表现,评测指标表现优秀。
539 7
Qwen3-VL再添丁!4B/8B Dense模型开源,更轻量,仍强大
|
5天前
|
人工智能 缓存 算法
阿里云AI基础设施成果入选顶级学术会议,显著提升GPU利用率
阿里云提出的GPU池化服务多模型研究成果入选SOSP2025,其创新系统Aegaeon实现token级调度,大幅提升GPU利用率,核心技术已落地百炼平台,显著降低资源消耗。
515 2