搜文章
推荐 原创 视频 Java开发 iOS开发 前端开发 JavaScript开发 Android开发 PHP开发 数据库 开发工具 Python开发 Kotlin开发 Ruby开发 .NET开发 服务器运维 开放平台 架构师 大数据 云计算 人工智能 开发语言 其它开发
Lambda在线 > InfoQ > 问世40年,它仍是编写分布式应用使用率最高的编程模型

问世40年,它仍是编写分布式应用使用率最高的编程模型

InfoQ 2018-02-28
远程过程调用(RPC)范式近年来受到的质疑与批评日渐增多。这会否影响到它的历史地位?其未来的发展展望又是怎样?

远程过程调用(RPC)范式的出现可以追溯到40年之前。时至今日,它仍是在编写分布式应用时使用率最高的一种编程模型。只是近些年来,人们对于RPC技术的质疑与批评声逐渐多了起来。Steve Vinoski在2008年曾尖锐地指出,之所以RPC仍然能够得到诸多开发者的支持,其原因只有一个:舒适感!Vinoski完全不认可这种思想,他表示:

“开发者的舒适感真的比正确性、可伸缩性、性能、关注分离、可扩展性以及附加的复杂性还要重要吗?”

尽管面临着这些尖锐的批评,但RPC的历史地位是不容置疑的,而它在现代化的应用中仍能够占据一席之地,成为分布式计算中一种重要的编程模型。正在攻读博士学位的Christopher Meiklejohn近来开设了一系列博客文章以回顾分布式计算中的各种编程模型与语言,在其中一篇文章中对RPC进行了详尽的回顾与展望。

概述

简单来说,一台机器上的程序对另一台机器上的子程序的调用就是一次RPC调用。在调用过程中,主程序不需要操心与远程执行相关的任何代码,与本地调用相比,其唯一区别就在于需要提供远程节点的标识。最早为人所知并接受的RPC实现是由Sun提供的SunRPC机制,使用在其网络文件系统(NFS)中。

除此之外,常见的RPC机制还包括Java的RMI、DCOM、XML-RPC、SOAP、CORBA,以及Google的gRPC等等。

RPC的早期发展

RPC思想最早的原型可追溯至1974年所发布的RFC 674草案 —— “过程调用协议文档第2版”,该草案当时的目标是为因特网上的全部70个节点定义一种共享资源的通用方式,在该草案中引入了过程调用范围第2版(PCP)的概念。而在第二年发布的RFC 684草案 —— “对以过程调用作为网络协议的评论”中,首次分析了RPC这种编程范式存在的三大问题以及这些问题与分布式系统的本质问题之间的关联。这三大问题可以简要地概述如下:

  • 过程调用通常是一种命令式操作,而命令式操作通常是一种来自底层抽象的非常快速的上下文切换操作。

  • 本地调用与远程调用的不同之处在于:远程调用可能会产生延迟,甚至在产生故障时可能永远也不会返回.

  • 异步的消息传递,或是发送某个消息并等待响应是一种更理想的模型,因为这会使消息的传递变得更加明确。

伴随着这三大问题的是使用这种编程范式时的一系列麻烦,这些麻烦在RPC的40多年发展历史中始终阴魂不散,包括:如何从故障或错误中恢复;如何始终保证操作的正确顺序;RPC范式强制使用者进行同步编程方式;RPC的调用-响应模型使得因系统过载而导致消息无法正常处理时,对优先级的排列变得相当困难。

随后发布的RFC 707草案继承了RFC 684的思想,并提出了一个新问题,即各种服务,例如TELNET与FTP之间的资源共享问题。因为这些服务各自具有不同的接口,因此使用者必须了解他们的操作端口与命令。该草案的作者提出了一个建议:为远程过程的执行定义一个通用的接口,该接口接受一个参数列表,并依然遵循RPC的调用-响应模型。虽然这一提议并未解决RPC 684中所提出的问题,但这一模型在之后依然得到了许多系统的采纳。

CORBA

CORBA是对面向对象语言的一种抽象,允许开发者进行跨机器、跨语言的通信。CORBA通过接口定义语言(IDL)指定远程对象的接口。IDL用于生成远程系统中的对象接口在本机中的桩代码,并且在实际的语言实现与抽象接口之间生成映射关系。

CORBA的试图为应用开发者带来几点益处:不依赖于具体的语言、操作系统以及架构;将IDL中的抽象类型映射为具体实现所带来的静态类型特性;以及对象在不同机器之间的传输。CORBA承诺,通过使用映射,远程方法调用的使用就与本地调用一样简单,甚至与分布式系统相关的异步也可被映射为本地异常进行处理。

但是,Vinoski在2003年表示,仅基于透明性这一点对于编程语言与抽象进行评估的方式是有缺陷的。在他看来,IDL映射的目的在于将中间件抽象直接合并至编程语言的领域中,通过这种透明性减少编程语言与中间件这两者之间的阻抗失调。但问题在于,不恰当的透明性可能会掩盖分布式计算中出现的某些问题,例如并发与部分失败相关的问题。

对RPC范式的批评

Tanenbaum与van Renesse对RPC范式提出了尖锐的批评,他们认为将远程调用与本地调用一视同仁的思想在本质上就是错的,RPC试图打造的透明性也是根本不可能实现的。他们认为为远程访问专门设计一种协议是更好的做法。

Tanenbaum与van Renesse的批评意见涵盖了RFC 684草案中已经提到的几点内容:延迟、缺乏并行性、异常处理以及故障检测等等。此外,他们还提出了一些批评意见:

单线程服务器

如果服务器无法立即向客户端发送响应,比如它正在等待来自另一台服务器的输入。在这种情况下,不仅服务器端产生了阻塞,客户端也无法继续执行本地计算过程。

两军问题

怎样才能让两台服务器对于某个RPC的成功执行以及收到响应的结果达成一致呢?虽然某一方可以向对方发送确认信息,但对方还得向这个确认信息发送另一个确认信息以再次确认。因此无论发送几次确认都无法实现100%的一致性。这一主题其实也是一致性问题的核心,许多与分布式系统相关的文献对其进行了更深入的探讨。

参数

Tanenbaum与van Renesse也叙述了参数传递与参数封送的问题,这一问题在CORBA等有可能包含引用的对象系统中显得更为严重。在这种情况下,为了保证引用的有效性,必须使用某种特定的分布式引用。

幂等性

最后一个问题是如何跨网络表达只执行一次的语义,作者在此处强调了幂等性(idempotence)的重要性。简单来说,具有幂等性的操作即使经过多次执行,其结果与只执行一次也没有区别。举例来说,HTTP中的PUT就具有幂等性的语义,而POST则不具有这一语义。作者提到了一个可能发生的场景:假设服务器在完成某个操作之后突然崩溃而来不及发送确认信息,客户端就有可能在超时之后再次发送这个实际上已经完成的请求,如果此时服务器完成了重启,就有可能再次执行这一操作。而如果该操作不满足幂等性,就可能产生一些意外的副作用。

分布式计算备忘录

Jim Waldo和Sam Kendall等人共同撰写了一篇非常有名的论文“分布式计算备忘录”,这篇论文在Reddit上被人推荐为“每个程序员都应当至少读上两篇”的论文。在这篇论文中,作者表示“忽略本地计算与分布式计算之间的区别是一种危险的思想”,特别指出了Emerald、Argus、DCOM以及CORBA的设计问题。作者将这些设计问题归纳为“三个错误的原则”:

  1. “对于某个应用来说,无论它的部署环境如何,总有一种单一的、自然的面向对象设计可以符合其需求。”

  2. “故障与性能问题与某个应用的组件实现直接相关,在最初的设计中无需考虑这些问题。”

  3. “对象的接口与使用对象的上下文无关”

  • 分布式计算备忘录链接:

  • http://www.eecs.harvard.edu/~waldo/Readings/waldo-94.pdf

十年一轮回的错误

Waldo表示,每过10年,人们就会再次尝试将本地计算与远程计算的设计揉合在一起,再一次犯下相同的错误。他再次强调:本地计算与远程计算的本质是完全不同的。

延迟

最明显的区别就在于延迟问题:如果忽略了延迟问题,软件的性能就会受到直接影响。Waldo表示,“依赖于底层硬件速度的逐步提高”是错误的,一些实际的问题是很难通过测试找出的。性能分析是一个复杂的问题,在某一时刻表现良好的设计未必永远是合适的。

内存访问

局部故障

作者在最后谈到了一个最本质的问题:局部故障。在本地计算中,故障都是可检测的。而在分布式计算中,相互独立的组件可能会产生故障,并且故障可能是局部的。

舒适感胜于正确性

在文章的开头部分曾经提到了Vinoski对于RPC的批评,他认为选择RPC的唯一原因在于开发者的舒适感。在提出这一说法几年之后,他提出了几个非常重要的论点:

  • IDL的阻抗失调:对基础类型进行映射可能比较简单,但复杂的类型是非常难以映射的。

  • 可伸缩性:RPC范式本身并没有对缓冲提供任何支持,或是提出任何缓解高延迟的机制,它仍然以一种偏命令式的操作构建分布式应用。

  • REST:REST本身是一种很好的思想,它为管理分布式资源的问题提出了特别的应对方式。但大多数基于REST打造的框架都改变了这一抽象思想,仍然重复了这一问题。

分布式编程语言

当我们在谈到分布式编程语言时,多数开发者所想到的其实只是如何用一般性的编程语言去构建分布式系统。实际上,只要某种语言支持并发元素,并且能够打开一个网络套接字,那么就能够构建一个分布式系统。而真正的分布式编程语言为分布式特性提供了第一等的支持。像Go这样的语言更像是一种并发语言,它为并发提供了第一等的支持。虽然并发是分布式中的一个重要部分,但他们毕竟还是不同的主题。

而Erlang则为分布式提供了第一等的支持,它虽然同样使用了RPC机制,但更倾向于在进程之间使用异步消息传递方式。受到这一设计优秀表达能力的激励,Distributed Process与Akka等框架也随之出现,以提供Erlang风格的语义能力。

  • 本文译者 邵思华

  • 英文原文链接:

  • https://christophermeiklejohn.com/pl/2016/04/12/rpc.html

InfoQ视频直播大讲堂招募

1、本期分享主题:分布式平台内核揭秘

2、本期分享提纲:分布式架构如何为弹性应用解困;分布式平台核心要素的设计剖析;特定的分布式应用:分布式数据库。

3、直播形式:熊猫TV视频同步直播。

版权声明:本站内容全部来自于腾讯微信公众号,属第三方自助推荐收录。《问世40年,它仍是编写分布式应用使用率最高的编程模型》的版权归原作者「InfoQ」所有,文章言论观点不代表Lambda在线的观点, Lambda在线不承担任何法律责任。如需删除可联系QQ:516101458

文章来源: 阅读原文

相关阅读

关注InfoQ微信公众号

InfoQ微信公众号:infoqchina

InfoQ

手机扫描上方二维码即可关注InfoQ微信公众号

InfoQ最新文章

精品公众号随机推荐