作者:fengge8ylf 博客:http://blog.csdn.net/fengge8ylf
对于基于TCP开发的通讯程序,有个很重要的问题需要解决,就是封包和拆包.自从我从事网络通讯编程工作以来(大概有三年的时间了),我一直在思索和改进封包和拆包的方法.下面就针对这个问题谈谈我的想法,抛砖引玉.若有不对,不妥之处,恳求大家指正.在此先谢过大家了.
一.为什么基于TCP的通讯程序需要进行封包和拆包.
TCP是个"流"协议,所谓流,就是没有界限的一串数据.大家可以想想河里的流水,是连成一片的,其间是没有分界线的.但一般通讯程序开发是需要定义一个个相互独立的数据包的,比如用于登陆的数据包,用于注销的数据包.由于TCP"流"的特性以及网络状况,在进行数据传输时会出现以下几种情况.
假设我们连续调用两次send分别发送两段数据data1和data2,在接收端有以下几种接收情况(当然不止这几种情况,这里只列出了有代表性的情况).
A.先接收到data1,然后接收到data2.
B.先接收到data1的部分数据,然后接收到data1余下的部分以及data2的全部.
C.先接收到了data1的全部数据和data2的部分数据,然后接收到了data2的余下的数据.
D.一次性接收到了data1和data2的全部数据.
对于A这种情况正是我们需要的,不再做讨论.对于B,C,D的情况就是大家经常说的"粘包",就需要我们把接收到的数据进行拆包,拆成一个个独立的数据包.为了拆包就必须在发送端进行封包.
另:对于UDP来说就不存在拆包的问题,因为UDP是个"数据包"协议,也就是两段数据间是有界限的,在接收端要么接收不到数据要么就是接收一个完整的一段数据,不会少接收也不会多接收.
二.为什么会出现B.C.D的情况.
"粘包"可发生在发送端也可发生在接收端.
1.由Nagle算法造成的发送端的粘包:Nagle算法是一种改善网络传输效率的算法.简单的说,当我们提交一段数据给TCP发送时,TCP并不立刻发送此段数据,而是等待一小段时间,看看在等待期间是否还有要发送的数据,若有则会一次把这两段数据发送出去.这是对Nagle算法一个简单的解释,详细的请看相关书籍.象C和D的情况就有可能是Nagle算法造成的.
2.接收端接收不及时造成的接收端粘包:TCP会把接收到的数据存在自己的缓冲区中,然后通知应用层取数据.当应用层由于某些原因不能及时的把TCP的数据取出来,就会造成TCP缓冲区中存放了几段数据.
三.怎样封包和拆包.
最初遇到"粘包"的问题时,我是通过在两次send之间调用sleep来休眠一小段时间来解决.这个解决方法的缺点是显而易见的,使传输效率大大降低,而且也并不可靠.后来就是通过应答的方式来解决,尽管在大多数时候是可行的,但是不能解决象B的那种情况,而且采用应答方式增加了通讯量,加重了网络负荷(但是象FTP等协议采用的就是应答方式).再后来就是对数据包进行封包和拆包的操作.
封包:
封包就是给一段数据加上包头,这样一来数据包就分为包头和包体两部分内容了(以后讲过滤非法包时封包会加入"包尾"内容).包头其实上是个大小固定的结构体,其中有个结构体成员变量表示包体的长度,这是个很重要的变量,其他的结构体成员可根据需要自己定义.根据包头长度固定以及包头中含有包体长度的变量就能正确的拆分出一个完整的数据包.
对于拆包目前我最常用的是以下两种方式.
1.动态缓冲区暂存方式.之所以说缓冲区是动态的是因为当需要缓冲的数据长度超出缓冲区的长度时会增大缓冲区长度.
大概过程描述如下:
A,为每一个连接动态分配一个缓冲区,同时把此缓冲区和SOCKET关联,常用的是通过结构体关联.
B,当接收到数据时首先把此段数据存放在缓冲区中.
C,判断缓存区中的数据长度是否够一个包头的长度,如不够,则不进行拆包操作.
D,根据包头数据解析出里面代表包体长度的变量.
E,判断缓存区中除包头外的数据长度是否够一个包体的长度,如不够,则不进行拆包操作.
F,取出整个数据包.这里的"取"的意思是不光从缓冲区中拷贝出数据包,而且要把此数据包从缓存区中删除掉.删除的办法就是把此包后面的数据移动到缓冲区的起始地址.
这种方法有两个缺点.1.为每个连接动态分配一个缓冲区增大了内存的使用.2.有三个地方需要拷贝数据,一个地方是把数据存放在缓冲区,一个地方是把完整的数据包从缓冲区取出来,一个地方是把数据包从缓冲区中删除.这种拆包的改进方法会解决和完善部分缺点.
下面给出相关代码.
先看包头结构定义
1 #pragma pack(push,1) //开始定义数据包, 采用字节对齐方式
2 /*----------------------包头---------------------*/
3 typedef struct tagPACKAGEHEAD
4 {
5 BYTE Version;
6 WORD Command;
7 WORD nDataLen;//包体的长度
8 }PACKAGE_HEAD;
9 #pragma pack(pop) //结束定义数据包, 恢复原来对齐方式
10
11 然后看存放数据和"取"数据函数.
12
13 /*****************************************************************************
14 Description:添加数据到缓存
15 Input:pBuff[in]-待添加的数据；nLen[in]-待添加数据长度
16 Return: 如果当前缓冲区没有足够的空间存放pBuff则返回FALSE；否则返回TRUE。
17 ******************************************************************************/
18 BOOL CDataBufferPool::AddBuff( char *pBuff, int nLen )
19 {
20 m_cs.Lock();///临界区锁
21
22 if ( nLen < 0 )
23 {
24 m_cs.Unlock();
25 return FALSE;
26 }
27
28 if ( nLen <= GetFreeSize() )///判断剩余空间是否足够存放nLen长的数据
29 {
30 memcpy(m_pBuff + m_nOffset, pBuff, nLen);
31 m_nOffset += nLen;
32 }
33 else///若不够则扩充原有的空间
34 {
35 char *p = m_pBuff;
36 m_nSize += nLen*2;//每次增长2*nLen
37 m_pBuff = new char[m_nSize];
38 memcpy(m_pBuff,p,m_nOffset);
39 delete []p;
40 memcpy(m_pBuff + m_nOffset, pBuff, nLen);
41 m_nOffset += nLen;
42 m_cs.Unlock();
43 return FALSE;
44 }
45 m_cs.Unlock();
46 return TRUE;
47 }
48
49
50
51 /*****************************************************************************
52 Description:获取一个完整的包
53 Input:Buf[out]-获取到的数据；nLen[out]-获取到的数据长度
54 Return: 1、当前缓冲区不够一个包头的数据 2、当前缓冲区不够一个包体的数据
55 ******************************************************************************/
56
57 int CDataBufferPool::GetFullPacket( char *Buf, int& nLen )
58 {
59 m_cs.Lock();
60
61 if ( m_nOffset < m_PacketHeadLen )//当前缓冲区不够一个包头的数据
62 {
63 m_cs.Unlock();
64 return 1;
65 }
66 PACKAGE_HEAD *p = (PACKAGE_HEAD *)m_pBuff;
67 if( (m_nOffset-m_PacketHeadLen) < (int)p->nDataLen )//当前缓冲区不够一个包体的数据
68 {
69 m_cs.Unlock();
70 return 2;
71 }
72 //判断包的合法性
73 /* int IsIntegrallity = ValidatePackIntegrality(p);
74 if( IsIntegrallity != 0 )
75 {
76 m_cs.Unlock();
77 return IsIntegrallity;
78 }
79 */
80 nLen = m_PacketHeadLen+p->nDataLen;
81 memcpy( Buf, m_pBuff, nLen );
82 m_nOffset -= nLen;
83 memcpy( m_pBuff, m_pBuff+nLen, m_nOffset );
84
85 m_cs.Unlock();
86 return 0;
87 }
88
89
前面提到过这种方法的缺点.下面给出一个改进办法, 即采用环形缓冲.但是这种改进方法还是不能解决第一个缺点以及第一个数据拷贝,只能解决第三个地方的数据拷贝(这个地方是拷贝数据最多的地方).第2种拆包方式会解决这两个问题.
环形缓冲实现方案是定义两个指针,分别指向有效数据的头和尾.在存放数据和删除数据时只是进行头尾指针的移动.
用代码来说明.注:下面的代码是采用一个开源的游戏服务器的代码,我对此代码有所修改.
1 int CCircularBufferPool::PutData(TCHAR *pData, int len)
2 {
3 if( len <= 0 )
4 return 1;
5
6 EnterCriticalSection(&m_cs);
7 while (IsOverFlowCondition(len))///判断缓冲区剩余空间是否够存放len长的数据
8 {
9 BufferResize(len);///若不够,则扩充缓冲区.
10 }
11
12 if (IsIndexOverFlow(len))///判断"尾"指针的位置.
13 {
14 int FirstCopyLen = m_iBufSize-m_iTailPos;
15 int SecondCopyLen = len - FirstCopyLen;
16 CopyMemory(m_pBuffer+m_iTailPos, pData, FirstCopyLen);
17 if (SecondCopyLen)
18 {
19 CopyMemory(m_pBuffer, pData+FirstCopyLen, SecondCopyLen);
20 m_iTailPos = SecondCopyLen;
21 }
22 else
23 m_iTailPos = 0;
24 }
25 else
26 {
27 CopyMemory(m_pBuffer+m_iTailPos, pData, len);
28 m_iTailPos += len;
29 }
30
31 LeaveCriticalSection(&m_cs);
32 return 0;
33
34
35 }
36
37
38 void CCircularBufferPool::GetData(TCHAR *pData, int len, bool Delete)
39 {
40 if (len < m_iBufSize-m_iHeadPos)
41 {
42 CopyMemory(pData, m_pBuffer+m_iHeadPos, len);
43 if(Delete==true)
44 m_iHeadPos += len;
45 }
46 else
47 {
48 int fc, sc;
49 fc = m_iBufSize-m_iHeadPos;
50 sc = len - fc;
51 CopyMemory(pData, m_pBuffer+m_iHeadPos, fc);
52 if (sc) CopyMemory(pData+fc, m_pBuffer, sc);
53 if(Delete==true)
54 m_iHeadPos = sc;
55 if(m_iHeadPos >= m_iBufSize)
56 m_iHeadPos = 0;
57
58 }
59 }
60
61 //
62 //进行自定义包的解析
63 //
64 int CCircularBufferPool::GetFullPacket( TCHAR *Buf, int &nLen )
65 {
66 EnterCriticalSection(&m_cs);
67 if( GetValidCount() < m_PacketHeadLen )//当前缓冲区不够一个包头的数据
68 {
69 LeaveCriticalSection(&m_cs);
70 return 1;
71 }
72
73 GetData(Buf,m_PacketHeadLen,false);
74 PACKAGE_HEAD *p = (PACKAGE_HEAD *)Buf;
75 if( (GetValidCount()-m_PacketHeadLen) < (int)p->nDataLen )//当前缓冲区不够一个包体的数据
76 {
77 LeaveCriticalSection(&m_cs);
78 return 2;
79 }
80
81 //判断包的合法性
82 int IsIntegrallity = ValidatePackIntegrality(p);
83 if( IsIntegrallity != 0 )
84 {
85 LeaveCriticalSection(&m_cs);
86 return IsIntegrallity;
87 }
88
89 GetData(Buf,m_PacketHeadLen+p->nDataLen,true);
90 nLen = m_PacketHeadLen+p->nDataLen;
91
92 LeaveCriticalSection(&m_cs);
93
94
95 return 0;
96 }
97
98 2.利用底层的缓冲区来进行拆包
99 由于TCP也维护了一个缓冲区,所以我们完全可以利用TCP的缓冲区来缓存我们的数据,这样一来就不需要为每一个连接分配一个缓冲区了.另一方面我们知道recv或者wsarecv都有一个参数,用来表示我们要接收多长长度的数据.利用这两个条件我们就可以对第一种方法进行优化了.
100 对于阻塞SOCKET来说,我们可以利用一个循环来接收包头长度的数据,然后解析出代表包体长度的那个变量,再用一个循环来接收包体长度的数据.
101 相关代码如下:
102
103 char PackageHead[1024];
104 char PackageContext[1024*20];
105
106 int len;
107 PACKAGE_HEAD *pPackageHead;
108 while( m_bClose == false )
109 {
110 memset(PackageHead,0,sizeof(PACKAGE_HEAD));
111 len = m_TcpSock.ReceiveSize((char*)PackageHead,sizeof(PACKAGE_HEAD));
112 if( len == SOCKET_ERROR )
113 {
114 break;
115 }
116 if(len == 0)
117 {
118 break;
119 }
120 pPackageHead = (PACKAGE_HEAD *)PackageHead;
121 memset(PackageContext,0,sizeof(PackageContext));
122 if(pPackageHead->nDataLen>0)
123 {
124 len = m_TcpSock.ReceiveSize((char*)PackageContext,pPackageHead->nDataLen);
125 }
126 }
127
128 m_TcpSock是一个封装了SOCKET的类的变量,其中的ReceiveSize用于接收一定长度的数据,直到接收了一定长度的数据或者网络出错才返回.
129
130 int winSocket::ReceiveSize( char* strData, int iLen )
131 {
132 if( strData == NULL )
133 return ERR_BADPARAM;
134 char *p = strData;
135 int len = iLen;
136 int ret = 0;
137 int returnlen = 0;
138 while( len > 0)
139 {
140 ret = recv( m_hSocket, p+(iLen-len), iLen-returnlen, 0 );
141 if ( ret == SOCKET_ERROR || ret == 0 )
142 {
143
144 return ret;
145 }
146
147 len -= ret;
148 returnlen += ret;
149 }
150
151 return returnlen;
152 }
153
154
对于非阻塞的SOCKET,比如完成端口,我们可以提交接收包头长度的数据的请求,当GetQueuedCompletionStatus返回时,我们判断接收的数据长度是否等于包头长度,若等于,则提交接收包体长度的数据的请求,若不等于则提交接收剩余数据的请求.当接收包体时,采用类似的方法.
下面给出相关代码.
1 enum IOType
2 {
3 IOInitialize,
4 IORead,
5 IOWrite,
6 IOIdle
7 };
8
9 class OVERLAPPEDPLUS
10 {
11 public:
12 OVERLAPPED m_ol;
13 IOType m_ioType;
14 bool m_bIsPackageHead;//当前接收的数据是否是包头数据。
15
16 int m_count;
17 WSABUF m_wsaBuffer;
18 int m_RecvPos;
19 char m_Buffer[1024*8];//此缓冲要尽可能大
20
21 OVERLAPPEDPLUS(IOType ioType) {
22 ZeroMemory(this, sizeof(OVERLAPPEDPLUS));
23 m_ioType = ioType;
24 }
25 };
26
27
接收连接后发出的第一个请求,请求接收包头大小的数据.
1 OVERLAPPEDPLUS *pOverlappedPlus = new OVERLAPPEDPLUS;
2 pOverlappedPlus->m_wsaBuffer.buf = pOverlappedPlus->m_Buffer;
3 pOverlappedPlus->m_wsaBuffer.len = PACKAGE_HEAD_LEN;///包头的长度
4 pOverlappedPlus->m_bIsPackageHead = true;
5 pOverlappedPlus->m_RecvPos = 0;
6 pOverlappedPlus->m_ioType = IORead;
7
8
9 DWORD RecvBytes;
10 DWORD Flags;
11 Flags = 0;
12 if (WSARecv(clientSocket, &(pOverlappedPlus->m_wsaBuffer), 1, &RecvBytes, &Flags,
13 &pOverlappedPlus->m_ol, NULL) == SOCKET_ERROR)
14 {
15 if (WSAGetLastError() != ERROR_IO_PENDING)
16 {
17 delete pOverlappedPlus;
18 }
19 else
20 {
21 ///相关的错误处理
22
23 }
24 }
25 else
26 {
27 ///相关的错误处理
28
29 }
30
31
在GetQueuedCompletionStatus所在的函数中.
1 if( pOverlapPlus->m_ioType== IORead)
2 {
3 if( pOverlapPlus->m_wsaBuffer.len == dwIoSize )
4 {
5 if( pOverlapPlus->m_bIsPackageHead == true )///接收到的是包头。
6 {
7 PACKAGE_HEAD *pPackageHead = (PACKAGE_HEAD *)(pOverlapPlus->m_Buffer);
8
9 if(pThis->IsLegalityPackageHead(pPackageHead)==false)///判断是否是合法的包
10 {
11 closesocket(lpClientContext->m_Socket);
12 continue;
13 }
14
15 pOverlapPlus->m_bIsPackageHead = false;
16 pOverlapPlus->m_wsaBuffer.len = pPackageHead->nDataLen;
17 pOverlapPlus->m_RecvPos += dwIoSize;
18 pOverlapPlus->m_wsaBuffer.buf = pOverlapPlus->m_Buffer+pOverlapPlus->m_RecvPos;
19
20 }
21 else///接收到的是包体
22 {
23
24
25
26 pOverlapPlus->m_RecvPos += dwIoSize;
27 ///这时pOverlapPlus->m_Buffer里就存放了一个完整的数据包,长度为pOverlapPlus->m_RecvPos
28
29
30 ///继续请求 请求下一个数据包的包头
31 pOverlapPlus->m_wsaBuffer.buf = pOverlapPlus->m_Buffer;
32 memset(pOverlapPlus->m_Buffer,0,sizeof(pOverlapPlus->m_Buffer));
33 pOverlapPlus->m_wsaBuffer.len = PACKAGE_HEAD_LEN;
34 pOverlapPlus->m_bIsPackageHead = true;
35 pOverlapPlus->m_RecvPos = 0;
36
37 }
38 }
39 else///接收的数据还不完整
40 {
41 pOverlapPlus->m_wsaBuffer.len -= dwIoSize;
42 pOverlapPlus->m_RecvPos += dwIoSize;
43 pOverlapPlus->m_wsaBuffer.buf = pOverlapPlus->m_Buffer+pOverlapPlus->m_RecvPos;
44 }
45 pOverlapPlus->m_ioType = IORead;
46 state = WSARecv(lpClientContext->m_Socket, &(pOverlapPlus->m_wsaBuffer), 1, &RecvBytes, &Flags,
47 &pOverlapPlus->m_ol, NULL);
48 if ( state == SOCKET_ERROR)
49 {
50 if(WSAGetLastError() != ERROR_IO_PENDING)
51 {
52
53 //关闭套接字 释放相应资源
54 continue;
55 }
56 }
57
58 }
59
60
三:如何判断包的合法性.
判断包的合法性可以结合下面两种方式来判断.但是想100%的判定出非法包,只能通过信息安全中的知识来判定了,对这种方法这里不做阐述.
1.通过包头的结构来判断包的合法性.
最初的时候我是根据包头来判断包的合法性,比如判断Command是否超出命令范围,nDataLen是否大于最大包的长度.但是这种方法无法过滤掉非法包,当出现非法包时我们唯一能做的就是断开连接,或许这也是最好的处理办法.
我们可以给一个完整的包加上开始和结束标志,标志可以是个整数,也可以是一串字符串.以第一种拆包方式为例来说明.当要拆一个完整包时我们先从缓冲区有效数据头指针地址搜索包的开始标志,搜索到后并且当前数据够一个包头数据,则判断开始标志和包头是否合法,若合法则根据代表数据长度的变量的值定位到包尾,判断包尾标志是否与我们定义的一致,若一致则这个包是合法的包.若有一项不一致则继续寻找下个包的开始标志,并把下个合法包的前面的数据全部舍弃.
2.通过逻辑层来判断包的合法性.
当取出一个合法的包时,我们还要根据当前数据处理的逻辑来判断包的合法性.比如说在登陆成功后的某段时间服务器又收到了同一个客户端的登陆包,那我们就可以判断这个包是非法的,简单处理就是断开连接.