转载自程序员的文章,对于Godel与Brewer的比较太少,虽说有些相似,不过可判定性与CAP的比较我觉得还是山寨了。。。。
2010年3月,ACM宣布将2009年度“ACM-Infosys”奖颁发给加州大学伯克利分校的Eric Brewer教授,以表彰他在可扩展互联网等领域所做的贡献。Brewer在伯克利获得了计算机科学学士学位,随后在麻省理工学院获得计算机科学硕士和博士学位。32岁时,他拿到了伯克利的终身教授职位,这个职位是很多人的毕生梦想,而他却初出江湖就将其纳入囊中。这到底是个什么人?他到底做了什么事?
要说Brewer教授的工作,我们要从80年前的另一个人说起。1930年,著名数学家希尔伯特发表了他著名的退休演讲,其中有一句话鼓舞了一代数学家:“我们必须知道,我们必将知道。”这句话所指的,是他的“希尔伯特计划”,也就是证明数学体系的完备性、相容性和可判定性。数学家们为这美好的未来而不懈奋斗,然而这场美梦却被一个人打破了。1931年,哥德尔证明了,任何完备的系统都是不相容的,而任何相容的系统都是不完备的,二者不可得兼,这就是哥德尔定理。这个证明彻底摧毁了希尔伯特计划,使数学变成了一个残缺的世界。说到这里,不妨说一点题外话,希尔伯特提出的三个问题,哥德尔解决了前两个。那么剩下一个“可判定性”呢?这个问题是由艾伦·图灵在1936年的论文中首次解决的,也正是在这篇论文中,他提出了图灵机,后来成为现代计算机的理论模型。
读者也许要说,这80年前的事情,跟年轻的Brewer有什么关系啊?别急,马上我们就将看到,Brewer有着一个几乎同构的故事,他俨然就是分布式计算领域的哥德尔。对于一个分布式计算服务来说,有个CAP原理,包含三个最重要的属性:相容性(Consistency),读操作是否总能读到前一个写操作的结果,即是说在分布式环境中,多点读出的数据是否相容。可用性(Availability),访问数据的性能。分区容忍性(Partition tolerance ),数据的分区特性,对系统性能的影响程度。
对于一个分布式计算系统来说,这三个属性非常重要。因此,计算机科学家们一直在拼尽全力地寻找一种方法,能够实现同时满足CAP三者的完美分布式系统。但是就在大家都忙得热火朝天的时候,2007年,如同当年的哥德尔一样,Brewer教授站出来指出:CAP永远不可能同时满足,提高其中任意两者的同时,必然要牺牲第三者。这就是Brewer的CAP定理,后来由麻省理工学院的两位科学家证明。这个定理告诉大家,不要再浪费时间去研究如何兼顾了,因为这根本就是不可能的,只能根据具体应用,来决定如何在三者之间进行取舍。CAP理论为很多巨型的数据中心,尤其是现在很多的SNS网站提供了有力的理论指导,比如说Google的BigTable系统就是一个牺牲了A的典型例子。有意思的是,Brewe今年5月在Twitter上透露,他利用学术休假的时间已经开始在Google公司领导下一代基础设施的设计了。就在提出CAP理论的同一年,Brewer当选美国国家工程院院士,并于次年当选ACM Fellow。
除CAP定理外,Brewer还有很多其他成就。1995年,他与人共同创建了著名搜索引擎公司Inktomi,曾是纳斯达克100指数成分股,后来被Yahoo!收购。2000年,他协助美国联邦政府做网站,建立了usa.gov并上线。他还非常关心发展中国家和贫困国家的信息化进程,提出了 WiLDNet等很多概念,旨在通过技术方法,帮助人们以更低的成本获得无线通信能力。他的系统被部署用于印度的远程医疗,有超过20000名眼科患者通过该系统重新获得光明。
分享到:
相关推荐
标题中的“Eric Brewer:CAP Twelve Years Later——How the 'Rules' Have Changed”指的是计算机科学家Eric Brewer在2012年提出的一个主题,讨论了CAP定理在十二年后的发展和变化。CAP定理是分布式系统设计中的一个...
布鲁尔的CAP定理最早由麻省理工学院教授埃里克·布鲁尔(Eric Brewer)于2000年提出的,并在同年ACM分布式计算原理研讨会上进行了阐述。这一理论指出,在分布式系统中,无法同时满足以下三个条件: 1. **一致性**...
At the Symposium on Principles of Distributed Computing in the year 2000, Eric Brewer held a keynote talk about his experience with the recent changes in the development of distributed databases....
**布林格的CAP定理**是分布式系统设计中的一个基础理论,由计算机科学家Eric Brewer在2000年提出。这个理论指出,在一个分布式计算系统中,无法同时保证一致性(Consistency)、可用性(Availability)和分区容错性...
Brewer.js 是一个工具用于简化管理 CSS 和 JS 源文件,主要功能有: 编译 coffee-script (or iced) 源码到 javascript 编译 LESS 或 Stylus 文件到 CSS 将多个 JS 或者 CSS 文件合并到单一文件并可进行压缩...
Ajax-Brewer-VendaDeCervejas.zip,酿酒商-Venda de Cervejaséum Sistema de Vendas de Cervejas Responsivivo Parase Adapter a todos tipos de telas que tem papel agilizar o processo de Vendas de Cerveja ou ...
Eric Brewer教授撰写的《CAP定理十二年后:规则的演变》一文,旨在澄清围绕CAP定理的一些误解,特别是必须在一致性(Consistency)、可用性(Availability)和分区容忍性(Partition tolerance)中选择两个的观念。...
更新:Brewer的Edge现在已经在其网站上进行了此内置功能,因此不再需要扩展名。 此扩展将一行添加到Brewer的朋友配方上的跳概要表,显示配方中使用的跳跃总量,类似于网站已使用谷物的内容。 更新1.2.3:您现在可以...
这篇文档主要涵盖了半导体行业的几个重要发展动态,包括Brewer Science在中国市场的扩张、Xilinx的ACAP技术发布、意法半导体传感器与阿里IoT的合作,以及赛普拉斯为树莓派提供无线连接解决方案。 首先,Brewer ...
2010年3月,ACM宣布将2009年度“ACM-Infosys”奖颁发给加州大学伯克利分校的Eric Brewer教授,以表彰他在可扩展互联网等领域所做的贡献。Brewer在伯克利获得了计算机科学学士学位,随后在麻省理工学院获得计算机科学...
Almost twelve years ago, in 2000, Eric Brewer introduced the idea that there is a fundamental trade-off between consistency, availability, and partition tolerance. This trade-off, which has become ...
CAP定理指在设计分布式系统时,一致性(Consistent)、可用性(Availability)、Partition Tolerance(分区容忍性)三个属性不可能同时满足,该定理也叫做布鲁尔定理。CAP定理明确了分布式系统所能实现系统的局限性...
【Hamilton Beach汉美驰2-Way Brewer智能双模咖啡机】是一款集便利与多功能于一体的咖啡制作设备,适合家庭和小型办公室使用。它提供了两种冲泡方式:单杯服务和传统咖啡壶模式,满足不同需求。 **操作部分** 1. *...
此函数为 colorbrewer 表的给定类型、名称和颜色数量生成 colorbrewer 表(rgb 数据)。... 要根据类型和名称查看可用的各种颜色图,只需调用:cbrewer() 本产品包括由 Cynthia Brewer ( http://colorbrewer.org/ )
分布式系统的CAP理论是计算机科学中分布式计算领域的一个重要原则,由加州大学伯克利分校的计算机科学家Eric Brewer在2000年提出。该理论指出,在一个分布式计算系统中,Consistency(一致性)、Availability(可用...
从 1994 年到 1999 年在加州大学伯克利分校,Armando Fox、Steven Gribble、Eric Brewer 和其他人参与了 BARWAN(湾区研究无线接入网络)/Daedalus 项目,探索如何将互联网连接带到无线和移动设备上。 该工作的一...
该软件包使 Cynthia Brewer 的 ColorBrewer 方案在 MATLAB 中可用,并具有用户友好的界面。 可以对这些方案进行插值以包含更多颜色。 默认情况下,这是在几乎感知一致的 CIELAB 色彩空间中使用三次插值完成的,以...
说的简单明了他们说你是泛泛而谈,算法这东西是讲明白的吗?自己不动手光想听别人...2000年,Eric Brewer教授在ACM分布式计算年会上指出了著名的CAP理论:分布式系统不可能同时满足一致性(Consistency),可用性(Availa