9、架构-从类库到服务之服务发现

目录

概述        

服务发现

1 服务发现的意义

全限定名与IP地址

服务发现的历史演变

2 可用与可靠

服务发现的高可用与高可靠

3 注册中心实现

服务注册中心的架构设计

常见问题及解决方案

结论


概述        

微服务架构的一个重要设计原则是“通过服务来实现独立自治的 组件”(Componentization via Service),强调应采用“服务” (Service)而不是“类库”(Library)来构建组件化的程序,这两 者的差别在于类库是在编译期静态链接到程序中的,通过调用本地方 法来使用其中的功能,而服务是进程外组件,通过调用远程方法来使 用其中的功能。

         采用服务来构建程序,获得的收益是软件系统“整体”与“部 分”在物理层面的真正隔离,这对构筑可靠的大型软件系统来说无比 珍贵,但另一面,其付出的代价也不容忽视,微服务架构在复杂性与 执行性能方面做出了极大的让步。在一套由多个微服务相互调用才能 正常运作的分布式系统中,每个节点都互相扮演着服务的生产者与消 费者的多重角色,形成了一套复杂的网状调用关系,此时,至少有 (但不限于)以下三个问题是必须考虑并得到妥善解决的。

  • 对消费者来说,外部的服务由谁提供?具体在什么网络位置?
  • 对生产者来说,内部哪些服务需要暴露?哪些应当隐藏?应当 以何种形式暴露服务?以什么规则在集群中分配请求?
  • 对调用过程来说,如何保证每个远程服务都接收到相对平均的 流量,获得尽可能高的服务质量与可靠性?

        这三个问题的解决方案,在微服务架构中通常被称为“服务发 现”“服务的网关路由”和“服务的负载均衡”。

服务发现

        在分布式系统中,服务发现是一个至关重要的环节。它的主要目的是在系统的不同服务之间实现互相通信和调用。通过服务发现机制,服务消费者能够找到并调用服务提供者提供的具体服务,从而实现系统功能的协同工作。在这一章中,我们将深入探讨服务发现的意义、可用性与可靠性以及注册中心的实现方法。

服务发现是分布式系统中的核心技术,它能够帮助不同服务之间进行通信和调用,从而实现系统的协调工作。服务发现的主要目的是解决在复杂网络环境中,如何定位和访问所需服务的问题。以下是对服务发现的详细分析。

1 服务发现的意义

服务发现的意义在于解决分布式系统中如何找到目标服务的问题。所有的远程服务调用都是通过全限定名(FQDN)、端口号和服务标识所组成的三元组来确定一个远程服务的精确坐标。这一过程中,服务发现的主要任务是将服务的标识转换为可用的网络地址,从而实现服务之间的互相调用。

  • 全限定名(Fully Qualified Domain Name,FQDN):表示网络中某台主机的精确位置。它通常是一个域名系统(DNS)条目,如service.example.com,可以通过DNS解析为一个或多个IP地址。
  • 端口号:标识主机上某一个提供了TCP/UDP网络服务的程序。每个服务在其主机上都有一个唯一的端口号,例如HTTP服务通常使用端口80或443。
  • 服务标识:代表该程序所提供的某个具体的方法入口。服务标识根据不同的应用层协议而有所不同,例如:
    • REST服务:标识是URL地址,如http://service.example.com/api/v1/resource
    • RMI服务:标识是Stub类中的方法。
    • SOAP服务:标识是WSDL中定义的方法。

服务标识的多样性决定了服务发现可以有两种不同的理解方式:

  1. 百科全书式服务发现:类似于UDDI(Universal Description, Discovery, and Integration),它涵盖了从企业信息到服务接口细节的全面信息。这种方式适用于需要详细了解服务提供方和服务内容的场景。
  2. 门牌号码式服务发现:类似于DNS(Domain Name System),只关注从全限定名到实际IP地址的转换。这种方式更为简洁和高效,适用于服务调用方已经了解服务具体细节的场景。

全限定名与IP地址

        全限定名和IP地址有重要区别。IP地址是动态的,可能会随着时间变化或在不同环境中不同,而全限定名是固定的,描述一个服务应采用全限定名来表示。例如,service.example.com可以解析为192.168.1.110.0.0.1,具体取决于DNS配置和环境。

服务发现的历史演变

        原本服务发现依赖DNS将一个全限定名翻译为一个或多个IP地址或SRV等其他类型的记录。负载均衡器也实质上承担了一部分服务发现的职责,完成了外部IP地址到各个服务内部实际IP的转换。这种做法在软件追求不间断长时间运行的时代是很合适的,但随着微服务的逐渐流行,服务的非正常宕机、重启和正常的上线、下线变得越发频繁,仅靠DNS服务器和负载均衡器等基础设施逐渐无法跟上服务变动的步伐了。

        人们最初尝试使用ZooKeeper这样的分布式K/V框架,通过软件自身来完成服务注册与发现。ZooKeeper一度成为微服务早期的主流选择,但由于其底层的分布式特性,还需要用户做大量工作才能满足服务发现的需求。到了2014年,Netflix的Eureka宣布开源,并迅速被纳入Spring Cloud,成为Java程序员默认的远程服务发现解决方案。Spring Cloud Eureka进入维护模式后,HashiCorp的Consul和阿里巴巴的Nacos接过了这一角色。

        现代服务发现框架已经发展得相当成熟,不仅支持通过DNS或HTTP请求进行符号与实际地址的转换,还支持各种健康检查方式、集中配置、K/V存储和跨数据中心的数据交换等多种功能。

2 可用与可靠

        服务发现框架需要同时保证高可用性和高可靠性,这由其在整个系统中的核心位置决定。具体来说,服务发现包括以下三个主要过程:

  1. 服务的注册(Service Registration):当服务启动时,通过某种形式(如调用API、产生事件消息、在ZooKeeper/etcd记录等)将自身的坐标信息通知服务注册中心。注册过程可以是:

    • 自注册模式:由应用程序本身完成注册,例如Spring Cloud的@EnableEurekaClient注解。
    • 第三方注册模式:由容器编排框架或第三方注册工具完成注册,例如Kubernetes和Registrator。
  2. 服务的维护(Service Maintaining):服务发现框架需要通过健康检查机制监控服务的状态,以确保服务列表的正确性,避免向消费者提供不可用的服务。健康检查方式包括:

    • HTTP健康检查:定期发送HTTP请求以检查服务是否响应。
    • TCP健康检查:通过建立TCP连接检查服务的可用性。
    • 心跳机制:服务定期发送心跳信号,表明自身仍然活跃。
    • 探针检查:通过探针(如脚本或小程序)对服务进行深入检查。
  3. 服务的发现(Service Discovery):服务消费者通过服务发现框架将符号(如Eureka中的ServiceID,Nacos中的服务名)转换为实际坐标。服务发现通常通过以下方式完成:

    • HTTP API请求:消费者通过HTTP API获取服务的实际地址。
    • DNS Lookup:通过DNS查询获取服务的IP地址。
    • 环境变量注入:例如Kubernetes支持通过环境变量注入服务地址。

服务发现的高可用与高可靠

服务发现框架需要在可用性和一致性之间进行权衡。以下是一些常见的服务发现框架及其特点:

  1. 基于分布式K/V存储框架的服务发现:如ZooKeeper、etcd等,这些框架通过分布式环境下的读写操作共识算法来保证数据的一致性和可靠性。etcd采用Raft算法,ZooKeeper采用ZAB算法。

  2. Netflix Eureka:优先保证高可用性,使用异步复制机制来交换服务注册信息,从而在大部分时间内保持可用性,但牺牲了一部分一致性。

  3. HashiCorp Consul:优先保证高可靠性,采用Raft算法确保服务注册或变动在多数节点写入成功后才完成,同时支持多数据中心之间的服务同步,通过Gossip协议实现大规模服务同步。

服务发现框架在实现过程中需要考虑以下几个方面:

  • 服务注册的速度:不同框架在服务注册速度上的差异会影响系统的响应速度。
  • 数据一致性与可用性:如何在网络分区的情况下保证服务数据的一致性和系统的可用性。
  • 扩展性与灵活性:框架是否支持跨数据中心的数据同步和扩展功能。
  • 集成与兼容性:框架是否易于集成到现有系统中,是否支持多种编程语言和技术框架。

3 注册中心实现

在分布式系统中,服务注册中心的实现需要在可用性和一致性之间进行权衡。以下是几种常见的服务发现框架:

  1. 基于分布式K/V存储框架的服务发现:如ZooKeeper、etcd等,这些框架提供了分布式环境下的读写操作共识算法,保证数据的一致性和可靠性。

    • ZooKeeper:使用ZAB(Zookeeper Atomic Broadcast)协议来实现数据一致性,适用于需要严格一致性的场景。然而,ZooKeeper的复杂性和对运维的高要求使其在某些情况下不太适用。
    • etcd:使用Raft算法实现一致性,提供简单易用的API和良好的性能,成为了Kubernetes等系统的首选。
  2. Netflix Eureka:优先保证高可用性,牺牲服务状态的一致性。Eureka的各个节点间采用异步复制来交换服务注册信息,确保服务注册中心在大部分时间内保持可用。

    • 优点:高可用性强,能在网络分区或部分节点故障时继续提供服务。
    • 缺点:由于异步复制,可能会存在短时间的数据不一致问题。
  3. HashiCorp Consul:优先保证高可靠性,采用Raft算法确保服务注册或变动在多数节点写入成功后才算完成。Consul支持多数据中心之间的服务同步,通过Gossip协议实现更大规模的服务同步。

    • 优点:强一致性保证,多数据中心支持,功能丰富(如健康检查、KV存储等)。
    • 缺点:性能相对稍低,复杂性较高。
  4. 其他框架

    • Nacos:由阿里巴巴开源,支持服务发现、配置管理和动态DNS。Nacos使用Raft协议来保证数据一致性,提供了灵活的服务注册和发现功能,特别适用于微服务和云原生应用。
    • Kubernetes DNS:Kubernetes内置的服务发现机制,通过DNS和环境变量为Pod提供服务地址。这种方法简单高效,适用于容器化环境,但在复杂的跨集群场景中可能需要结合其他工具。

服务注册中心的架构设计

服务注册中心在系统中起着核心作用,负责管理服务的注册和发现。一个典型的服务注册中心架构包括以下几个部分:

  1. 注册节点(Registry Nodes):分布式部署的服务注册节点,通过多个节点(如3个或5个)组成集群来保证高可用性和容错性。数据同步通过复制机制实现。

  2. 健康检查机制(Health Check Mechanism):定期检查注册服务的健康状态,通过心跳、探针等方式确定服务是否可用。

  3. 服务缓存(Service Cache):服务消费者本地缓存服务注册信息,减少对注册中心的依赖,提高服务发现的效率。

  4. 一致性协议(Consistency Protocol):采用如Raft、ZAB等共识算法,确保服务注册信息的一致性和可靠性。

常见问题及解决方案

在实现服务发现过程中,常见问题主要集中在以下几个方面:

  1. 网络分区(Network Partition):网络分区可能导致服务注册中心的节点之间无法通信,影响服务的可用性和一致性。解决方案包括:

    • CP模型(Consistency and Partition Tolerance):如Consul,通过Raft算法确保数据的一致性,但可能牺牲部分可用性。
    • AP模型(Availability and Partition Tolerance):如Eureka,通过异步复制机制保证高可用性,但可能牺牲部分一致性。
  2. 服务健康检查(Service Health Check):确保服务的可用性和稳定性,防止不健康的服务继续提供服务。常用的健康检查方式包括:

    • 心跳机制(Heartbeat Mechanism):定期发送心跳信号,确认服务存活状态。
    • 探针检查(Probe Check):通过HTTP/TCP请求检查服务的健康状态。
  3. 服务缓存(Service Cache):服务消费者本地缓存服务注册信息,提高服务发现效率,但需要解决缓存数据过期问题。解决方案包括:

    • TTL机制(Time to Live):设置缓存数据的生存时间,到期后重新获取服务注册信息。
    • 主动刷新(Proactive Refresh):定期刷新缓存数据,确保服务信息的及时更新。

结论

        服务发现是分布式系统中的核心技术,其实现需要在可用性和一致性之间进行权衡。通过合理设计服务注册中心的架构,并采用有效的健康检查和缓存机制,可以提高系统的可靠性和可用性。不同的服务发现框架各有优缺点,选择适合的框架需要根据具体需求进行权衡和取舍。总之,服务发现的有效实现对于构建可靠的大型分布式系统至关重要。


 

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/849204.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

医疗保健的未来——Kompas.ai如何助力精准医疗

引言 在现代医学中,精准医疗逐渐成为提高诊疗效果的重要手段。随着科技的进步,人工智能(AI)在医疗领域的应用越来越广泛。本文将探讨精准医疗的发展趋势,并介绍Kompas.ai如何通过AI技术助力精准医疗的发展。 精准医疗…

哈尔滨三级等保测评需要测哪些设备?

哈尔滨三级等保测评需要测的设备,主要包括物理安全设备、网络安全设备和应用安全设备三大类别。这些设备在保障哈尔滨地区信息系统安全方面发挥着至关重要的作用。 首先,物理安全设备是确保信息系统实体安全的基础。在哈尔滨三级等保测评中,物…

Python追踪变量:深入剖析与实用技巧

Python追踪变量:深入剖析与实用技巧 在Python编程中,追踪变量的变化对于调试和理解代码的执行流程至关重要。然而,随着程序的复杂性增加,变量的追踪变得愈发困难。本文将从四个方面、五个方面、六个方面和七个方面,深…

纷享销客安全体系:安全合规认证

安全合规认证是指组织通过独立的第三方机构对其信息系统和数据进行评估和审查,以确认其符合相关的安全标准、法律法规和行业要求的过程。 安全合规认证可以帮助组织提高信息系统和数据的安全性,并向客户、合作伙伴和监管机构证明其符合相关的安全标准和…

Parallels Desktop for Mac 19.4.0更新了哪些内容?有什么改进?

带来了重新设计的共享 Mac 文件夹版本,这些文件夹现在是符号链接,像指针一样指向您的 Mac 文件夹中的文件,同时仍然显示在 Windows 的本地磁盘上。 修复了由于共享文件夹问题导致 NinjaTrader 无法正常启动的问题。 修复了由于共享文件夹问…

指标体系建设10大坑

在企业经营和运营管理中,指标体系的建设至关重要,它在一定程度上是反映业务的问题状况,影响决策者的决策。但是,在指标体系的建设过程中,常常会存在一些不容忽视的“坑”,今天做个总结,以下为个…

基于SpringBoot+Vue电影院选票系统设计和实现(源码+LW+调试文档+讲解等)

💗博主介绍:✌全网粉丝1W,CSDN作者、博客专家、全栈领域优质创作者,博客之星、平台优质作者、专注于Java、小程序技术领域和毕业项目实战✌💗 🌟文末获取源码数据库🌟 感兴趣的可以先收藏起来,还…

基于Python+FFMPEG环境下载B站歌曲

题主环境 WSL on Windows10 命令如下 # python3.9 pip install --pre yutto yutto --batch https://www.bilibili.com/video/BV168411o7Bh --audio-only ls | grep aac | xargs -I {} ffmpeg -i {} -acodec libmp3lame {}.mp3WinAmp

大白话讲清楚:什么是 Langchain 及其核心概念

在AI和机器学习领域,每天都有新技术和框架涌现。今天,我们来聊聊最近引起广泛关注的一个框架 —— Langchain。 https://python.langchain.com/docs/get_started/introduction 那么,Langchain到底是什么,它为什么这么受欢迎&…

.NET集成DeveloperSharp操作Redis缓存

🏆作者:科技、互联网行业优质创作者 🏆专注领域:.Net技术、软件架构、人工智能、数字化转型、DeveloperSharp、微服务、工业互联网、智能制造 🏆欢迎关注我(Net数字智慧化基地),里面…

C语言 XOR加解密

一、XOR加密特性 简单性:XOR是一种基本的位运算,实现起来非常简单,不需要复杂的算法或库。 速度:由于其简单性,XOR操作执行速度很快,适合需要快速处理大量数据的场景。 可逆性:XOR操作是可逆…

Vue3+vite部署nginx的二级目录,使用hash模式

修改router访问路径 import { createRouter, createWebHashHistory } from vue-routerconst router createRouter({history: createWebHashHistory (/mall4pc-bbc/),routes: [XXX,] })配置package.json文件 "build:testTwo": "vite build --mode testing --ba…

go语言接口之接口值

概念上讲一个接口的值,接口值,由两个部分组成,一个具体的类型和那个类型的值。它们 被称为接口的动态类型和动态值。对于像Go语言这种静态类型的语言,类型是编译期的概 念;因此一个类型不是一个值。在我们的概念模型中…

PCL 多边形缩放操作

文章目录 一、简介二、实现代码三、实现效果参考资料一、简介 这里基于之前的博客(PCL 计算多边形质心点(二维))实现多边形的缩放操作,思路很简单:即沿着质心点与多边形端点的方向缩小或放大整个多边形。 二、实现代码 //标准文件 #include <limits> #include <…

2024-06-07 问AI: LLM tokenizer 是什么?

文心一言 LLM Tokenizer&#xff08;大型语言模型分词器&#xff09;是大型语言模型&#xff08;Large Language Model, LLM&#xff09;中的一个关键组件&#xff0c;它负责将输入的文本数据转换为模型能够处理的数值格式。以下是关于LLM Tokenizer的详细解释&#xff1a; 基…

R语言数据分析16-针对芬兰污染指数的分析与考察

1. 研究背景及意义 近年来&#xff0c;随着我国科技和经济高速发展&#xff0c;人们生活质量也随之显著提高。但是&#xff0c; 环境污染问题也日趋严重&#xff0c;给人们的生活质量和社会生产的各个方面都造成了许多不 利的影响。空气污染作为环境污染主要方面&#xff0c;更…

PolygonalSurfaceContourLineInterpolator 多边形交互器

1. 效果&#xff1a; 2.简介&#xff1a; 可以实现在多边形上进行交互&#xff0c;选择&#xff1b;在多边形曲面上实现轮廓点的交互绘制。 该类的使用需要结合 vtkPolygonalSurfacePointPlacer 类&#xff0c;定位点的功能也就是拾取器。 前提&#xff1a;输入的多边形曲面…

(科学:计算能量)编写程序,计算将水从初始温度加热到最终温度所需的能量。程序应该提示用户输入水的重量(以千克为单位),以及水的初始温度和最终温度。

(科学:计算能量)编写程序&#xff0c;计算将水从初始温度加热到最终温度所需的能量。程序 应该提示用户输入水的重量(以千克为单位)&#xff0c;以及水的初始温度和最终温度。计算能量 的公式是: 这里的 M 是以千克为单位的水的重量,温度以摄氏度为单位,而能量 O 以焦耳为单位。…

Mysql事务及其原理

什么是事务 说到事务&#xff0c;首先想到 ACID&#xff08;Atomicity、Consistency、Isolation、Durability&#xff0c;即原子性、一致性、隔离性、持久性&#xff09; MySQL 事务提供三个基本的事务指令&#xff1a; 可以使用 start transaction 或者 begin 开启事务。使…

【Python系列】Python 中的运算符:基础与高级用法

&#x1f49d;&#x1f49d;&#x1f49d;欢迎来到我的博客&#xff0c;很高兴能够在这里和您见面&#xff01;希望您在这里可以感受到一份轻松愉快的氛围&#xff0c;不仅可以获得有趣的内容和知识&#xff0c;也可以畅所欲言、分享您的想法和见解。 推荐:kwan 的首页,持续学…