kcp/README.md

172 lines
6.7 KiB
Markdown
Raw Normal View History

2014-12-27 01:00:23 +08:00
KCP - A Fast and Reliable ARQ Protocol
2014-12-30 17:22:33 +08:00
======================================
2014-12-27 00:46:34 +08:00
2014-12-27 00:58:34 +08:00
# 简介
2014-12-30 18:28:31 +08:00
KCP是一个快速可靠协议能以比 TCP浪费10%-20%的带宽的代价,换取平均延迟降低
30%-40%且最大延迟降低三倍的传输效果。纯算法实现并不负责底层协议如UDP
的收发,需要使用者自己定义下层数据包的发送方式,以 callback的方式提供给 KCP。
连时钟都需要外部传递进来,内部不会有任何一次系统调用。
2014-12-27 00:58:34 +08:00
2014-12-30 18:28:31 +08:00
整个协议只有 ikcp.h, ikcp.c两个源文件可以方便的集成到用户自己的协议栈中。
也许你实现了一个P2P或者某个基于 UDP的协议而缺乏一套完善的ARQ可靠协议实现
那么简单的拷贝这两个文件到现有项目中,稍微编写两行代码,即可使用。
2014-12-27 00:58:34 +08:00
2014-12-30 17:22:33 +08:00
# 技术特性
2014-12-27 00:58:34 +08:00
2014-12-30 18:28:31 +08:00
TCP是为流量设计的每秒内可以传输多少KB的数据讲究的是充分利用带宽。而KCP
是为流速设计的单个数据包从一端发送到一端需要多少时间以10%-20%带宽浪费
的代价换取了比 TCP快30%-40%的传输速度。TCP信道是一条流速很慢但每秒流量很大
的大运河而KCP是水流湍急的小激流。KCP有正常模式和快速模式两种通过以下策略
达到提高流速的结果:
2014-12-27 00:58:34 +08:00
2014-12-30 17:22:33 +08:00
#### RTO翻倍vs不翻倍
2014-12-27 00:58:34 +08:00
TCP超时计算是RTOx2这样连续丢三次包就变成RTOx8了十分恐怖而KCP启动快速
模式后不x2只是x1.5实验证明1.5这个值相对比较好),提高了传输速度。
2014-12-30 17:22:33 +08:00
#### 选择性重传 vs 全部重传:
2014-12-27 00:58:34 +08:00
TCP丢包时会全部重传从丢的那个包开始以后的数据KCP是选择性重传只重传真正
丢失的数据包。
2014-12-30 17:22:33 +08:00
#### 快速重传:
2014-12-27 00:58:34 +08:00
发送端发送了1,2,3,4,5几个包然后收到远端的ACK: 1, 3, 4, 5当收到ACK3时
KCP知道2被跳过1次收到ACK4时知道2被跳过了2次此时可以认为2号丢失不用
等超时直接重传2号包大大改善了丢包时的传输速度。
2014-12-30 17:22:33 +08:00
#### 延迟ACK vs 非延迟ACK
2014-12-27 00:58:34 +08:00
TCP为了充分利用带宽延迟发送ACKNODELAY都没用这样超时计算会算出较大
RTT时间延长了丢包时的判断过程。KCP的ACK是否延迟发送可以调节。
2014-12-30 17:22:33 +08:00
#### UNA vs ACK+UNA
2014-12-27 00:58:34 +08:00
ARQ模型响应有两种UNA此编号前所有包已收到如TCP和ACK该编号包已收到
光用UNA将导致全部重传光用ACK则丢失成本太高以往协议都是二选其一
KCP协议中除去单独的 ACK包外所有包都有UNA信息。
2014-12-30 17:22:33 +08:00
#### 非退让流控:
2014-12-27 00:58:34 +08:00
KCP正常模式同TCP一样使用公平退让法则即发送窗口大小由发送缓存大小、接收
端剩余接收缓存大小、丢包退让及慢启动这四要素决定。但传送及时性要求很高的小
数据时,可选择通过配置跳过后两步,仅用前两项来控制发送频率。以牺牲部分公平
性及带宽利用率之代价换取了开着BT都能流畅传输的效果。
2014-12-30 17:22:33 +08:00
# 基本使用
2014-12-27 00:58:34 +08:00
2014-12-30 17:59:54 +08:00
1. 创建 KCP对象
2014-12-27 00:58:34 +08:00
2014-12-30 17:59:54 +08:00
```cpp
// 初始化 kcp对象conv为一个表示会话编号的整数和tcp的 conv一样通信双
// 方需保证 conv相同相互的数据包才能够被认可user是一个给回调函数的指针
ikcpcb *kcp = ikcp_create(conv, user);
```
2014-12-27 00:58:34 +08:00
2014-12-30 17:59:54 +08:00
2. 设置回调函数:
2014-12-27 00:58:34 +08:00
2014-12-30 17:59:54 +08:00
```cpp
// KCP的下层协议输出函数KCP需要发送数据时会调用它
// buf/len 表示缓存和长度
// user指针为 kcp对象创建时传入的值用于区别多个 KCP对象
int udp_output(const char *buf, int len, ikcpcb *kcp, void *user)
{
....
}
// 设置回调函数
kcp->output = udp_output;
```
2014-12-27 00:58:34 +08:00
2014-12-30 17:59:54 +08:00
3. 循环调用 update
2014-12-27 00:58:34 +08:00
2014-12-30 17:59:54 +08:00
```cpp
// 以一定频率调用 ikcp_update来更新 kcp状态并且传入当前时钟毫秒单位
// 如 10ms调用一次或用 ikcp_check确定下次调用 update的时间不必每次调用
ikcp_update(kcp, millisec);
```
2014-12-27 00:58:34 +08:00
2014-12-30 17:59:54 +08:00
4. 输入一个下层数据包:
2014-12-27 00:58:34 +08:00
2014-12-30 17:59:54 +08:00
```cpp
// 收到一个下层数据包比如UDP包时需要调用
ikcp_input(kcp, received_udp_packet, received_udp_size);
```
2014-12-30 18:28:31 +08:00
处理了下层协议的输出/输入后 KCP协议就可以正常工作了使用 ikcp_send 来向
远端发送数据。而另一端使用 ikcp_recv(kcp, ptr, size)来接收数据。
2014-12-27 00:58:34 +08:00
2014-12-30 17:22:33 +08:00
# 协议配置
2014-12-27 00:58:34 +08:00
协议默认模式是一个标准的 ARQ需要通过配置打开各项加速开关
1. 工作模式:
2014-12-30 17:59:54 +08:00
int ikcp_nodelay(ikcpcb *kcp, int nodelay, int interval, int resend, int nc)
2014-12-27 00:58:34 +08:00
nodelay :是否启用 nodelay模式0不启用1启用。
2014-12-30 18:01:23 +08:00
2014-12-27 00:58:34 +08:00
interval :协议内部工作的 interval单位毫秒比如 10ms或者 20ms
2014-12-30 18:01:23 +08:00
2014-12-27 00:58:34 +08:00
resend 快速重传模式默认0关闭可以设置22次ACK跨越将会直接重传
2014-12-30 18:01:23 +08:00
2014-12-27 00:58:34 +08:00
nc 是否关闭流控默认是0代表不关闭1代表关闭。
普通模式:`ikcp_nodelay(kcp, 0, 40, 0, 0);
2014-12-30 18:01:23 +08:00
2014-12-27 00:58:34 +08:00
极速模式: ikcp_nodelay(kcp, 1, 10, 2, 1);
2. 最大窗口:
2014-12-30 18:29:30 +08:00
2014-12-30 17:59:54 +08:00
int ikcp_wndsize(ikcpcb *kcp, int sndwnd, int rcvwnd);
2014-12-27 00:58:34 +08:00
该调用将会设置协议的最大发送窗口和最大接收窗口大小默认为32.
3. 最大传输单元:
纯算法协议并不负责探测 MTU默认 mtu是1400字节可以使用ikcp_setmtu来设置
该值。该值将会影响数据包归并及分片时候的最大传输单元。
4. 最小RTO
不管是 TCP还是 KCP计算 RTO时都有最小 RTO的限制即便计算出来RTO为40ms
于默认的 RTO是100ms协议只有在100ms后才能检测到丢包快速模式下为30ms
以手动更改该值:
2014-12-30 17:59:54 +08:00
```cpp
kcp->rx_minrto = 10;
```
2014-12-27 00:58:34 +08:00
2014-12-30 17:22:33 +08:00
# 最佳实践
#### 内存分配器
2014-12-27 00:58:34 +08:00
2014-12-30 18:28:31 +08:00
默认KCP协议使用 malloc/free进行内存分配释放如果应用层接管了内存分配可以
用ikcp_allocator来设置新的内存分配器注意要在一开始设置
2014-12-27 00:58:34 +08:00
2014-12-30 17:59:54 +08:00
```cpp
ikcp_allocator(my_new_malloc, my_new_free);
```
2014-12-27 00:58:34 +08:00
2014-12-30 17:22:33 +08:00
#### 前向纠错注意
2014-12-27 00:58:34 +08:00
2014-12-30 18:28:31 +08:00
为了进一步提高传输速度,下层协议也许会使用前向纠错技术。需要注意,前向纠错会根
据冗余信息解出原始数据包。相同的原始数据包不要两次input到KCP否则将会导致kcp
以为对方重发了这样会产生更多的ack占用额外带宽。
2014-12-27 00:58:34 +08:00
2014-12-30 18:28:31 +08:00
比如下层协议使用最简单的冗余包:单个数据包除了自己外,还会重复存储一次上一个数
据包,以及上上一个数据包的内容:
2014-12-27 00:58:34 +08:00
2014-12-27 01:04:56 +08:00
```cpp
2014-12-27 00:58:34 +08:00
Fn = (Pn, Pn-1, Pn-2)
P0 = (0, X, X)
P1 = (1, 0, X)
P2 = (2, 1, 0)
P3 = (3, 2, 1)
```
这样几个包发送出去接收方对于单个原始包都可能被解出3次来后面两个包任然会重
复该包内容那么这里需要记录一下一个下层数据包只会input给kcp一次避免过
多重复ack带来的浪费。