linux fork函数总结

linux fork函数总结本篇主要是对《Linux内核函数之fork函数》的一个总结,主要是注明了父子进程、父子线程之间在代码中的对应关系。 fork函数是被pthrea

本篇主要是对《Linux内核函数之fork函数》的一个总结,主要是注明了父子进程、父子线程之间在代码中的对应关系。

fork函数是被pthread_create、fork、vfork、kernel_thread等函数复用,因此分析的时候,要注意每个函数的特点。fork所做的事情一般是先复制(直接赋值)一份current结构到当前进程p,然后再一个一个将current的工作目录、信号、信号量、信号处理函数和命名空间等复制到当前进程p(因为一直这样复制其实是比较耗时的,因此,fork采用的是COW机制,在复制了刚才说的几个重要的结构后,在复制其他非task_struct管理结构都采用的是复制它的映射表,并且会将对应的页表设置成只读,这样就可以减少复制时间),最后通过copy_thread_tls设置好新进程的寄存器和返回函数、返回值,并返回到应用空间(由于新进程是直接加入到CPU的运行队列的,所以fork返回后,到底是先运行父进程还是子进程,这个是看当时的运行情况决定)。

注:vfork保证子进程先运行,在它调用exec或exit之后父进程才能调度运行,也就是当子进程调用exec或者exit的时候, 会触发wake_up($vfork)的信号。

所谓的COW机制就是如上所说:就是只复制数据的页表,然后设置页表只读。因此,当进程对数据进行只读的时候,父子进程的内存空间依然是共享的,但是如果某个进程产生了写动作,就会因为没有写权限而产生一个do_page_fault错误,由这个do_page_falut函数重新为它分配新的内存,并建设新的映射关系,这个会在以后讲虚拟地址的时候加以说明。

注:一个内核线程只有一个栈即内核栈;一个应用进程/线程拥有两个栈即内核栈和用户栈。毫无疑问,用户栈主要用于用户态(armv7的usr模式,armv8的EL0异常),内核栈用于内核态(armv7的svc模式,armv8的EL1异常)。至于用户栈和内核栈,以后会在体系结构中加以说明。

1、子进程与父进程的关系(子进程通过task_struct->real_parent可以获取到父进程的task_struct,注意:在有调试工具介入的时候,task_struct->parent指向调试进程,否则parent和real_parent都指向父进程),如下图:

linux fork函数总结

父进程可以通过task_struct->children链表找到所有子进程。子进程可以通过task_struct->real_parent找到自己所在的父进程。

2、进程与idle进程的关系,如下图:

linux fork函数总结

idle进程的tasks链表上能够找到整个系统的所有进程。

3、线程与线程组的关系,如下图:

linux fork函数总结

线程组组长,实际上就是一个进程,它的所有组员,都是由它用pthread_create创建的。它的所有组员都通过task_struct->group_leader找到它,同样它可以通过task_struct->thread_group遍历到所有它的组员。一个线程组中,所有线程的父进程和它的组长线程的父进程一样即task_struct->real_parent都指向同一个进程。

4、在线程共享信号中,线程的位置,如下图:

linux fork函数总结

由于在Linux当中,所有同线程组下的线程其实是共享信号和信号处理函数的。什么意思呢?在Linux线程中,除了SIGSEGV(由于本身运行异常导致)、SIGBUS、SIGFPE、SIGILL之类的信号,每个线程都可能会收到这个信号(因为线程共享信号),但是只要其中一个线程处理了这个信号(可以理解为:当信号到来的时候,程序去遍历task_struct->signal->thread_node链表,去寻找可以处理信号的线程,如果找到了,就break;如果没有找到,就去查询下一个线程),其他线程就不会再收到此信号。因此,如果我们pthread_create出来的线程想要不处理这种信号,那么就需要做一定的特殊处理来屏蔽该信号(每个线程都有自己的挂起信号掩码和阻塞信号掩码)。

如上图,每个线程的signal是指向同一个的即task_struct->signal相同,可以通过遍历task_struct->signal->thread_head来得到当前线程组下的所有线程,这些线程是通过task_struct->thread_node挂接到signal->thread_head的。

注:不管是进程还是线程,都有一个不同的pid, 而同一个线程组下的所有线程,有且只有一个tgid,这个tgid的值为线程组组长的pid值。

5、进程在pid空间的结构,如下图:

linux fork函数总结

如上图,可见:进程在fork函数中,首先通过alloc_pid函数从pid cache内存中申请一个struct pid结构(该结构会在alloc_pid中将pid添加到 pid_hash[]表中),然后把这个pid结构赋值给task_struct->pids.pid,最后又通过hlist_add_head_rcu函数将该task_struct加入到pid所指向的task链表上(这个链表分为三类:PID,PGID,SID),以后就可以通过pid来找到对应的task_struct,也可以通过task_struct来找到对应所在的pid链。

注:pid hash在Linux内核初始化的时候初始化,pidhash_init()和pidmap_init(),存在于kernel/pid.c文件中。常见查找函数:get_pid_task, find_get_pid,get_task_pid,find_task_by_vpid,find_task_by_pid_ns等。

今天的文章linux fork函数总结分享到此就结束了,感谢您的阅读。

版权声明:本文内容由互联网用户自发贡献,该文观点仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 举报,一经查实,本站将立刻删除。
如需转载请保留出处:https://bianchenghao.cn/7928.html

(0)
编程小号编程小号

相关推荐

发表回复

您的电子邮箱地址不会被公开。 必填项已用*标注