这是我参与「第五届青训营 」笔记创作活动的第14天
重点内容
- 基本概念
- 分层设计
- 关键指标
- 企业实践
知识点介绍
基本概念
本地函数调用
func main(){
var a = 2
var b = 3
result := calculate(a, b)
fmt.Println(result)
return
}
func calculate(x, y int) int {
z := x * y
return z
}
- 将a和b的值压栈
- 通过函数指针找到 calculate函数，进入函数取出栈中的值2和3，将其赋予x和y
- 计算x * y，并将结果存在z
- 将z的值压栈，然后从calculate返回
- 从栈中取出z的返回值，并赋值给result
远程函数调用
RPC需要解决的问题
- 函数映射
- 数据转换成字节流
- 网络传输
一次RPC的完整过程
-
IDL文件
IDL通过一种中立的方式来描述接口，使得在不同平台上运行的对象和用不同语言编写的程序可以相互通信
-
生成代码
通过编译器工具把IDL文件转换成语言对应的静态库
-
编解码
从内存中表示到字节序列的转换称为编码，反之为解码，常叫做序列化和反序列化
-
通信协议
规范了数据在网络中的传输内容和格式。除去必须的请求/响应数据外，通常还会包含额外的元数据
-
网络传输
通常基于成熟的网络库走TCP/UDP传输
RPC的好处
- 单一职责，有利于分工协作的运维开发
- 可拓展性强，资源使用率更高
- 故障隔离，服务的整体可靠性更高
RPC带来的问题
- 服务宕机，对方该如何处理
- 在调用过程中发生网络异常，如何保证消息的可达性
- 请求量突增导致服务无法及时处理，有哪些应对措施
分层设计
- 编解码层
- 协议层
- 网络通信层
编解码层-选型
- 兼容性：支持自动增加新的字段，而不影响老的服务，这将提高系统的灵活性
- 通用性：支持跨平台、跨语言
- 性能：从空间和时间两个维度来考虑，也就是编码后的数据大小和编码耗费时长
协议层-协议构造
- LENGTH：数据包大小，不含本身
- HEARER MAGIC：标识版本信息吗，协议解析时候快速校验
- SEQUENCE NUMBER：表示数据包的seqID，可用于多路复用，单连接内递增
- HEADER SIZE：头部长度，从第14个字节开始计算一直到PAYLOAD前
- PROTOCOL ID：编解码方式，有Binary和Compact两种
- TRANSFORM ID：压缩方式，如zlib和snappy
- INFO ID：传递一些定制的meta信息
- PAYLOAD：消息体
网络通信层-网络库
-
提供易用API
- 封装底层Socket API
- 连接管理和事件分发
-
功能
- 协议支持：tcp、udp、uds等
- 优雅推出、异常处理
-
性能
- 应用层buffer减少copy
- 高性能定时器、对象池等
关键指标
稳定性-保障策略
- 熔断：保护调用方，防止被调用的服务出现问题而影响到整个链路
- 限流：保护被调用方，防止大流量把服务压垮
- 超时控制：避免浪费资源在不可用节点上
稳定性-请求成功率
- 负载均衡
- 重试
易用性
- 开箱即用：合理的默认参数选项、丰富的文档
- 周边工具：生成代码工具、脚手架工具
扩展性
- Middleware
- Option
- 编解码层
- 协议层
- 网络传输层
- 代码生成工具插件扩展
观测性
- Log、Metric、Tracing
- 内置观测行服务
高性能
-
场景
- 单机多机
- 单链接多链接
- 单/多client 单/多server
- 不同大小的请求包
- 不同请求类型：例如 pingpong、streaming等
-
目标
- 高吞吐
- 低延迟
-
手段
- 连接池
- 多路复用
- 高性能编解码协议
- 高性能网络库
企业实践
- Kitex Core 核心组件
- Kitex Byted 与公司内部基础设施集成
- Kitex Tool 代码生成工具
自研网络库 - 背景
- 原生库无法感知连接状态
- 原生库存在goroutine暴涨的风险
自研网络库-Netpoll
- 引入epoll主动监听机制，感知连接状态
- 建立goroutine池，复用goroutine
- 提升性能
