TCP/IP源码学习(54)——TCP的连接过程的实现(3)_tcp ip 源码-程序员宅基地

技术标签: Linux内核/操作系统原理  网络协议—TCP/IP  

http://blog.chinaunix.net/uid-23629988-id-3181446.html

作者:[email protected]
博客:blog.focus-linux.net   linuxfocus.blog.chinaunix.net
 
 
本文的copyleft归[email protected]所有,使用GPL发布,可以自由拷贝,转载。但转载请保持文档的完整性,注明原作者及原链接,严禁用于任何商业用途。
======================================================================================================
上文在学习处理三次握手的最后一个ack的过程中,还没有完全走完流程。根据上文最后处
    int tcp_child_process(struct sock *parent, struct sock *child,
             struct sk_buff *skb)
    {
        int ret = 0;
        int state = child->sk_state;

        if (!sock_owned_by_user(child)) {
            //到达这里
            ret = tcp_rcv_state_process(child, skb, tcp_hdr(skb),
                         skb->len);
            /* Wakeup parent, send SIGIO */
            if (state == TCP_SYN_RECV && child->sk_state != state)
                parent->sk_data_ready(parent, 0);
        } 
        ...... ......
    }

那么包的处理仍然是交给tcp_rcv_state_process。回忆第一篇文章中,tcp_rcv_state_process是根据child的状态来决定如何处理。而child是从父socket生成的。如果child的状态和父socket状态一样,肯定是有问题的。那么child的状态是何时改变的呢?

经过一番搜索,回到创建child的函数tcp_v4_sync_recv_sock->tcp_create_openreq_child->inet_csk_clone
    struct sock *inet_csk_clone(struct sock *sk, const struct request_sock *req,
                 const gfp_t priority)
    {
        //首先clone统一的sock结构信息
        struct sock *newsk = sk_clone(sk, priority);

        if (newsk != NULL) {
            //开始clone 面向连接的sock的信息
            struct inet_connection_sock *newicsk = inet_csk(newsk);
            //在这里,newsk的状态被设置为TCP_SYN_RECV
            newsk->sk_state = TCP_SYN_RECV;
            newicsk->icsk_bind_hash = NULL;

            ...... ......
        }
        return newsk;
    }

说实话,这个结果让我觉得有些不爽。
首先这个函数名字叫做clone,结果生成的sock内部成员与传入的sock的内部成员不同,确实让我意想不到。另外这个函数是为所有面向连接的协议准备的。其名字为csk即connection sock,另外其位置位于inet_connection_sock.c中,都说明了这一点。这样的话,将其状态设置为TCP_SYN_RECV,与其通用性不符。

下面查看 tcp_rcv_state_process处理TCP_SYN_RECV状态的代码:
    int tcp_rcv_state_process(struct sock *sk, struct sk_buff *skb,
                 const struct tcphdr *th, unsigned int len)
    {
        struct tcp_sock *tp = tcp_sk(sk);
        struct inet_connection_sock *icsk = inet_csk(sk);
        int queued = 0;
        int res;

        tp->rx_opt.saw_tstamp = 0;

     
      ...... ......


        res = tcp_validate_incoming(sk, skb, th, 0);
        if (res <= 0)
            return -res;

        /* step 5: check the ACK field */
        if (th->ack) {
            //检查是否接受这个ack包
            int acceptable = tcp_ack(sk, skb, FLAG_SLOWPATH) > 0;

            switch (sk->sk_state) {
            case TCP_SYN_RECV:
                if (acceptable) {
                    tp->copied_seq = tp->rcv_nxt;
                    smp_mb();
                    //完成了三次握手,sk的状态自然改为 TCP_ESTABLISHED
                    tcp_set_state(sk, TCP_ESTABLISHED);
                    //sk_state_change默认为sock_def_wakeup, 会唤醒sleep在该socket上的进程
                    sk->sk_state_change(sk);

                    /* Note, that this wakeup is only for marginal
                     * crossed SYN case. Passively open sockets
                     * are not waked up, because sk->sk_sleep ==
                     * NULL and sk->sk_socket == NULL.
                     */
                    //这里也仍然是一个wake动作,但是按照我的理解
                    //这里应该是处理socket作为文件描述符的异步操作,如epoll
                    if (sk->sk_socket)
                        sk_wake_async(sk,
                             SOCK_WAKE_IO, POLL_OUT);

                    tp->snd_una = TCP_SKB_CB(skb)->ack_seq;
                    tp->snd_wnd = ntohs(th->window) <<
                         tp->rx_opt.snd_wscale;
                    tcp_init_wl(tp, TCP_SKB_CB(skb)->seq);

                    if (tp->rx_opt.tstamp_ok)
                        tp->advmss -= TCPOLEN_TSTAMP_ALIGNED;

                    /* Make sure socket is routed, for
                     * correct metrics.
                     */
                    icsk->icsk_af_ops->rebuild_header(sk);

                    tcp_init_metrics(sk);

                    tcp_init_congestion_control(sk);

                    /* Prevent spurious tcp_cwnd_restart() on
                     * first data packet.
                     */
                    tp->lsndtime = tcp_time_stamp;

                    tcp_mtup_init(sk);
                    tcp_initialize_rcv_mss(sk);
                    tcp_init_buffer_space(sk);
                    tcp_fast_path_on(tp);
                } else {
                    return 1;
                }
                break;

            }
        } else
            goto discard;

        /* step 6: check the URG bit */
        tcp_urg(sk, skb, th);

        /* step 7: process the segment text */
        //这时sk->sk_state的状态已经为TCP_ESTABLISHED
        /* 其实对于这个ack包,它只含有TCP的首部,没有数据。那么我认为在将tcp置为established后,不需要后面的操     作了 */
        switch (sk->sk_state) {
            ...... ......
        case TCP_ESTABLISHED:
            tcp_data_queue(sk, skb);
            queued = 1;
            break;
        }

        /* tcp_data could move socket to TIME-WAIT */
        if (sk->sk_state != TCP_CLOSE) {
            tcp_data_snd_check(sk);
            tcp_ack_snd_check(sk);
        }

        if (!queued) {
    discard:
            __kfree_skb(skb);
        }
        return 0;
    }

这里处理完毕后,回到tcp_child_process

    int tcp_child_process(struct sock *parent, struct sock *child,
             struct sk_buff *skb)
    {
        int ret = 0;
        int state = child->sk_state;

        if (!sock_owned_by_user(child)) {
            ret = tcp_rcv_state_process(child, skb, tcp_hdr(skb),
                         skb->len);
            /* Wakeup parent, send SIGIO */
            /*
            对于这个ack包,state的状态即为child之前的状态,即TCP_SYN_RECV。
            再成功处理了ack包后,child->sk_state变为TCP_ESTABLISHED
            因此进入parent->sk_data_ready,仍然是一个异步通知的手段
            */
            if (state == TCP_SYN_RECV && child->sk_state != state)
                parent->sk_data_ready(parent, 0);
        } 

      ...... ......

    }

这样这个ack包基本上已经处理完毕。但是还有一个问题,这个新建的child socket是何时添加到TCP的ehash中,即已经连接的hash表中。还是要回到tcp_v4_syn_recv_sock中,在该函数的结尾处,调用了__inet_hash_nolisten(newsk, NULL);将newsk加入父socket的ehash表中的。


为啥要将这个newsk加入到父socket的ehash表中呢?其实socket下面的ehash表就是全局变量tcp_hashinfo的ehash表。那么这里也就是将newsk加入到了全局变量tcp_hashinfo的ehash中。也就是说所有的已连接的TCP,都是保存在一个公共的hash表中。这样,再收到后面的包时,都可以匹配从全局的tcp_hashinfo的ehash中直接匹配到这个新连接的TCP。


版权声明:本文为博主原创文章,遵循 CC 4.0 BY-SA 版权协议,转载请附上原文出处链接和本声明。
本文链接:https://blog.csdn.net/ztguang/article/details/52709433

智能推荐

Docker 快速上手学习入门教程_docker菜鸟教程-程序员宅基地

文章浏览阅读2.5w次,点赞6次,收藏50次。官方解释是,docker 容器是机器上的沙盒进程,它与主机上的所有其他进程隔离。所以容器只是操作系统中被隔离开来的一个进程,所谓的容器化,其实也只是对操作系统进行欺骗的一种语法糖。_docker菜鸟教程

电脑技巧:Windows系统原版纯净软件必备的两个网站_msdn我告诉你-程序员宅基地

文章浏览阅读5.7k次,点赞3次,收藏14次。该如何避免的,今天小编给大家推荐两个下载Windows系统官方软件的资源网站,可以杜绝软件捆绑等行为。该站提供了丰富的Windows官方技术资源,比较重要的有MSDN技术资源文档库、官方工具和资源、应用程序、开发人员工具(Visual Studio 、SQLServer等等)、系统镜像、设计人员工具等。总的来说,这两个都是非常优秀的Windows系统镜像资源站,提供了丰富的Windows系统镜像资源,并且保证了资源的纯净和安全性,有需要的朋友可以去了解一下。这个非常实用的资源网站的创建者是国内的一个网友。_msdn我告诉你

vue2封装对话框el-dialog组件_<el-dialog 封装成组件 vue2-程序员宅基地

文章浏览阅读1.2k次。vue2封装对话框el-dialog组件_

MFC 文本框换行_c++ mfc同一框内输入二行怎么换行-程序员宅基地

文章浏览阅读4.7k次,点赞5次,收藏6次。MFC 文本框换行 标签: it mfc 文本框1.将Multiline属性设置为True2.换行是使用"\r\n" (宽字符串为L"\r\n")3.如果需要编辑并且按Enter键换行,还要将 Want Return 设置为 True4.如果需要垂直滚动条的话将Vertical Scroll属性设置为True,需要水平滚动条的话将Horizontal Scroll属性设_c++ mfc同一框内输入二行怎么换行

redis-desktop-manager无法连接redis-server的解决方法_redis-server doesn't support auth command or ismis-程序员宅基地

文章浏览阅读832次。检查Linux是否是否开启所需端口,默认为6379,若未打开,将其开启:以root用户执行iptables -I INPUT -p tcp --dport 6379 -j ACCEPT如果还是未能解决,修改redis.conf,修改主机地址:bind 192.168.85.**;然后使用该配置文件,重新启动Redis服务./redis-server redis.conf..._redis-server doesn't support auth command or ismisconfigured. try

实验四 数据选择器及其应用-程序员宅基地

文章浏览阅读4.9k次。济大数电实验报告_数据选择器及其应用

随便推点

灰色预测模型matlab_MATLAB实战|基于灰色预测河南省社会消费品零售总额预测-程序员宅基地

文章浏览阅读236次。1研究内容消费在生产中占据十分重要的地位,是生产的最终目的和动力,是保持省内经济稳定快速发展的核心要素。预测河南省社会消费品零售总额,是进行宏观经济调控和消费体制改变创新的基础,是河南省内人民对美好的全面和谐社会的追求的要求,保持河南省经济稳定和可持续发展具有重要意义。本文建立灰色预测模型,利用MATLAB软件,预测出2019年~2023年河南省社会消费品零售总额预测值分别为21881...._灰色预测模型用什么软件

log4qt-程序员宅基地

文章浏览阅读1.2k次。12.4-在Qt中使用Log4Qt输出Log文件,看这一篇就足够了一、为啥要使用第三方Log库,而不用平台自带的Log库二、Log4j系列库的功能介绍与基本概念三、Log4Qt库的基本介绍四、将Log4qt组装成为一个单独模块五、使用配置文件的方式配置Log4Qt六、使用代码的方式配置Log4Qt七、在Qt工程中引入Log4Qt库模块的方法八、获取示例中的源代码一、为啥要使用第三方Log库,而不用平台自带的Log库首先要说明的是,在平时开发和调试中开发平台自带的“打印输出”已经足够了。但_log4qt

100种思维模型之全局观思维模型-67_计算机中对于全局观的-程序员宅基地

文章浏览阅读786次。全局观思维模型,一个教我们由点到线,由线到面,再由面到体,不断的放大格局去思考问题的思维模型。_计算机中对于全局观的

线程间控制之CountDownLatch和CyclicBarrier使用介绍_countdownluach于cyclicbarrier的用法-程序员宅基地

文章浏览阅读330次。一、CountDownLatch介绍CountDownLatch采用减法计算;是一个同步辅助工具类和CyclicBarrier类功能类似,允许一个或多个线程等待,直到在其他线程中执行的一组操作完成。二、CountDownLatch俩种应用场景: 场景一:所有线程在等待开始信号(startSignal.await()),主流程发出开始信号通知,既执行startSignal.countDown()方法后;所有线程才开始执行;每个线程执行完发出做完信号,既执行do..._countdownluach于cyclicbarrier的用法

自动化监控系统Prometheus&Grafana_-自动化监控系统prometheus&grafana实战-程序员宅基地

文章浏览阅读508次。Prometheus 算是一个全能型选手,原生支持容器监控,当然监控传统应用也不是吃干饭的,所以就是容器和非容器他都支持,所有的监控系统都具备这个流程,_-自动化监控系统prometheus&grafana实战

React 组件封装之 Search 搜索_react search-程序员宅基地

文章浏览阅读4.7k次。输入关键字,可以通过键盘的搜索按钮完成搜索功能。_react search