OK6410A 开发板 (八) 28 linux-5.11 OK6410A 进程角度 fork的分析

2024-05-27 15:48

本文主要是介绍OK6410A 开发板 (八) 28 linux-5.11 OK6410A 进程角度 fork的分析,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

fork 是 分叉的意思 , 一个进程分成两个进程
之前实现了一个 多进程os,也必定实现了fork
https://github.com/lisider/learn_os/tree/master/process
看一下 fork 一个进程 XXX 的本质是什么1. 为 TCB 找一块空间2. 填充 sp 成员3. 在 sp 中压栈(压入入口地址,参数,cpsr)4. 将 TCB 插入 调度时 调度器会访问(在该链表中选择下一个进程)的链表
在调度的时候A. 选择 XXX 作为 下一个进程B. 保存上一个进程C. 根据 XXX 获取 XXX 的 sp成员D. 将 XXX 的 sp成员 放入 当前 的 sp 寄存器中E. 弹栈(入口地址到pc寄存器,参数到r0寄存器/r1寄存器...,cpsr成员到cpsr寄存器)F. 开始执行 XXX 进程可以看出, 这个小 os 的 fork 其实比较简单,但是也完成了 task_struct 里面所有成员的初始化
意思是 fork 要完成 新的 task_struct 里面成员的初始化(sp/next)
意思是 task_struct 越大,fork越复杂
现实是 linux 的 task_struct 很大, fork 很复杂
所以要抓住 task_struct 中的关键成员,来捋一下 fork的流程
  • fork 的流程 从 sys_fork
// 我们关注的是 sp 及 sp中压栈 及 插入运行队列
SYSCALL_DEFINE0(fork)kernel_clone(&args);copy_process(NULL, trace, NUMA_NO_NODE, args);copy_iocopy_threadstruct thread_info *thread = task_thread_info(p);struct pt_regs *childregs = task_pt_regs(p);if (likely(!(p->flags & PF_KTHREAD))){ // 用户进程*childregs = *current_pt_regs(); // 复制 18个成员childregs->ARM_r0 = 0; // 重新赋值ARM_r0 成员childregs->ARM_sp = stack_start;// 重新赋值ARM_sp 成员// 注意 : childregs->ARM_lr 在 *childregs = *current_pt_regs(); 时 赋值初值} else {// 内核进程memset(&thread->cpu_context, 0, sizeof(struct cpu_context_save));// 压栈 r5thread->cpu_context.r5 = stack_start;}// 压栈 pcthread->cpu_context.pc = (unsigned long)ret_from_fork;// 压栈 spthread->cpu_context.sp = (unsigned long)childregs;...wake_up_new_task(p);// 插入运行队列为什么要压栈 ret_from_fork ,而不是用户空间的入口函数1.因为下次调入的时候,肯定是在内核,恢复的时候,pc肯定要为内核空间的地址而 ret_from_fork 符合 要求2.内核入口出口需要统一管理,出口 交由 ret_from_fork  管理ret_from_fork  的过程总结
其实就是 从 svc mode 转向 另一个 mode 的一个过程(另一个mode 的 环境 在 sp_svc 指向的 struct pt_regs 中)
过程分为两个子过程1.设置 另一个mode 的全部寄存器(如果是user,则是r0-r15 & cpsr)2.同时设置 svc mode 的 bank寄存器 (R13_svc/R14_svc/SPSR_svc)ret_from_fork get_thread_info tsk // tsk .req    r9ARM(   mov \rd, sp, lsr #THREAD_SIZE_ORDER + PAGE_SHIFT    )mov \rd, \rd, lsl #THREAD_SIZE_ORDER + PAGE_SHIFT// 将sp进行8KB对齐后的值赋给寄存器r9// r9_svc 中存储 thread_info 的值// 用作后面的 work_pending 的判断// work_pending 没有在 本文中显示,请查找源码/*15 struct pt_regs {                                                                 16     unsigned long uregs[18];                                                     17 }; // 从下到上,存了// r0-r15// cpsr// ARM_ORIG_r0 // 也叫作OLD_R0*/// pt_regs  在 task_truct 地址 上 8K的位置ret_slow_syscalldisable_irqrestore_user_regs fast = 0, offset = 0// 第一次的sp_svc ,应该是 struct pt_regs 变量(在task_struct 8K 最上端)的地址-sizeof(struct pt_regs)// 即 struct pt_regs 的底端mov r2, sp // 将 svc mode 下的 sp  放到 r2load_user_sp_lr r2, r3, \offset + S_SP  @ calling sp, lr // 切换到 SYS mode// ********************************************************************************* 重点1 user mode 下的 r13 r14// 将 r2+S_SP地址 的值(struct pt_regs 中的 ARM_sp) 放到 SYS mode 下的sp (同 user mode 下的 sp)   // r2 地址中的值 是 新建用户进程 的栈 , 值 为 stack_start// 将 r2+S_SP+4地址 的值(struct pt_regs 中的 ARM_lr) 放到 SYS mode 下的lr(同 user mode 下的 lr) // r2 +4 地址中的值 是 新建用户进程 的第一条指令的值// 切换到 SVC mode// ********************************************************************************* 重点A svc mode 下的 lrldr r1, [sp, #\offset + S_PSR]// spsr 相关// 将 svc mode 下的 sp 为地址,偏移 S_PSR, cpsr 成员 放到 r1// 即 将 struct pt_regs 变量 中的 cpsr 放到 r1_svc// cpsr 成员 为 user modeldr lr, [sp, #\offset + S_PC]// 将 svc mode 下的 sp 为地址,偏移 S_PC, pc 成员 放到 lr// 即 将 struct pt_regs 变量 中的 pc 放到 lr_svc// 第二次的sp_svc:应该是 struct pt_regs 变量 地址偏移 52 地址 (而不是地址中的值)add sp, sp, #\offset + S_SP// svc mode 的 sp = sp + sp成员值// ********************************************************************************* 重点B svc mode 下的 spsrmsr spsr_cxsf, r1 // spsr 相关// 将 r1中的值 放入 svc mode 下的 spsr// 即 将 struct pt_regs 变量 中的 cpsr 放到 spsr_svcstrex   r1, r2, [sp]// clear the exclusive monitor // 将 struct pt_regs 中的 ARM_sp 置为 该值 // struct pt_regs 变量(在task_struct 8K 最上端)的地址-sizeof(struct pt_regs)// STREX Rx ,Ry,[Rz] // 将Ry寄存器中的值读出来放到Rz指向的内存单元处// 如果Rz内存单元的状态为Exclusive Access state,则Rx的值将会被赋值为0// 而如果Rz内存单元的状态为Open Access state的话,Rx的值将会被赋值为1// 并且Ry的值也不会被加载到Rz指向的内存单元中。也就是指令失败ldmdb   sp, {r0 - r12}// ********************************************************************************* 重点2 user mode 下的 r10-r12// 加载 struct pt_regs 中的 (ARM_r0-ARM_r12变量) 到 svc mode 下的 r0-r12(即usermode下的r0-r12)// 第三次的sp_svc:// ********************************************************************************* 重点C svc mode 下的 spadd sp, sp, #S_FRAME_SIZE - S_SP// 设置 svc mode 下的 sp , 值 为 struct pt_regs 的 顶端movs    pc, lr// ********************************************************************************* 重点3 user mode 下的 pc cpsr (user mode 下 没有 spsr)// 更改 cpsr 为 spsr_svc 中的值(即切换到 usermode)// 将 lr_user 的值 放到 pc_user// ARM处理器相应异常时,会自动完成将当前的PC保存到LR寄存器// 此时 fork 的用户进程开始执行
其他
  • 每个 task_struct 对应的 struct pt_regs 与 struct thread_info 中的 struct cpu_context_save
系统调用对应的数据结构是pt_regs,而进程调度使用的是thread_info -> cpu_context_save用户进程A fork 出 用户进程B 参与了 系统调用(这次系统调用与我们讨论的无关),从而fork完成用户进程B 的执行 是 进程调度的结果,而且调入后处于内核态,需要 从系统调用返回的路径 返回 用户空间 // 该过程涉及到了进程调度和系统调用
所以这两个结构体都涉及到了
1. fork 的时候填充了 pt_regs其中 r0 为 0其中 sp 为 stack_start // 是 函数指针,为入口函数// 为什么 sp 是 stack_start(一个函数指针?)// TODO// 后来被填充 到 新建用户进程的 sp寄存器其中 lr 为 新建用户进程 的第一条指令// copy_thread -> *childregs = *current_pt_regs(); 时赋值初值 // 如果后面有exec ,则会再次赋值填充了 cpu_context_save其中sp 为 pt_regs其中pc 为 ret_from_fork
2. 恢复了 cpu_context_save,从而被调入调入第一句为ret_from_fork调入后的栈是 pt_regs恢复了 pt_regs,从而走向用户空间struct pt_regs 中的 offsetof(struct pt_regs, ARM_sp) 是什么
成员sp是什么
  • fork的消费者
kernel_clone 的调用者 有 1.SYSCALL_DEFINE0(fork) // 系统调用sys_fork ,用户进程创建用户进程调用的函数// 拷贝 mm_struct fs files signal// 写时复制 // 依赖 MMU// 所以 没有MMU的linux不能运行fork2.kernel_thread	// 内核创建内核进程调用的函数3.SYSCALL_DEFINE0(vfork)// 拷贝 fs files signal// 不 拷贝 mm_struct// CLONE_VM (共享)(共享同一个 VM)4.SYSCALL_DEFINE[5/6](clone // 不拷贝 mm_struct fs files signal thread// 共享 所有的资源// 两个 task_struct 的所有资源 是 一样的,是同一个的5.SYSCALL_DEFINE2(clone3// 拷贝什么由系统调用者自己定义// 人妖?// 进程A 不管是调用 clone 还是 fork 还是 vfork 都会创建一个 task_struct(进程B)// A 如果调用fork创建 B , 则 AB的TGID 不同// A 如果调用clone创建 B , 则 AB的TGID 相同// B的TGID 来自于 A// 调用 getpid 获取的 是 task_struct 的 TGID// 调用 gettid 获取的 是 task_struct 的 PIDkernel_clonecopy_processstruct task_struct * p = dup_task_struct(current, node);copy_semundocopy_filescopy_fscopy_sighandcopy_signalcopy_mmcopy_namespacescopy_iocopy_threadstackleak_task_initreturn p;wake_up_new_task__task_rq_lock(p, &rf); activate_task(rq, p, ENQUEUE_NOCLOCK);enqueue_task	p->sched_class->enqueue_task// 将进程添加到具体的运行队列中,以enqueue_task_fair 为例task_rq_unlock(rq, p, &rf);

这篇关于OK6410A 开发板 (八) 28 linux-5.11 OK6410A 进程角度 fork的分析的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/1007907

相关文章

SpringBoot中六种批量更新Mysql的方式效率对比分析

《SpringBoot中六种批量更新Mysql的方式效率对比分析》文章比较了MySQL大数据量批量更新的多种方法,指出REPLACEINTO和ONDUPLICATEKEY效率最高但存在数据风险,MyB... 目录效率比较测试结构数据库初始化测试数据批量修改方案第一种 for第二种 case when第三种

解决1093 - You can‘t specify target table报错问题及原因分析

《解决1093-Youcan‘tspecifytargettable报错问题及原因分析》MySQL1093错误因UPDATE/DELETE语句的FROM子句直接引用目标表或嵌套子查询导致,... 目录报js错原因分析具体原因解决办法方法一:使用临时表方法二:使用JOIN方法三:使用EXISTS示例总结报错原

Linux进程CPU绑定优化与实践过程

《Linux进程CPU绑定优化与实践过程》Linux支持进程绑定至特定CPU核心,通过sched_setaffinity系统调用和taskset工具实现,优化缓存效率与上下文切换,提升多核计算性能,适... 目录1. 多核处理器及并行计算概念1.1 多核处理器架构概述1.2 并行计算的含义及重要性1.3 并

Linux线程之线程的创建、属性、回收、退出、取消方式

《Linux线程之线程的创建、属性、回收、退出、取消方式》文章总结了线程管理核心知识:线程号唯一、创建方式、属性设置(如分离状态与栈大小)、回收机制(join/detach)、退出方法(返回/pthr... 目录1. 线程号2. 线程的创建3. 线程属性4. 线程的回收5. 线程的退出6. 线程的取消7.

Linux下进程的CPU配置与线程绑定过程

《Linux下进程的CPU配置与线程绑定过程》本文介绍Linux系统中基于进程和线程的CPU配置方法,通过taskset命令和pthread库调整亲和力,将进程/线程绑定到特定CPU核心以优化资源分配... 目录1 基于进程的CPU配置1.1 对CPU亲和力的配置1.2 绑定进程到指定CPU核上运行2 基于

golang程序打包成脚本部署到Linux系统方式

《golang程序打包成脚本部署到Linux系统方式》Golang程序通过本地编译(设置GOOS为linux生成无后缀二进制文件),上传至Linux服务器后赋权执行,使用nohup命令实现后台运行,完... 目录本地编译golang程序上传Golang二进制文件到linux服务器总结本地编译Golang程序

Linux下删除乱码文件和目录的实现方式

《Linux下删除乱码文件和目录的实现方式》:本文主要介绍Linux下删除乱码文件和目录的实现方式,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录linux下删除乱码文件和目录方法1方法2总结Linux下删除乱码文件和目录方法1使用ls -i命令找到文件或目录

MySQL中的LENGTH()函数用法详解与实例分析

《MySQL中的LENGTH()函数用法详解与实例分析》MySQLLENGTH()函数用于计算字符串的字节长度,区别于CHAR_LENGTH()的字符长度,适用于多字节字符集(如UTF-8)的数据验证... 目录1. LENGTH()函数的基本语法2. LENGTH()函数的返回值2.1 示例1:计算字符串

Linux在线解压jar包的实现方式

《Linux在线解压jar包的实现方式》:本文主要介绍Linux在线解压jar包的实现方式,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录linux在线解压jar包解压 jar包的步骤总结Linux在线解压jar包在 Centos 中解压 jar 包可以使用 u

linux解压缩 xxx.jar文件进行内部操作过程

《linux解压缩xxx.jar文件进行内部操作过程》:本文主要介绍linux解压缩xxx.jar文件进行内部操作,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录一、解压文件二、压缩文件总结一、解压文件1、把 xxx.jar 文件放在服务器上,并进入当前目录#