生命不是状态机

γ γ 意见(

上周我在ACM上做了一个主题演讲。分布式计算原理会议(PODC)关于技术转让的话题。我选择这个话题的原因是最近其他一些研究名人的演讲,他们评论说分布式计算研究社区没有取得成功;很多好主意,影响不大。.

当涉及到技术转化为成功产品时,我订阅了一个更长远的观点。.理查德加布里埃尔创建模型这就说明了创新成为成功消费品的时间和手段。〔1〕.这肯定符合施乐PARC创新、电子表格甚至网络的市场成功。举例来说,超链接和标记语言在六十年代中期被应用,基于tcp/ip的网络在七十年代开始活跃,直到九十年代中期,这三种语言的结合才成为大众消费产品的基础。加布里埃尔关于“软件接受模型:赢家如何获胜“有更多的例子和更好的连接”穿越鸿沟。〔2〕“思维方式。.

我相信这也适用于许多深层的、基本的、分布式的系统材料。例如,Felipe Cabrera曾说过,当Vista明年在编程语言的细粒度事务的支持下发布时,在IBM Quicksilver项目中采用威斯康星州立大学的概念已经过去了20多年了。.

但情况正在加速。亚马逊。com和其他地方使用高质量、大规模的分布式系统以发挥它们的优势,并且需要使用最新的研究技术来开发这种大规模的系统。我们看到先进的分布式系统越来越多地被采用,超出了现有的技术,如边缘缓存、延迟处理、融合和聚合等。.

采用更多的研究技术用于产品不是公园里的散步。工程师们必须下定决心克服早期采用的许多障碍。.

不切实际的假设

研究关注的是技术本身的细节,而不是非常关注技术的应用环境。通常,为了能够在研究中取得进展,你需要限制它可以应用的环境。例如,许多学者将承认,假设组件的故障不相关。这种完全不切实际的假设在现实生活中会再次困扰你,因为失败常常是相关的,因为它们常常是由外部或环境事件触发的。.

当选择研究技术时,经常发现一个主要的练习来发现研究者做出了什么样的假设。然后,更难的练习是弄清楚你是否能接受这些假设,这些假设是否是相关的,或者这些假设是否会阻碍技术的采用。在后一种情况下,我们是否可以做些什么使研究更具现实性。.

不确定性

许多不可逾越的假设处理了不确定性的推理。通过把生活变成一个没有惊喜的国家机器,一个人拥有一个完美的世界,在这个世界里一切都是干净整洁的。你能够欺骗生活变得可预测的程度,以及你认为你必须控制生活的控制程度是有限的。在小规模上,你可能成功,但是当你的系统在规模和复杂性上增长时,你将失去控制。因此,构建可扩展的系统完全是放开控制。(Turing的I型组织)

长期以来,在控制理论中,研究人员确信实践者不想使用他们的研究,因为其中有太多复杂的数学。然而,事实证明,这项研究在实践中基本上是不相关的,因为它没有模拟现实世界。当研究人员开始生产明确考虑到不确定性的工作时,他们的工作迅速被工程师和建筑师采用。具有讽刺意味的是,数学只是变得更复杂了…

在分布式系统中,我们看到类似的模式出现;逼真地模拟不确定性的研究更容易被采纳。随机化和自组织系统是现实世界中缩放系统的关键技术。.

完美的世界

我想提的最后一个话题是使用学术出版物作为技术选择的来源。学者们经常在研究论文中争辩一些微妙的竞争观点。但是如果在分布式系统中至少有10种实现共识的相互竞争的方法,那么工程师需要判断哪种方法最适合解决他的问题。如果学者们甚至不能决定什么似乎是正确的方法,他们的客户怎么能期望为他们这样做。.

论文往往写得非常积极:“这是自切片面包以来对生活最好的改善。”几乎没有任何自我批评。当然没有关于那些不起作用的细节,以及他们为什么不工作。我们甚至不开始讨论统计在系统研究论文中的应用。我们真的只关心平均值吗?当然,假设实验首先是现实的。.

您需要重新执行一些最有前途的研究成果,在现实的设置,以帮助您的选择。没有办法绕过它。这意味着,这些研究成果只有在工程师真正需要这些结果时才会被考虑,因为它会非常耗时。.

奥卡姆剃刀

这是一个我们实际使用的场合。奥卡姆剃刀在其最初意义上;如果两种方法产生相同的结果,则选择最少的假设。我们经常看到,这个选择标准将引导您使用最有可能被采用的技术。.

无休止的乘法要求

〔1〕加布里埃尔,李察,““通过创新重新考虑资金“在里面软件模式:软件社区的故事牛津大学出版社,美国;重版版(1998年5月1日版)下载书籍PDF).

〔2〕穆尔,Geoffrey A., “跨越鸿沟:营销和销售高科技产品给主流客户“哈珀商业”;Rev版本(1999年7月)

评论

博客评论迪斯科