Loading [MathJax]/jax/output/CommonHTML/config.js
前往小程序,Get更优阅读体验!
立即前往
首页
学习
活动
专区
圈层
工具
发布
首页
学习
活动
专区
圈层
工具
MCP广场
社区首页 >专栏 >Linux内核36-内核同步之禁止中断

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

作者头像
Tupelo
发布于 2022-08-15 08:09:37
发布于 2022-08-15 08:09:37
1.5K0
举报
文章被收录于专栏:嵌入式ARM和Linux嵌入式ARM和Linux

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

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

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 总结

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

本文参与 腾讯云自媒体同步曝光计划,分享自微信公众号。
原始发表:2020-04-21,如有侵权请联系 cloudcommunity@tencent.com 删除

本文分享自 嵌入式ARM和Linux 微信公众号,前往查看

如有侵权,请联系 cloudcommunity@tencent.com 删除。

本文参与 腾讯云自媒体同步曝光计划  ,欢迎热爱写作的你一起参与!

评论
登录后参与评论
暂无评论
推荐阅读
编辑精选文章
换一批
Linux内核24-内核同步理解
我们可以把内核想象成一个服务器,专门响应各种请求。这些请求可以是CPU上正在运行的进程发起的请求,也可以是外部的设备发起的中断请求。所以说,内核并不是串行运行,而是交错执行。既然是交错执行,就会产生竞态条件,我们可以采用同步技术消除这种竞态条件。
Tupelo
2022/08/15
1.1K0
Linux用户抢占和内核抢占详解(概念, 实现和触发时机)--Linux进程的管理与调度(二十)
多任务系统中, 内核负责管理各个任务, 或者说为每个任务分配CPU时间, 并且负责任务之间的通讯.
233333
2018/12/05
5.5K1
Linux用户抢占和内核抢占详解(概念, 实现和触发时机)--Linux进程的管理与调度(二十)
Linux内核硬中断 / 软中断的原理和实现
从本质上来讲,中断是一种电信号,当设备有某种事件发生时,它就会产生中断,通过总线把电信号发送给中断控制器。
秃头哥编程
2019/10/09
22.9K1
Linux内核硬中断 / 软中断的原理和实现
Linux调度系统全景指南(上篇)
| 导语 本文主要是讲Linux的调度系统, 由于全部内容太多,分三部分来讲,调度可以说是操作系统的灵魂,为了让CPU资源利用最大化,Linux设计了一套非常精细的调度系统,对大多数场景都进行了很多优化,系统扩展性强,我们可以根据业务模型和业务场景的特点,有针对性的去进行性能优化,在保证客户网络带宽前提下,隔离客户互相之间的干扰影响,提高CPU利用率,降低单位运算成本,提高市场竞争力。欢迎大家相互交流学习!
刘盼
2021/03/10
1.6K0
Linux调度系统全景指南(上篇)
硬中断和软中断_软中断和硬中断的优先级
从本质上来讲,中断是一种电信号,当设备有某种事件发生时,它就会产生中断,通过总线把电信号发送给中断控制器。
全栈程序员站长
2022/11/03
2.8K0
Linux内核中的软中断、tasklet和工作队列具体解释
软中断、tasklet和工作队列并非Linux内核中一直存在的机制,而是由更早版本号的内核中的“下半部”(bottom half)演变而来。
全栈程序员站长
2022/07/20
2.4K0
Linux内核中的软中断、tasklet和工作队列具体解释
Linux内核37-内核数据的同步访问
每一种技术的出现必然是因为某种需求。正因为人的本性是贪婪的,所以科技的创新才能日新月异。
Tupelo
2022/08/15
9430
Linux内核22-软中断和tasklet
在之前的文章中,讲解中断处理相关的概念的时候,提到过有些任务不是紧急的,可以延后一段时间执行。因为中断服务例程都是顺序执行的,在响应一个中断的时候不应该被打断。相反,这些可延时任务执行时,可以使能中断。那么,将这些任务从中断处理程序中剥离出来,可以有效地保证内核对于中断响应时间尽可能短。这对于时间苛刻的应用来说,这是一个很重要的属性,尤其是那些要求中断请求必须在毫秒级别响应的应用。
Tupelo
2022/08/15
1.7K0
实时Linux内核的实现
实时系统要求对事件的响应时间不能超过规定的期限,响应时间是指从某个事件发生到负责处理这个事件的进程处理完成的时间间隔,最大响应时间应该是确定的、可以预测的。
用户7244416
2021/10/28
6.8K0
实时Linux内核的实现
【深入理解Linux内核锁】| 中断屏蔽
函数介绍:local_irq_enable函数用于将CPSR寄存器中的中断使能位设为1,从而使得CPU能够响应中断。
董哥聊技术
2023/08/29
9330
【深入理解Linux内核锁】| 中断屏蔽
深入理解Linux内核之内核抢占
我们或许经常听说过内核抢占,可是我们是否真正理解它呢?内核抢占和抢占式内核究竟有什么关系呢?抢占计数器究竟干什么用?... 本文我们就来好好讨论下,关于内核抢占的一些技术细节,力求让大家理解内核抢占。
用户7244416
2021/08/06
3K0
软中断SOFTIRQ
软中断的出现和linux系统对中断的划分是分不开的。linux系统将整个中断处理过程分为了两部分,分别为上半部(Top Half)和下半部(Bottom Half),之所以要这样分是因为关闭中断的时间不能过长,也就是在关闭中断期间尽可能少干事,否则影响整个系统的性能。所以linux系统将中断处理分为两部分,在上半部全程关闭中断,下半部打开中断。而在上半部主要干一些和硬件有关的操作,速度快,在下部分做一些耗时的操作。这样一来既能保证系统效率又能处理各种中断。
DragonKingZhu
2020/03/24
2.4K0
Linux 软中断机制分析
软中断分析最近工作繁忙,没有时间总结内核相关的一些东西。上次更新博客到了linux内核中断子系统。这次总结一下软中断,也就是softirq。之后还会总结一些tasklet、工作队列机制。 1.为什么要软中断 编写驱动的时候,一个中断产生之后,内核在中断处理函数中可能需要完成很多工作。但是中断处理函数的处理是关闭了中断的。也就是说在响应中断时,系统不能再次响应外部的其它中断。这样的后果会造成有可能丢失外部中断。于是,linux内核设计出了一种架构,中断函数需要处理的任务分为两部分,一部分在中断处理函数中执
小小科
2018/05/03
8.9K0
Linux 软中断机制分析
Linux内核21-Linux内核的中断处理过程
如前所述,我们知道异常的处理还是比较简单的,就是给相关的进程发送信号,而且不存在进程调度的问题,所以内核很快就处理完了异常。
Tupelo
2022/08/15
2.5K0
Linux内核21-Linux内核的中断处理过程
linux设备驱动第五篇:驱动中的并发与竟态
综述 在上一篇介绍了linux驱动的调试方法,这一篇介绍一下在驱动编程中会遇到的并发和竟态以及如何处理并发和竞争。 首先什么是并发与竟态呢?并发(concurrency)指的是多个执行单元同时、并行被执行。而并发的执行单元对共享资源(硬件资源和软件上的全局、静态变量)的访问则容易导致竞态(race conditions)。可能导致并发和竟态的情况有: SMP(Symmetric Multi-Processing),对称多处理结构。SMP是一种紧耦合、共享存储的系统模型,它的特点是多个CPU使用共同的系统总线
程序员互动联盟
2018/03/12
1.8K0
深入浅出:Linux设备驱动之中断与定时器
“我叮咛你的 你说 不会遗忘 你告诉我的 我也全部珍藏 对于我们来说 记忆是飘不落的日子 永远不会发黄 相聚的时候 总是很短 期待的时候 总是很长 岁月的溪水边 捡拾起多少闪亮的诗行 如果你要想念我 就望一望天上那 闪烁的繁星 有我寻觅你的 目光” 谢谢你,曾经来过~ 中断与定时器是我们再熟悉不过的问题了,我们在进行裸机开发学习的 时候,这几乎就是重难点,也是每个程序必要的模块信息,那么在Linux中,我们又怎么实现延时、计数,和中断呢? 一、中断 1.概述 所谓中断是指cpu在执行程序的过程中,出现了某些
小小科
2018/05/03
3.2K0
深入浅出:Linux设备驱动之中断与定时器
Linux内核同步原理学习笔记
在多年前,linux还没有支持对称多处理器SMP的时候,避免并发数据访问相对简单。
杨源鑫
2019/07/04
1.3K0
Linux内核中断顶半部和底半部的理解
  设备的中断会打断内核进程中的正常调度和运行,系统对更高吞吐率的追求势必要求中断服务程序尽量短小精悍。但是,这个良好的愿望往往与现实并不吻合。在大多数真实的系统中,当中断到来时,要完成的工作往往并不会是短小的,它可能要进行较大量的耗时处理。   下图描述了Linux内核的中断处理机制。为了在中断执行时间尽量短和中断处理需完成的工作尽量大之间找到一个平衡点,Linux将中断处理程序分解为两个半部:顶半部和底半部。
嵌入式与Linux那些事
2021/05/20
1.9K0
Linux内核中断顶半部和底半部的理解
深度剖析Linux内核同步机制:实现高效可靠的并发编程
前言:非常早之前就接触过同步这个概念了,可是一直都非常模糊。没有深入地学习了解过,最近有时间了,就花时间研习了一下《linux内核标准教程》和《深入linux设备驱动程序内核机制》这两本书的相关章节。趁刚看完,就把相关的内容总结一下。
嵌入式Linux内核
2023/08/08
1.1K0
深度剖析Linux内核同步机制:实现高效可靠的并发编程
Linux实时补丁即将合并进Linux 5.3
所谓实时,就是一个特定任务的执行时间必须是确定的,可预测的,并且在任何情况下都能保证任务的时限(最大执行时间限制)。实时又分软实时和硬实时,所谓软实时,就是对任务执行时限的要求不那么严苛,即使在一些情况下不能满足时限要求,也不会对系统本身产生致命影响,例如,媒体播放系统就是软实时的,它需要系统能够在1秒钟播放24帧,但是即使在一些严重负载的情况下不能在1秒钟内处理24帧,也是可以接受的。所谓硬实时,就是对任务的执行时限的要求非常严格,无论在什么情况下,任务的执行实现必须得到绝对保证,否则将产生灾难性后果,例如,飞行器自动驾驶和导航系统就是硬实时的,它必须要求系统能在限定的时限内完成特定的任务,否则将导致重大事故,如碰撞或爆炸等。
Linux阅码场
2019/07/22
3.8K0
Linux实时补丁即将合并进Linux 5.3
相关推荐
Linux内核24-内核同步理解
更多 >
领券
问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档