• why
    2019-05-10
    - fork -> sys_call_table 转换为 sys_fork()->`_do_fork`
    - 创建进程做两件事: 复制初始化 task_struct; 唤醒新进程
    - 复制并初始化 task_struct, copy_process()
        - dup_task_struct: 分配 task_struct 结构体; 创建内核栈, 赋给`* stack`; 复制 task_struct, 设置 thread_info;
        - copy_creds: 分配 cred 结构体并复制, p->cred = p->real_cred = get_cred(new)
        - 初始化运行时统计量
        - sched_fork 调度相关结构体: 分配并初始化 sched_entity; state = TASK_NEW; 设置优先级和调度类; task_fork_fair()->update_curr 更新当前进程运行统计量, 将当前进程 vruntime 赋给子进程, 通过 sysctl_sched_child_runs_first 设置是否让子进程抢占, 若是则将其 sched_entity 放前头, 并调用 resched_curr 做被抢占标记.
        - 初始化文件和文件系统变量
            - copy_files: 复制进程打开的文件信息, 用 files_struct 维护;
            - copy_fs: 复制进程目录信息, 包括根目录/根文件系统; pwd 等, 用 fs_struct 维护
        - 初始化信号相关内容: 复制信号和处理函数
        - 复制内存空间: 分配并复制 mm_struct; 复制内存映射信息
        - 分配 pid
    - 唤醒新进程 wake_up_new_task()
        - state = TASK_RUNNING; activate 用调度类将当前子进程入队列
        - 其中 enqueue_entiry 中会调用 update_curr 更新运行统计量, 再加入队列
        - 调用 check_preempt_curr 看是否能抢占, 若 task_fork_fair 中已设置 sysctl_sched_child_runs_first, 直接返回, 否则进一步比较并调用 resched_curr 做抢占标记
        - 若父进程被标记会被抢占, 则系统调用 fork 返回过程会调度子进程
        
    展开
    
     14
  • 刘強
    2019-05-08
    有个问题:
    在数据库中,有个事务的概念,也就是保证一连串操作的原子性,如果其中任何一步错误,整个操作回滚,回到原来的状态,好像什么也没发生。但是在文章中我看到,在创建进程的过程中,步骤太多了。每一步都要申请空间,复制数据。如果其中一步发生了错误,怎么保证释放这些空间,回到原来状态?

    作者回复: 错了会做错误处理的,没有啥捷径,都是代码里面自己做的,写c就要这样,每一步都要清楚自己创建了什么,万一错误应该销毁什么。如果程序员不做这个,没有人帮忙,不像java还有个gc

    
     11
  • 刘強
    2019-05-08
    文章中出现了SYSCALL_DEFINE0宏定义,不明白,就网上查了一下,一看吓一跳,宏定义里面又有一堆宏定义,其实就是一个函数调用,为什么弄得这么复杂呢?原来是为了修复一个bug。这让我意识到linux内核代码的复杂性。linux是一个集大成者,为了适应各种硬件架构平台,修复各种意想不到的bug,里面充斥着各种兼容性代码,修复补丁等等。而且里面的代码也是世界各路大神,黑客写出来的,为了保证内核的安全性,健壮性,扩展性,考虑的东西非常之多,充斥着各种奇技淫巧,不是我等普通人短时间能够理解。每一行代码,甚至一个宏定义,都是要花时间研究的。从这个角度上来说,linux就像是一个迷宫,如果没有一个向导,进去后估计就出不来了。也许这个专栏的作用就是充当一个向导,欣赏沿途风景的同时,带领我们穿越迷宫,找到出口...

    作者回复: 是的。

    
     7
  • Milittle
    2019-05-10
    老师,要是能把对应代码路径给出就好了,有时候自己找不见,谢谢老师~

    作者回复: 其实不用纠结,因为代码过一阵就变了,关键是理解原理和流程。我原来做过代码逐行分析的这种,但是发现这种文章过一阵就没法看了。

    
     4
  • garlic
    2019-09-07
    先前一些版本中人们讨论child first run主要为了减少COW对子进程造成影响,CFS调度器在2.6.23 版本引入后 2.6.32 将child first run关闭默认,父进程运行,理由是尤其引发的一些bash bug 和 更好的利用TLB和cache, 学习笔记https://garlicspace.com/2019/09/07/linux内核参数sysctl_sched_child_runs_first/
    
     2
  • 免费的人
    2019-05-09
    我是来收图的。
    
     2
  • 一苇渡江
    2019-05-08
    老师写的太棒了,特别是这个图,肯定是花了不少时间,把这个图手抄了一遍,时不时拿出来看看

    作者回复: 手抄啊,牛

    
     2
  • 青石
    2019-05-09
    如果是完全公平调度算法的话,sched_fork的时候,将子进程的vruntime修改为与父进程的vruntime一致,是为了将子进程的vruntime设置到与其他进程在同一个量级上,父进程的执行说明当前它处在红黑树的最左节点,将父进程的TIF_NEED_RESCHED标记为允许被抢占,当系统回调时调用__schedule(),更新父进程的vruntime后,子进程处在红黑树最左节点,此时运行子进程。
    
     1
  • neohope
    2019-12-09
    老师您好,记得fork时,一些大的内存对象,会有copy on write的机制,这个是在何时起作用的呢?是copy_mm这里吗?感谢!
    
    
  • 阿卡牛
    2019-11-26
    老实说Ctrl C + Ctrl V是一种非常不好的编程习惯
    
    
  • 陈志恒
    2019-11-25
    进程创建的过程其实就是执行系统调用fork的过程。它包含两个重要的事件,一个是将 task_struct 结构复制一份并且初始化,另一个是试图唤醒新创建的子进程。
    
    
  • 懒懒懒!
    2019-09-25
    老师好,请问下linux加入写时拷贝技术后,对fork这块的具体影响是怎么样的呢
    
    
  • -W.LI-
    2019-08-23
    老师好!虽然看不懂这些函数调用,but还在坚持,老师的图画的很好。思虑很清晰,向老师学习
    
    
  • 小美
    2019-05-24
    内核态的内核进程和用户态的用户进程创建过程有区别吗?

    作者回复: 有区别的

    
    
  • 周平
    2019-05-17
    讲得好的细节,与前面的内容可以无缝连接,不至于管中窥豹,让学习者越学越乱,谢谢老师

    作者回复: 赞

    
    
  • 尚墨
    2019-05-11
    反复研读都已经高亮了。我几乎每篇都要听,读三次以上,才能懵懵懂懂。

    作者回复: 再难的知识就怕反复研究,加油

    
    
  • chengzise
    2019-05-08
    解析的逻辑特别清晰,后面需要自己结合代码,加深理解。老师说的太好了
    
    
  • 安排
    2019-05-08
    调度类是全局的吗?还是每个cpu核有自己的调度类集合?

    作者回复: 类是全局的。里面主要实现的是算法。

     1
    
  • blentle
    2019-05-08
    子进程是如何抢占父进程的呢?

    作者回复: 一旦创建了,就独立竞争了

    
    
我们在线,来聊聊吧