Linux内核的基础设施:工作队列、等待队列

简介: 本文介绍了Linux内核中的工作队列和等待队列机制,通过一个具体的Demo演示了如何使用等待队列进行条件等待和唤醒,以及工作队列的创建和调度,同时展示了修改唤醒条件导致无法唤醒进程的情况。

1. 前言

通常,我们说开发的设备驱动程序,并不需要有自己的工作队列。如果我们只是偶尔需要向队列中提交任务,则内核已为我们提供了一个更简单、更有效的方法,就是使用内核提供的现成的工作队列!但因为它是和内核中其他任务共享的,所以我们不应该在里面执行一些需要sleep很久的工作。

2. 内核睡眠机制

进程通过睡眠机制释放CPU资源,使其能够处理其他进程。CPU睡眠的原因,一般就是等待资源释放。

内核调度器管理要运行的任务列表,这被称作运行队列

睡眠进程不再被调度,因为已将它们从运行队列中移除。除非其状态改变(唤醒),否则睡眠进程将永远不会被执行。

进程一旦进入等待状态,就可以释放CPU资源,一定要确保有条件或其他进程会唤醒它。

Linux内核通过提供一组函数和数据结构来简化睡眠机制的实现。

3. 等待队列

等待队列实际上用于处理被阻塞的I/O,以等待特定条件成立,并感知数据或资源可用性。为了理解其工作方式,来看一看它在include/linux/wait.h中的结构:

struct __wait_queue {
    
    unsigned int flags; 
#define WQ_FLAG_EXCLUSIVE 0x01 
    void *private; 
    wait_queue_func_t func; 
    struct list_head task_list; 
};

请注意task_list字段。正如所看到的,它是一个链表。想要其入睡的每个进程都在该链表中排队(因此被称作等待队列)并进入睡眠状态,直到条件变为真。等待队列可以被看作简单的进程链表和锁。

处理等待队列时,常用到的函数如下。

3.1 静态声明:

DECLARE_WAIT_QUEUE_HEAD(name)

3.2 动态声明:

wait_queue_head_t my_wait_queue; 
init_waitqueue_head(&my_wait_queue);

3.3 阻塞:

/* 
 * 如果条件为false,则阻塞等待队列中的当前任务(进程) 
 */ 
int wait_event_interruptible(wait_queue_head_t q, CONDITION);

3.4 解除阻塞:

  • 如果调用wake_up_interruptible时,在wait_event_interruptible设置的CONDITION条件仍然是FALSE,则什么都不会发生
/* 
 * 如果上述条件为true,则唤醒在等待队列中休眠的进程 
 */ 
void wake_up_interruptible(wait_queue_head_t *q);

4. 工作队列

//创建一个具体做事的函数
static void work_handler(struct work_struct *work) 
{
    
    printk("Waitqueue module handler %s\n", __FUNCTION__); 
    msleep(5000); 
    printk("Wake up the sleeping module\n"); 
    condition = 1; /*设置唤醒条件,改变为1,即(condition != 0) 为真,否则无法唤醒*/
    wake_up_interruptible(&my_wq); /*唤醒执行insmod的进程,进程会检测条件(condition != 0)是否为真, 楼上已设为真*/
} 

//创建 wrk变量
static struct work_struct wrk; 

//初始化wrk变量,并和 work_handler()绑定
INIT_WORK(&wrk, work_handler); 

//调度wrk运行,将运行说绑定的 work_handler()
schedule_work(&wrk);

5. Demo 演示

5.1 完整源码: test_wait.c

#include <linux/module.h> 
#include <linux/init.h> 
#include <linux/sched.h> 
#include <linux/time.h> 
#include <linux/delay.h> 
#include<linux/workqueue.h> 

static DECLARE_WAIT_QUEUE_HEAD(my_wq); 
static int condition = 0; 

/* 声明一个工作队列*/ 
static struct work_struct wrk; 

static void work_handler(struct work_struct *work) 
{
    
    printk("Waitqueue module handler %s\n", __FUNCTION__); 
    msleep(5000); 
    printk("Wake up the sleeping module\n"); 
    condition = 1; /*设置唤醒条件,改变为1,即(condition != 0) 为真,否则无法唤醒*/
    wake_up_interruptible(&my_wq); /*唤醒执行insmod的进程,进程会检测条件(condition != 0)是否为真, 楼上已设为真*/
} 

static int __init my_init(void) 
{
    
    printk("Wait queue example\n"); 

    INIT_WORK(&wrk, work_handler); 
    schedule_work(&wrk); /*将wrk加入到Linux默认的、共享的工作队列中,类似开了另外一个线程执行*/

    printk("Going to sleep %s\n", __FUNCTION__); 
    wait_event_interruptible(my_wq, condition != 0);  /*条件(condition != 0) 为False,执行insmod的进程将进入睡眠*/

    pr_info("woken up by the work job\n"); 
    return 0;  
}  

void my_exit(void) 
{
    
    printk("waitqueue example cleanup\n"); 
} 

module_init(my_init); 
module_exit(my_exit); 
MODULE_AUTHOR("John Madieu <john.madieu@foobar.com>"); 
MODULE_LICENSE("GPL");

5.2 编译添加:Makefile

  1. 如下,随意找了个位置,内核的drivers/amlogic/input,将test.wait.c放在此目录下
  2. 添加 obj-m += test_wait.o , 将编译出 test_wait.ko 文件,方便使用
szhou@bc04:~/T972/android_x301/source/t962x3-t972-android9.0/common/drivers/amlogic/input$ cat Makefile 
#
# Makefile for the input core drivers.
#

# Each configuration option enables a list of files.

obj-$(CONFIG_AMLOGIC_AVIN_DETECT) += avin_detect/

# …… 省略 ……

obj-m += test_wait.o
szhou@bc04:~/T972/android_x301/source/t962x3-t972-android9.0/common/drivers/amlogic/input$

5.3 运行打印

  1. 将test_wait.ko 放入U盘,cd到U盘目录下:/mnt/media_rw/525F-A17B
  2. 执行insmod命令,即可测试到现象
:/mnt/media_rw/525F-A17B # insmod test_wait.ko                                 
[11179.724919@1]- Wait queue example
[11179.724984@1]- Waitqueue module handler work_handler   注释:执行 schedule_work(&wrk); 语句,调用了work_handler()
[11179.725000@1]- Going to sleep my_init

  注释:此处休眠了5秒11179 -> 11184 = 5 秒

[11184.937615@1]- Wake up the sleeping module
[11184.937883@1]- woken up by the work job

:/mnt/media_rw/525F-A17B # rmmod test_wait
[11253.229003@2]- waitqueue example cleanup

6. 案例修改:让唤醒条件始终为False

如下,让我们来验证下,如果( condition != 0)始终为 False ,会发生什么?

6.1 源码:修改的部分

如下将楼上 condition = 1;的语句改为 condition = 0;

static void work_handler(struct work_struct *work) 
{
    
    printk("Waitqueue module handler %s\n", __FUNCTION__); 
    msleep(5000); 
    printk("Wake up the sleeping module, but set condition=0\n"); 
    condition = 0; /* 唤醒条件被设置为0,预计下面语句将无法唤醒所执行的insmod进程*/
    wake_up_interruptible(&my_wq); 
}

6.2 运行打印

从如下打印可知,所设置 wait_event_interruptible(my_wq, condition != 0);语句里的( condition != 0)需要为真,才能唤醒

:/mnt/media_rw/525F-A17B # insmod test_wait.ko 
[13879.885846@3]- Wait queue example
[13879.885876@3]- Waitqueue module handler work_handler
[13879.885890@3]- Going to sleep my_init

  注释:此处休眠了5秒,13879 -> 13884

[13884.969417@3]- Wake up the sleeping module, but set condition=0

///  注释: 一直卡在此处,进程未再往下执行,使用Ctrl + C 打断 insmod 进程,则可以继续往下跑
相关文章
|
6天前
|
算法 Linux 调度
深入理解Linux内核调度器:从基础到优化####
本文旨在通过剖析Linux操作系统的心脏——内核调度器,为读者揭开其高效管理CPU资源的神秘面纱。不同于传统的摘要概述,本文将直接以一段精简代码片段作为引子,展示一个简化版的任务调度逻辑,随后逐步深入,详细探讨Linux内核调度器的工作原理、关键数据结构、调度算法演变以及性能调优策略,旨在为开发者与系统管理员提供一份实用的技术指南。 ####
29 4
|
10天前
|
缓存 算法 Linux
深入理解Linux内核调度器:公平性与性能的平衡####
真知灼见 本文将带你深入了解Linux操作系统的核心组件之一——完全公平调度器(CFS),通过剖析其设计原理、工作机制以及在实际系统中的应用效果,揭示它是如何在众多进程间实现资源分配的公平性与高效性的。不同于传统的摘要概述,本文旨在通过直观且富有洞察力的视角,让读者仿佛亲身体验到CFS在复杂系统环境中游刃有余地进行任务调度的过程。 ####
31 6
|
8天前
|
缓存 资源调度 安全
深入探索Linux操作系统的心脏——内核配置与优化####
本文作为一篇技术性深度解析文章,旨在引领读者踏上一场揭秘Linux内核配置与优化的奇妙之旅。不同于传统的摘要概述,本文将以实战为导向,直接跳入核心内容,探讨如何通过精细调整内核参数来提升系统性能、增强安全性及实现资源高效利用。从基础概念到高级技巧,逐步揭示那些隐藏在命令行背后的强大功能,为系统管理员和高级用户打开一扇通往极致性能与定制化体验的大门。 --- ###
30 9
|
7天前
|
缓存 负载均衡 Linux
深入理解Linux内核调度器
本文探讨了Linux操作系统核心组件之一——内核调度器的工作原理和设计哲学。不同于常规的技术文章,本摘要旨在提供一种全新的视角来审视Linux内核的调度机制,通过分析其对系统性能的影响以及在多核处理器环境下的表现,揭示调度器如何平衡公平性和效率。文章进一步讨论了完全公平调度器(CFS)的设计细节,包括它如何处理不同优先级的任务、如何进行负载均衡以及它是如何适应现代多核架构的挑战。此外,本文还简要概述了Linux调度器的未来发展方向,包括对实时任务支持的改进和对异构计算环境的适应性。
26 6
|
8天前
|
缓存 Linux 开发者
Linux内核中的并发控制机制:深入理解与应用####
【10月更文挑战第21天】 本文旨在为读者提供一个全面的指南,探讨Linux操作系统中用于实现多线程和进程间同步的关键技术——并发控制机制。通过剖析互斥锁、自旋锁、读写锁等核心概念及其在实际场景中的应用,本文将帮助开发者更好地理解和运用这些工具来构建高效且稳定的应用程序。 ####
27 5
|
8天前
|
算法 Unix Linux
深入理解Linux内核调度器:原理与优化
本文探讨了Linux操作系统的心脏——内核调度器(Scheduler)的工作原理,以及如何通过参数调整和代码优化来提高系统性能。不同于常规摘要仅概述内容,本摘要旨在激发读者对Linux内核调度机制深层次运作的兴趣,并简要介绍文章将覆盖的关键话题,如调度算法、实时性增强及节能策略等。
|
9天前
|
存储 监控 安全
Linux内核调优的艺术:从基础到高级###
本文深入探讨了Linux操作系统的心脏——内核的调优方法。文章首先概述了Linux内核的基本结构与工作原理,随后详细阐述了内核调优的重要性及基本原则。通过具体的参数调整示例(如sysctl、/proc/sys目录中的设置),文章展示了如何根据实际应用场景优化系统性能,包括提升CPU利用率、内存管理效率以及I/O性能等关键方面。最后,介绍了一些高级工具和技术,如perf、eBPF和SystemTap,用于更深层次的性能分析和问题定位。本文旨在为系统管理员和高级用户提供实用的内核调优策略,以最大化Linux系统的效率和稳定性。 ###
|
8天前
|
Java Linux Android开发
深入探索Android系统架构:从Linux内核到应用层
本文将带领读者深入了解Android操作系统的复杂架构,从其基于Linux的内核到丰富多彩的应用层。我们将探讨Android的各个关键组件,包括硬件抽象层(HAL)、运行时环境、以及核心库等,揭示它们如何协同工作以支持广泛的设备和应用。通过本文,您将对Android系统的工作原理有一个全面的认识,理解其如何平衡开放性与安全性,以及如何在多样化的设备上提供一致的用户体验。
|
8天前
|
缓存 运维 网络协议
深入Linux内核架构:操作系统的核心奥秘
深入Linux内核架构:操作系统的核心奥秘
25 2
|
10天前
|
监控 网络协议 算法
Linux内核优化:提升系统性能与稳定性的策略####
本文深入探讨了Linux操作系统内核的优化策略,旨在通过一系列技术手段和最佳实践,显著提升系统的性能、响应速度及稳定性。文章首先概述了Linux内核的核心组件及其在系统中的作用,随后详细阐述了内存管理、进程调度、文件系统优化、网络栈调整及并发控制等关键领域的优化方法。通过实际案例分析,展示了这些优化措施如何有效减少延迟、提高吞吐量,并增强系统的整体健壮性。最终,文章强调了持续监控、定期更新及合理配置对于维持Linux系统长期高效运行的重要性。 ####