图灵奖得主Tony Hoare:我的错误造成了十亿美元损失

原创 2009年03月04日 00:57:00

即将在伦敦召开的QCon可谓盛况空前,群贤必集。当然,其中最闪耀的明星,还得算图灵奖得主Tony Hoare(才发现Wikipedia中文居然没有他的条目,丢人啊)。说起图灵奖,一般的技术人员可能一方面高山仰止,但是一方面可能又会觉得跟自己没太大关系。Hoare同学可不一样,他是地道的程序员出身。发明的Quicksort,和日常开发仍然息息相关。此后从事研究工作,成果斐然,包括Algol、Occam语言,形式方法中的CSP语言和Hoare逻辑等。他从牛津大学退休后,在微软研究院工作,微软的网页上有一些不错的PPT,值得看看。

 

这个Infoq办的大会,有个很有意思的主题:Historically bad ideas。Tony Hoare的讲演就在这个主题里,名字居然叫"Null References: The Billion Dollar Mistake",讲演摘要中这样写的:

 

“我把Null引用称为自己的十亿美元错误。它的发明是在1965年,那时我用一个面向对象语言( ALGOL W )设计了第一个全面的引用类型系统。我的目的是确保所有引用的使用都是绝对安全的,编译器会自动进行检查。但是我未能抵御住诱惑,加入了Null引用,仅仅是因为实现起来非常容易。它导致了数不清的错误、漏洞和系统崩溃,可能在之后40年中造成了十亿美元的损失。近年来,大家开始使用各种程序分析程序,比如微软的PREfix和PREfast来检查引用,如果存在为非Null的风险时就提出警告。更新的程序设计语言比如Spec#已经引入了非Null引用的声明。这正是我在1965年拒绝的解决方案。”

 

完整的视频在这里

 

同一主题下,还有著名分布式专家Steve Vinoski讲RPC的根本性问题,Spring之父Rod Johnson谈JavaEE标准,Oracle开发副总裁Cameron Purdy(曾经是TheServerSide上最活跃的家伙,经济与政治学本科毕业,他的blog还在频繁更新)探讨多核、并行和虚拟化环境对传统开发模式的挑战,英国电信的专家Paul Downey(负责多个国际标准)谈标准化的弊病。

 

是啊,在计算机历史上,影响深远的错误决策还有多少?我们又能从中吸取什么教训呢?这可是一个值得好好思考问题。在这一点上,Hoare大师为我们做出了榜样。

 

【广告】QCon 4月份将移师北京,与大师面对面的机会,大家可不要错过啊。请访问QCon北京站主页

历届图灵奖 (Turing award)得奖名单

Turing奖最早设立于1966年,是美国计算机协会在计算机技术方面所授予的最高奖项,被喻为计算机界的诺贝尔奖。它是以英国数学天才Alan Turing先生的名字命名的,Alan Turing先生对早...
  • bitcarmanlee
  • bitcarmanlee
  • 2016年07月23日 13:15
  • 4362

对接 亿美短信平台 总结(HttpClient的使用)

最近做项目,需要使用“亿美”的短信服务,其实没多少内容,主要就是发送http请求,完成后,在此总结一番。 1、亿美软通SDK开发说明      亿美短信SDK:是针对独立软件开发商(ISV)和系统集成...
  • zhengchao1991
  • zhengchao1991
  • 2016年12月14日 15:19
  • 3256

当你输入信用卡号码的时候,有没有担心输错了而造成损失呢?其实可以不必这么担心, 因为并不是一个随便的信用卡号码都是合法的,它必须通过Luhn算法来验证通过。

/* * 当你输入信用卡号码的时候,有没有担心输错了而造成损失呢?其实可以不必这么担心, * 因为并不是一个随便的信用卡号码都是合法的,它必须通过Luhn算法来验证通过。 该校验的过程: 1、从...
  • hanshileiai
  • hanshileiai
  • 2013年04月07日 07:19
  • 3402

图灵奖:Tony Hoare、John Edward Hopcroft和Barbara Liskov

图灵奖:Tony Hoare、John Edward Hopcroft和Barbara Liskov (2010-11-14 11:57:11) 标签: 校园 分类:...
  • junecau
  • junecau
  • 2011年11月12日 23:37
  • 2531

图灵奖得主 Niklaus Wirth 痛批时下大学的"重论文轻教学"之风

Niklaus Wirth是Algol-W、Pascal和Modula等程序语言的主要发明人,曾获1984年图灵奖。他在2002年的一次公开演讲中,尖锐地批评了时下诸多大学轻视课程教学的风气。他的演讲...
  • u012812536
  • u012812536
  • 2014年03月14日 09:12
  • 1969

最新|图灵奖得主姚期智院士加盟旷视科技Face++!

——免费加入AI技术专家社群>> ——免费加入AI高管投资者群>> 11月5日,中国领军人工智能公司旷视科技Face++联合清华大学、清华交叉信息学院以“人工智能的本质创新”为题举办了一场特别...
  • CygqjBABx875u
  • CygqjBABx875u
  • 2017年11月06日 00:00
  • 87

《奇思妙想》人物篇--图灵奖得主概览

编者按: 本书相当于一本人物传记,介绍了15 位当代最伟大的计算机科学家,描述了他们的生活历程以及工作成果。在书中,他们解释了自己对科学产生兴趣的缘由,回顾了其成长环境和其他科学家对他们的影响,阐述...
  • turingbooks
  • turingbooks
  • 2012年01月06日 15:34
  • 2848

第33届图灵奖得主:詹姆斯·尼古拉·格雷

图灵奖由美国计算机协会(ACM)于1966年设立,又叫“A.M. 图灵奖”,专门奖励那些对计算机事业作出重要贡献的个人。它是计算机界最负盛名、最崇高的一个奖项,有“计算机界的诺贝尔奖”之称。1998年...
  • u010570551
  • u010570551
  • 2016年05月25日 14:23
  • 684

图灵奖得主(四)

1991年度的图灵奖授予了爱丁堡大学计算机科学系教授罗 宾·米尔纳(Robin    Milner)。米尔纳是继M.V.Wilkes(1967)、J.H.Wilkinson(1970)、    C...
  • jiandanjinxin
  • jiandanjinxin
  • 2014年04月10日 17:20
  • 727

专访图灵奖得主John Hopcroft:中国必须提升本科教育水平,才能在AI领域赶上美国

记者 | 周翔 总有一些这样的人,他们不惧艰辛,奔赴万里,来到一个陌生的国度,为一群陌生人奉献余生。          在AI科技大本营中看到了最新的这篇blog,反反...
  • QIYICat
  • QIYICat
  • 2017年11月04日 15:40
  • 73
内容举报
返回顶部
收藏助手
不良信息举报
您举报文章:图灵奖得主Tony Hoare:我的错误造成了十亿美元损失
举报原因:
原因补充:

(最多只允许输入30个字)