【编程之美】超时重传,滑动窗口,可靠性传输原理C语言实现

简介: 最近在做无线传输的通信协议实现,这里涉及到超时重传,窗口移动,可靠性传输的问题,有些一些心得,也有很多的调试历程,与大家分享,当然源码不会开源,但是思想会毫无保留.

微信链接:https://mp.weixin.qq.com/s/LMBklt3xyZR2mu076lguCg

最近在做无线传输的通信协议实现,这里涉及到超时重传,窗口移动,可靠性传输的问题,有些一些心得,也有很多的调试历程,与大家分享,当然源码不会开源,但是思想会毫无保留.
    

首先我们看重传原理ARQ

ARQ(AutomaticRepeat reQuest,自动重传请求)是在数据链路层(MAC)实现的一种可靠性传输机制。其重传原理是发送端先将数据链路层的数据SDU按照固定的ARQ块大小来进行分片,最后剩下的数据不管多小都分为一个分片,接着为每个分片进行编号BSN(Block Sequence Number),如下图所示:

ARQ机制中SDU分片和BSN示意图

随后确定发送端的ARQ滑窗,即:将第一个发送PDU块作为ARQ发送窗口的起始PDU块ARQ_TX_WINDOW_START,接下来发送的下一个PDU块作为ARQ发送下一个PDU块ARQ_TX_NEXT_BSN。当发送的1个或N个PDU块被接收端确认接收成功后,其滑窗的起始PDU块ARQ_TX_WINDOW_START会加1或N,即:往后面滑1或N格,而下一个PDU块始终指到未发送PDU块的第1个。

同时,接收端也会根据接收情况来确定接收ARQ滑窗,即:通过ARQ接收起始PDU块ARQ_RX_WINDOW_START和接收ARQ滑窗大小ARQ_RX_WINDOW_SIZE两个参数来确定该滑窗大小。当在滑窗内的PDU块全部接收到后,会确认这次接收PDU的结果,如果有个别PDU块接收失败,则在后续的反馈IE中指出来,让发送端进行重传,重传最大次数来控制重传次数,否则就直接将接收ARQ滑窗往后滑,ARQ接收起始PDU块ARQ_RX_WINDOW_START会滑到还未接收PDU块的第1个,整个滑窗整体往后滑动。
以上的传输过程请参考下图:

ARQ传输机制原理图

那么怎么实现呢?

对于单个数据包来说,是很简单的,其ARQ状态机如下

对于需要窗口传输的重传机制来说,如图所示,

发送窗口只有收到对端对于本段发送窗口内字节的ACK确认,才会移动发送窗口的左边界。
接收端可以根据自己的状况通告窗口大小,从而控制发送端的接收,进行流量控制。

我们来定义数据结构
//数据索引

typedef struct {
  int status;
  int dataID;
  u16* Recvbuffer;
  int len;
}CommDataIndex;

//包的状态

typedef struct{
  int id;
  int crc;
}PacketStatus;

//发送状态

typedef struct{
  int dataID;
  int iRetries;
  int iResendTimerID;//重传定时器
  int iCycleTimerID; //生命周期定时器

}SendStatus;

//窗口信息

typedef struct {
  int winSize;
  SendStatus status[wSize];
  int minID;
  int maxID;

}WINMSG;

//数据类型

enum
{
  RTS=0,
  CTS,

  ACKNAK,
  payload,

}DATATYPE;

数据结构定义如下图,当有数据需要发送时,先申请动态内存缓存数据,最多缓存20包数据,数据的具体内容如CommDataIndex中所示,包含数据ID序号、数据buffer、数据长度;窗口的内容(包含窗口大小,窗口中每包数据发送状态,窗口中最小最大的数据ID序号) 如winMsg所示;数据包发送状态(包含数据ID,重发次数,重发定时器,生命周期定时器)如下Status所示。

发送端具体流程:
有数据发送时,先判断CommDataIndex数组中是否有空的位置,如果为空则将数据放入,最多缓存20包数据;

判断窗口是否满状态,当窗口不是满状态时,则可以发送数据,更新窗口信息(窗口中的最小最大ID,发送状态),启动发送状态中的定时器、更新重传次数;

当返回ack,则表示发送成功,判断是哪一包发送成功,找到这一包在commDataIndex的位置,并且清空,释放内存,找到这一包在窗口中的位置,清除这个位置窗口的发送状态信息(重传次数,数据ID),关闭这个窗口位置的定时器;如果这一包是窗口中最小的ID值,则可以移动窗口,进行下一包的传输,更新窗口中最小最大ID值

当返回nak,则表示发送失败,判断是哪一包发送失败,找到这一包在winMsg的位置,关闭窗口中对应的定时器,此时进行重发,更新发送状态status,更新重传次数,并且开启窗口中对应的定时器;当重传次数超过4次时,关闭对应的定时器,清空窗口发送状态的信息,重传次数,数据ID,找到这一包在commDataIndex的位置,并且清空,释放内存。

当没有响应消息时,表示发送超时,窗口对应的定时器ID构造事件传递给通信任务的定时器事件接收ID中,在发送端事件ID中处理,首先关闭定时器,找到定时器对应的窗口的位置,更新对应窗口发送状态信息,更新重传次数,当重传次数超过4次时,关闭对应的定时器,清空窗口发送状态的信息,重传次数,数据ID。进行重传操作,并且启动定时器。

当数据发送时长到达重传生命周期定时器限值时,表示整包数据没有在规定的时间里发送成功,此时关闭对应窗口的定时器,清空对应的窗口信息以及这一包数据的缓存信息,如果此时发现缓存数据中有数据需要发送,则进行发送,更新对应的窗口信息。

相关文章
|
1月前
|
NoSQL C语言 索引
十二个C语言新手编程时常犯的错误及解决方式
C语言初学者常遇错误包括语法错误、未初始化变量、数组越界、指针错误、函数声明与定义不匹配、忘记包含头文件、格式化字符串错误、忘记返回值、内存泄漏、逻辑错误、字符串未正确终止及递归无退出条件。解决方法涉及仔细检查代码、初始化变量、确保索引有效、正确使用指针与格式化字符串、包含必要头文件、使用调试工具跟踪逻辑、避免内存泄漏及确保递归有基准情况。利用调试器、编写注释及查阅资料也有助于提高编程效率。避免这些错误可使代码更稳定、高效。
273 12
|
1月前
|
自然语言处理 编译器 Linux
C语言中抽象的编译和链接原理
C语言中抽象的编译和链接原理
20 1
|
2月前
|
存储 算法 Linux
C语言 多进程编程(一)进程创建
本文详细介绍了Linux系统中的进程管理。首先,文章解释了进程的概念及其特点,强调了进程作为操作系统中独立可调度实体的重要性。文章还深入讲解了Linux下的进程管理,包括如何获取进程ID、进程地址空间、虚拟地址与物理地址的区别,以及进程状态管理和优先级设置等内容。此外,还介绍了常用进程管理命令如`ps`、`top`、`pstree`和`kill`的使用方法。最后,文章讨论了进程的创建、退出和等待机制,并展示了如何通过`fork()`、`exec`家族函数以及`wait()`和`waitpid()`函数来管理和控制进程。此外,还介绍了守护进程的创建方法。
C语言 多进程编程(一)进程创建
|
2月前
|
Linux C语言
C语言 多进程编程(三)信号处理方式和自定义处理函数
本文详细介绍了Linux系统中进程间通信的关键机制——信号。首先解释了信号作为一种异步通知机制的特点及其主要来源,接着列举了常见的信号类型及其定义。文章进一步探讨了信号的处理流程和Linux中处理信号的方式,包括忽略信号、捕捉信号以及执行默认操作。此外,通过具体示例演示了如何创建子进程并通过信号进行控制。最后,讲解了如何通过`signal`函数自定义信号处理函数,并提供了完整的示例代码,展示了父子进程之间通过信号进行通信的过程。
|
2月前
|
Linux C语言
C语言 多进程编程(四)定时器信号和子进程退出信号
本文详细介绍了Linux系统中的定时器信号及其相关函数。首先,文章解释了`SIGALRM`信号的作用及应用场景,包括计时器、超时重试和定时任务等。接着介绍了`alarm()`函数,展示了如何设置定时器以及其局限性。随后探讨了`setitimer()`函数,比较了它与`alarm()`的不同之处,包括定时器类型、精度和支持的定时器数量等方面。最后,文章讲解了子进程退出时如何利用`SIGCHLD`信号,提供了示例代码展示如何处理子进程退出信号,避免僵尸进程问题。
|
2月前
|
消息中间件 Unix Linux
C语言 多进程编程(五)消息队列
本文介绍了Linux系统中多进程通信之消息队列的使用方法。首先通过`ftok()`函数生成消息队列的唯一ID,然后使用`msgget()`创建消息队列,并通过`msgctl()`进行操作,如删除队列。接着,通过`msgsnd()`函数发送消息到消息队列,使用`msgrcv()`函数从队列中接收消息。文章提供了详细的函数原型、参数说明及示例代码,帮助读者理解和应用消息队列进行进程间通信。
|
2月前
|
缓存 Linux C语言
C语言 多进程编程(六)共享内存
本文介绍了Linux系统下的多进程通信机制——共享内存的使用方法。首先详细讲解了如何通过`shmget()`函数创建共享内存,并提供了示例代码。接着介绍了如何利用`shmctl()`函数删除共享内存。随后,文章解释了共享内存映射的概念及其实现方法,包括使用`shmat()`函数进行映射以及使用`shmdt()`函数解除映射,并给出了相应的示例代码。最后,展示了如何在共享内存中读写数据的具体操作流程。
|
2月前
|
消息中间件 Unix Linux
C语言 多进程编程(二)管道
本文详细介绍了Linux下的进程间通信(IPC),重点讨论了管道通信机制。首先,文章概述了进程间通信的基本概念及重要性,并列举了几种常见的IPC方式。接着深入探讨了管道通信,包括无名管道(匿名管道)和有名管道(命名管道)。无名管道主要用于父子进程间的单向通信,有名管道则可用于任意进程间的通信。文中提供了丰富的示例代码,展示了如何使用`pipe()`和`mkfifo()`函数创建管道,并通过实例演示了如何利用管道进行进程间的消息传递。此外,还分析了管道的特点、优缺点以及如何通过`errno`判断管道是否存在,帮助读者更好地理解和应用管道通信技术。
|
2月前
|
存储 Ubuntu Linux
C语言 多线程编程(1) 初识线程和条件变量
本文档详细介绍了多线程的概念、相关命令及线程的操作方法。首先解释了线程的定义及其与进程的关系,接着对比了线程与进程的区别。随后介绍了如何在 Linux 系统中使用 `pidstat`、`top` 和 `ps` 命令查看线程信息。文档还探讨了多进程和多线程模式各自的优缺点及适用场景,并详细讲解了如何使用 POSIX 线程库创建、退出、等待和取消线程。此外,还介绍了线程分离的概念和方法,并提供了多个示例代码帮助理解。最后,深入探讨了线程间的通讯机制、互斥锁和条件变量的使用,通过具体示例展示了如何实现生产者与消费者的同步模型。
|
2月前
|
Linux C语言
C语言 多进程编程(七)信号量
本文档详细介绍了进程间通信中的信号量机制。首先解释了资源竞争、临界资源和临界区的概念,并重点阐述了信号量如何解决这些问题。信号量作为一种协调共享资源访问的机制,包括互斥和同步两方面。文档还详细描述了无名信号量的初始化、等待、释放及销毁等操作,并提供了相应的 C 语言示例代码。此外,还介绍了如何创建信号量集合、初始化信号量以及信号量的操作方法。最后,通过实际示例展示了信号量在进程互斥和同步中的应用,包括如何使用信号量避免资源竞争,并实现了父子进程间的同步输出。附带的 `sem.h` 和 `sem.c` 文件提供了信号量操作的具体实现。