微服务

软件架构风格

微服务(英语:Microservices)是一种软体架构风格,它是以专注于单一责任与功能的小型功能区块 (Small Building Blocks) 为基础,利用模组化的方式组合出复杂的大型应用程式,各功能区块使用与语言无关 (Language Independent),而且复杂的服务背后是使用简单 URI 来开放介面,任何服务,任何细粒都能被开放(exposed)。这个设计在 HP 的实验室被实现,具有改变复杂软体系统的强大力量。

2014年,Martin FowlerJames Lewis 共同提出了微服务的概念,定义了微服务是由以单一应用程式构成的小服务,自己拥有自己的进程与轻量化处理,服务依业务功能设计,以全自动的方式部署,与其他服务使用HTTP API通讯。同时服务会使用最小的规模的集中管理 (例如 Docker) 能力,服务可以用不同的程式语言与资料库等元件实作[1]

概念

编辑

微服务的另一个对比是单体式应用程式。单体式应用表示一个应用程式内包含了所有需要的业务功能,并且使用像主从式架构(Client/Server)或是多层次架构英语Multitier architecture(N-tier)实作,虽然它也是能以分散式应用程式来实作,但是在单体式应用内,每一个业务功能是不可分割的。若要对单体式应用进行扩展则必须将整个应用程式都放到新的运算资源(如:虚拟机器) 内,但事实上应用程式中最耗费资源、需要运算资源的仅有某个业务部份(例如跑分析报表或是数学演算法分析),但因为单体式应用无法分割该部份,因此无形中会有大量的资源浪费的现象。

微服务运用了以业务功能的设计概念,应用程式在设计时就能先以业务功能或流程设计先行分割,将各个业务功能都独立实作成一个能自主执行的个体服务,然后再利用相同的协定将所有应用程式需要的服务都组合起来,形成一个应用程式。若需要针对特定业务功能进行扩充时,只要对该业务功能的服务进行扩展就好,不需要整个应用程式都扩展,同时,由于微服务是以业务功能导向的实作,因此不会受到应用程式的干扰,微服务的管理员可以视运算资源的需要来配置微服务到不同的运算资源内,或是布建新的运算资源并将它配置进去。

虽然使用一般的伺服器虚拟化技术就能应用于微服务的管理,但容器技术 (Container Technology) 如 Docker 会更加地适合发展微服务的运算资源管理技术。

规划

编辑
 
微服务中每个服务都能够有自己的资料库。

微服务的规划与单体式应用程式十分不同,微服务中每个服务都需要避免与其他服务有所牵连,且都要能够自主,并在其他服务发生错误时不受干扰。

 
如果资料库都是分开的,那么新服务上线时就会遇到资料库为空的窘境。我们并不能从另一个服务复制资料过来,因为我们无法确定该服务拥有最新的资料。 此时应该从事件存储中心重播所有事件,如此一来就可以找回先前的所有、最新的资料。

资料库

编辑

微服务理念中有数个资料库的规划方式。

  • 每个服务都各有一个资料库,同属性的服务可共享同个资料库。
  • 所有服务都共享同个资料库,但是不同表格,并且不会跨域存取。
  • 每个服务都有自己的资料库,就算是同属性的服务也是,资料库并不会共享。

资料库并不会只存放该服务的资料,而是“该服务所会用到的所有资料”。更深层一点的举例:假设有个文章服务,而这个服务可能会需要判断使用者的帐号⋯⋯等。那么文章服务的资料库就可以放入使用者的部分资料。此举是为了避免服务之间的相依性,避免文章服务呼叫使用者服务。

资料库的可弃性

编辑

实践微服务有许多的做法,但其中一种做法是将资料库作为短期的储存空间而不是储存长期的资料。这意味著资料库可以在离线时被清空。因为它们可以在上线时从事件存储中心恢复,因此也能以记忆体快取(如:Redis) 作为资料库伺服器。但这种做法需要将每个请求当作事件来进行广播。如此一来就可以从事件存储中心重播所有的事件来找回所有的资料。

沟通与事件广播

编辑
 
NSQ 是一个讯息伫列系统、平台。在微服务中所扮演的角色是将讯息、资料传递到其他服务。 此举是异步执行,所以不需要等到其他服务接收到讯息就能够执行下一步。这种方式能够避免服务之间有所牵连、呼叫。

微服务中最重要的就是每个服务的独立与自主,因此服务与服务之间也不应该有所沟通。倘若真有沟通,也应采用异步沟通的方式来避免紧密的相依性问题。要达到此目的,则可用下列两种方式:

事件存储中心(Event Store)

编辑

这可以让你在服务丛集中广播事件,并且在每个服务中监听这些事件并作处理,这使得服务之间不需有紧密的相依性,而这些发生的事件都会被保存在事件存储中心里。这意味著当微服务重新上线、部署时可以重播(Replay)所有的事件。这也造就了微服务的资料库随时都可以被删除、摧毁,且不需要从其他服务中取得资料。

服务探索

编辑

单个微服务在上线的时候,会向服务探索中心(如:Consul)注册自己的 IP 位置、服务内容,如此一来就不需要向每个微服务表明自己的 IP 位置,也就不用替每个微服务单独设定。当服务需要呼叫另一个服务的时候,会去询问服务探索中心该服务的 IP 位置为何,得到位置后即可直接向目标服务呼叫。

这么做的用意是可以统一集中所有服务的位置,就不会分散于每个微服务中,且服务探索中心可以每隔一段时间就向微服务进行健康检查(如透过:TCP 呼叫、HTTP 呼叫、Ping),倘若该服务在时间内没有回应,则将其从服务中心移除,避免其他微服务对一个无回应的服务进行呼叫。

内容

编辑

一个微服务架构的应用程式有下列特性:

  • 每个服务都容易被取代。
  • 服务是以能力来组织的,例如使用者介面、前端、推荐系统、帐单或是物流等。
  • 由于功能被拆成多个服务,因此可以由不同的程式语言、资料库实作。
  • 架构是对称而非分层(即生产者与消费者的关系)。

一个微服务架构:

  • 适用于具持续交付(Continuous Delivery)的软体开发流程。
  • 服务导向架构(Service-Oriented Architecture)不同,后者是整合各种业务的应用程式,但微服务只属于一个应用程式。

技术

编辑

微服务可以用不同的编程语言实现,也可以使用不同的基础设施。[2]因此,最重要的技术选择是微服务之间的通信方式(同步、异步、UI集成)以及用于通信的协议(RESTful HTTP、消息、GraphQL……)。在传统系统中,大多数技术选择,如编程语言,都会影响整个系统。因此,选择技术的方法是完全不同的。[3]

Eclipse基金会已经发布了开发微服务的规范——Eclipse MicroProfile。[4]

Service mesh

编辑

在服务网格中,每个服务实例都与一个反向代理服务器实例(称为服务代理、 sidecar代理或sidecar)配对。服务实例和 sidecar 代理共享一个容器,容器由一个容器编排工具(如KubernetesNomadDocker SwarmDC/OS)管理。 服务代理负责与其他服务实例的通信,并支持服务(实例)发现、负载平衡、身份验证和授权、安全通信等功能。

在服务网格中,服务实例及其sidecar代理被称为构成数据平面,其中不仅包括数据管理,还包括请求处理和响应。服务网格还包括一个用于管理服务之间交互的控制平面,这些交互由它们的sidecar代理协调。服务网格架构有几个选项: IstioLinkerdConsul和其他许多服务网格景观。服务网格管理平面Meshery页面存档备份,存于互联网档案馆)提供跨服务网格部署的生命周期、配置和性能管理。

平台比较

编辑

实现微服务体系结构非常困难。任何微服务体系结构都需要解决许多问题(见下表)。Netflix开发了一个微服务框架来支持他们的内部应用程序,然后开放了[5]该框架的许多部分。其中许多工具已经通过Spring框架得到推广——它们已经在Spring Cloud项目的保护伞下重新实现为基于Spring的工具。[6] 下表显示了Kubernetes生态系统中的实现功能与Spring Cloud世界中的等效功能的比较。[7] Spring Cloud生态系统值得注意的一点是,它们都是基于Java的技术,而Kubernetes是一个多语言运行时平台。

微服务 Spring Cloud与Netflix OSS Kubernetes
配置管理:微服务应用程序的配置需要从代码中进行外部化,并可以通过简单的服务调用进行检索。 Spring Config Server、Netflix Archaius都支持基于Git存储库的配置位置。Archaius支持配置数据类型。 Kubernetes ConfigMaps通过服务公开存储在etcd中的配置。 Kubernetes Secrets支持基于服务的安全部署和敏感配置信息(例如密码,证书等)的使用。
服务发现:维护微服务域中可用于工作的服务实例列表。 Spring Cloud Eureka允许客户端向其注册,与注册的客户端保持心跳,并将服务名称映射到按服务名称查找服务的客户端的主机名。 Kubernetes Services提供集群内部可用的服务实例的部署时注册。Ingress是一种机制,通过这种机制,服务可以向集群之外的客户端公开。
负载平衡:扩展分布式系统的关键是能够运行一个组件的多个实例。然后要通过负载均衡器将负载分配到这些实例上。 Spring Cloud Ribbon为服务客户端提供跨服务实例负载平衡的能力。 Kubernetes Service提供了跨服务实例对服务进行负载平衡的能力。这与Ribbon提供的功能不同。
API网关:微服务提供的API的粒度通常与服务客户端需要的粒度不同。API网关实现表层,并提供其他服务,如代理、协议转换和其他管理功能。 Spring Cloud Zuul提供基于配置的API表层 Kubernetes Service和Ingress resources、Istio、Ambassador是提供南北(进出数据中心)和东西(跨数据中心或云或地区的通信)API网关功能的解决方案。
安全问题:许多安全问题推给API网关来实现。对于分布式微服务应用程序,不重新造安全方面的轮子,允许在所有服务共享的组件中进行策略定义和实现是有意义的。 Spring Cloud Security通过Spring Cloud Zuul解决了许多安全问题 Kubernetes生态系统提供了像Istio这样的服务网格,该网格能够通过其API网关机制提供安全性。
集中化日志记录:拥有一个集中化的日志收集和分析基础设施来管理大量的服务非常重要——其中许多服务是以分布式方式运行的。 ELK技术栈(Elasticsearch、LogStash、Kibana EFK技术栈(ElasticsearchFluentdKibana
集中的度量:一个可以监控单个服务和整个系统的健康和性能的集中区域对于正确的操作是必不可少的。 Spring Spectator & Atlas Heapster, Prometheus, & Grafana
分布式跟踪:每个进程的日志记录和度量监视都有其存在的地方,但它们都不能重构事务在跨分布式系统传播时所采用的复杂路径。分布式跟踪是微服务平台必不可少的工具。 Spring Cloud Sleuth Hawkular, Jaeger
弹性和容错性:分布式系统必须能够围绕故障进行自动路由,并且能够将请求路由到提供最佳响应的服务实例。 Spring Hystrix, Turbine, & Ribbon Health check, service meshes (example: Istio)[8]
自动伸缩和自我修复:分布式系统通过水平伸缩响应更高的负载: 平台必须检测并自动响应这些条件。此外,系统需要检测故障,并尝试自动重启,无需操作员输入。 - 健康检查、自我修复和自动缩放
打包、部署和调度: 大规模系统需要健壮的包管理和部署系统来管理滚动部署或蓝绿色部署,并在必要时进行回滚。调度程序帮助确定可以根据当前条件将一组新服务部署到哪个特定的执行节点。 Spring Boot, Apache Maven. Spring Cloud系统没有真正的调度程序。 Docker, Rkt, Kubernetes Scheduler & Deployment, Helm[9]
作业管理:控制无人值守的后台程序执行。 Spring Batch Kubernetes Jobs与Scheduled Jobs
单例应用程序:限制特定服务作为该服务在整个系统中的唯一实例运行。 Spring Cloud Cluster Kubernetes Pods

相关程式语言

编辑

微服务采用者

编辑

平台实作

编辑

参考

编辑
  1. ^ Microservices: A definition of this new architectural term. [2016-03-18]. (原始内容存档于2018-02-14). 
  2. ^ Microservices Testing Strategies, Types & Tools: A Complete Guide. Simform. [2021-06-29]. (原始内容存档于2021-06-29). 
  3. ^ Wolff, Eberhard. Microservices - A Practical Guide. 2018-04-15 [2021-10-01]. ISBN 978-1717075901. (原始内容存档于2021-05-01). 
  4. ^ Swart, Stephanie. Eclipse MicroProfile. projects.eclipse.org. 14 December 2016 [2020-07-20]. (原始内容存档于2022-01-19). 
  5. ^ Netflix OSS, Git Hub, [2020-07-20], (原始内容存档于2021-05-01) 
  6. ^ Cloud, Spring, [2020-07-20], (原始内容存档于2022-06-22) 
  7. ^ Spring Cloud for Microservices Compared to Kubernetes, Developers (Red hat), 2016-12-09 [2020-07-20], (原始内容存档于2021-05-01) 
  8. ^ Managing microservices with the Istio service mesh, Kubernetes, May 2017 [2020-07-20], (原始内容存档于2021-05-01) 
  9. ^ The Kubernetes Package Manager, Helm, [2020-07-20], (原始内容存档于2021-05-01) 
  10. ^ Jolie. [2022-06-26]. (原始内容存档于2022-06-09). 
  11. ^ AnyPresence Launches a New API Platform for Mobile and IoT Developers. [2016-03-18]. (原始内容存档于2021-05-11). 
  12. ^ How Enterprise PaaS can add Critical Value to Microservices. [2016-03-18]. (原始内容存档于2015-05-08). 
  13. ^ Developing Microservices for PaaS with Spring and Cloud Foundry. [2016-03-18]. (原始内容存档于2021-05-01). 
  14. ^ Microservices (PDF). [永久失效链接]
  15. ^ Microservices. [2016-03-18]. (原始内容存档于2021-04-13). 
  16. ^ Microservices. [2016-03-18]. (原始内容存档于2016-03-26). 
  17. ^ Products > Platform. 1060 Research Ltd. [12 October 2015]. (原始内容存档于2015-08-12). 
  18. ^ Wilma documentation. [2016-03-18]. (原始内容存档于2020-09-20). 
  19. ^ Wilma source code. [2016-03-18]. (原始内容存档于2022-03-27). 
  20. ^ Vertx. [2022-06-26]. (原始内容存档于2021-12-24). 
  21. ^ Baratine. [2021-10-01]. (原始内容存档于2015-11-09). 
  22. ^ KumuluzEE. [2022-06-26]. (原始内容存档于2022-03-31).