关于lwip中的tcp序列号防回绕（sequence wraparound）实现分析

RedWolf1999

已于 2022-04-21 14:08:46 修改

阅读量2k

点赞数

分类专栏：嵌入式开发文章标签： tcp/ip 算法网络协议 lwip

于 2021-11-15 10:31:26 首次发布

本文链接：https://blog.csdn.net/fly_qj/article/details/121329496

版权

嵌入式开发专栏收录该内容

9 篇文章 0 订阅

订阅专栏

博客讨论了lwip库中TCP序列号比较宏的最新变化。原本的实现通过判断差值是否小于零来确定顺序，而新的实现利用最高位（符号位）进行判断，更加巧妙。这一改动影响了TCP_SEQ_LT、TCP_SEQ_LEQ、TCP_SEQ_GT和TCP_SEQ_GEQ等宏的定义，并简化了TCP_SEQ_BETWEEN的判断。文章深入解析了新宏的实现原理及其优化效果。

摘要由CSDN通过智能技术生成

lwip中的seq/ack/iss 等的环回处理通过如下宏判断：

#define TCP_SEQ_LT(a,b)     ((s32_t)((u32_t)(a) - (u32_t)(b)) < 0)
#define TCP_SEQ_LEQ(a,b)    ((s32_t)((u32_t)(a) - (u32_t)(b)) <= 0)
#define TCP_SEQ_GT(a,b)     ((s32_t)((u32_t)(a) - (u32_t)(b)) > 0)
#define TCP_SEQ_GEQ(a,b)    ((s32_t)((u32_t)(a) - (u32_t)(b)) >= 0)
/* is b<=a<=c? */
#if 0 /* see bug #10548 */
#define TCP_SEQ_BETWEEN(a,b,c) ((c)-(b) >= (a)-(b))
#endif
#define TCP_SEQ_BETWEEN(a,b,c) (TCP_SEQ_GEQ(a,b) && TCP_SEQ_LEQ(a,c))

关于上面的实现原理不必多讲，网上说的太多了。
但最新github上的lwip(2.2.x)的实现又变了：（囧）

#define TCP_SEQ_LT(a,b)     (((u32_t)((u32_t)(a) - (u32_t)(b)) & 0x80000000u) != 0)
#define TCP_SEQ_LEQ(a,b)    (!(TCP_SEQ_LT(b,a)))
#define TCP_SEQ_GT(a,b)     TCP_SEQ_LT(b,a)
#define TCP_SEQ_GEQ(a,b)    TCP_SEQ_LEQ(b,a)
#define TCP_SEQ_BETWEEN(a,b,c) (TCP_SEQ_GEQ(a,b) && TCP_SEQ_LEQ(a,c)) /* is b<=a<=c? */

分析：
0x80000000 = 1000 0000 0000 0000 0000 0000 0000 0000(二进制)
减出来的结果和0x80000000进行按位与，其实就是取最高位（符号位），为0表示正数，为1表示负数。
一旦实现了TCP_SEQ_LT，其它的都是基于这个宏通过取反或变换参数位置来实现，妙哉。