抢断调度,是调度机制对实时系统需要的支持,是一种快速响应的重调度机制。既然与重调度有关,那么就先回顾一下调度和重调度。

调度分两种情况,
1. 一种是自愿调度,由代码主动调用schedule来让度cpu,例如sleep,mutex,sema等阻塞等待。另外,当一个进程(或线程)走到尽头(do_exit)时,也会调用schedule,但是却永远不再恢复执行了,否则就是BUG了。
2. 另一种是重调度,非自愿的。当前线程被设置重调度后,当有中断发生或系统调用时,在entry.S的返回路径上就会被动调用schedule。而抢断调度,也是重调度,却不必等待到中断发生或系统调用,在处理结束后离开entry.S才进行调度。而是在离开抢断临界区就马上进行调度。

一般地,在自愿调度之前,当前线程都会将自身的task_struct挂接在某一等待队列上,如wait_queue_t。并且将自身的state设置为INTERRPUTABLE或UNINTERRUTABLE(允许信号唤醒或不允许),最后才调用schedule。在这种情况下,schedule的执行会将当前的task_struct移除出它所在的运行队列。
而重调度或都抢断的重调度,schedule是不会将当前的task_struct移除出它所在运行队列。

重调度分两步:
1. 将当前运行线程的设置为TIF_NEED_RESCHED,当前线程可能在抢断保护的临界区中。通常wakeup的目标线程在当前cpu上,则设置可以直接设置重调度。
2. a. 当离开抢断保护的临界区,马上检查是否需要重调度,是否立即进行调度。
    b. 中断处理结束,软中断处理结束,或系统调用结束,恢复到原来的代码之前,进行重调度。

简单地说:
先在某处调用resched_curr对当前线程所在的调度策略的队列进行重调度的评判,可以则标记需要重调度,但并不进行实质的调用。
当要切换上下文,如中断处理结束,系统调用结束时,再调用schedule进行实质的调度工作 。
或者直接在离开抢断保护的临界区就马上调用preempt_schedule进行调度。

我们熟知的wakeup以及时间片轮转调度实际就是调用resched_curr。

resched_curr 重调度当前cpu的某一调度策略的运行队列
有三步工作:
1. 当前线程是否已经设为重调度
2. 重调度的目标的运行队列所属cpu是否也当前运行的cpu?
    如果是则进行下面两步:
      a. 设置重调度标记 TIF_NEED_RESCHED
      b. 向当前CPU的preempt_count设置重调度 PREEMPT_NEED_RESCHED。
3. 向远端CPU发送重调度IPI(Inter-processor interrupt)。

抢断保护“锁”,是一个保护临界区内不被重调度需求而抢断进行调度。这个锁独立保护每一个cpu(当前运行的线程),而不是保护线程并发临界区。它是可递归,没有竞争状态,不会阻塞,不存在竞态条件。每一个cpu都有一个抢断保护锁。这个锁只是一个32位名为__preempt_count整形变量。它为中断,软中断,普通抢断保护提供嵌套深度,同时也用作为软中断锁,保护软中断处理不递归进入。中断处理,软中断处理同样是抢断保护的临界区,不允许被重调度抢断。

抢断保护"锁",除了保护了临界区不被重调度推断外,同时也为快速响应重调度提供了响应的时机,那就是抢断临界区离开的时候。因为entry.S上对重调度的响应,往往是被动的,必须等待有中断发生或系统调用等不确定的事件,使内核经过entry.S并离开时才会响应重调度。而抢断调度则是代码在离开临界区的时候主动去响应重调度。如果没有了抢断保护锁__preempt_count,代码就不清楚什么时候才合适去响应重调度。只好被动延后到经过entry.S,从而不能及时最快地去响应重调度。

抢断调度,由函数preempt_schedule进行,必须主动调用。这个函数嵌入到了每一处离开抢断临界区的代码中,比如内核无处不在的同步锁释放,spin_unlock, rwlock_unlock, rcu_read_unlock, spin_trylock, 以及pagefault_enable等。这些函数都会嵌入preempt_enable。

在抢占调度中,CPU的__preempt_count被设置PREEMPT_ACTIVE 用来提示 __schedule() ,我们是从preempt path 进来的。PREEMPT_ACTIVE 用来保护重调度不嵌套抢断。当前被抢断的线程在恢复运行之前,运行在当前cpu的其它线程不可以再进行抢断。

这里必须要清楚这样一个事实,软件中断保护锁也是在使用抢断保护锁,当离开软中断处理的同时,也等同于离开一层抢断临界区,这时只要不存在嵌套临界区的话,就可以进行抢断调试。__local_bh_enable_ip嵌入了preempt_check_enable。

linux内核的preempt抢占调度,preempt_count抢占保护“锁”的更多相关文章

  1. Linux内核——进程管理与调度

    进程的管理与调度 进程管理 进程描写叙述符及任务结构 进程存放在叫做任务队列(tasklist)的双向循环链表中.链表中的每一项包括一个详细进程的全部信息,类型为task_struct,称为进程描写叙 ...

  2. 分析Linux内核中进程的调度(时间片轮转)-《Linux内核分析》Week2作业

    1.环境的搭建: 这个可以参考孟宁老师的github:mykernel,这里不再进行赘述.主要是就是下载Linux3.9的代码,然后安装孟宁老师编写的patch,最后进行编译. 2.代码的解读 课上的 ...

  3. 《linux 内核全然剖析》 chapter 4 80x86 保护模式极其编程

    80x86 保护模式极其编程       首先我不得不说.看这章真的非常纠结...看了半天.不知道这个东西能干嘛.我感觉唯一有点用的就是对于内存映射的理解...我假设不在底层给80x86写汇编的话.我 ...

  4. Linux用户抢占和内核抢占详解(概念, 实现和触发时机)--Linux进程的管理与调度(二十)

    1 非抢占式和可抢占式内核 为了简化问题,我使用嵌入式实时系统uC/OS作为例子 首先要指出的是,uC/OS只有内核态,没有用户态,这和Linux不一样 多任务系统中, 内核负责管理各个任务, 或者说 ...

  5. Linux内核抢占实现机制分析【转】

    Linux内核抢占实现机制分析 转自:http://blog.chinaunix.net/uid-24227137-id-3050754.html [摘要]本文详解了Linux内核抢占实现机制.首先介 ...

  6. Linux内核态抢占机制分析

    http://blog.sina.com.cn/s/blog_502c8cc401012pxj.html [摘要]本文首先介绍非抢占式内核(Non-Preemptive Kernel)和可抢占式内核( ...

  7. Linux内核态抢占机制分析(转)

    Linux内核态抢占机制分析  http://blog.sina.com.cn/s/blog_502c8cc401012pxj.html 摘 要]本文首先介绍非抢占式内核(Non-Preemptive ...

  8. Linux内核态抢占机制分析【转】

    转自:http://blog.csdn.net/yiyeguzhou100/article/details/53097665 目录(?)[-] 1非抢占式和可抢占式内核的区别 21 用户态抢占User ...

  9. 深入Linux内核架构——进程管理和调度(上)

    如果系统只有一个处理器,那么给定时刻只有一个程序可以运行.在多处理器系统中,真正并行运行的进程数目取决于物理CPU的数目.内核和处理器建立了多任务的错觉,是通过以很短的间隔在系统运行的应用程序之间不停 ...

随机推荐

  1. 【阿里云IoT+YF3300】6.物联网设备报警配置

    纵然5G时代已经在时代的浪潮中展现出了它的身影,但是就目前的物联网环境中,网络问题仍旧是一个比较突出的硬伤.众所周知,在当前的物联网规划中,与其说是实现万物互联,倒不如说是行业指标数据监控.对于一些特 ...

  2. docker2-容器的使用

    [root@ipha-dev71- chenjl]# docker [root@ipha-dev71- chenjl]# docker pull training/webapp [root@ipha- ...

  3. 5分钟彻底理解Redis持久化

    Redis持久化 RDB快照 在默认情况下,Redis将内存数据库快照保存到dump.rdb的二进制文件中. 可以对Redis进行设置,让它在"N秒内数据集至少有N个改动", 这一 ...

  4. 让搭建在 Github Pages 上的 Hexo 博客可以被 Google 搜索到

    title: 让搭建在Github Pages上的Hexo博客可以被Google搜索到 date: 2019-05-30 23:35:44 tags: 配置 --- 准备工作 搭建好的博客 npm & ...

  5. 百万年薪python之路 -- 面向对象之:类空间问题以及类之间的关系

    面向对象之:类空间问题以及类之间的关系 1.从空间角度研究类 1.何处添加对象属性 class A: def __init__(self,name): self.name = name def fun ...

  6. Veins(车载通信仿真框架)入门教程(三)——多跳路由实现指导

    Veins(车载通信仿真框架)入门教程(三)——多跳路由实现指导 Veins(车载通信仿真框架)入门教程(三)——多跳路由实现指导 必要的message类实现 从下面开始是在veins/src/vei ...

  7. 设计模式C++描述----03.工厂(Factory)模式

    工厂模式属于创建型模式,大致可以分为三类,简单工厂模式.工厂方法模式.抽象工厂模式. 一. 简单工厂模式 简单工厂模式,它的主要特点是需要在工厂类中做判断,从而创造相应的产品.当增加新的产品时,就需要 ...

  8. kaldi中CD-DNN-HMM网络参数更新公式手写推导

    在基于DNN-HMM的语音识别中,DNN的作用跟GMM是一样的,即它是取代GMM的,具体作用是算特征值对每个三音素状态的概率,算出来哪个最大这个特征值就对应哪个状态.只不过以前是用GMM算的,现在用D ...

  9. 关于ArcGIS的OBJECTID生成策略拙见

    目录 诉求SDEOBJECTIDArcMap编辑重置OBJECTID 诉求 非GIS专业的人员可能很难理解ArcSDE中的表OBJECTID的重要性,要么总想着自己动手去维护,要么就想直接忽略它,导致 ...

  10. 【暂时停更】Gungame更新下载平台

    v1.0: 这是本游戏的第一个版本, 制作于2019.4.12. 控制 : Player1: wsad为移动, r键开炮(有朝向限制) Player2: ikjl为移动, p键开炮(有朝向限制) 下载 ...