linux中在进程之间传递文件描述符的实现方式

简介: linux中在进程之间传递文件描述符的实现方式

参考

刚才在学习vhost-user时,发现qemu进程跟dpdk进程之间会通过unix套接字来发送文件描述符,进而实现内存共享的功能。那么linux是如何实现这一技术的呢?

上面的参考文章中利用UNIX本地套接字实现了在不同的进程之间传递文件描述符,下面大致分析一下linux内核是如何实现的。

正文

用户态主要接口

首先看一下用户态用到的主要代码(代码做了简化):

发送端

// 创建UNIX套接字
  cli_fd = socket(AF_UNIX, SOCK_STREAM, 0);
// 连接接收端
  connect(cli_fd, (struct sockaddr *)&server_addr, sizeof(server_addr));
// 打开一个要发送的文件,获取文件描述符
  fd = open(OPEN_FILE, O_CREAT | O_RDWR, 0777);
// 设置socket_msg
  ctrl_msg = CMSG_FIRSTHDR(&socket_msg);
  ctrl_msg->cmsg_len = CMSG_LEN(sizeof(cli_fd));
  ctrl_msg->cmsg_level = SOL_SOCKET;
  ctrl_msg->cmsg_type = SCM_RIGHTS;
  *((int *)CMSG_DATA(ctrl_msg)) = fd;
// 发送
  sendmsg(cli_fd, &socket_msg, 0);

接收端

// 创建UNIX套接字
  listen_fd = socket(AF_UNIX, SOCK_STREAM, 0);
// 等待连接
  cli_fd= accept(listen_fd, (struct sockaddr *)&client_addr, &cli_len);
// 接受数据
  recvmsg(cli_fd, &socket_msg, 0);
// 解析fd
  ctrl_msg = CMSG_FIRSTHDR(&socket_msg);
  rev_fd = *((int *)CMSG_DATA(ctrl_msg));

内核实现

发送端

这里主要分析sendmsg的实现:

文件:net\socket.c

SYSCALL_DEFINE3(sendmsg, int, fd, struct user_msghdr __user *, msg, unsigned int, flags)
{
  return __sys_sendmsg(fd, msg, flags, true);
}

然后从__sys_sendmsg一路往下调用:

__sys_sendmsg
  -> sockfd_lookup_light
  -> ___sys_sendmsg(sock, msg, &msg_sys, flags, NULL, 0)
    -> ____sys_sendmsg
      -> sock_sendmsg
        -> sock_sendmsg_nosec
          -> unix_stream_sendmsg
            -> scm_send(sock, msg, &scm, false);
              -> __scm_send
                -> scm_fp_copy(cmsg, &p->fp)
                  -> fpl = kmalloc(sizeof(struct scm_fp_list), GFP_KERNEL)
                  -> fpp = &fpl->fp[fpl->count]
                  -> file = fget_raw(CMSG_DATA(cmsg))
                  -> *fpp++ = file
            -> unix_scm_to_skb(&scm, skb, !fds_sent)
              -> unix_attach_fds
                -> scm_fp_dup
                  -> new_fpl = kmemdup(fpl, offsetof(struct scm_fp_list, fp[fpl->count])
                  -> get_file(fpl->fp[i]);
                  -> return new_fpl

scm_fp_copy中会分配一块内存fpl,用户要发送的文件描述符fd存放在CMSG_DATA(cmsg)中,调用fget_raw获取fd对应的struct file指针,最后将file指针存放到fpl指向的内存中。

scm_fp_dup中将fpl拷贝一份返回,并且增加file结构体的引用计数。

接收端

这里主要分析recvmsg的实现:

文件:net\socket.c

SYSCALL_DEFINE3(recvmsg, int, fd, struct user_msghdr __user *, msg,
    unsigned int, flags)
{
  return __sys_recvmsg(fd, msg, flags, true);
}

然后从__sys_recvmsg一路往下调用:

__sys_recvmsg
  -> sockfd_lookup_light
  -> ___sys_recvmsg
    -> ____sys_recvmsg
      -> sock_recvmsg
        -> unix_stream_recvmsg
          -> unix_stream_read_generic
            -> unix_detach_fds(&scm, skb);
            -> scm_recv
              -> scm_detach_fds
                -> struct file **fp = scm->fp->fp
                -> new_fd = get_unused_fd_flags
                -> put_user(new_fd, CMSG_DATA(cm))
                -> fd_install(new_fd, get_file(fp[i]))
                -> __scm_destroy(scm)
                  -> fput(fpl->fp[i])

从skb中构造scm,其中包含发送过来的fp,然后从中将file指针提取出来,接着调用get_unused_fd_flags从当前进程中分配一个空闲的new_fd,最后调用fd_install装载到当前进程的files_struct中。此外,还需要将new_fd设置到CMSG_DATA(cm)中,这样上层应用就可以获得属于自己的文件描述符。

小结

对于引用计数的管理,在发送的时候会调用get_file增加引用计数,防止发送过程中发送端关闭这个文件时file结构体被销毁,在接收端接收的时候也会调用get_file增加引用计数,最后在__scm_destroy中会将file结构体的引用计数减1,这样在整个发送和接收过程中file结构体的引用计数实际增加了1,增加的1是给接收端用的,这样只有当发送端和接收端都关闭这个文件时,对应的file结构体才会被销毁。

通过上面的分析可以知道,发送端和接收端实际是通过增加引用计数的方式共享了同一个file结构体,但是这个file结构体在发送端和接收端对应的fd文件描述符不一定相同,盗用一幅《UNIX环境高级编程》中的图片来描述场景:

同时也正因为是共享了同一个数据结构,所以只能在同一台机器上通过UNIX域套接字实现发送文件描述符的功能。

相关文章
|
2月前
|
网络协议 Linux
Linux查看端口监听情况,以及Linux查看某个端口对应的进程号和程序
Linux查看端口监听情况,以及Linux查看某个端口对应的进程号和程序
145 2
|
2月前
|
Linux Python
linux上根据运行程序的进程号,查看程序所在的绝对路径。linux查看进程启动的时间
linux上根据运行程序的进程号,查看程序所在的绝对路径。linux查看进程启动的时间
47 2
|
9天前
|
Linux Shell
6-9|linux查询现在运行的进程
6-9|linux查询现在运行的进程
|
2月前
|
图形学 开发者 存储
超越基础教程:深度拆解Unity地形编辑器的每一个隐藏角落,让你的游戏世界既浩瀚无垠又细节满满——从新手到高手的全面技巧升级秘籍
【8月更文挑战第31天】Unity地形编辑器是游戏开发中的重要工具,可快速创建复杂多变的游戏环境。本文通过比较不同地形编辑技术,详细介绍如何利用其功能构建广阔且精细的游戏世界,并提供具体示例代码,展示从基础地形绘制到植被与纹理添加的全过程。通过学习这些技巧,开发者能显著提升游戏画面质量和玩家体验。
68 3
|
2月前
|
消息中间件 Linux
Linux进程间通信
Linux进程间通信
36 1
|
2月前
|
C语言
Linux0.11 系统调用进程创建与执行(九)(下)
Linux0.11 系统调用进程创建与执行(九)
26 1
|
22天前
|
存储 监控 安全
探究Linux操作系统的进程管理机制及其优化策略
本文旨在深入探讨Linux操作系统中的进程管理机制,包括进程调度、内存管理以及I/O管理等核心内容。通过对这些关键组件的分析,我们将揭示它们如何共同工作以提供稳定、高效的计算环境,并讨论可能的优化策略。
23 0
|
2月前
|
开发者 API Windows
从怀旧到革新:看WinForms如何在保持向后兼容性的前提下,借助.NET新平台的力量实现自我进化与应用现代化,让经典桌面应用焕发第二春——我们的WinForms应用转型之路深度剖析
【8月更文挑战第31天】在Windows桌面应用开发中,Windows Forms(WinForms)依然是许多开发者的首选。尽管.NET Framework已演进至.NET 5 及更高版本,WinForms 仍作为核心组件保留,支持现有代码库的同时引入新特性。开发者可将项目迁移至.NET Core,享受性能提升和跨平台能力。迁移时需注意API变更,确保应用平稳过渡。通过自定义样式或第三方控件库,还可增强视觉效果。结合.NET新功能,WinForms 应用不仅能延续既有投资,还能焕发新生。 示例代码展示了如何在.NET Core中创建包含按钮和标签的基本窗口,实现简单的用户交互。
53 0
|
2月前
|
存储 Linux 调度
Linux0.11 进程切换(十)
Linux0.11 进程切换(十)
18 0
|
3月前
|
运维 关系型数据库 MySQL
掌握taskset:优化你的Linux进程,提升系统性能
在多核处理器成为现代计算标准的今天,运维人员和性能调优人员面临着如何有效利用这些处理能力的挑战。优化进程运行的位置不仅可以提高性能,还能更好地管理和分配系统资源。 其中,taskset命令是一个强大的工具,它允许管理员将进程绑定到特定的CPU核心,减少上下文切换的开销,从而提升整体效率。
掌握taskset:优化你的Linux进程,提升系统性能
下一篇
无影云桌面