课程笔记 - 深入浅出 RPC 框架 | 青训营笔记

IllTamer
89 阅读6分钟

这是我参与「第五届青训营 」伴学笔记创作活动的第 15 天

RPC 框架分层设计

基本概念

RPC - Remote Procedure Calls

RPC 需要解决的问题

  1. 函数映射
  2. 数据转换成字节流
  3. 网络传输

RPC 概念模型

  • User
  • User-Stub
  • RPC-Runtime
  • Server-Stub
  • Server

image.png

基本概念

  • IDL (Interface description language) 文件
    IDL 通过一种中立的方式来描述接口，使得在不同平台上运行的对象和用不同语言编写的程序可以相互通信
  • 生成代码
    通过编译器工具把 IDL 文件转换成语言对应的静态库
  • 编解码
    从内存中表示到字节序列的转换称为编码，反之为解码，也常叫做序列化和反序列化
  • 通信协议
    规范了数据在网络中的传输内容和格式。除必须的请求/响应数据外，通常还会包含额外的元数据
  • 网络传输
    通常基于成熟的网络库走 TCP/UDP 传输

image.png

RPC 的好处

  1. 单一职责，有利于分工协作和运维开发
  2. 可扩展性强，资源使用率更优
  3. 故障隔离，服务的整体可靠性更高

RPC 带来的问题

  1. 服务宕机，对方应该如何处理?
  2. 在调用过程中发生网络异常，如何保证消息的可达性?
  3. 请求量突增导致服务无法及时处理，有哪些应对措施?

分层设计

以 Apache Thrift 为例
image.png

编解码层 - 数据格式

  • 语言特定的格式
    许多编程语言都内建了将内存对象编码为字节序列的支持，例如Java有java.io.Serializable
  • 文本格式
    JSON、XML、CSV 等文本格式，具有人类可读性
  • 二进制编码
    具备跨语言和高性能等优点，常见有Thrift的BinaryProtocol, Protobuf 等

以 Thrift-BinaryProtocol-TLV 为例

  • Tag：标签，可以理解为类型

  • Lenght：长度

  • Value：值，Value也可以是个TLV结构

  • 定义文件
    image.png

  • 二进制编码
    image.png

编解码层 - 选型

  • 兼容性
    支持自动增加新的字段，而不影响老的服务，这将提高系统的灵活度
  • 通用性
    支持跨平台、跨语言
  • 性能
    从空间和时间两个维度来考虑，也就是编码后数据大小和编码耗费时长

协议层 - 概念

  • 特殊结束符
    一个特殊字符作为每个协议单元结束的标示
  • 变长协议
    以定长加不定长的部分组成，其中定长的部分需要描述不定长的内容长度

协议层 - 协议构造

  • LENGTH：数据包大小，不包含自身
  • HEADER MAGIC：标识版本信息，协议解析时候快速校验
  • SEQUENCE NUMBER：表示数据包的 seqID,可用于多路复用，单连接内递增
  • HEADER SIZE：头部长度，从第14个字节开始计算一直到PAYLOAD前
  • PROTOCOL ID：编解码方式，有 Binary 和 Compact 两种
  • TRANSFORM ID：压缩方式，如 zlib 和 snappy
  • INFO ID：传递一些定制的 meta 信息
  • PAYLOAD：消息体

image.png

协议层 - 协议解析

  • (Peek) -> MagicNumber -> (Peek) -> PayloadCodec -> (Decode) -> Payload

网络通信层 - Sockets API
image.png

网络通信层 - 网络库

  • 提供易用API
    封装底层Socket API
    连接管理和事件分发
  • 功能
    协议支持: tcp、 udp和uds等
    优雅退出、异常处理等
  • 性能
    应用层 buffer 减少 copy
    高性能定时器、对象池等

关键指标

稳定性 - 保障策略

  • 熔断：保护调用方，防止被调用的服务出现问题而影响到整个链路
  • 限流：保护被调用方，防止大流量把服务压垮
  • 超时控制：避免浪费资源在不可用节点上

稳定性 - 请求成功率

  • 负载均衡
  • 重试

稳定性 - 长尾请求

  • 以 pc99% 时间为预期时间，超时后重新发出请求，以减少长尾请求耗时

稳定性 - 注册中间件

易用性

  • 开箱即用
    合理的默认参数选项、丰富的文档
  • 周边工具
    生成代码工具、脚手架工具

扩展性

  • Middleware
  • Option
  • 编解码层
  • 协议层
  • 网络传输层
  • 代码生成工具插件扩展

观测性

  • Log、Metric、Tracing
  • 内置观测性服务

高性能

  • 场景
    • 单机多机
    • 单机多链接
    • 单/多client 单/多server
    • 不同大小的请求包
    • 不同请求类型
  • 目标
    • 高吞吐
    • 低延迟
  • 手段
    • 连接池
    • 多路复用
    • 高性能编解码协议
    • 高性能网络库

总结

  1. 框架通过中间件来注入各种服务治理策略，保障服务的稳定性
  2. 通过提供合理的默认配置和方便的命令行工具可以提升框架的易用性
  3. 框架应当提供丰富的扩展点，例如核心的传输层和协议层
  4. 观测性除了传统的Log、Metric 和Tracing之外，内置状态暴露服务也很有必要
  5. 性能可以从多个层面去优化，例如选择高性能的编解码协议和网络库

企业实践 - Kitex

整体架构

  • Kitex Core 核心组件
  • Kitex Byted 与公司内部基础设施集成
  • Kitex Tool 代码生成工具

image.png

自研网络库 - 背景

  • 原生库无法感知连接状态
    在使用连接池时，池中存在失效连接，影响连接池的复用。
  • 原生库存在 goroutine 暴涨的风险
    一个连接一个 goroutine 的模式，由于连接利用率低下，存在大量 goroutine 占用调度开销，影响性能

自研网络库 - Netpoll

  • 解决无法感知连接状态问题
    引入 epoll 主动监听机制，感知连接状态
  • 解决 goroutine 暴涨的风险
    建立 goroutine 池，复用 goroutine
  • 提升性能
    引入 Nocopy Buffer,向上层提供 NoCopy 的调用接口，编解码层面零拷贝

扩展性设计

  • 支持多协议，也支持自定义协议拓展
  • image.png
  • image.png

性能优化 - 网络库优化

  • 调度优化
    epoll_wait 在调度上的控制
    gopool 重用 goroutine 降低同时运行协程数
  • LinkBuffer
    读写并行无锁，支持nocopy地流式读写
    高效扩缩容
    Nocopy Buffer 池化，减少 GC
  • Pool
    引入内存池和对象池，减少GC开销

性能优化 - 编解码优化

  • Codegen
    预计算并预分配内存，减少内存操作次数，包括内存分配和拷贝
    Inline 减少函数调用次数和避免不必要的反射操作等
    自研了 Go 语言实现的 Thrift IDL 解析和代码生成器，支持完善的 Thrift IDL 语法和语义检 查，并支持了插件机制 - Thriftgo
  • JIT (Just In Time)
    使用 JIT 编译技术改善用户体验的同时带来更强的编解码性能，减轻用户维护生成代码的负担
    基于 JIT 编译技术的高性能动态 Thrift 编解码器 - Frugal

合并部署

  • 微服务过微，传输和序列化开销越来越大
  • 将亲和性强的服务实例尽可能调度到同一个物理机，远程 RPC 调用优化为本地 IPC 调用

image.png

  • 中心化的部署调度和流量控制
  • 基于共享内存的通信协议
  • 定制化的服务发现和连接池实现
  • 定制化的服务启动和监听逻辑
avatar
文章
阅读
粉丝