这是我参与「第三届青训营-后端场」笔记创作活动的的第5篇笔记
深入浅出 RPC 框架
1 基本概念
1.1 本地函数调用
func main() {
var a = 2
var b = 3
result := calculate(a, b)
fmt.Println(result)
return
}
func calculate(x, y int) {
z := x * y
return z
}
- 将 a 和 b 的值压栈
- 通过函数指针找到 calculate 函数,进入函数取出栈中的值 2 和 3,将其赋予 x 和 y
- 计算 x * y,并将结果存在 z
- 将 z 的值压栈,然后从 calculate 返回
- 从栈中取出 z 返回值,并赋值给 result
1.2 远程函数调用(RPC-Remote Procedure Calls)
RPC 需要解决的问题
- 函数映射
- 数据转换成字节流
- 网络传输
1.3 RPC 概念模型
1984年 Nelson 发表了论文《Implementing Remote Procedure Calls》,其中提出了 RPC 的过程由 5个模型组成:User、User-Stub、RPC-Runtime、Server-Stub、Server
1.4 一次 RPC 的完整过程
IDL(Interface description language) 文件
IDL 通过一种中立的方式来描述接口,使得在不同平台上运行的对象和用不同语言编写的程序可以相互通信
生成代码
通过便一起去工具把 IDL 文件转换成语言对应的静态库
编解码
从内存中表示到字节序列的转换称为编码,反之为解码,也常叫做序列化和反序列化
通信协议
规范了数据在网络中的传输内容和格式。除必须的请求/响应数据外,通常还包含额外的元数据
网络传输
通常基于成熟的网络库走 TCP/UDP 传输
1.5 RPC 的好处
- 单一职责,有利于分工协作和运维开发
- 可扩展性强,资源使用率更优
- 故障隔离,服务的整体可靠性更高
2 分层设计
2.1 分层设计-以 Apache Thrift 为例
2.2 编解码层
2.2.1 编解码层-生成代码
2.2.2 编解码层-数据格式
-
语言特定的格式
- 许多编程语言都内建了将内存对象编码为字节序列的支持,例如 Java 有 java.io.Serializable
-
文本格式
- JSON、XML、CSV 等文本格式,具有人类可读性
-
二进制编码
- 具备跨语言和高性能等优点,常见有 Thrift 和 BinaryProtocal,Protobuf 等
2.2.2.1 编解码层-二进制编码
TLV 编码
- Tag:标签,可以理解为类型
- Lenght:长度
- Value:值,Value 也可以是个 TLV 结构
struct Person {
1: required string userName,
2: optional i64 favoriteNumber,
3: optional list<string> interests
}
2.2.3 编解码层-选型
-
兼容性
- 支持自动增加新的字段,而不影响老的服务,这将提高系统的灵活度
-
通用性
- 支持跨平台、跨语言
-
性能
- 从空间和时间两个维度来考虑,也就是编码后数据大小和编码耗费时长
2.3 协议层
2.3.1 协议层-概念
-
特殊结束符
- 一个特殊字符作为每个协议单元结束的标识
-
变长协议
- 以定长加不定长的部分组成,其中定长的部分需要描述不定长的内容长度
2.3.2 协议层-协议构造
LENGTH:数据包大小,不包含自身
HEADER MAGIC:标识版本信息,协议解析时候快速校验
SEQUENCE NUMBER:表示数据包的 seqID,可用于多路复用,单连接内递增
HEADER SIZE:头部长度,从第14个字节开始计算一直到 PAYLOAD前
PROTOCOL ID:编解码方式,有 Binary 和 Compact 两种
TRANSFORM ID:压缩方式,如 zIib和 snappy
INFO ID:传递一些定制的meta信息
PAYLOAD:消息体
2.3.3 协议层-协议解析
2.4 网络通信层
2.4.1 网络通信层-Sockets API
2.4.2 网络通信层-网络库
-
提供易用 API
- 封装底层 Socket API
- 连接管理和事件分发
-
功能
- 协议支持:tcp、udp 和 uds 等
- 优雅退出、异常处理等
-
性能
- 应用层 buffer 减少 copy
- 高性能定时器、对象池等
3 关键指标
3.1 稳定性
3.1.1 稳定性-保障策略
- 熔断:保护调用方,防止被调用的服务出现问题而影响到整个链路
- 限流:保护被调用方,防止大流量把服务压垮
- 超时控制:避免浪费资源在不可用节点上
3.1.2 稳定性-请求成功率
负载均衡
重试
3.1.3 稳定性-长尾请求
3.1.4 稳定性-注册中间件
3.2 易用性
-
开箱即用
- 合理的默认参数选项、丰富的文档
-
周边工具
- 生成代码工具、脚手架工具
3.3 扩展性
- Middleware
- Option
- 编解码层
- 协议层
- 网络传输层
- 代码生成工具插件扩展
3.4 观测性
- Log、Metric、Tracing
- 内置观测性服务
3.5 高性能
- 场景
- 单机多机
- 单连接多连接
- 单/多client 单/多server
- 不同大小的请求包
- 不同请求类型:例如 pingpong、streaming 等
- 目标
- 高吞吐
- 低延迟
- 手段
- 连接池
- 多路复用
- 高性能编码协议
- 高性能网络库