基本概念

本地函数调用

  1. 将 a 和 b 的值压栈
  2. 通过函数指针找到 calculate 函数，进入函数取出栈中的值 2 和 3，将其赋予 x 和 y
  3. 计算 x * y，并将结果存在 z
  4. 将 z 的值压栈，然后从 calculate 返回
  5. 从栈中取出 z 返回值，并赋值给 result

远程函数调用（RPC-Remote Procedure Calls）

  • RPC 需要解决的问题
    • 函数映射
    • 数据转换成字节流
    • 网络传输

RPC 概念模型

1984 年 Neison 发表了论文《Implementing Remote Procedure Calls》，其中提出了 RPC 的过程由 5 个模型组成：User、User-Stub、RPC-Runtime、Server-Stub、Server

一次 RPC 的完整过程

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

RPC 的好处

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

RPC 带来的问题

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

分层设计

以 Apache Thrift 为例

编解码层

  • 生成代码
  • 数据格式
    • 语言特定的格式
      • 许多编程语言都内建了将内存对象编码为字节序列的支持，例如 Java 有 Java.io.Serializable
    • 文本格式
      • JSON、XML、CSV 等文本格式，具有人类可读性
    • 二进制编码
      • 具备跨语言和高性能等优点，常见有 Thrift 的 BinaryProtocol，Protobuf 等
  • 二进制编码
    • TLV 编码
        • Tag：标签，可以理解为类型
        • Lenght：长度
        • Value：值，Value 也可以是个 TLV 结构
  • 选型
    • 兼容性
      • 支持自动增加新的字段，而不影响老的服务，这将提高系统的灵活性
    • 通用性
      • 支持跨平台、跨语言
    • 性能
      • 从空间和时间两个维度来考虑，也就是编码后数据大小和编码耗费时长

协议层

  • 概念
    • 特殊结束符：一个特殊字符作为每个协议单元结束的标识
    • 变长协议：以定长加不定长的部分组成，其中定长的部分需要描述不定长的内容长度
  • 协议构造
    • LENGTH：数据包大小，不包含自身
    • HEADER MAGIC：标识版本信息，协议解析时候快速校验
    • SEQUENCE NUMBER：表示数据包的 seqID，可用于多路复用，单连接内递增
    • HEADER SIZE：头部长度，从第 14 个字节开始计算一直到 PAYLOAD 前
    • PROTOCAL ID：编解码方式，有 Binary 和 Compact 两种
    • TRANSFORM ID：压缩方式，如 zlib 和 snappy
    • INFO ID：传递一些定制的 meta 信息
    • PAYLOAD：消息体
  • 协议解析

网络通信层

  • Sockets API

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

关键指标

稳定性

  • 保障策略
    • 熔断：保护调用方，防止被调用的服务出现问题而影响到整个链路
    • 限流：保护被调用方，防止大流量把服务压垮
    • 超时控制：避免浪费资源在不可用节点上
  • 请求成功率
    • 负载均衡
    • 重试
  • 长尾请求
    • Backup Request
  • 注册中间件

易用性

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

扩展性

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

观测性

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

高性能

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

企业实践

整体架构-Kitex

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

自研网络库

  • 背景
    • 原生库无法感知连接状态问题
      • 在使用连接池时，池中存在失效链接，影响连接池的复用
    • 原生库存在 goroutine 暴涨的风险
      • 一个连接一个 goroutine 的模式，由于连接利用率低下，存在大量 goroutine 占用调度开销，影响性能
  • Netpoll
    • 解决无法感知连接状态问题
      • 引入 epoll 主动监听机制，感知连接状态
    • 解决 goroutine 暴涨的风险
      • 建议 goroutine 池，复用 goroutine
    • 提升性能
      • 引入 Nocopy Buffer，向上层提供 NoCopy 的调用接口，编解码层面零拷贝

扩展性设计

  • 支持多协议，也支持灵活的自定义协议扩展

性能优化

  • 网络库优化
    • 调度优化
      • epoll_wait 在调度上的控制
      • gopool 重用 goroutine 降低同时运行协程数
    • LinkBuffer
      • 读写并行无锁，支持 nocopy 地流式读写
      • 高效扩缩容
      • Nocopy Buffer 池化，减少 GC
    • Pool
      • 引入内存池和对象池，减少 GC 开销
  • 编解码优化
    • Codegen
      • 预计算并预分配内存，减少内存操作次数，包括次数分配和拷贝
      • Inline 减少函数调用次数和减少不必要的反射操作等
      • 自研了 Go 语言实现的 Thrift IDL 解析和代码生成器，支持完善的 Thrift IDL 语法和语义检查，并支持了插件机制 - Thriftgo
    • JIT
      • 使用 JIT 编译技术改善用户体验的同时带来更强的编解码性能，减轻用户维护生成代码的负担
      • 基于 JIT 编译技术的高性能动态 Thrift 编解码器 - Frugal

合并部署

  • 微服务过微，传输和序列化开销越来越大
  • 将亲和性强的服务实例尽可能调度到同一个物理机，远程 RPC 调用优化为本地 IPC 调用
  • 中心化的部署调度和流量控制
  • 基于共享内存的通信协议
  • 定制化的服务发现和连接池实现
  • 定制化的服务启动和监听逻辑
许可协议

本文采用 署名-非商业性使用-相同方式共享 4.0 国际 许可协议，转载请注明出处。

分享文章