Linux内核36-内核同步之禁止中断

简介: Linux内核36-内核同步之禁止中断

每一种技术的出现必然是因为某种需求。正因为人的本性是贪婪的,所以科技的创新才能日新月异。

今天,我们了解一下内核同步的最后一种方法,关闭中断。这是一种简单粗暴的方式,但行之有效。


1 禁止中断


作为嵌入式软件开发人员,对于禁止中断肯定不陌生。尤其是基于MCU的嵌入式软件,因为就一个微处理器核,所以禁止中断是实现临界代码段的有效手段。笔者比较熟悉的μC/OS-II或III,就是使用禁止中断保护临界代码段。当然了,这样的临界代码段一般较短,就几行代码而已。如果太长,会影响整个系统任务的调度,也有可能导致中断信号的丢失。

同样,Linux也不会放弃禁止中断这么好的同步机制。它保证内核控制路径可以继续执行,其访问的数据结构不会被中断处理程序破坏。但是,多核系统中,中断禁止是一个局部概念,也就是说,只是某一个CPU核中断被禁止,不能阻止运行在其它CPU上的中断处理程序访问要保护的数据结构。所以,在多核系统中,内核数据结构的保护一般是禁止中断搭配自旋锁一起使用。

local_irq_disable()利用cli汇编指令,禁止局部CPU的中断;local_irq_enable()利用sti汇编指令使能中断。正如在讲解”IRQ和中断”时所说的那样,cli和sti汇编指令,分别用来清除和设置eflags寄存器中的IF标志。

当内核代码进入临界代码段时,通过清除eflags寄存器中的IF标志实现禁止中断,从而保护临界代码段。但是,当内核离开临界代码段的时候,内核是否该恢复之前的IF标志呢?还是不做任何处理?显然,不做任何处理是不可以的,因为那样的话,就会丢失某些中断信号,这对于一个安全可靠的系统而言,是非常荒谬的。我们知道中断是以嵌套的方式被执行的,所以内核无需知道之前是什么具体的IF标志。只需要记录之前的标志值,在退出临界代码段的时候恢复之前的IF标志即可。

保存和恢复eflags内容,可以分别通过local_irq_save()和local_irq_restore()实现。local_irq_save拷贝eflags内容到一个局部变量中,然后调用cli指令清除IF标志。退出临界代码段的时候,local_irq_restore再把局部变量中的内容拷贝到eflags寄存器中。


2 禁止软中断


在讲软中断的时候,我们知晓可延时函数的执行时间是不可预测的(基本上都是在硬件中断处理程序终止的时候,因为软中断的实现大部分时候都是给tasklet服务的,而tasklet的用处就是协助硬件处理程序处理那些耗时长,又不是那么紧急的任务的)。因此,可延时函数要访问的数据结构必须被保护起来,防止竞态条件的产生。

可能很多人都想到了一个简单粗暴的方法,直接禁止那个CPU的中断不就可以了吗。没有中断处理程序被激活,软中断的行为也就不会发生混乱。

但是,事情不会那么简单,有时候,内核需要只禁止可延时函数,而不禁止中断。那怎么实现呢?

回忆do_softirq()函数,如果软中断计数器(存储在当前线程thread_info描述符的preempt_count成员中)是正数,它就不会处理软中断。所以,将这个计数器设为正数,软中断不会执行,在其上的所有可延时函数也不会执行。

local_bh_disable()给局部CPU的软中断计数器加1,local_bh_enable()则是将其减1。local_bh_disable()可以嵌套多调用几次,如果调用local_bh_enable()的次数匹配,可延时函数就会被使能。

为了确保及时执行长时间等待的线程,local_bh_enable()对软中断计数器执行减1操作之后,还有执行两个重要的操作:

  1. 检查preempt_count中的硬中断计数器和软中断计数器。如果都是0,且有挂起的软中断要执行,直接调用do_softirq()激活它们。
  2. 检查局部CPU的 TIF_NEED_RESCHED标志是否被设置;如果被设置,说明此时有进程正在请求调度,然后调用preempt_schedule()执行抢占调度。


3 总结


总之一句话,禁止中断包含禁止硬中断和软中断两种。禁止硬中断肯定就包含禁止软中断;但禁止软中断不会影响硬中断的响应。它们都有各自的使用场景。

相关文章
|
12天前
|
安全 Linux 编译器
探索Linux内核的奥秘:从零构建操作系统####
本文旨在通过深入浅出的方式,带领读者踏上一段从零开始构建简化版Linux操作系统的旅程。我们将避开复杂的技术细节,以通俗易懂的语言,逐步揭开Linux内核的神秘面纱,探讨其工作原理、核心组件及如何通过实践加深理解。这既是一次对操作系统原理的深刻洞察,也是一场激发创新思维与实践能力的冒险。 ####
|
1天前
|
算法 Linux 定位技术
Linux内核中的进程调度算法解析####
【10月更文挑战第29天】 本文深入剖析了Linux操作系统的心脏——内核中至关重要的组成部分之一,即进程调度机制。不同于传统的摘要概述,我们将通过一段引人入胜的故事线来揭开进程调度算法的神秘面纱,展现其背后的精妙设计与复杂逻辑,让读者仿佛跟随一位虚拟的“进程侦探”,一步步探索Linux如何高效、公平地管理众多进程,确保系统资源的最优分配与利用。 ####
15 4
|
2天前
|
缓存 负载均衡 算法
Linux内核中的进程调度算法解析####
本文深入探讨了Linux操作系统核心组件之一——进程调度器,着重分析了其采用的CFS(完全公平调度器)算法。不同于传统摘要对研究背景、方法、结果和结论的概述,本文摘要将直接揭示CFS算法的核心优势及其在现代多核处理器环境下如何实现高效、公平的资源分配,同时简要提及该算法如何优化系统响应时间和吞吐量,为读者快速构建对Linux进程调度机制的认知框架。 ####
|
5天前
|
缓存 Linux
揭秘Linux内核:探索CPU拓扑结构
【10月更文挑战第26天】
19 1
|
5天前
|
缓存 运维 Linux
深入探索Linux内核:CPU拓扑结构探测
【10月更文挑战第18天】在现代计算机系统中,CPU的拓扑结构对性能优化和资源管理至关重要。了解CPU的核心、线程、NUMA节点等信息,可以帮助开发者和系统管理员更好地调优应用程序和系统配置。本文将深入探讨如何在Linux内核中探测CPU拓扑结构,介绍相关工具和方法。
8 0
|
14天前
|
网络协议 Linux 调度
深入探索Linux操作系统的心脏:内核与系统调用####
本文旨在揭开Linux操作系统中最为核心的部分——内核与系统调用的神秘面纱,通过生动形象的语言和比喻,让读者仿佛踏上了一段奇妙的旅程,从宏观到微观,逐步深入了解这两个关键组件如何协同工作,支撑起整个操作系统的运行。不同于传统的技术解析,本文将以故事化的方式,带领读者领略Linux内核的精妙设计与系统调用的魅力所在,即便是对技术细节不甚了解的读者也能轻松享受这次知识之旅。 ####
|
11天前
|
缓存 算法 安全
深入理解Linux操作系统的心脏:内核与系统调用####
【10月更文挑战第20天】 本文将带你探索Linux操作系统的核心——其强大的内核和高效的系统调用机制。通过深入浅出的解释,我们将揭示这些技术是如何协同工作以支撑起整个系统的运行,同时也会触及一些常见的误解和背后的哲学思想。无论你是开发者、系统管理员还是普通用户,了解这些基础知识都将有助于你更好地利用Linux的强大功能。 ####
21 1
|
11天前
|
缓存 编解码 监控
深入探索Linux内核调度机制的奥秘###
【10月更文挑战第19天】 本文旨在以通俗易懂的语言,深入浅出地剖析Linux操作系统内核中的进程调度机制,揭示其背后的设计哲学与实现策略。我们将从基础概念入手,逐步揭开Linux调度策略的神秘面纱,探讨其如何高效、公平地管理系统资源,以及这些机制对系统性能和用户体验的影响。通过本文,您将获得关于Linux调度机制的全新视角,理解其在日常计算中扮演的关键角色。 ###
36 1
|
19天前
|
网络协议 Linux 芯片
Linux 内核 6.11 RC6 发布!
【10月更文挑战第12天】
86 0
Linux 内核 6.11 RC6 发布!
|
2天前
|
缓存 算法 Linux
Linux内核中的内存管理机制深度剖析####
【10月更文挑战第28天】 本文深入探讨了Linux操作系统的心脏——内核,聚焦其内存管理机制的奥秘。不同于传统摘要的概述方式,本文将以一次虚拟的内存分配请求为引子,逐步揭开Linux如何高效、安全地管理着从微小嵌入式设备到庞大数据中心数以千计程序的内存需求。通过这段旅程,读者将直观感受到Linux内存管理的精妙设计与强大能力,以及它是如何在复杂多变的环境中保持系统稳定与性能优化的。 ####
6 0