- #define core_initcall(fn) __define_initcall("1",fn,1)
-
- #define __define_initcall(level,fn,id)\
- static initcall_t __initcall_##fn##id __used \
- __attribute__((__section__(".initcall" level".init")))= fn
二、socket文件系统注册 1、socket文件系统类型
- static struct file_system_type sock_fs_type = {
- .name ="sockfs",
- .get_sb = sockfs_get_sb,
- .kill_sb = kill_anon_super,
- };
- static int __init sock_init(void){
- init_inodecache();
- register_filesystem(&sock_fs_type);
- sock_mnt = kern_mount(&sock_fs_type);
- return 0;
- }
- static int sockfs_get_sb(struct file_system_type*fs_type,
- int flags,const char *dev_name, void*data,
- struct vfsmount *mnt)
-
{
- return get_sb_pseudo(fs_type,"socket:", &sockfs_ops, SOCKFS_MAGIC,
- mnt);
- }
- static struct super_operations sockfs_ops = {
- .alloc_inode = sock_alloc_inode,
- .destroy_inode =sock_destroy_inode,
- .statfs = simple_statfs,
- };
一、socket()库函数到系统调用,再到内核1、Linux运行的C库是glibc;2、socket()调用如下:1) socket()->__socket():glibc-2.3.6/sysdept/generic/socket.c (weak_alias(name1, name2))2) __socket():glibc-2.3.6/sysdept/unix/sysv/linux/i386/socket.S3) ENTER_KERNEL:
- movl $SYS_ify(socketcall), %eax /* System call number in %eax. */
- /* Use ## so `socket' is a separate token that might be #define'd. */
- movl $P(SOCKOP_,socket), %ebx /* Subcode is first arg to syscall. */
- lea 4(%esp), %ecx /* Address of args is 2nd arg. */
- /* Do the system call trap. */
- ENTER_KERNEL
- #define SYS_ify(syscall_name) __NR_##syscall_name;
- #define P(a, b) P2(a, b)
- #define P2(a, b) a##b
- #define __NR_socketcall 102
- SOCKOP_socket:glibc-2.3.6/sysdept/unix/sysv/linux/Socketcall.h
-
- #define SOCKOP_socket 1
- # define ENTER_KERNEL int $0x80
- syscall_call:
- call *sys_call_table(,%eax,4)
- .long sys_socketcall
- switch (call){
- case SYS_SOCKET:
- break;
- case SYS_BIND:
- …...
- #define socket bind
- #define NARGS 3
- #define NO_WEAK_ALIAS 1
- #include <socket.S>
- weak_alias (bind, __bind)
- #define socket accept
- #define __socket __libc_accept
- #define NARGS 3
- #define NEED_CANCELLATION
- #include <socket.S>
- libc_hidden_def (accept)
- movl $P(SOCKOP_,socket), %ebx /* Subcode is first arg to syscall. */
- #define SOCKOP_socket 1
- #define SOCKOP_bind 2
- #define SOCKOP_connect 3
- #define SOCKOP_listen 4
- #define SOCKOP_accept 5
- #define SOCKOP_getsockname 6
- #define SOCKOP_getpeername 7
- #define SOCKOP_socketpair 8
- #define SOCKOP_send 9
- #define SOCKOP_recv 10
- #define SOCKOP_sendto 11
- #define SOCKOP_recvfrom 12
- #define SOCKOP_shutdown 13
- #define SOCKOP_setsockopt 14
- #define SOCKOP_getsockopt 15
- #define SOCKOP_sendmsg 16
- #define SOCKOP_recvmsg 17
1、示例及函数入口:
1) 示例代码如下:
- int server_sockfd = socket(AF_INET, SOCK_STREAM, 0);
2) 入口:
net/Socket.c:sys_socketcall(),根据子系统调用号,创建socket会执行sys_socket()函数;
2、分配socket结构:
1) 调用链:
net/Socket.c:sys_socket()->sock_create()->__sock_create()->sock_alloc();
2) 在socket文件系统中创建i节点:
- inode = new_inode(sock_mnt->mnt_sb);
这里,new_inode函数是文件系统的通用函数,其作用是在相应的文件系统中创建一个inode;其主要代码如下(fs/Inode.c):
- struct inode *new_inode(struct super_block *sb) {
- struct inode * inode;
- inode = alloc_inode(sb);
- …...
- return inode;
- }
- static struct inode *alloc_inode(struct super_block *sb) {
- struct inode *inode;
- if (sb->s_op->alloc_inode)
- inode = sb->s_op->alloc_inode(sb);
- else
- inode = (struct inode *) kmem_cache_alloc(inode_cachep, GFP_KERNEL);
- …...
- }
3) 创建socket专用inode:
在“socket文件系统注册”一文中后面提到,在安装socket文件系统时,会初始化该文件系统的超级块,此时会初始化超级块的操作指针s_op为sockfs_ops结构;因此此时分配inode会调用sock_alloc_inode函数来完成:
- static struct inode *sock_alloc_inode(struct super_block *sb) {
- struct socket_alloc *ei;
- ei = kmem_cache_alloc(sock_inode_cachep, GFP_KERNEL);
- …...
- return &ei->vfs_inode;
- }
- struct socket_alloc {
- struct socket socket;
- struct inode vfs_inode;
- };
3、根据inode取得socket对象:
由于创建inode是文件系统的通用逻辑,因此其返回值是inode对象的指针;但这里在创建socket的inode后,需要根据inode得到socket对象;内联函数SOCKET_I由此而来:
- static inline struct socket *SOCKET_I(struct inode *inode)
- {
- return &container_of(inode, struct socket_alloc, vfs_inode)->socket;
- }
- #define container_of(ptr, type, member) ({ \
- const typeof( ((type *)0)->member ) *__mptr = (ptr); \
- (type *)( (char *)__mptr - offsetof(type,member) );})
- #define offsetof(TYPE, MEMBER) ((size_t) &((TYPE *)0)->MEMBER)
1) offerset(TYPE, MEMBER)宏的作用:返回MEMBER成员在结构体TYPE中的偏移量;
先看一下例子,假设有个结构体A如下:
- struct struct_A {
- char a;
- int b;
- }
我们再来看offset宏:
- #define offsetof(TYPE, MEMBER) ((size_t) &((TYPE *)0)->MEMBER)
还是拿上面的例子来说吧,如下图,offset(struct_A, b)的值为1,正好等于其偏移量;
如下图所示:
2) container_of(ptr, type, member)宏的作用:返回ptr指针所在的结构体;其中ptr为结体体type的变量中member成员的指针;
再来看看它的实现:
- #define container_of(ptr, type, member) ({ \
- const typeof( ((type *)0)->member ) *__mptr = (ptr); \
- (type *)( (char *)__mptr - offsetof(type,member) );})
回到sock_alloc函数,SOCKET_I根据inode取得socket变量后,记录当前进程的一些信息,如fsuid, fsgid,并增加sockets_in_use的值(该变量表示创建socket的个数);创建后socket变量后,在__sock_create()函数中设置其type为应用程序传递下来的type,上面的例子中即为SOCK_STREAM;
4、使用协议族来初始化socket:
1) 协议族的概念:
协议族是由多个协议组成的一个通信协议栈,如我们最熟悉的TCP/IP(AF_INET因特网协议族)包括TCP,IP,ICMP,ARP等协议;
2) Linux支持的协议族:
Linux2.6.26中支持33个协议域,在net/Socket.c中定义全局变量:
- static const struct net_proto_family *net_families[NPROTO] __read_mostly;
3) 注册AF_INET协议域:
在“socket文件系统注册”中提到系统初始化的工作,AF_INET的注册也正是通过这个来完成的;
初始化入口net/ipv4/Af_inet.c:
- fs_initcall(inet_init);
- static int __init inet_init(void) {
- …...
- // 为不同的套接字分配高速缓冲区
- rc = proto_register(&tcp_prot, 1);
- rc = proto_register(&udp_prot, 1);
- rc = proto_register(&raw_prot, 1);
- …...
- (void)sock_register(&inet_family_ops);
- …...
- /* 将所有的socket类型按type通过inetsw管理起来 */
- for (r = &inetsw[0]; r < &inetsw[SOCK_MAX]; ++r)
- INIT_LIST_HEAD(r);
- for (q = inetsw_array; q < &inetsw_array[INETSW_ARRAY_LEN]; ++q)
- inet_register_protosw(q);
- …...
- }
这里调用sock_register函数来完成注册:
- int sock_register(const struct net_proto_family *ops) {
- int err;
- …...
- if (net_families[ops->family])
- err = -EEXIST;
- else {
- net_families[ops->family] = ops;
- err = 0;
- }
- …...
- }
- static struct net_proto_family inet_family_ops = {
- .family = PF_INET,
- .create = inet_create,
- .owner = THIS_MODULE,
- };
4) 套接字类型
在相同的协议域下,可能会存在多个套接字类型;如AF_INET域下存在流套接字(SOCK_STREAM),数据报套接字(SOCK_DGRAM),原始套接字(SOCK_RAW),在这三种类型的套接字上建立的协议分别是TCP, UDP,ICMP/IGMP等。
在Linux内核中,结构体struct proto表示域中的一个套接字类型,它提供该类型套接字上的所有操作及相关数据(在内核初始化时会分配相应的高速缓冲区,见上面提到的inet_init函数)。
AF_IENT域的这三种套接字类型定义用结构体inet_protosw(net/ipv4/Af_inet.c)来表示,如下:
- static struct inet_protosw inetsw_array[] =
- {
- {
- .type = SOCK_STREAM,
- .protocol = IPPROTO_TCP,
- .prot = &tcp_prot,
- .ops = &inet_stream_ops,
- .capability = -1,
- .no_check = 0,
- .flags = INET_PROTOSW_PERMANENT |
- INET_PROTOSW_ICSK,
- },
- {
- .type = SOCK_DGRAM,
- .protocol = IPPROTO_UDP,
- .prot = &udp_prot,
- .ops = &inet_dgram_ops,
- .capability = -1,
- .no_check = UDP_CSUM_DEFAULT,
- .flags = INET_PROTOSW_PERMANENT,
- },
- {
- .type = SOCK_RAW,
- .protocol = IPPROTO_IP, /* wild card */
- .prot = &raw_prot,
- .ops = &inet_sockraw_ops,
- .capability = CAP_NET_RAW,
- .no_check = UDP_CSUM_DEFAULT,
- .flags = INET_PROTOSW_REUSE,
- }
- };
内核初始化时,在inet_init中,会将不同的套接字存放到全局变量inetsw中统一管理;inetsw是一个链表数组,每一项都是一个struct inet_protosw结构体的链表,总共有SOCK_MAX项,在inet_init函数对AF_INET域进行初始化的时候,调用函数inet_register_protosw把数组inetsw_array中定义的套接字类型全部注册到inetsw数组中;其中相同套接字类型,不同协议类型的套接字通过链表存放在到inetsw数组中,以套接字类型为索引,在系统实际使用的时候,只使用inetsw,而不使用inetsw_array;
5) 使用协议域来初始化socket
了解了上面的知识后,我们再回到net/Socket.c:sys_socket()->sock_create()->__sock_create()中:
- const struct net_proto_family *pf;
- …...
- pf = rcu_dereference(net_families[family]);
- err = pf->create(net, sock, protocol);
5、分配sock结构:
本文中的例子会调用inet_family_ops.create方法即inet_create方法完成socket的创建工作;其调用链如下:
net/Socket.c:sys_socket()->sock_create()->__sock_create()->net/ipv4/Af_inet.c:inet_create();
inet_create()主要完成以下几个工作:
1) 设置socket的状态为SS_UNCONNECTED;
- sock->state = SS_UNCONNECTED;
2) 根据socket的type找到对应的套接字类型:
- list_for_each_rcu(p, &inetsw[sock->type]) {
- answer = list_entry(p, struct inet_protosw, list);
- /* Check the non-wild match. */
- if (protocol == answer->protocol) {
- if (protocol != IPPROTO_IP)
- break;
- } else {
- /* Check for the two wild cases. */
- if (IPPROTO_IP == protocol) {
- protocol = answer->protocol;
- break;
- }
- if (IPPROTO_IP == answer->protocol)
- break;
- }
- err = -EPROTONOSUPPORT;
- answer = NULL;
- }
3) 使用匹配的协议族操作集初始化socket;
- sock->ops = answer->ops;
- answer_prot = answer->prot;// 供后面使用
4) 分配sock结构体变量net/Socket.c:sys_socket()->sock_create()->__sock_create()->net/ipv4/Af_inet.c:inet_create()->net/core/Sock.c:sk_alloc():
- sk = sk_alloc(net, PF_INET, GFP_KERNEL, answer_prot);
- struct sock *sk_alloc(struct net *net, int family, gfp_t priority, struct proto *prot) {
- struct sock *sk;
- sk = sk_prot_alloc(prot, priority | __GFP_ZERO, family);
- if (sk) {
- sk->sk_family = family;
- sk->sk_prot = sk->sk_prot_creator = prot;
- sock_lock_init(sk);
- sock_net_set(sk, get_net(net));
- }
- return sk;
- }
i) 初始化sk变量的sk_prot和sk_prot_creator;
ii) 初始化sk变量的等待队列;
iii) 设置net空间结构,并增加引用计数;
6、建立socket结构与sock结构的关系:
1) socket, sock, inet_sock, tcp_sock的关系
创建完sk变量后,回到inet_create函数中:
- inet = inet_sk(sk);
- static inline struct inet_sock *inet_sk(const struct sock *sk)
- {
- return (struct inet_sock *)sk;
- }
a. struct socket:这个是基本的BSD socket,应用程序通过系统调用开始创建的socket都是该结构体,它是基于虚拟文件系统创建出来的;
类型主要有三种,即流式、数据报、原始套接字协议;
其状态比较粗粒度,如下:
- typedef enum {
- SS_FREE = 0, /* not allocated */
- SS_UNCONNECTED, /* unconnected to any socket */
- SS_CONNECTING, /* in process of connecting */
- SS_CONNECTED, /* connected to socket */
- SS_DISCONNECTING /* in process of disconnecting */
- } socket_state;
其状态相比socket结构更精细:
- enum {
- TCP_ESTABLISHED = 1,
- TCP_SYN_SENT,
- TCP_SYN_RECV,
- TCP_FIN_WAIT1,
- TCP_FIN_WAIT2,
- TCP_TIME_WAIT,
- TCP_CLOSE,
- TCP_CLOSE_WAIT,
- TCP_LAST_ACK,
- TCP_LISTEN,
- TCP_CLOSING, /* Now a valid state */
- TCP_MAX_STATES /* Leave at the end! */
- };
d. struct raw_socket:它是RAW协议的一个socket表示,是对struct inet_sock的扩展,它要处理与ICMP相关的内容;
e. sturct udp_sock:它是UDP协议的socket表示,是对struct inet_sock的扩展;
f. struct inet_connection_sock:它是所有面向连接的socket表示,是对struct inet_sock的扩展;
g. struct tcp_sock:它是TCP协议的socket表示,是对struct inet_connection_sock的扩展,主要增加滑动窗口,拥塞控制一些TCP专用属性;
h. struct inet_timewait_sock:它是网络层用于超时控制的socket表示;
i. struct tcp_timewait_sock:它是TCP协议用于超时控制的socket表示;
上面简单介绍了一下内核中不同的socket相关的结构体的作用;回到inet_create函数中:
- inet = inet_sk(sk);
我们回到分配sock结构体的那块代码(参考前面的5.4小节:net/core/Sock.c):
- static struct sock *sk_prot_alloc(struct proto *prot, gfp_t priority, int family) {
- struct sock *sk;
- struct kmem_cache *slab;
- slab = prot->slab;
- if (slab != NULL)
- sk = kmem_cache_alloc(slab, priority);
- else
- sk = kmalloc(prot->obj_size, priority);
- return sk;
- }
根据这点,我们看下tcp_prot变量中的obj_size(net/ipv4/Tcp_ipv4.c):
- .obj_size = sizeof(struct tcp_sock),
2) 建立socket, sock的关系
创建完sock变量之后,便是初始化sock结构体,并建立sock与socket之间的引用关系;调用链如下:
net/Socket.c:sys_socket()->sock_create()->__sock_create()->net/ipv4/Af_inet.c:inet_create()->net/core/Sock.c:sock_init_data():
该函数主要工作是:
a. 初始化sock结构的缓冲区、队列等;
b. 初始化sock结构的状态为TCP_CLOSE;
c. 建立socket与sock结构的相互引用关系;
7、使用tcp协议初始化sock:
inet_create()函数最后,通过相应的协议来初始化sock结构:
- if (sk->sk_prot->init) {
- err = sk->sk_prot->init(sk);
- if (err)
- sk_common_release(sk);
- }
8、socket与文件系统关联:
回到net/Socket.c:sys_socket()函数:
- 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;
- }
1) 申请文件描述符,并分配file结构和目录项结构;
2) 关联socket相关的文件操作函数表和目录项操作函数表;
3) 将file->private_date指向socket;
socket与文件系统关联后,以后便可以通过文件系统read/write对socket进行操作了;
小结:
1、socket库函数通过内核创建socket,并初始化其状态为TCP_CLOSE;
2、创建完后,与文件系统关联,其文件一般位于/proc/$pid/fd/目录下;
3、应用程序可以通过文件对socket进行操作;
一、socket绑定入口
1、示例代码
- struct sockaddr_in server_address;
- server_address.sin_family = AF_INET;
- server_address.sin_addr.s_addr = inet_addr("0.0.0.0");
- server_address.sin_port = htons(9734);
- server_len = sizeof(server_address);
- bind(server_sockfd, (struct sockaddr *)&server_address, server_len);
2、绑定入口
前面介绍了socket从库函数到内核的过程,其最终都是通过102号中断进入内核,所不同的是子中断号不同;对于绑定,其子中断号是2;
和创建socket一样,绑定socket的处理函数都是:
- asmlinkage long sys_socketcall(int call, unsigned long __user *args)
- {
- unsigned long a[6];
- unsigned long a0, a1;
- int err;
- if (copy_from_user(a, args, nargs[call]))
- return -EFAULT;
- a0 = a[0];
- a1 = a[1];
- switch (call) {
- …...
- case SYS_BIND:
- err = sys_bind(a0, (struct sockaddr __user *)a1, a[2]);
- …...
- }
根据子中断号,内核会执行sys_bind()函数来完成地址的绑定;
二、绑定的具体过程
sys_bind()函数如下,一起来分析一下它的主要过程:
- asmlinkage long sys_bind(int fd, struct sockaddr __user *umyaddr, int addrlen)
- {
- struct socket *sock;
- char address[MAX_SOCK_ADDR];
- int err, fput_needed;
- // 1, 根据fd查找相应的socket结构
- sock = sockfd_lookup_light(fd, &err, &fput_needed);
- if (sock) {
- // 2, 将用户空间的地址结构拷贝到内核空间
- err = move_addr_to_kernel(umyaddr, addrlen, address);
- if (err >= 0) {
- err = security_socket_bind(sock,
- (struct sockaddr *)address,
- addrlen);
- if (!err)
- // 3, 根据协议域及socket类型,调用相应的bind函数
- err = sock->ops->bind(sock,
- (struct sockaddr *)
- address, addrlen);
- }
- fput_light(sock->file, fput_needed);
- }
- return err;
- }
上面的过程中:
1、根据fd找到相应的socket结构
在创建socket的最后,会将socket结构与文件系统关联,并返回给应用程序与socket相关的文件描述符;这里是根据应用程序传递过来的文件描述符取得关联的socket结构;
下面看看从fd取得socket结构的代码:
- static struct socket *sockfd_lookup_light(int fd, int *err, int *fput_needed)
- {
- struct file *file;
- struct socket *sock;
- *err = -EBADF;
- file = fget_light(fd, fput_needed);
- if (file) {
- sock = sock_from_file(file, err);
- if (sock)
- return sock;
- fput_light(file, *fput_needed);
- }
- return NULL;
- }
再到fget_lignt()去看看:
- struct file *fget_light(unsigned int fd, int *fput_needed)
- {
- struct file *file;
- struct files_struct *files = current->files;
- …...
- file = fcheck_files(files, fd);
- …...
- return file;
- }
这里current宏返回当前运行的进程的描述符,current->files返回当前进程的打开文件表;函数fcheck_files(files, fd)根据fd从打开文件表里取出相应的file结构变量;
在创建socket中提到,file与socket关联,是通过file->private=socket完成的,因为获取到file结构变量后,也可以通过同样的方式取得socket结构变量;sock_from_file()函数就是用来完成此工作的;
2、将地址从用户空间拷贝到内核空间
1) 用户空间和内核空间的概念:
Linux内核管理模型中,简化了分段机制,使得虚拟地址与线性地址总是一致的;因此,针对32位的机器,Linux的虚拟地址空间也为0~4G。
Linux内核将这4G字节的空间分为两部分:将最高的1G字节(从虚拟地址0xC0000000到0xFFFFFFFF),供内核使用,称为“内核空间”;而将较低的3G字节(从虚拟地址0x00000000到0xBFFFFFFF),供各个进程使用,称为“用户空间”。因为每个进程可以通过系统调用进入内核,因此,Linux内核由系统内的所有进程共享。但是从具体进程的角度来看,每个进程可以拥有4G字节的虚拟空间。
2) 用户态和内核态
当进程在执行用户自己的代码时,则称其处于用户运行态(用户态);即此时处理器在特权级最低的(3级)用户代码中运行;在用户态,进程使用进程的用户栈;
当进程执行系统调用而陷入内核代码中执行时,称该进程处于内核运行态(或简称为内核态),此时处理器处于特权级最高的(0级)内核代码中执行;当进程处于内核态时,执行的内核代码会使用当前进程的内核栈;每个进程都有自己的内核堆栈。
当正在执行用户程序而突然被中断程序中断时,此时用户程序也可以象征性地称为处于内核态,因为中断处理程序将使用当前进程的内核栈,这与处于内核态的进程的状态有些类似。
3) 用户栈和内核栈
前面提到,每个进程有2个栈,即用户栈和内核栈;用户栈的空间指向用户地址空间,内核栈的空间指向内核地址空间。当进程在用户态运行时,CPU堆栈指针寄存器esp指向用户栈地址,使用用户栈;当进程运行在内核态时,CPU堆栈指针寄存器esp指向的是内核栈空间地址,使用的是内核栈;
内核在创建一个新的进程时,在创建进程控制块的同时,即创建了内核栈;而当进程调用execve的时候,才会创建用户栈;
4) 为什么要拷贝?
如果内核直接访问用户空间的地址,或是使用memcpy来拷贝,可能会出现缺页,但是缺页后的中断处理程序需要特定的结构辅助才能正常返回到缺页中断发生的地方,因此需要使用copy_from_user来完成;
结合上面提到的用户态、内核态、用户空间和地址空间后,就不难理解为什么系统调用中,都要将一些参数从用户空间拷贝到内核空间了;
3、地址结构
示例代码中创建的是类型为struct sockaddr_in的结构体变量,在调用bind()库函数时,将地址变量强制转化为struct sockaddr结构;
大家看到这里可能会有下面的疑问:
a)这两个结构体到底是什么关系?
b)为什么要强制转化为struct sockaddr结构?
c)bind()库函数最后一个参数,为什么要把结构体长度传进去呢?
首先看看struct sockaddr_in和struct sockaddr结构体吧:
- struct sockaddr_in {
- sa_family_t sin_family; /* Address family */
- __be16 sin_port; /* Port number */
- struct in_addr sin_addr; /* Internet address */
- /* Pad to size of `struct sockaddr'. */
- unsigned char __pad[__SOCK_SIZE__ - sizeof(short int) -
- sizeof(unsigned short int) - sizeof(struct in_addr)];
- };
- struct sockaddr {
- sa_family_t sa_family; /* address family, AF_xxx */
- char sa_data[14]; /* 14 bytes of protocol address */
- };
这里struct sockaddr_in代表AF_INET域的地址,还有一个结构体struct sockaddr_un代表AF_UNIX域的地址;而struct sockaddr表示内核系统调用时使用的地址类型,内核根据不同的协议域,在处理具体地址时再转化为相应的结构体;
在struct sockaddr_in结构体中,__pad成员用于结构体的对齐,使struct sockaddr_in和struct sockaddr的大小一致;
三、根据不同的协议来完成绑定
上面代码中的第3步是根据应用程序在创建socket时传递到内核的协议域及socket类型来决定调用采用哪个方法,具体可以参考创建socket一文,这里不再赘述;下面以AF_IENT及SOCK_STREAM为例来说明绑定的过程;
1、调用链:
net/Socket.c:sys_bind()->net/ipv4/Af_inet.c:inet_bind();
2、inet_bind()逻辑:
1) 地址类型检查
- chk_addr_ret = inet_addr_type(sock_net(sk), addr->sin_addr.s_addr);
- if (!sysctl_ip_nonlocal_bind &&
- !inet->freebind &&
- addr->sin_addr.s_addr != htonl(INADDR_ANY) &&
- chk_addr_ret != RTN_LOCAL &&
- chk_addr_ret != RTN_MULTICAST &&
- chk_addr_ret != RTN_BROADCAST)
- goto out;
inet_addr_type()函数根据设置的ip地址检查其类型:
- static inline unsigned __inet_dev_addr_type(struct net *net,
- const struct net_device *dev,
- __be32 addr)
- {
- ……
- if (ipv4_is_zeronet(addr) || ipv4_is_lbcast(addr))
- return RTN_BROADCAST;
- if (ipv4_is_multicast(addr))
- return RTN_MULTICAST;
- ……
- local_table = fib_get_table(net, RT_TABLE_LOCAL);
- if (local_table) {
- ret = RTN_UNICAST;
- if (!local_table->tb_lookup(local_table, &fl, &res)) {
- if (!dev || dev == res.fi->fib_dev)
- ret = res.type;
- fib_res_put(&res);
- }
- }
- return ret;
- }
其中:
a.ipv4_is_zeronet()用于检查地址的高8位是否为0,即地址是否为0.x.x.x,这类地址称为零网地址,零网地址也属于广播地址;
b.ipv4_is_lbcast()用于检查地址是否是广播地址(广播地址有两种,一种是有限广播,即255.255.255.255,它不会被路由但是会发送到物理网段上的所有主机;另一种是直接广播,该类地址的主机字段为255,如192.168.1.255,该广播会路由到192.168.1网段的所有主机上);这里只是检查是否是有限广播地址;
c.ipv4_is_multicast()用于检查地址是否是多播地址,即224.x.x.x的D类地址;
当ip地址既不是多播,也不是广播时,需要通过查找路由表来确定地址的类型(关于路由表,后面再叙述);
拿到地址类型后,inet_bind()函数会检查地址是否是单播、多播或广播地址;否则就直接出错并返回;
2) 端口范围检查
- snum = ntohs(addr->sin_port);
- if (snum && snum < PROT_SOCK && !capable(CAP_NET_BIND_SERVICE))
- goto out;
- /* Sockets 0-1023 can't be bound to unless you are superuser */
- #define PROT_SOCK 1024
这里检查如果端口小于1024,且具有超级用户权限,否则直接出错并返回;
3) 设置源地址和接收地址
- if (sk->sk_state != TCP_CLOSE || inet->num)
- goto out_release_sock;
- inet->rcv_saddr = inet->saddr = addr->sin_addr.s_addr;
- if (chk_addr_ret == RTN_MULTICAST || chk_addr_ret == RTN_BROADCAST)
- inet->saddr = 0; /* Use device */
这里先检查sock的状态,如果不是TCP_CLOSE或端口为0,则出错返回(这里也映射到创建socket时要将sock结构体变量的状态设置为TCP_CLOSE上了);
如果地址类型是多播或广播,则源地址设置为0,而接收地址为设置的ip地址;
4) 检查端口是否被占用
- if (sk->sk_prot->get_port(sk, snum)) {
- inet->saddr = inet->rcv_saddr = 0;
- err = -EADDRINUSE;
- goto out_release_sock;
- }
这里根据创建socket协议族初始化时设置的sk_prot来判断端口是否被占用,如果被占用则直接出错返回;关于端口是否被占用,后面会有专门的一章来描述;
5) 初始化目标地址和端口
- inet->sport = htons(inet->num);
- inet->daddr = 0;
- inet->dport = 0;
至此,地址绑定就完成了。
总结:
1、 根据文件描述符从进程描述符中取出相应的文件,再得到socket结构;
2、 检查ip地址的类型是否是单播、多播或广播;
3、 检查端口是否被占用;
一、前情回顾
上一节《socket地址绑定》中提到,应用程序传递过来的端口在内核中需要检查端口是否可用:
- if (sk->sk_prot->get_port(sk, snum)) {
- inet->saddr = inet->rcv_saddr = 0;
- err = -EADDRINUSE;
- goto out_release_sock;
- }
按照前面的例子来分析,这里是调用了tcp_prot结构变量中的get_prot函数指针,该函数位于net/ipv4/Inet_connection_sock.c中;这个函数比较长,也是我们今天要分析的重点;
二、端口的管理
1、端口管理数据结构
Linux内核将所有socket使用时的端口通过一个哈希表来管理,该哈希表存放在全局变量tcp_hashinfo中,通过tcp_prot变量的h成员引用,该成员是一个联合类型;对于tcp套接字类型,其引用存放在h. hashinfo成员中;下面是tcp_hashinfo的结构体类型:
- struct inet_hashinfo {
- struct inet_ehash_bucket *ehash;
- rwlock_t *ehash_locks;
- unsigned int ehash_size;
- unsigned int ehash_locks_mask;
- struct inet_bind_hashbucket *bhash;//管理端口的哈希表
- unsigned int bhash_size;//端口哈希表的大小
- struct hlist_head listening_hash[INET_LHTABLE_SIZE];
- rwlock_t lhash_lock ____cacheline_aligned;
- atomic_t lhash_users;
- wait_queue_head_t lhash_wait;
- struct kmem_cache *bind_bucket_cachep;//哈希表结构高速缓存
- }
端口管理相关的,目前可以只关注加注释的这三个成员,其中bhash为已经哈希表结构,bhash_size为哈希表的大小;所有哈希表中的节点内存都是在bind_bucket_cachep高速缓存中分配;
下面看一下inet_bind_hashbucket结构体:
- struct inet_bind_hashbucket {
- spinlock_t lock;
- struct hlist_head chain;
- };
- struct hlist_head {
- struct hlist_node *first;
- };
- struct hlist_node {
- struct hlist_node *next, **pprev;
- };
inet_bind_hashbucket是哈希桶结构,lock成员是用于操作时对桶进行加锁,chain成员是相同哈希值的节点的链表;示意图如下:
2、默认端口的分配
当应用程序没有指定端口时(如socket客户端连接到服务端时,会由内核从可用端口中分配一个给该socket);
看看下面的代码(参见net/ipv4/Inet_connection_sock.c: inet_csk_get_port()函数):
- if (!snum) {
- int remaining, rover, low, high;
- inet_get_local_port_range(&low, &high);
- remaining = (high - low) + 1;
- rover = net_random() % remaining + low;
- do {
- head = &hashinfo->bhash[inet_bhashfn(rover, hashinfo->bhash_size)];
- spin_lock(&head->lock);
- inet_bind_bucket_for_each(tb, node, &head->chain)
- if (tb->ib_net == net && tb->port == rover)
- goto next;
- break;
- next:
- spin_unlock(&head->lock);
- if (++rover > high)
- rover = low;
- } while (--remaining > 0);
- ret = 1;
- if (remaining <= 0)
- goto fail;
- snum = rover;
- }
这里,随机端口的范围是32768~61000;上面代码的逻辑如下:
1) 从[32768, 61000]中随机取一个端口rover;
2) 计算该端口的hash值,然后从全局变量tcp_hashinfo的哈希表bhash中取出相同哈希值的链表head;
3) 遍历链表head,检查每个节点的网络设备是否和当前网络设置相同,同时检查节点的端口是否和rover相同;
4) 如果相同,表明端口被占用,继续下一个端口;如果和链表head中的节点都不相同,则跳出循环,继续后面的逻辑;
inet_bind_bucket_foreach宏利用《创建socket》一文中提到的container_of宏来实现 的,大家可以自己看看;
3、端口重用
当应用程序指定端口时,参考下面的源代码:
- else {
- head = &hashinfo->bhash[inet_bhashfn(snum, hashinfo->bhash_size)];
- spin_lock(&head->lock);
- inet_bind_bucket_for_each(tb, node, &head->chain)
- if (tb->ib_net == net && tb->port == snum)
- goto tb_found;
- }
此时同样会检查该端口有没有被占用;如果被占用,会检查端口重用(跳转到tb_found):
- tb_found:
- if (!hlist_empty(&tb->owners)) {
- if (tb->fastreuse > 0 &&
- sk->sk_reuse && sk->sk_state != TCP_LISTEN) {
- goto success;
- } else {
- ret = 1;
- if (inet_csk(sk)->icsk_af_ops->bind_conflict(sk, tb))
- goto fail_unlock;
- }
- }
1) 端口节点结构
- struct inet_bind_bucket {
- struct net *ib_net;//端口所对应的网络设置
- unsigned short port;//端口号
- signed short fastreuse;//是否可重用
- struct hlist_node node;//作为bhash中chain链表的节点
- struct hlist_head owners;//绑定在该端口上的socket链表
- };
前面提到的哈希桶结构中的chain链表中的每个节点,其宿主结构体是inet_bind_bucket,该结构体通过成员node链入链表;
2) 检查端口是否可重用
这里涉及到两个属性,一个是socket的sk_reuse,另一个是inet_bind_bucket的fastreuse;
sk_reuse可以通过setsockopt()库函数进行设置,其值为0或1,当为1时,表示当一个socket进入TCP_TIME_WAIT状态(连接关闭已经完成)后,它所占用的端口马上能够被重用,这在调试服务器时比较有用,重启程序不用进行等待;而fastreuse代表该端口是否允许被重用:
l 当该端口第一次被使用时(owners为空),如果sk_reuse为1且socket状态不为TCP_LISTEN,则设置fastreuse为1,否则设置为0;
l 当该端口同时被其他socket使用时(owners不为空),如果当前端口能被重用,但是当前socket的sk_reuse为0或其状态为TCP_LISTEN,则将fastreuse设置为0,标记为不能重用;
3) 当不能重用时,再次检查冲突
此时会调用inet_csk(sk)->icsk_af_ops->bind_conflict(sk, tb)再次检查端口是否冲突;回想《创建socket》一文中提到,创建socket成功后,要使用相应的协议来初始化socket,对于tcp协议来说,其初始化方法是net/ipv4/Tcp_ipv4.c:tcp_v4_init_sock(),其中就做了如下一步的设置:
- icsk->icsk_af_ops = &ipv4_specific;
- struct inet_connection_sock_af_ops ipv4_specific = {
- .queue_xmit = ip_queue_xmit,
- .send_check = tcp_v4_send_check,
- .rebuild_header = inet_sk_rebuild_header,
- .conn_request = tcp_v4_conn_request,
- .syn_recv_sock = tcp_v4_syn_recv_sock,
- .remember_stamp = tcp_v4_remember_stamp,
- .net_header_len = sizeof(struct iphdr),
- .setsockopt = ip_setsockopt,
- .getsockopt = ip_getsockopt,
- .addr2sockaddr = inet_csk_addr2sockaddr,
- .sockaddr_len = sizeof(struct sockaddr_in),
- .bind_conflict = inet_csk_bind_conflict,
- #ifdef CONFIG_COMPAT
- .compat_setsockopt = compat_ip_setsockopt,
- .compat_getsockopt = compat_ip_getsockopt,
- #endif
- };
下面看看这里再次检查冲突的代码:
- int inet_csk_bind_conflict(const struct sock *sk,
- const struct inet_bind_bucket *tb)
- {
- const __be32 sk_rcv_saddr = inet_rcv_saddr(sk);
- struct sock *sk2;
- struct hlist_node *node;
- int reuse = sk->sk_reuse;
- sk_for_each_bound(sk2, node, &tb->owners) {
- if (sk != sk2 &&
- !inet_v6_ipv6only(sk2) &&
- (!sk->sk_bound_dev_if ||
- !sk2->sk_bound_dev_if ||
- sk->sk_bound_dev_if == sk2->sk_bound_dev_if)) {
- if (!reuse || !sk2->sk_reuse ||
- sk2->sk_state == TCP_LISTEN) {
- const __be32 sk2_rcv_saddr = inet_rcv_saddr(sk2);
- if (!sk2_rcv_saddr || !sk_rcv_saddr ||
- sk2_rcv_saddr == sk_rcv_saddr)
- break;
- }
- }
- }
- return node != NULL;
- }
上面函数的逻辑是:从owners中遍历绑定在该端口上的socket,如果某socket跟当前的socket不是同一个,并且是绑定在同一个网络设备接口上的,并且它们两个之中至少有一个的sk_reuse表示自己的端口不能被重用或该socket已经是TCP_LISTEN状态了,并且它们两个之中至少有一个没有指定接收IP地址,或者两个都指定接收地址,但是接收地址是相同的,则冲突产生,否则不冲突。
也就是说,不使用同一个接收地址的socket可以共用端口号,绑定在不同的网络设备接口上的socket可以共用端口号,或者两个socket都表示自己可以被重用,并且还不在TCP_LISTEN状态,则可以重用端口号。
4、新建inet_bind_bucket
当在bhash中没有找到指定的端口时,需要创建新的桶节点,然后挂入bhash中:
- tb_not_found:
- ret = 1;
- if (!tb && (tb = inet_bind_bucket_create(hashinfo->bind_bucket_cachep,
- net, head, snum)) == NULL)
- goto fail_unlock;
- if (hlist_empty(&tb->owners)) {
- if (sk->sk_reuse && sk->sk_state != TCP_LISTEN)
- tb->fastreuse = 1;
- else
- tb->fastreuse = 0;
- } else if (tb->fastreuse &&
- (!sk->sk_reuse || sk->sk_state == TCP_LISTEN))
- tb->fastreuse = 0;
- success:
- if (!inet_csk(sk)->icsk_bind_hash)
- inet_bind_hash(sk, tb, snum);
有兴趣的可以自己看看这段代码的实现,这里就不再展开了。
几个问题了解以下几个问题的同学可以直接忽略下文:
1、listen库函数主要做了什么?
2、什么是最大并发连接请求数?
3、什么是等待连接队列?
Socket监听相对还是比较简单的,先看下应用程序代码:
-
listen(server_sockfd, 5);
其中,第一个参数server_sockfd为服务端socket所对应的文件描述符,第二个参数5代表监听socket能处理的最大并发连接请求数,在2.6.26内核中,该值为256;
listen库函数调用的主要工作可以分为以下几步:
1、根据socket文件描述符找到内核中对应的socket结构体变量;这个过程在《socket地址绑定》一文中描述过,这里不再重述;
2、设置socket的状态并初始化等待连接队列;
3、将socket放入listen哈希表中;
listen调用代码跟踪
下面是listen库函数对应的内核处理函数:
- asmlinkage long sys_listen(int fd,int backlog)
-
{
- struct socket *sock;
- int err, fput_needed;
- int somaxconn;
- // 根据文件描述符取得内核中的socket
- sock = sockfd_lookup_light(fd,&err,&fput_needed);
- if (sock){
- // 根据系统中的设置调整参数backlog
- somaxconn = sock_net(sock->sk)->core.sysctl_somaxconn;
- if ((unsigned)backlog> somaxconn)
- backlog = somaxconn;
- err = security_socket_listen(sock, backlog);
- // 调用相应协议簇的listen函数
- if (!err)
- err = sock->ops->listen(sock, backlog);
- fput_light(sock->file, fput_needed);
- }
- return err;
- }
根据《创建socket》一文的介绍,例子中,这里sock->ops->listen(sock, backlog)实际上调用的是net/ipv4/Af_inet.c:inet_listen()函数:
- int inet_listen(struct socket*sock, int backlog)
-
{
- struct sock *sk = sock->sk;
- unsigned char old_state;
- int err;
- lock_sock(sk);
- err =-EINVAL;
- // 1 这里首先检查socket的状态和类型,如果状态或类型不正确,返回出错信息
- if (sock->state!= SS_UNCONNECTED|| sock->type!= SOCK_STREAM)
- goto out;
- old_state = sk->sk_state;
- // 2 这里检查sock的状态是否是TCP_CLOSE或TCP_LISTEN,如果不是,返回出错信息
- if (!((1<< old_state)& (TCPF_CLOSE| TCPF_LISTEN)))
- goto out;
- /* Really,if the socket is alreadyin listen state
- * we can only allow the backlog to be adjusted.
- */
- // 3 当sock的状态不是TCP_LISTEN时,做监听相关的初始化
- if (old_state!= TCP_LISTEN){
- err = inet_csk_listen_start(sk, backlog);
- if (err)
- goto out;
- }
- // 4 设置sock的最大并发连接请求数
- sk->sk_max_ack_backlog= backlog;
- err = 0;
- out:
- release_sock(sk);
- return err;
- }
上面的代码中,有点值得注意的是,当sock状态已经是TCP_LISTEN时,也可以继续调用listen()库函数,其作用是设置sock的最大并发连接请求数;
下面看看inet_csk_listen_start()函数:
- int inet_csk_listen_start(struct sock*sk, const int nr_table_entries)
-
{
- struct inet_sock *inet = inet_sk(sk);
- struct inet_connection_sock *icsk = inet_csk(sk);
- // 初始化连接等待队列
- int rc = reqsk_queue_alloc(&icsk->icsk_accept_queue, nr_table_entries);
- if (rc!= 0)
- return rc;
- sk->sk_max_ack_backlog= 0;
- sk->sk_ack_backlog= 0;
- inet_csk_delack_init(sk);
- // 设置sock的状态为TCP_LISTEN
- sk->sk_state= TCP_LISTEN;
- if (!sk->sk_prot->get_port(sk, inet->num)){
- inet->sport= htons(inet->num);
- sk_dst_reset(sk);
- sk->sk_prot->hash(sk);
- return 0;
- }
- sk->sk_state= TCP_CLOSE;
- __reqsk_queue_destroy(&icsk->icsk_accept_queue);
- return -EADDRINUSE;
-
}
这里nr_table_entries是参数backlog经过最大值调整后的值;
相关数据结构
先看下接下来的代码中提到了几个数据结构,一起来看一下:
1、request_sock
- struct request_sock {
- struct request_sock *dl_next;/* Must be first*/
- u16 mss;
- u8 retrans;
- u8 cookie_ts; /* syncookie: encode tcpoptsin timestamp */
- /* The following two fields can be easily recomputed I think-AK */
- u32 window_clamp; /* window clamp at creationtime */
- u32 rcv_wnd; /* rcv_wnd offered first time */
- u32 ts_recent;
- unsigned long expires;
- const struct request_sock_ops *rsk_ops;
- struct sock *sk;
- u32 secid;
- u32 peer_secid;
- };
socket在侦听的时候,那些来自其它主机的tcp socket的连接请求一旦被接受(完成三次握手协议),便会建立一个request_sock,建立与请求socket之间的一个tcp连接。该request_sock会被放在一个先进先出的队列中,等待accept系统调用的处理;
2、listen_sock
- struct listen_sock {
- u8 max_qlen_log;
- /* 3 bytes hole, tryto use */
- int qlen;
- int qlen_young;
- int clock_hand;
- u32 hash_rnd;
- u32 nr_table_entries;
- struct request_sock *syn_table[0];
- };
新建立的request_sock就存放在syn_table中;这是一个哈希数组,总共有nr_table_entries项;
成员max_qlen_log以2的对数的形式表示request_sock队列的最大值;
qlen是队列的当前长度;
hash_rnd是一个随机数,计算哈希值用;
3、request_sock_queue
- struct request_sock_queue {
- struct request_sock *rskq_accept_head;
- struct request_sock *rskq_accept_tail;
- rwlock_t syn_wait_lock;
- u16 rskq_defer_accept;
- /* 2 bytes hole, tryto pack */
- struct listen_sock *listen_opt;
- };
结构体struct request_sock_queue中的rskq_accept_head和rskq_accept_tail分别指向request_sock队列的队列头和队列尾;
等待连接队列初始化
先看下reqsk_queue_alloc()的源代码:
- int reqsk_queue_alloc(struct request_sock_queue*queue,
- unsigned int nr_table_entries)
-
{
- size_t lopt_size = sizeof(struct listen_sock);
- struct listen_sock *lopt;
- // 1 控制nr_table_entries在8~ sysctl_max_syn_backlog之间
- nr_table_entries = min_t(u32, nr_table_entries, sysctl_max_syn_backlog);
- nr_table_entries = max_t(u32, nr_table_entries, 8);
- // 2 向上取2的幂
- nr_table_entries = roundup_pow_of_two(nr_table_entries+ 1);
- // 3 申请等待队列空间
- lopt_size += nr_table_entries* sizeof(struct request_sock*);
- if (lopt_size> PAGE_SIZE)
- lopt = __vmalloc(lopt_size,
- GFP_KERNEL | __GFP_HIGHMEM | __GFP_ZERO,
- PAGE_KERNEL);
- else
- lopt = kzalloc(lopt_size, GFP_KERNEL);
- if (lopt== NULL)
- return -ENOMEM;
- // 4 设置listen_sock的成员max_qlen_log最小为3,最大为nr_table_entries的对数
- for (lopt->max_qlen_log= 3;
- (1 << lopt->max_qlen_log)< nr_table_entries;
- lopt->max_qlen_log++);
-
- // 5 相关字段赋值
- get_random_bytes(&lopt->hash_rnd, sizeof(lopt->hash_rnd));
- rwlock_init(&queue->syn_wait_lock);
- queue->rskq_accept_head= NULL;
- lopt->nr_table_entries= nr_table_entries;
-
- write_lock_bh(&queue->syn_wait_lock);
- queue->listen_opt= lopt;
- write_unlock_bh(&queue->syn_wait_lock);
- return 0;
- }
整个过程中,先计算request_sock的大小并申请空间,然后初始化request_sock_queue的相应成员的值;
TCP_LISTEN的socket管理
在《端口管理》一文中提到管理socket的哈希表结构inet_hashinfo,其中的成员listening_hash[INET_LHTABLE_SIZE]用于存放处于TCP_LISTEN状态的sock;
当socket通过listen()调用完成等待连接队列的初始化后,需要将当前sock放到该结构体中:
- if (!sk->sk_prot->get_port(sk, inet->num)){
- // 这里再次判断端口是否被占用
- inet->sport= htons(inet->num);
- sk_dst_reset(sk);
- // 将当前socket哈希到inet_hashinfo中
- sk->sk_prot->hash(sk);
- return 0;
- }
这里调用了net/ipv4/Inet_hashtables.c:inet_hash()方法:
- void inet_hash(struct sock*sk)
-
{
- if (sk->sk_state!= TCP_CLOSE){
- local_bh_disable();
- __inet_hash(sk);
- local_bh_enable();
- }
-
}
- static void __inet_hash(struct sock *sk)
-
{
- // 取得inet_hashinfo结构
- struct inet_hashinfo *hashinfo = sk->sk_prot->h.hashinfo;
- struct hlist_head *list;
- rwlock_t *lock;
- // 状态检查
- if (sk->sk_state!= TCP_LISTEN){
- __inet_hash_nolisten(sk);
- return;
- }
- BUG_TRAP(sk_unhashed(sk));
- // 计算hash值,取得链表
- list = &hashinfo->listening_hash[inet_sk_listen_hashfn(sk)];
- lock = &hashinfo->lhash_lock;
-
- inet_listen_wlock(hashinfo);
- // 将sock添加到链表中
- __sk_add_node(sk, list);
- sock_prot_inuse_add(sock_net(sk), sk->sk_prot, 1);
- write_unlock(lock);
- wake_up(&hashinfo->lhash_wait);
- }