zoukankan      html  css  js  c++  java
  • 2019-2020-1 20199304《Linux内核原理与分析》第九周作业

    第八章 进程的切换和系统的一般执行过程

    知识点

    1.进程调度的时机

    1.1硬中断和软中断
    中断是指在计算机执行期间,系统内发生任何非寻常的或非预期的急需处理事件,使得CPU暂时中断当前正在执行的程序而转去执行相应的时间处理程序。待处理完毕后又返回原来被中断处继续执行或调度新的进程执行的过程。
    引起中断的事件称为中断源。中断源向CPU提出处理的请求称为中断请求。发生中断时被打断程序的暂停点称为断点。CPU暂停现行程序而转为响应中断请求的过程称为中断响应。处理中断源的程序称为中断处理程序。CPU执行有关的中断处理程序称为中断处理。而返回断点的过程称为中断返回。中断的实现由软件和硬件综合完成,硬件部分叫做硬件装置,软件部分称为软件处理程序。

    • 硬中断:由与系统相连的外设(比如网卡、硬盘)自动产生的。主要是用来通知操作系统系统外设状态的变化。比如当网卡收到数据包的时候,就会发出一个中断。我们通常所说的中断指的是硬中断(hardirq)。

    • 软中断:为了满足实时系统的要求,中断处理应该是越快越好。linux为了实现这个特点,当中断发生的时候,硬中断处理那些短时间就可以完成的工作,而将那些处理事件比较长的工作,放到中断之后来完成,也就是软中断(softirq)来完成。

    • 异常:

      • 故障(Fault):出现问题,可以恢复到当前指令。
      • 退出(Abort):不可恢复的严重故障,导致程序无法继续运行,只能退出。
      • 陷阱(Trap):程序主动产生的异常。
        1.2进程调度时机
    • schedule函数

      • Linux内核通过schedule函数实现进程调度,schedule函数在运行队列中找到一个进程,把CPU分配给它。所以调用schedule函数的时候就是进程调度的时机。
    • 上下文
      一般来说,CPU在任何时刻都处于以下3种情况之一。

      • 运行于用户空间,执行用户进程上下文。
      • 运行于内核空间,处于进程(一般是内核线程)上下文。
      • 运行于内核空间,处于中断上下文。
        运行在进程上下文的内核代码是可以被抢占的(Linux2.6支持抢占)。但是一个中断上下文,通常都会始终占有CPU(当然中断可以嵌套,但我们一般不这样做),不可以被打断。正因为如此,运行在中断上下文的代码就要受一些限制,不能做下面的事情:
      • 睡眠或者放弃CPU:这样做的后果是灾难性的,因为内核在进入中断之前会关闭进程调度,一旦睡眠或者放弃CPU,这时内核无法调度别的进程来执行,系统就会死掉。
      • 尝试获得信号量:如果获得不到信号量,代码就会睡眠,会产生和上面相同的情况。
      • 执行耗时的任务:中断处理应该尽可能快,因为内核要响应大量服务和请求,中断上下文占用CPU时间太长会严重影响系统功能。
      • 访问用户空间的虚拟地址:因为中断上下文是和特定进程无关的,它是内核代表硬件运行在内核空间,所以在终端上下文无法访问用户空间的虚拟地址。
    • 进程调度
      简单总结进程调度时机如下:

      • 用户进程通过特定的系统调用主动让出CPU。
      • 中断处理程序在内核返回用户态时进行调度。
      • 内核线程主动调用schedule函数让出CPU。
      • 中断处理程序主动调用schedule函数让出CPU,涵盖第一和第二种情况。

    2.调度策略和算法

    调度算法就是从就绪队列中选一个进程。调度策略是寻找满足需求的方法,而调度算法是如何实现这个调度策略。
    2.1 进程的分类
    按CPU占用率分类:

    • I/O消耗型进程。这种进程的特点是CPU负载不高,大量时间都在等待读写数据
    • 处理器消耗型进程。这种进程的特点是CPU占用率为100%,但没有太多的硬件进行读写操作
    • 按对系统响应时间要求分类
    • 交互式进程。此类进程有大量人机交互,对系统响应时间要求比较高,否则用户会感觉系统反应迟缓。
    • 批处理进程。此类进程不需要人机交互,在后台运行,需要占用大量的系统资源,但是能够忍受响应延迟。
    • 实时进程。实时进程对调度延迟的要求最高,这些进程执行非常重要的操作,要求立即执行响应并执行。
      当前Linux系统的解决方案是,对于实时进程,linux采用FIFO(先进先出)或者Round Robin(时间片轮转)的调度策略。对其它进程,则采用CFS调度器,核心是“完全公平”。

    2.2 调度策略
    Linux系统中常用的几种调度策略为SCHED_NORMAL、SCHED_FIFO、SCHED_RR。
    其中SCHED_NORMAL是用于普通进程的调度类,而SCHED_FIFO和SCHED_RR是用于实时进程的调度类,优先级高于SCHED_NORMAL。内核根据进程的优先级来区分普通进程与实时进程,Linux内核进程优先级为0139,数值越高,优先级越低,0为最高优先级。实时进程的优先级取值为099,普通进程只具有nice值,nice值映射到优先级为100~139。

    2.3 CFS调度算法
    CFS即为完全公平调度算法,其基本原理是基于权重的动态优先级调度算法。每个进程使用CPU的顺序进程由已使用的CPU虚拟时间(vruntime)决定,已使用的虚拟时间越少,进程排序就越靠前,进程再次被调度执行的概率也就越高。每个进程每次占用CPU后能够执行的时间(ideal_runtime)由进程的权重决定,并且保证在某个时间周期(_sched_period)内运行队列的所以进程都能够至少被调度执行一次。

    3. 进程上下文切换

    3.1 进程执行环境的切换
    为了控制进程的执行,内核必须有能力挂起正在CPU中运行的进程,并恢复执行以前挂起的某个进程。这种行为被称为进程切换,任务切换或进程上下文切换。进程上下文包含了进程执行需要的所有信息。

    • 用户空间地址:包括程序代码、数据、用户堆栈等。

    • 控制信息:进程描述符、内核堆栈等。

    • 硬件上下文,相关寄存器的值。
      在实际的代码中,每个进程切换基本由两个步骤组成:

    • 切换页全局目录(CR3)以安装一个新的地址空间,这样不同进程的虚拟地址就会经过不同的页表转换为不同的物理地址。

    • 切换内核态堆栈和硬件上下文,因为硬件上下文提供了内核执行新进程所需要的所有信息。

    4.Linux系统的运行过程

    • Linux系统的一般执行过程:正在运行的用户态进程X切换到用户态进程Y的过程:
      • 1.正在运行的用户态进程X;
      • 2.发生中断(包括异常,系统调用等),硬件完成以下动作:
        • save cs:eip/esp/eflags:当前CPU上下文压入用户态进程X的内核堆栈;
        • load cs:eip(entry of a specific ISR) and ss:esp(point to kernel stack)
      • 3.SAVE_ALL,保存现场
      • 4.中断处理过程中或中断返回前调用了schedule(),其中的switch_to做了关键的进程上下文切换;
      • 5.标号1,之后开始运行用户态进程Y(这里Y曾经通过以上步骤被切换出去过因此可以从标号1继续执行);
      • 6.restore_all,恢复现场;
      • 7.iret-pop cs:eip/ss:esp/eflags,从Y进程的内核堆栈中弹出(2)中硬件完成的压栈内容;
      • 8.继续运行用户态进程Y。
        Linux操作系统的整体架构如下图所示

    实验:进程调度相关源代码跟综和分析

    实验要求

    • 理解Linux系统中进程调度的时机,可以在内核代码中搜索schedule()函数,看都是哪里调用了schedule(),判断我们课程内容中的总结是否准确;
    • 使用gdb跟踪分析一个schedule()函数 ,验证您对Linux系统进程调度与进程切换过程的理解;推荐在实验楼Linux虚拟机环境下完成实验;
    • 特别关注并仔细分析switch_to中的汇编代码,理解进程上下文的切换机制,以及与中断上下文切换的关系;

    实验过程

    1.重新克隆一个menu,然后重新编译内核。



    2.打开调试模式,另打开一个窗口进行gdb远程调试,配置gdb远程调试并设置断点。




    关键代码分析

    context_switch关键代码部分

    static inline void context_switch(struct rq *rq, struct task_struct *prev, struct task_struct *next)
    {
        ...
        arch_start_context_switch(prev);
    
        if (unlikely(!mm)) {    //如果被切换进来的进程的mm为空切换,内核线程mm为空
            next->active_mm = oldmm;  //将共享切换出去的进程的active_mm
            atomic_inc(&oldmm->mm_count);  //有一个进程共享,所有引用计数加一
            enter_lazy_tlb(oldmm, next);  //将per cpu变量cpu_tlbstate状态设为LAZY
        } else   //普通mm不为空,则调用switch_mm切换地址空间
            switch_mm(oldmm, mm, next);
    ...
        //这里切换寄存器状态和栈 
        switch_to(prev, next, prev);
    

    switch_to关键代码部分

    #define switch_to(prev, next, last)
    do {
        /*
         * Context-switching clobbers all registers, so we clobber
         * them explicitly, via unused output variables.
         * (EAX and EBP is not listed because EBP is saved/restored
         * explicitly for wchan access and EAX is the return value of
         * __switch_to())
         */
        unsigned long ebx, ecx, edx, esi, edi;
    
        asm volatile(
                 "pushfl
    	"  //保存当前进程flags
                 "pushl %%ebp
    	"  //当前进程堆栈基址压栈
                 "movl %%esp,%[prev_sp]
    	"  //保存ESP,将当前堆栈栈顶保存起来
                 "movl %[next_sp],%%esp
    	"  //更新ESP,将下一栈顶保存到ESP中
                         // 完成内核堆栈的切换
                 "movl $1f,%[prev_ip]
    	"    //保存当前进程的EIP
                 "pushl %[next_ip]
    	"       //将next进程起点压入堆栈,即next进程的栈顶为起点
                 __switch_canary              //next_ip一般为$1f,对于新创建的子进程是ret_from_fork      
                 "jmp __switch_to
    "    //prve进程中,设置next进程堆栈,jmp与call不同,是通过寄存器传递参数(call通过堆栈),所以ret时弹出的是之前压入栈顶的next进程起点
                 //完成EIP的切换
                 "1:	"            //next进程开始执行       
                 "popl %%ebp
    	"  //restore EBP
                 "popfl
    "         //restore flags
    
                 //输出量
                 : [prev_sp] "=m" (prev->thread.sp),   //保存当前进程的esp
                   [prev_ip] "=m" (prev->thread.ip),     //保存当前进仓的eip
                   "=a" (last),
    
                   //要破坏的寄存器
                   "=b" (ebx), "=c" (ecx), "=d" (edx),
                   "=S" (esi), "=D" (edi)
    
                   __switch_canary_oparam
    
                  //输入量
                 : [next_sp]  "m" (next->thread.sp),   //next进程的内核堆栈栈顶地址,即esp
                   [next_ip]  "m" (next->thread.ip),     //next进程的eip
    
                   // regparm parameters for __switch_to(): 
                   [prev]     "a" (prev),
                   [next]     "d" (next)
    
                   __switch_canary_iparam
    
                 : //重新加载段寄存器
                "memory");
    } while (0)
    

    总结

    通过本次实验,我学习到了进程调度的时机和进程切换进行,分析进程的调度时机,调度策略和算法,并跟踪schedule,pick_next_task和context_switch等函数。
    我了解到进程调度是为了合理分配计算机资源,并让每个进程都获得适当的执行机会。
    而在中断处理过程(包括时钟中断、I/O中断、系统调用和异常)中,系统直接调用schedule(),或者返回用户态时根据need_resched标记调用schedule()。
    用户态进程无法实现主动调度,仅能通过陷入内核态后的某个时机点进行调度,即在中断处理过程中进行调度。

  • 相关阅读:
    poj 1860 Currency Exchange(最短路径的应用)
    poj 2965 The Pilots Brothers' refrigerator
    zoj 1827 the game of 31 (有限制的博弈论)
    poj 3295 Tautology (构造法)
    poj 1753 Flip Game(枚举)
    poj 2109 (贪心)
    poj 1328(贪心)
    Qt 对单个控件美化
    Qt 4基础
    Bash Shell
  • 原文地址:https://www.cnblogs.com/20199304lbs/p/11874598.html
Copyright © 2011-2022 走看看