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

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，其它的都是基于这个宏通过取反或变换参数位置来实现，妙哉。