linux -- 中断管理 -- softirq机制

softirq的起始

do_IRQ();--> irq_enter();	//HARDIRQ部分的开始  更新系统中的一些统计量  标识出HARDIRQ上下文--> generic_irq_handler();	--> irq_exit();		//softirq部分的起始

irq_exit

/** Exit an interrupt context. Process softirqs if needed and possible:* 退出中断上下文,如果需要,处理softirqs*/
void irq_exit(void)
{account_system_vtime(current);trace_hardirq_exit();//# define IRQ_EXIT_OFFSET (HARDIRQ_OFFSET-1)//#define HARDIRQ_OFFSET	(1UL << HARDIRQ_SHIFT)sub_preempt_count(IRQ_EXIT_OFFSET);if (!in_interrupt() && local_softirq_pending())invoke_softirq();rcu_irq_exit();
#ifdef CONFIG_NO_HZ/* Make sure that timer wheel updates are propagated */if (idle_cpu(smp_processor_id()) && !in_interrupt() && !need_resched())tick_nohz_stop_sched_tick(0);
#endifpreempt_enable_no_resched();
}//为了做到减小preempt_count这个操作,可是花了很大的劲
#define sub_preempt_count do { preempt_count() -= (val); } while (0)
#define preempt_count()	(current_thread_info()->preempt_count)
static inline struct thread_info *current_thread_info(void) __attribute_const__;
static inline struct thread_info *current_thread_info(void)
{register unsigned long sp asm ("sp");return (struct thread_info *)(sp & ~(THREAD_SIZE - 1));
}/** low level task data that entry.S needs immediate access to.* __switch_to() assumes cpu_context follows immediately after cpu_domain.*/
struct thread_info {unsigned long		flags;		/* low level flags */int			preempt_count;	/* 0 => preemptable, <0 => bug */mm_segment_t		addr_limit;	/* address limit */struct task_struct	*task;		/* main task structure */struct exec_domain	*exec_domain;	/* execution domain */__u32			cpu;		/* cpu */__u32			cpu_domain;	/* cpu domain */struct cpu_context_save	cpu_context;	/* cpu context */__u32			syscall;	/* syscall number */__u8			used_cp[16];	/* thread used copro */unsigned long		tp_value;struct crunch_state	crunchstate;union fp_state		fpstate __attribute__((aligned(8)));union vfp_state		vfpstate;
#ifdef CONFIG_ARM_THUMBEEunsigned long		thumbee_state;	/* ThumbEE Handler Base register */
#endifstruct restart_block	restart_block;
};

获取进程描述的过程,详见《linux内核设计与实现》:
在这里插入图片描述
为什么要做这一步?
减去IRQ_EXIT_OFFSET是用于标识一个HARDIRQ中断上下文的结束,这一步动作与do_IRQ中的irq_enter遥相呼应。

invoke_softirq是真正处理SOFTIRQ部分的函数,但进入调用必须满足两个条件:

  1. 处于非中断上下文(!in_interrupt())
  2. local_softirq_pending

in_interrupt宏根据preempt_count变量来判断当前是否处在一个中断上下文执行:

#define in_interrupt()		(irq_count())#define irq_count()	(preempt_count() & (HARDIRQ_MASK | SOFTIRQ_MASK | NMI_MASK))

linux内核中HARDIRQ_MASK | SOFTIRQ_MASK | NMI_MASK的组合,为中断上下文。(nmi应该是x86的APIC的概念,non-mask-interrupt中断,不可屏蔽中断)

既然减去IRQ_EXIT_OFFSET可以表示HARDIRQ中断上下文结束,那么这个值应该是在进入HARDIRQ时设置的,以表示当前处于HARDIRQ上下文,不出所料:

#define __irq_enter()					\do {						\account_system_vtime(current);		\add_preempt_count(HARDIRQ_OFFSET);	\	//here!trace_hardirq_enter();			\} while (0)

linux内核对preempt_count的使用:
在这里插入图片描述

第二条件是local_softirq_pending
这个宏用于判断__softirq_pending中有等待的softirq:

#define local_softirq_pending()	percpu_read(irq_stat.__softirq_pending)#define percpu_read(var)		percpu_from_op("mov", var, "m" (var))irq_cpustat_t irq_stat[NR_CPUS] ____cacheline_aligned;
EXPORT_SYMBOL(irq_stat);typedef struct {unsigned int __softirq_pending;
#ifdef CONFIG_LOCAL_TIMERSunsigned int local_timer_irqs;
#endif
#ifdef CONFIG_SMPunsigned int ipi_irqs[NR_IPI];
#endif
} ____cacheline_aligned irq_cpustat_t;

irq_stat是一个per-CPU变量,系统中每个CPU都拥有各自的副本。
unsigned int __softirq_pending;成员用于标识当前正在等待被处理的softirq,每一种softirq都在__softirq_pending中占据一个bit。每个CPU都有自己的__softirq_pending变量。

总结一些两个条件:
当前不在interrupt上下文中,且__softirq_pending中有等待的softirq。当前不在interrupt上下文,保证了如果代码在执行softirq部分执行时,如果发生了一个外部中断,那么中断处理函数结束HARDIRQ部分时,不会去处理softirq,而是直接返回,这样,此前被中断的SOFTIRQ部分将继续被执行

满足此二者,即可调用invoke_softirq:

#ifdef __ARCH_IRQ_EXIT_IRQS_DISABLED
static inline void invoke_softirq(void)
{if (!force_irqthreads)__do_softirq();elsewakeup_softirqd();
}
#else
static inline void invoke_softirq(void)
{if (!force_irqthreads)do_softirq();elsewakeup_softirqd();
}
#endif

__ARCH_IRQ_EXIT_IRQS_DISABLED 宏是体系结构相关的,用来决定在HARDIRQ部分结束时有没有关闭处理器响应外部中断的能力。有些体系结构,可以在HARDIRQ结束时,进入SOFTIRQ之前,就能保证外部中断是被屏蔽的状态,这就可以直接调用__do_softirq() 否则就调用do_softirq();

do_softirq要比__do_softirq()多做一些事情,主要就是中断屏蔽,以确保开始执行时中断是关闭的。

/** We restart softirq processing MAX_SOFTIRQ_RESTART times,* and we fall back to softirqd after that.** This number has been established via experimentation.* The two things to balance is latency against fairness -* we want to handle softirqs as soon as possible, but they* should not be able to lock up the box.*/
#define MAX_SOFTIRQ_RESTART 10asmlinkage void __do_softirq(void)
{struct softirq_action *h;__u32 pending;int max_restart = MAX_SOFTIRQ_RESTART;int cpu;pending = local_softirq_pending();account_system_vtime(current);__local_bh_disable((unsigned long)__builtin_return_address(0),SOFTIRQ_OFFSET);lockdep_softirq_enter();cpu = smp_processor_id();
restart:/* Reset the pending bitmask before enabling irqs */set_softirq_pending(0);local_irq_enable();h = softirq_vec;do {if (pending & 1) {unsigned int vec_nr = h - softirq_vec;int prev_count = preempt_count();kstat_incr_softirqs_this_cpu(vec_nr);trace_softirq_entry(vec_nr);h->action(h);trace_softirq_exit(vec_nr);if (unlikely(prev_count != preempt_count())) {printk(KERN_ERR "huh, entered softirq %u %s %p""with preempt_count %08x,"" exited with %08x?\n", vec_nr,softirq_to_name[vec_nr], h->action,prev_count, preempt_count());preempt_count() = prev_count;}rcu_bh_qs(cpu);}h++;pending >>= 1;} while (pending);local_irq_disable();pending = local_softirq_pending();if (pending && --max_restart)goto restart;if (pending)wakeup_softirqd();lockdep_softirq_exit();account_system_vtime(current);__local_bh_enable(SOFTIRQ_OFFSET);
}#ifndef __ARCH_HAS_DO_SOFTIRQasmlinkage void do_softirq(void)
{__u32 pending;unsigned long flags;if (in_interrupt())return;local_irq_save(flags);pending = local_softirq_pending();if (pending)__do_softirq();local_irq_restore(flags);
}#endif

软中断类型

之前说过每个softirq枚举类型都在__softirq_pending变量上占据一个bit,softirq类型都有哪些?

enum
{HI_SOFTIRQ=0,TIMER_SOFTIRQ,NET_TX_SOFTIRQ,NET_RX_SOFTIRQ,BLOCK_SOFTIRQ,BLOCK_IOPOLL_SOFTIRQ,TASKLET_SOFTIRQ,SCHED_SOFTIRQ,HRTIMER_SOFTIRQ,RCU_SOFTIRQ,	/* Preferable RCU should always be the last softirq */NR_SOFTIRQS
};

其中,
HI_SOFTIRQ和TASKLET_SOFTIRQ用于实现tasklet
TIMER_SOFTIRQ和HRTIMER_SOFTIRQ用于实现定时器
NET_TX_SOFTIRQ和NET_RX_SOFTIRQ用于网络设备的发送和接收操作。
BLOCK_SOFTIRQ和BLOCK_IOPOLL_SOFTIRQ用于块设备的操作。
SCHED_SOFTIRQ用于调度器

内核中还有一个数组,保存了每一个软中断的handler

static struct softirq_action softirq_vec[NR_SOFTIRQS] __cacheline_aligned_in_smp;struct softirq_action
{void	(*action)(struct softirq_action *);
};char *softirq_to_name[NR_SOFTIRQS] = {"HI", "TIMER", "NET_TX", "NET_RX", "BLOCK", "BLOCK_IOPOLL","TASKLET", "SCHED", "HRTIMER",	"RCU"
};

铺垫到这里,再看do_softirq函数就轻松了,do{} while()遍历本地的pending的每一位,由低到高,看哪一bit为1,再到本地的softirq_vec中找到对应的handler去执行。

注意:

  1. __local_bh_disable((unsigned long)__builtin_return_address(0), SOFTIRQ_OFFSET);里面做了一次preempt_count() += cnt; 用于标识SOFTIRQ_OFFSET上下文。__local_bh_enable反之。
  2. local_irq_save(flags)和local_irq_restore(flags)。local_irq_save的调用把当前的中断状态(开或关)保存到flags中,然后禁用当前处理器上的中断。注意, flags 被直接传递, 而不是通过指针来传递,这是由于 local_irq_save被实现为宏 。local_irq_disable不保存状态而关闭本地处理器上的中断发送; 只有我们知道中断并未在其他地方被禁用的情况下,才能使用这个版本。SOFTIRQ处理期间,可以接收外部中断。
  3. __softirq_pending 低位先被scan到,所以低位对应的action会先被执行
  4. do while循环之后再次检测__softirq_pending 是否为0,因为softirq可能会被外设中断打断,驱动在实现该中断处理函数时可能使用了一个softirq,do while循环后要再次检查是否有新的softirq加入。这里有个max_restart变量值的判断,其初始化int max_restart = MAX_SOFTIRQ_RESTART; 待到max_restart为0 或者 pending值读出来为0时,才停止RESTART操作。
  5. 如果4中从RESTART逻辑走出来后,pending值还不为0,说明执行次数太多了,需要唤醒ksoftirq来处理了。不能在softirq中耗费太久,这会导致一个中断处理流程迟迟无法结束,意味着被中断前的任务无法得到执行。ksoftirq的诞生就是为了解决这个问题,在linux内核初始化期间,生成了一个叫做ksoftirq的新进程,该进程在运行时主要的任务就是调用do_softirq来执行等待中的softirq。如果没有softirq要处理,就使其进入睡眠。通过wakeup_softirqd()来唤醒ksoftirqd,它会在调度器的控制下执行,减轻当前中断在softirq部分的工作负载。

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/656612.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

知识蒸馏(paper翻译)

paper&#xff1a;Distilling the Knowledge in a Neural Network 摘要&#xff1a; 提高几乎所有机器学习算法性能的一个非常简单的方法是在相同的数据上训练许多不同的模型&#xff0c;然后对它们的预测进行平均[3]。 不幸的是&#xff0c;使用整个模型集合进行预测非常麻烦…

操作系统A-第四和五章(存储器)作业解析

目录 1、在请求分页系统中&#xff0c;某用户程序的逻辑地址空间为 16 页&#xff0c;每页 1KB&#xff0c;分配的内存空间为 8KB。假定某时刻该用户的页表如下表所示。 试问&#xff1a;(1)逻辑地址 184BH 对应的物理地址是多少&#xff1f;&#xff08;用十六进制表示&…

基于SSM的二手车交易网站设计与实现(有报告)。Javaee项目。ssm项目。

演示视频&#xff1a; 基于SSM的二手车交易网站设计与实现&#xff08;有报告&#xff09;。Javaee项目。ssm项目。 项目介绍&#xff1a; 采用M&#xff08;model&#xff09;V&#xff08;view&#xff09;C&#xff08;controller&#xff09;三层体系结构&#xff0c;通过…

全国网络安全行业职业技能大赛WP

word_sercet 文档被加密 查看图片的属性 在备注可以看到解压密码 解密成功 在选项里面把隐藏的文本显示出来 可以看到ffag easy_encode 得到一个bmp二维码 使用qr research 得到的密文直接放瑞士军刀 base32解码base64解码hex解码 dir_pcap 直接搜索flag 发现flag…

mysql之基本查询

基本查询 一、SELECT 查询语句 一、SELECT 查询语句 查询所有列 1 SELECT *FORM emp;查询指定字段 SELECT empno,ename,job FROM emp;给字段取别名 SELECT empno 员工编号 FROM emp; SELECT empno 员工编号,ename 姓名,job 岗位 FROM emp; SELECT empno AS 员工编号,ename …

Codeforces Round 799 (Div. 4)

目录 A. Marathon B. All Distinct C. Where’s the Bishop? D. The Clock E. Binary Deque F. 3SUM G. 2^Sort H. Gambling A. Marathon 直接模拟 void solve() {int ans0;for(int i1;i<4;i) {cin>>a[i];if(i>1&&a[i]>a[1]) ans;}cout<&l…

离线生成双语字幕,一键生成中英双语字幕,基于AI大模型,ModelScope

离线生成双语字幕整合包,一键生成中英双语字幕,基于AI大模型 制作双语字幕的方案网上有很多&#xff0c;林林总总&#xff0c;不一而足。制作双语字幕的原理也极其简单&#xff0c;无非就是人声背景音分离、语音转文字、文字翻译&#xff0c;最后就是字幕文件的合并&#xff0c…

鸿蒙南向开发——GN快速入门指南

运行GN(Generate Ninja) 运行gn&#xff0c;你只需从命令行运行gn&#xff0c;对于大型项目&#xff0c;GN是与源码一起的。 对于Chromium和基于Chromium的项目&#xff0c;有一个在depot_tools中的脚本&#xff0c;它需要加入到你的PATH环境变量中。该脚本将在包含当前目录的…

常用芯片学习——CD4094芯片

CD4094 8位移位寄存器/3态输出缓冲器 使用说明 CD4094是由一个 8 位串行移位寄存器和一个 3 态输出缓冲器组成的 CMOS 集成电路。寄存器带有存储锁存功能&#xff0c;集成电路根据 STROBE 信号确定锁存器是否接收移位寄存器各位数据&#xff0c;数据是否由锁存器传输到 3 态输…

【教学类-35-23】20240130“红豆空心黑体”不能显示的汉字

作品展示&#xff1a; 背景需求 使用红豆空心黑体制作幼儿字帖&#xff08;涂色版&#xff09; 【教学类-35-22】正式版 20240129名字字卡3.0&#xff08;15CM正方形手工纸、先男后女&#xff0c;页眉是黑体包含全名&#xff0c;名字是红豆空心黑体&#xff09;-CSDN博客文章…

线性代数---------学习总结

线性代数之行列式 行列式的几条重要的性质 1.某两行某两列交换位置之后&#xff0c;值变号 2.行列式转置&#xff0c;值不变 3.范德蒙德行列式&#xff0c;用不同行的公比做一系列的累乘运算 4.把某一行的行列式加到另一行上&#xff0c;利用他们之间的倍数关系&#xff0…

Could not resolve host: github.com问题解决

git clone的时候发现机器无法解析github.com&#xff0c;其实应该改用ssh协议去clone&#xff0c;但是我用的是公用的机器&#xff0c;密钥对一直没配置好&#xff0c;所以也就堵死了。那么如果想让机器能解析github.com&#xff0c;&#xff08;机器本身没有ping命令&#xff…

Python XPath解析html出现⋆解决方法 html出现#123;解决方法

前言 爬网页又遇到一个坑&#xff0c;老是出现乱码&#xff0c;查看html出现的是&#数字;这样的。 网上相关的“Python字符中出现&#的解决办法”又没有很好的解决&#xff0c;自己继续冲浪&#xff0c;费了一番功夫解决了。 这算是又加深了一下我对这些iso、Unicode编…

MySQL原理(二)存储引擎(3)InnoDB

目录 一、概况&#xff1a; 1、介绍&#xff1a; 2、特点&#xff1a; 二、体系架构 1、后台线程 2、内存池&#xff08;缓冲池&#xff09; 三、物理结构 1、数据文件&#xff08;表数据和索引数据&#xff09; 1.1、作用&#xff1a; 1.2、共享表空间与独立表空间 …

计算机网络——静态路由的配置实验

1.实验题目 实验四&#xff1a;静态路由的配置 2.实验目的 1.了解路由器的基本配置。 2.实现对路由器的静态配置。 3.了解Ping命令和trace的原理和使用 3.实验任务 &#xff08;1&#xff09;路由器的基本配置&#xff1a;关闭域名解释&#xff1b;设置路由器接口 IP 地…

网络地址相关函数一网打尽

这块的函数又多又乱&#xff0c;今天写篇日志&#xff0c;以后慢慢补充 1. 网络地址介绍 1.1 ipv4 1.1.1 点、分十进制的ipv4 你对这个地址熟悉吗&#xff1f; 192.168.10.100&#xff0c;这可以当做一个字符串。被十进制数字、 “ . ”分开。IP地址的知识就不再多讲…

一文速学-selenium高阶操作连接已存在浏览器

前言 不得不说selenium不仅在自动化测试作为不可或缺的工具&#xff0c;在数据获取方面也是十分好用&#xff0c;能够十分快速的见到效果&#xff0c;这都取决于selenium框架的足够的灵活性&#xff0c;甚至在一些基于web端的自动化办公都十分有效。 通过selenium连接已经存在…

【解决】No match for argument: gflags-devel

背景 在centos-8中安装gflags-devel&#xff0c;直接dnf安装&#xff0c;失败了。 [rootpcs2 ~]# sudo dnf -y install gflags-devel Extra Packages for Enterprise Linux 8 - x86_64 Extra Packages…

什么是Vue Vue入门案例

一、什么是Vue 概念&#xff1a;Vue (读音 /vjuː/&#xff0c;类似于 view) 是一套 构建用户界面 的 渐进式 框架 Vue2官网&#xff1a;Vue.js 1.什么是构建用户界面 基于数据渲染出用户可以看到的界面 2.什么是渐进式 所谓渐进式就是循序渐进&#xff0c;不一定非得把V…

华为radius认证

组网需求 如图1所示&#xff0c;用户同处于huawei域&#xff0c;Router作为目的网络接入服务器。用户需要通过服务器的远端认证才能通过Router访问目的网络。在Router上的远端认证方式如下&#xff1a; Router对接入用户先用RADIUS服务器进行认证&#xff0c;如果认证没有响应…