套接字socket 的地址族和类型、工作原理、创建过程

注：本分类下文章大多整理自《深入分析linux内核源代码》一书，另有参考其他一些资料如《linux内核完全剖析》、《linux c 编程一站式学习》等，只是为了更好地理清系统编程和网络编程中的一些概念性问题，并没有深入地阅读分析源码，我也是草草翻过这本书，请有兴趣的朋友自己参考相关资料。此书出版较早，分析的版本为2.4.16，故出现的一些概念可能跟最新版本内核不同。

此书已经开源，阅读地址 http://www.kerneltravel.net

一、套接字socket

（一）、套接字在网络中的地位和作用

socket 在网络系统中的作用如下。

（1）socket 位于网络协议之上，屏蔽了不同网络协议之间的差异。

（2）socket 是网络编程的入口，它提供了大量的系统调用，构成了网络程序的主体。

（3）在Linux 系统中，socket 属于文件系统的一部分，网络通信可以被看作是对文件的 读取，使得我们对网络的控制和对文件的控制一样方便。

（二）、套接字接口的种类

Linux 支持多种套接字种类，不同的套接字种类称为“地址族”，这是因为每种套接字 种类拥有自己的通信寻址方法。Linux 所支持的套接字地址族见表12.3。 Linux 将上述套接字地址族抽象为统一的 BSD 套接字接口，应用程序关心的只是 BSD 套 接字接口，而 BSD 套接字由各地址族专有的软件支持。一般而言，BSD 套接字可支持多种套 接字类型，不同的套接字类型提供的服务不同，Linux 所支持的部分 BSD 套接字类型见表 12.4，但表12.3 中的套接字地址族并不一定全部支持表12.4 中的这些套接字类型。

（三）、套接字的工作原理

INET 套接字就是支持 Internet 地址族的套接字，它位于TCP 之上，BSD 套接字之下， 如图12.8 所示，这里也体现了Linux 网络模块分层的设计思想。

INET 和 BSD 套接字之间的接口通过 Internet 地址族套接字操作集实现，这些操作集 实际是一组协议的操作例程，在include/linux/net.h 中定义为struct proto_ops：

 C++ Code 

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30

struct proto_ops {      int family;      int (*release) ( struct socket *sock);      int (*bind) ( struct socket *sock,  struct sockaddr *umyaddr,                   int sockaddr_len);      int (*connect) ( struct socket *sock,  struct sockaddr *uservaddr,                      int sockaddr_len,  int flags);      int (*socketpair) ( struct socket *sock1,  struct socket *sock2);      int (*accept) ( struct socket *sock,  struct socket *newsock,                     int flags);      int (*getname) ( struct socket *sock,  struct sockaddr *uaddr,                      int *usockaddr_len,  int peer);      unsigned  int (*poll) ( struct file *file,  struct socket *sock,  struct poll_table_struct                           *wait);      int (*ioctl) ( struct socket *sock,  unsigned  int cmd,                    unsigned  long arg);      int (*listen) ( struct socket *sock,  int len);      int (*shutdown) ( struct socket *sock,  int flags);      int (*setsockopt) ( struct socket *sock,  int level,  int optname,                         char *optval,  int optlen);      int (*getsockopt) ( struct socket *sock,  int level,  int optname,                         char *optval,  int *optlen);      int (*sendmsg) ( struct socket *sock,  struct msghdr *m,  int total_len,  struct                     scm_cookie *scm);      int (*recvmsg) ( struct socket *sock,  struct msghdr *m,  int total_len,  int flags,                      struct scm_cookie *scm);      int (*mmap) ( struct file *file,  struct socket *sock,  struct vm_area_struct *vma);     ssize_t (*sendpage) ( struct socket *sock,  struct page *page,  int offset, size_t size,  int flags); };

这个操作集类似于文件系统中的file_operations 结构。BSD 套接字层通过调用 proto_ops 结构中的相应函数执行任务。BSD 套接字层向 INET 套接字层传递 socket 数据 结构来代表一个 BSD 套接字，socket 结构在include/linux/net.h 中定义如下：

 C++ Code 

1 2 3 4 5 6 7 8 9 10 11 12 13

struct socket {     socket_state state;      unsigned  long flags;      struct proto_ops *ops;      struct inode *inode;      struct fasync_struct *fasync_list;  /* Asynchronous wake up list */      struct file *file;  /* File back pointer for gc */      struct sock *sk;     wait_queue_head_t wait;      short type;      unsigned  char passcred; };

但在 INET 套接字层中，它利用自己的 sock 数据结构来代表该套接字，因此，这两个 结构之间存在着链接关系，sock 结构定义于include/net/sock.h 。在 BSD 的 socket 数据结构中存在一个指向sock 的指针sk，而在sock 中又 有一个指向socket 的指针，这两个指针将 BSD socket 数据结构和sock 数据结构链接了起 来。通过这种链接关系，套接字调用就可以方便地检索到 sock 数据结构。实际上，sock 数 据结构可适用于不同的协议，它也定义有自己的协议操作集proto_ops。在建立套接字时，sock 数据结构的协议操作集指针指向所请求的协议操作集。如果请求 TCP，则 sock 数据结构的 协议操作集指针将指向 TCP 的协议操作集。

BSD 套接字上的详细操作与具体的底层地址族有关，底层地址族的不同实际意味着寻址 方式、采用的协议等的不同。Linux 利用 BSD 套接字层抽象了不同的套接字接口。在内核的 初始化阶段，内建于内核的不同地址族分别以 BSD 套接字接口在内核中注册。然后，随着应 用程序创建并使用 BSD 套接字。 内核负责在 BSD 套接字和底层的地址族之间建立联系。这种联系通过交叉链接数据结 构以及地址族专有的支持例程表建立。 在内核中， 地址族和协议信息保存在inet_protos 向量中， 其定义于 include/net/protocol.h：

 C++ Code 

1 2 3 4 5 6 7 8 9 10 11 12

struct inet_protocol *inet_protos[MAX_INET_PROTOS]; /* This is used to register protocols. */ struct inet_protocol {      int (*handler)( struct sk_buff *skb); //The Linux kernel uses an sk_buff data structure to describe each packet.      void (*err_handler)( struct sk_buff *skb, u32 info);      struct inet_protocol *next;      unsigned  char protocol;      unsigned  char copy:  1;      void *data;      const  char *name; };

每个地址族由其名称以及相应的初始化例程地址代表。在引导阶段初始化套接字接口 时，内核调用每个地址族的初始化例程，这时，每个地址族注册自己的协议操作集。协议操 作集实际是一个例程集合，其中每个例程执行一个特定的操作。

（四）、套接字的创建过程

Linux 在利用socket()系统调用建立新的套接字时，需要传递套接字的地址族标识符、 套接字类型以及协议，其函数定义于net/socket.c 中：

 C++ Code 

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17

asmlinkage  long sys_socket( int family,  int type,  int protocol) {      int retval;      struct socket *sock;     retval = sock_create(family, type, protocol, &sock);      if (retval <  0)          goto out;     retval = sock_map_fd(sock);      if (retval <  0)          goto out_release; out:      /* It may be already another descriptor 8) Not kernel problem. */      return retval; out_release:     sock_release(sock);      return retval; }

实际上，套接字对于用户程序而言就是特殊的已打开的文件。内核中为套接字定义了一 种特殊的文件类型，形成一种特殊的文件系统sockfs，其定义于net/socket.c：

 C++ Code 

1 2 3

static  struct vfsmount *sock_mnt; static DECLARE_FSTYPE(sock_fs_type,  "sockfs", sockfs_read_super, FS_NOMOUNT);

在系统初始化时，要通过kern_mount()安装这个文件系统。安装时有个作为连接件的 vfsmount 数据结构，这个结构的地址就保存在一个全局的指针sock_mnt 中。所谓创建一个 套接字，就是在 sockfs  文件系统中创建一个特殊文件，或者说一个节点，并建立起为实现套 接字功能所需的一整套数据结构。所以，函数sock_create()首先是建立一个socket 数据结 构，然后将其“映射”到一个已打开的文件中，进行socket 结构和sock 结构的分配和初始 化。

新创建的 BSD socket 数据结构包含有指向地址族专有的套接字例程的指针，这一指针 实际就是 proto_ops 数据结构的地址。

BSD 套接字的套接字类型设置为所请求的 SOCK_STREAM 或 SOCK_DGRAM 等。然后，内 核利用 proto_ops 数据结构中的信息调用地址族专有的创建例程。 之后，内核从当前进程的 fd 向量中分配空闲的文件描述符，该描述符指向的 file 数 据结构被初始化。初始化过程包括将文件操作集指针指向由 BSD 套接字接口支持的 BSD 文 件操作集。所有随后的套接字（文件）操作都将定向到该套接字接口，而套接字接口则会进 一步调用地址族的操作例程，从而将操作传递到底层地址族，如图12.10 所示。

实际上，socket 结构与sock 结构是同一事物的两个方面。如果说socket 结构是面向进 程和系统调用界面的，那么sock 结构就是面向底层驱动程序的。可是，为什么不把这两个数 据结构合并成一个呢？ 我们说套接字是一种特殊的文件系统，因此，inode 结构内部的union 的一个成分就用 作socket 结构，其定义如下：

 C++ Code 

1 2 3 4 5 6 7 8

struct inode ｛         .......          union     {         ........          struct socket socket_i;     } }

由于套接字操作的特殊性，这个结构中需要大量的结构成分。可是，如果把这些结构成 分全都放在socket 结构中，则inode 结构中的这个union 就会变得很大，从而inode 结构也 会变得很大，而对于其他文件系统，这个union 成分并不需要那么庞大。因此，就把套接字 所需的这些结构成分拆成两部分，把与文件系统关系比较密切的那一部分放在socket 结构 中，把与通信关系比较密切的那一部分则单独组成一个数据结构，即sock 结构。由于这两部 分数据在逻辑上本来就是一体的，所以要通过指针互相指向对方，形成一对一的关系。