码迷,mamicode.com
首页 > 系统相关 > 详细

基于Linux进程模型分析

时间:2018-05-01 01:02:56      阅读:202      评论:0      收藏:0      [点我收藏+]

标签:相关   log   win   高级   过程   数据结构   工作   虚拟内存   https   

  • 操作系统是怎么组织进程的  

  1. 什么是进程

      进程是处于执行期的程序以及它所包含的所有资源的总称,包括虚拟处理器,虚拟空间,寄存器,堆栈,全局数据段等。

      在Linux中,每个进程在创建时都会被分配一个数据结构,称为进程控制块。进程控制块中包含了很多重要的信息,供系统调度和进程本身执行使用。而进程的用户空间主要存储代码和数据。

  2. 进程的创建

    进程是通过调用::fork(),::vfork()和::clone()系统调用创建新进程,而且都是通过调用do_fork来实现进程的创建。

      三者的区别如下

    • ::fork():父进程的所有数据结构都会复制一份给子进程。
    • ::vfork():只复制task_struct和内核堆栈,所以生成的只是父进程的一个线程。
    • ::clone():::clone()可以让你有选择性的继承父进程的资源,既可以选择像::vfork()一样和父进程共享一个虚拟空间,从而使创造的是线程,你也可以不和父进程共享,你甚  至可以选择创造出来的进程和父进程不再是父子关系,而是兄弟关系。
  3. 进程的退出

   进程通过调用exit()退出执行,这个函数会终结进程并释放所有的资源。父进程可以通过wait4()查询子进程是否终结。进程退出执行后处于僵死状态,直到它的父进程调用wait()或者waitpid()为止。父进程退出时,内核会指定线程组的其他进程或者init进程作为其子进程的新父进程。 

  • 进程状态如何转换(给出进程状态转换图)

  1. 三种基本状态 :

    运行态:进程占用CPU,并在CPU上运行;

      就绪态:进程已经具备运行条件,但是CPU还没有分配过来;

        阻塞态:进程因等待某件事发生而暂时不能运行;

   状态转换图:

技术分享图片

 

进程之间的转换过程:

        运行---》就绪:这是有调度引起的,主要是进程占用CPU的时间过长
        就绪---》运行:运行的进程的时间片用完,调度就转到就绪队列中选择合适的进程分配CPU
        运行---》阻塞:发生了I/O请求或等待某件事的发生
        阻塞---》就绪:进程所等待的事件发生,就进入就绪队列
         阻塞--》运行:即使给阻塞进程分配CPU,也无法执行,操作系统載进行调度时不会載阻塞队列进行挑选,其调度的选择对象为就绪队列:
        就绪--》阻塞:因为就绪态根本就没有执行

  • 进程是如何调度的

  1. 进程的优先级

    进程提供了两种优先级,一种是普通的进程优先级,第二个是实时优先级,前者使用SCHEED_NORMAL调度策略,后者可选SCHED_FIFO或SCHED_rr调度。任何时候,实时进程的优先级都高于普通进程,实时进程只会被更高级的实时进程抢占,同时实时进程之间是按照FIFO(一次机会做完)或者RR(多次轮转)规则调度的。

  2.  主调度器schedule

    schedule就是主调度器的工作函数, 在内核中的许多地方, 如果要将CPU分配给与当前活动进程不同的另一个进程, 都会直接调用主调度器函数schedule或者其子函数__schedule.

asmlinkage void __sched schedule(void)
{
    struct task_struct *tsk = current;
    sched_submit_work(tsk);
    __schedule();
}

  3.进程上下文的切换

  context_switch其实是一个分配器, 他会调用所需的特定体系结构的方法

  • 调用switch_mm(), 把虚拟内存从一个进程映射切换到新进程中

    switch_mm更换通过task_struct->mm描述的内存管理上下文, 该工作的细节取决于处理器, 主要包括加载页表, 刷出地址转换后备缓冲器(部分或者全部), 向内存管理单元(MMU)提供新的信息

  • 调用switch_to(),从上一个进程的处理器状态切换到新进程的处理器状态。这包括保存、恢复栈信息和寄存器信息

static void __sched __schedule(void)  
{  
    struct task_struct *prev, *next;  
    unsigned long *switch_count;  
    struct rq *rq;  
    int cpu;  
    cpu = smp_processor_id();  
    rq = cpu_rq(cpu);  
    rcu_note_context_switch(cpu);  
    prev = rq->curr;            //当前队列的当前进程  
    schedule_debug(prev);  
  ...
    if (unlikely(!rq->nr_running))//当前rq无进程运行时,从其他cpu上取一个task执行  
        idle_balance(cpu, rq);  
    //选择下个可调度进程  
    next = pick_next_task(rq);  
  ...
    //上下文切换  
    context_switch(rq, prev, next); 
  ...
}  

  4.Linux的现代调度算法:CFS(完全公平调度) 

   CFS是完全公平调度算法,将所有的进程都统一对待。其中的schedule() 函数它会先抢占当前运行任务,当它开始确定下一个要调度的任务时,它会调用 pick_next_task 函数,通过调度器类调用 CFS 调度器,返回相关 的sched_entity。

static inline struct task_struct *  
pick_next_task(struct rq *rq)  
{  
    const struct sched_class *class;  
    struct task_struct *p;  

  /*使用的数据结构*/
    if (likely(rq->nr_running == rq->cfs.nr_running)) { 
      //如果nr_running==cfs.nr_running,则说明当前rq队列中是没有rt任务的,  
      //rt任务不在cfs队列中,它的优先级的设置和cfs不一样。 
 
        p = fair_sched_class.pick_next_task(rq); //在cfs队列中挑选即将被切换进去的进程
        if (likely(p))  
            return p;  
    }  
    for_each_class(class) {   
        p = class->pick_next_task(rq);  
        if (p)  
            return p;  
    } 
}  
  • 对Linux操作系统的看法

Linux系统同时可以支持多个用户,每个用户对自己的文件设备有特殊的权利,能够保证各用户之间互不干扰。并且具有比window是更好的稳定性以及高效性。且Linux的操作与windows的操作相比更加简洁,在命令行和脚本上面的操作,只需要简单的几行命令就能完成鼠标需要点击很多次的操作功能。

  • 参考资料

https://blog.csdn.net/jnu_simba/article/details/11724277

https://www.cnblogs.com/sky-heaven/p/8118110.html

 

 

 

 

   

 

基于Linux进程模型分析

标签:相关   log   win   高级   过程   数据结构   工作   虚拟内存   https   

原文地址:https://www.cnblogs.com/jmu-201621121079/p/8975405.html

(0)
(0)
   
举报
评论 一句话评论(0
登录后才能评论!
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!