看了非常多网上关于tcp_recvmsg的文章,感觉解释的不太到位,或者非常多都是空口说白话,昨天分析了一下午tcp_recvmsg。感觉了解了十之八九,如今贴出来和大家分享一下。
须要背景:了解tcp三个接收队列 prequeue,backlog,receive的各自用处。
/*
* This routine copies from a sock struct into the user buffer.
*
* Technical note: in 2.3 we work on _locked_ socket, so that
* tricks with *seq access order and skb->users are not required.
* Probably, code can be easily improved even more.
*/ int tcp_recvmsg(struct kiocb *iocb, struct sock *sk, struct msghdr *msg,
size_t len, int nonblock, int flags, int *addr_len)
{
struct tcp_sock *tp = tcp_sk(sk);
int copied = 0;
u32 peek_seq;
u32 *seq;
unsigned long used;
int err;
int target; /* Read at least this many bytes */
long timeo;
struct task_struct *user_recv = NULL;
int copied_early = 0;
struct sk_buff *skb;
u32 urg_hole = 0; //功能:“锁住sk”,并不是真正的加锁,而是运行sk->sk_lock.owned = 1
//目的:这样软中断上下文可以通过owned 。推断该sk是否处于进程上下文。
//提供一种同步机制。
lock_sock(sk); TCP_CHECK_TIMER(sk); err = -ENOTCONN;
if (sk->sk_state == TCP_LISTEN)
goto out; //获取延迟,假设用户设置为非堵塞,那么timeo ==0000 0000 0000 0000
//假设用户使用默认recv系统调用
//则为堵塞,此时timeo ==0111 1111 1111 1111
//timeo 就2个值
timeo = sock_rcvtimeo(sk, nonblock); /* Urgent data needs to be handled specially. */
if (flags & MSG_OOB)
goto recv_urg; //待拷贝的下一个序列号
seq = &tp->copied_seq; //设置了MSG_PEEK,表示不让数据从缓冲区移除。目的是下一次调用recv函数
//仍然可以读到同样数据
if (flags & MSG_PEEK) {
peek_seq = tp->copied_seq;
seq = &peek_seq;
} //假设设置了MSG_WAITALL。则target ==len,即recv函数中的參数len
//假设没设置MSG_WAITALL。则target == 1
target = sock_rcvlowat(sk, flags & MSG_WAITALL, len); //大循环
do {
u32 offset; /* Are we at urgent data? Stop if we have read anything or have SIGURG pending. */
if (tp->urg_data && tp->urg_seq == *seq) {
if (copied)
break;
if (signal_pending(current)) {
copied = timeo ? sock_intr_errno(timeo) : -EAGAIN;
break;
}
} /* Next get a buffer. */ //小循环
skb_queue_walk(&sk->sk_receive_queue, skb) {
/* Now that we have two receive queues this
* shouldn't happen.
*/
if (WARN(before(*seq, TCP_SKB_CB(skb)->seq),
KERN_INFO "recvmsg bug: copied %X "
"seq %X rcvnxt %X fl %X\n", *seq,
TCP_SKB_CB(skb)->seq, tp->rcv_nxt,
flags))
break; //假设用户的缓冲区(即用户malloc的buf)长度够大。offset通常是0。 //即 “下次准备拷贝数据的序列号”==此时获取报文的起始序列号
//什么情况下offset >0呢?非常简答。假设用户缓冲区12字节,而这个skb有120字节
//那么一次recv系统调用,仅仅能获取skb中的前12个字节,下一次运行recv系统调用
//offset就是12了。<span style="font-family: Arial, Helvetica, sans-serif;">offset</span><span style="font-family: Arial, Helvetica, sans-serif;">表示从第12个字节開始读取数据,前12个字节已经读取了。</span>
//那这个"已经读取12字节"这个消息。存在哪呢?
//在*seq = &tp->copied_seq;中
offset = *seq - TCP_SKB_CB(skb)->seq;
if (tcp_hdr(skb)->syn)
offset--;
if (offset < skb->len)
goto found_ok_skb;
if (tcp_hdr(skb)->fin)
goto found_fin_ok;
WARN(!(flags & MSG_PEEK), KERN_INFO "recvmsg bug 2: "
"copied %X seq %X rcvnxt %X fl %X\n",
*seq, TCP_SKB_CB(skb)->seq,
tp->rcv_nxt, flags);
} //运行到了这里。表明小循环中break了,既然break了,说明sk_receive_queue中
//已经没有skb能够读取了
//假设没有运行到这里说明前面的小循环中运行了goto,读到实用的skb,或者读到fin都会goto。 //没有skb能够读取,说明什么?
//可能性1:当用户第一次调用recv时,压根没有数据到来
//可能性2:skb->len一共20字节,假设用户调用一次 recv。读取12字节,再调用recv,
//读取12字节,此时skb由于上次已经被读取了12字节,仅仅剩下8字节。
//于是代码的逻辑上。再会要求获取skb,来读取剩下的8字节。 //可能性1的情况下,copied == 0。肯定不会进这个if。兴许将运行休眠
//可能性2的情况下,情况比較复杂。可能性2表明数据没有读够用户想要的len长度
//尽管进程上下文中,没有读够数据。可是可能我们在读数据的时候
//软中断把数据放到backlog队列中了,而backlog对队列中的数据也许恰好让我们读够数
//据。 //copied了数据的,copied肯定>=1,而target 是1或者len
//copied仅仅能取0(可能性1),或者0~len(可能性2)
//copied >= target 表示我们取得我们想要的数据了,何必进行休眠。直接return
//假设copied 没有达到我们想要的数据。则看看sk_backlog是否为空
//空的话,尽力了。仅仅能尝试休眠
//非空的话,另一线希望。我们去sk_backlog找找数据,看看能否够达到我们想要的
//数据大小 //我认为copied == target是会出现的,可是出现的话,也不会进如今这个流程
//,如有不正确,请各位大神指正,告诉我
//说明情况下copied == target /* Well, if we have backlog, try to process it now yet. */
if (copied >= target && !sk->sk_backlog.tail)
break; if (copied) {
//可能性2,拷贝了数据。可是没有复制到指定大小
if (sk->sk_err ||
sk->sk_state == TCP_CLOSE ||
(sk->sk_shutdown & RCV_SHUTDOWN) ||
!timeo ||
signal_pending(current))
break;
} else {
//可能性1
if (sock_flag(sk, SOCK_DONE))
break; if (sk->sk_err) {
copied = sock_error(sk);
break;
} if (sk->sk_shutdown & RCV_SHUTDOWN)
break; if (sk->sk_state == TCP_CLOSE) {
if (!sock_flag(sk, SOCK_DONE)) {
/* This occurs when user tries to read
* from never connected socket.
*/
copied = -ENOTCONN;
break;
}
break;
} //是否是堵塞的。不是。就return了。
if (!timeo) {
copied = -EAGAIN;
break;
} if (signal_pending(current)) {
copied = sock_intr_errno(timeo);
break;
}
} tcp_cleanup_rbuf(sk, copied); //sysctl_tcp_low_latency 默认0tp->ucopy.task == user_recv肯定也成立 if (!sysctl_tcp_low_latency && tp->ucopy.task == user_recv) {
/* Install new reader */
if (!user_recv && !(flags & (MSG_TRUNC | MSG_PEEK))) {
user_recv = current;
tp->ucopy.task = user_recv;
tp->ucopy.iov = msg->msg_iov;
} tp->ucopy.len = len; WARN_ON(tp->copied_seq != tp->rcv_nxt &&
!(flags & (MSG_PEEK | MSG_TRUNC))); /* Ugly... If prequeue is not empty, we have to
* process it before releasing socket, otherwise
* order will be broken at second iteration.
* More elegant solution is required!!!
*
* Look: we have the following (pseudo)queues:
*
* 1. packets in flight
* 2. backlog
* 3. prequeue
* 4. receive_queue
*
* Each queue can be processed only if the next ones
* are empty. At this point we have empty receive_queue.
* But prequeue _can_ be not empty after 2nd iteration,
* when we jumped to start of loop because backlog
* processing added something to receive_queue.
* We cannot release_sock(), because backlog contains
* packets arrived _after_ prequeued ones.
*
* Shortly, algorithm is clear --- to process all
* the queues in order. We could make it more directly,
* requeueing packets from backlog to prequeue, if
* is not empty. It is more elegant, but eats cycles,
* unfortunately.
*/
//
if (!skb_queue_empty(&tp->ucopy.prequeue))
goto do_prequeue; /* __ Set realtime policy in scheduler __ */
} if (copied >= target) {
/* Do not sleep, just process backlog. */
release_sock(sk);
lock_sock(sk);
} else
sk_wait_data(sk, &timeo);
//在此处睡眠了,将在tcp_prequeue函数中调用wake_up_interruptible_poll唤醒 //软中断会推断用户是正在读取检查而且睡眠了,假设是的话,就直接把数据拷贝
//到prequeue队列,然后唤醒睡眠的进程。由于进程睡眠,表示没有读到想要的字节数
//此时,软中断有数据到来,直接给进程。这样进程就能以最快的速度被唤醒。 if (user_recv) {
int chunk; /* __ Restore normal policy in scheduler __ */ if ((chunk = len - tp->ucopy.len) != 0) {
NET_ADD_STATS_USER(sock_net(sk), LINUX_MIB_TCPDIRECTCOPYFROMBACKLOG, chunk);
len -= chunk;
copied += chunk;
} if (tp->rcv_nxt == tp->copied_seq &&
!skb_queue_empty(&tp->ucopy.prequeue)) {
do_prequeue:
tcp_prequeue_process(sk); if ((chunk = len - tp->ucopy.len) != 0) {
NET_ADD_STATS_USER(sock_net(sk), LINUX_MIB_TCPDIRECTCOPYFROMPREQUEUE, chunk);
len -= chunk;
copied += chunk;
}
}
}
if ((flags & MSG_PEEK) &&
(peek_seq - copied - urg_hole != tp->copied_seq)) {
if (net_ratelimit())
printk(KERN_DEBUG "TCP(%s:%d): Application bug, race in MSG_PEEK.\n",
current->comm, task_pid_nr(current));
peek_seq = tp->copied_seq;
}
continue; found_ok_skb:
/* Ok so how much can we use? */
//skb中还有多少聚聚没有拷贝。 //正如前面所说的,offset是上次已经拷贝了的,这次从offset開始接下去拷贝
used = skb->len - offset;
//非常有可能used的大小,即skb剩余长度。依旧大于用户的缓冲区大小(len)。所以依旧
//仅仅能拷贝len长度。一般来说,用户还得运行一次recv系统调用。直到skb中的数据读完
if (len < used)
used = len; /* Do we have urgent data here? */
if (tp->urg_data) {
u32 urg_offset = tp->urg_seq - *seq;
if (urg_offset < used) {
if (!urg_offset) {
if (!sock_flag(sk, SOCK_URGINLINE)) {
++*seq;
urg_hole++;
offset++;
used--;
if (!used)
goto skip_copy;
}
} else
used = urg_offset;
}
} if (!(flags & MSG_TRUNC)) {
{
//一般都会进这个if。进行数据的拷贝,把能够读到的数据,放到用户的缓冲区
err = skb_copy_datagram_iovec(skb, offset,
msg->msg_iov, used);
if (err) {
/* Exception. Bailout! */
if (!copied)
copied = -EFAULT;
break;
}
}
} //更新标志位,seq 是指针,指向了tp->copied_seq
//used是我们有能力拷贝的数据大小,即已经复制到用户缓冲区的大小
//正如前面所说。假设用户的缓冲区非常小。一次recv拷贝不玩skb中的数据,
//我们须要保存已经拷贝了的大小,下次recv时。从这个大小处继续拷贝。 //所以须要更新copied_seq。
*seq += used;
copied += used;
len -= used; tcp_rcv_space_adjust(sk); skip_copy:
if (tp->urg_data && after(tp->copied_seq, tp->urg_seq)) {
tp->urg_data = 0;
tcp_fast_path_check(sk);
} //这个就是推断我们是否拷贝完了skb中的数据,假设没有continue
//这样的情况下,len经过 len -= used; 。已经变成0,所以continue的效果相当于
//退出了这个大循环。 能够理解,你仅仅能拷贝len长度。拷贝完之后。那就return了。 //另一种情况used + offset == skb->len,表示skb拷贝完了。这时我们仅仅须要释放skb
//以下会讲到
if (used + offset < skb->len)
continue; //看看这个数据报文是否含有fin,含有fin,则goto到found_fin_ok
if (tcp_hdr(skb)->fin)
goto found_fin_ok; //运行到这里,标明used + offset == skb->len,报文也拷贝完了,那就把skb摘链释放
if (!(flags & MSG_PEEK)) {
sk_eat_skb(sk, skb, copied_early);
copied_early = 0;
}
//这个cintinue不一定是退出大循环,可能还会运行循环。 //假设用户设置缓冲区12字节。你skb->len长度20字节。
//第一次recv读取了12字节,skb剩下8。下一次调用recv再想读取12,
//可是仅仅能读取到这8字节了。 //此时len 变量长度为4,那么这个continue依旧在这个循环中,
//函数还是再次从do開始。使用skb_queue_walk,找skb
//假设sk_receive_queue中skb仍旧有,那么继续读,直到len == 0
//假设没有skb了,我们怎么办?我们的len还有4字节怎么办?
//这得看用户设置的recv函数堵塞与否。即和timeo变量相关了。
continue; found_fin_ok:
/* Process the FIN. */
++*seq;
if (!(flags & MSG_PEEK)) {
//把skb从sk_receive_queue中摘链
sk_eat_skb(sk, skb, copied_early);
copied_early = 0;
}
break;
} while (len > 0); //到这里是大循环退出
//休眠过的进程,然后退出大循环 。才满足 if (user_recv) 条件
if (user_recv) {
if (!skb_queue_empty(&tp->ucopy.prequeue)) {
int chunk; tp->ucopy.len = copied > 0 ? len : 0; tcp_prequeue_process(sk); if (copied > 0 && (chunk = len - tp->ucopy.len) != 0) {
NET_ADD_STATS_USER(sock_net(sk), LINUX_MIB_TCPDIRECTCOPYFROMPREQUEUE, chunk);
len -= chunk;
copied += chunk;
}
} //数据读取完成。清零
tp->ucopy.task = NULL;
tp->ucopy.len = 0;
} /* According to UNIX98, msg_name/msg_namelen are ignored
* on connected socket. I was just happy when found this 8) --ANK
*/ /* Clean up data we have read: This will do ACK frames. */
//非常重要。将更新缓存,而且适当的时候发送ack
tcp_cleanup_rbuf(sk, copied); TCP_CHECK_TIMER(sk);
release_sock(sk);
return copied; out:
TCP_CHECK_TIMER(sk);
release_sock(sk);
return err; recv_urg:
err = tcp_recv_urg(sk, msg, len, flags);
goto out;
}