揭开网络编程常见API的面纱【上】

待我称王封你为后i 2022-08-07 12:50 145阅读 0赞

Linux网络编程API函数初步剖析

今天我们来分析一下前几篇博文中提到的网络编程中几个核心的API，探究一下当我们调用每个API时，内核中具体做了哪些准备和初始化工作。

[![23069658_1343830677XZd3.jpg][]][23069658_1343830677XZd3.jpg]

**1****、socket(family,type,protocol)**

当我们在开发网络应用程序时，使用该系统调用来创建一个套接字。该API所做的工作如下所示：

[![23069658_1343830689LI36.jpg][]][23069658_1343830689LI36.jpg]

该系统调用主要完成两个任务：“创建套接字”和“为套接字绑定文件句柄”。

socket\{\}<include/linux/net.h>结构定义如下：

**struct socket** \{

socket\_state state; //socket状态

unsigned long flags; //标识，如SOCK\_ASYNC\_NOSAPCE

const **struct proto\_ops** \*ops; //协议特定的socket操作集

struct fasync\_struct \*fasync\_list; //异步唤醒队列

**struct file** \*file;//指向文件的指针

**struct sock** \*sk;//指向下一层中的sock结构

wait\_queue\_head\_t wait; //等待在这个socket上的任务列表

short type;//数据包的类型

\};

在创建socket套接字时，就是要完成ops、file和sk等这些成员的初始化。

1).创建套接字：sock\_create()

根据family参数值在全局数组structnet\_proto\_family *net\_families*\[\]里找到我们所指定的地址簇。不同类型的地址簇都有一个struct net\_proto\_family\{\}类型的对象，例如我们常见的IPv4的inet\_family\_ops，IPv6的inet6\_family\_ops，X25协议的ax25\_family\_ops等。在内核是初始化时，这些模块会在自己的初始化函数内部调用sock\_register()接口将各自的地址簇对象注册到*net\_families*\[\]数组里。

我们分析的焦点集中在IPv4协议簇，即inet\_family\_ops对象上。重点是inet\_create函数，该函数的主要任务就是创建一个socket套接字，并对其中相关结构体成员进行必要的初始化。至于它创建套接字时的依据和原理等到我们讲协议栈时大家就明白了，这里主要是让大家对其流程执行流程有个感性的把握。

sock\_alloc()函数中我们创建一个structsocket\{\}类型的对象，假如叫做A，将socket()系统调用的第二参数type字段赋值给A->type。

在inet\_create()函数中，我们根据type的值，在全局数组struct inet\_protosw *inetsw*\[\]里找到我们对应的协议转换开关。而inetsw\[\]数组是在inet\_init()函数里被初始化的：

[![23069658_1343830685l1uu.jpg][]][23069658_1343830685l1uu.jpg]

其中inetsw\_array\[\]是一个比较重要的数据结构，定义在af\_inet.c文件中：

[![23069658_1343830681SWSZ.jpg][]][23069658_1343830681SWSZ.jpg]

根据type的值，就可以确定struct socket\{\}->ops，到底是inet\_stream\_ops、inet\_dgram\_ops或者inet\_sockraw\_ops。然后，对应地，就以tcp\_prot、udp\_prot或raw\_prot为输入参数，实例化一个structsock\{\} 对象sk=sk\_alloc()。紧接着建立socket\{\}和sock\{\}的关联，最后将socket()系统调用的第三个参数protocol付给sock\{\}对象中的属性sk\_protocol。

看不懂别着急，我说过，这里只是给大家梳理整体流程，等到我们讲了协议栈章节，然后再回头看本篇，就感觉这些东西就太小儿科了。

2).为套接字绑定文件句柄：sock\_map\_fd()

我们都知道网络套接字也是一种系统IO，所以不可避免的要与文件系统打交道。每个套接字都对应一个已打开的文件标识符，所以在套接字初始化完成后，就要将其和本地一个唯一的文件标识符关联起来，即建立socket\{\}和file\{\}之间的关联关系。

**2****、bind(sockfd, sockaddr, addrlen)**

该系统调用在内核中的执行过程如下：

[![23069658_1343830693FFF9.jpg][]][23069658_1343830693FFF9.jpg]

重点是socket->ops->bind()回调接口。我们现在已经知道了，针对IPv4而言，这里的ops无非就是***inet\_stream\_ops***、***inet\_dgram\_ops***或***inet\_sockraw\_ops***对象。碰巧的是，这三个对象中的bind函数指针均指向inet\_bind()函数。只有原始套接字的情况，这里会去调用***raw\_prot***对象的bind回调函数，即raw\_bind()。

**3****、listen(sockfd,backlog)**

[![23069658_1343830697FIpB.jpg][]][23069658_1343830697FIpB.jpg]

这里我们可以看到面向无连接的套接字和原始套接字是不用listen的，只有流式套接字才有效。

**4** **、connect(sockfd, sockaddr, addrlen)**

[![23069658_1343830700VZj8.jpg][]][23069658_1343830700VZj8.jpg]

从这幅图中我们确实看到，connect()系统调用不但可以面向连接的套接字，也可用于无连接及原始套接字。

**5****、accept(sockfd,sockaddr, addrlen)**

[![23069658_1343830704GP1Z.jpg][]][23069658_1343830704GP1Z.jpg]

同样地，我们看到只有面向连接的流式套接字调用accept()才有意义。最终调用的是***tcp\_prot***对象的accept成员函数。

本篇主要进一步分析了网络编程中常见的几个API函数内部的调用流程，一方面可以使大家对这些API的有了更深的认识，不是仅仅停留在形而上的层面；另一方面为后面分析协议栈的实现原理，奠定坚实的基础。

未完，待续…

[23069658_1343830677XZd3.jpg]: http://blog.chinaunix.net/attachment/201208/1/23069658_1343830677XZd3.jpg
[23069658_1343830689LI36.jpg]: http://blog.chinaunix.net/attachment/201208/1/23069658_1343830689LI36.jpg
[23069658_1343830685l1uu.jpg]: http://blog.chinaunix.net/attachment/201208/1/23069658_1343830685l1uu.jpg
[23069658_1343830681SWSZ.jpg]: http://blog.chinaunix.net/attachment/201208/1/23069658_1343830681SWSZ.jpg
[23069658_1343830693FFF9.jpg]: http://blog.chinaunix.net/attachment/201208/1/23069658_1343830693FFF9.jpg
[23069658_1343830697FIpB.jpg]: http://blog.chinaunix.net/attachment/201208/1/23069658_1343830697FIpB.jpg
[23069658_1343830700VZj8.jpg]: http://blog.chinaunix.net/attachment/201208/1/23069658_1343830700VZj8.jpg
[23069658_1343830704GP1Z.jpg]: http://blog.chinaunix.net/attachment/201208/1/23069658_1343830704GP1Z.jpg