xenomai内核解析--任务同步互斥机制(一)--优先级倒置

简介: 本文是关于Xenomai实时操作系统中资源管理和优先级倒置问题的概述。Xenomai使用`xnobject`和`xnregistry`管理任务间的同步互斥资源,如信号量、互斥锁等。资源管理涉及访问控制和资源保存,确保共享资源的正确调度。文章还介绍了优先级倒置现象,即高优先级任务因低优先级任务持有资源而被阻塞。为解决此问题,Xenomai采用了优先级继承策略,临时提升低优先级任务的优先级,以防止持续的优先级反转。文章后续将深入分析`xnsynch`模块和优先级倒置解决方案。

版权声明:本文为本文为博主原创文章,转载请注明出处。如有错误,欢迎指正。博客地址:https://www.cnblogs.com/wsg1100/
[TOC]

一、xenomai 资源管理简要

同步:任务间的直接制约关系,A要继续执行需要B完成某一个操作操作才能继续进行。
互斥:任务间的间接制约关系,A访问了资源B就不能去访问,必须等A访问完了才行。

操作系统提供了任务间的同步互斥机制,如信号量信号量(sem)、互斥锁(mutex)、条件变量(cond)等,抽象来说这些同步互斥锁本都是操作系统管理的一种资源,与消息队列(mq)、xddp/bufp/iddp、信号(signal)、一个驱动设备等一样。

对于每种资源,任务间资源管理要有两个基本机制:访问控制资源的保存

  • 访问控制。资源状态与任务调度管理紧密相关,以实现对共享资源阻塞、强占、唤醒等。
  • 资源的保存。各种资源在内核中的保存形式,内核必须提供一种机制,方便任务能快速查找访问的共享资源,例如两个任务件间通过命名信号量(sem)来进行同步时,需要能通过name(bind操作)快速定位到任务访问的资源,并将其与任务联系起来。

xenomai内核中将任务间的一切资源(包括xenomai内核态一些资源)使用内核对像xnobject表示,内核中的所有内核对象使用xnregistry来保存,由于xenomai内核工作过程中不能动态去申请内存,所以xnregistry大小一般是内核配置时配置的,具体内存分配在xenomai初始化时调用xnregistry_init()初始化xnregistry时分配。

内核对象管理xnregistry分析,详见文章内核对象管理—xnregistry

xenomai内存管理,详见文章xenomai实时系统内存池管理--xnheap

xenomai调度管理,请关注本博客后续文章xenomai任务管理系列


xenomai内核中,任务间共享资源(一切涉及任务间同步互斥的资源)抽象为对象xnsynch,这里的资源不仅限于信号量(sem)、互斥锁(mutex)、xnpipe、消息队列(mq)、事件(event)、条件(cond),还可以是一个驱动设备、以及内核中的资源管理器xnregister……,xnsynch与xenomai任务调度管理紧密结合,来实现上面所说的访问控制,本文所说的优先级倒置问题在该模块中实现。

xnregistry:保存内核对象,提供内核对象存储和快速检索。

xnsynch:资源抽象,提供线程与资源的同步互斥管理机制。

具体的线程间内核资源(对象):信号量(sem)、消息队列(mq)、xddp/bufp/iddp、事件(event)、条件变量(cond)、一个驱动设备、xnregister(xnregister的访问也互斥)…..。

二、优先级倒置

下面介绍优先级倒置也称优先级反转,会在下一篇文章分析xnsynch,如何解决优先级倒置问题。

1. 什么是优先级倒置

在基于优先级调度下,会出现下面情况(例子中的信号量为二值信号量与互斥量等效).

图中,三个任务t1、t2、t3的优先级分别是高、中、低。低优先级任务t3通过获取信号量来获取一些资源。t3运行一段时间后,t1就绪抢占t3得到运行,一段时间后t1需要相同信号量保护的资源时,t1由于获取不到信号量而阻塞。被t1抢占的t3得到继续运行。接着低优先级任务t3受到中优先级任务t2的抢占,t2的抢占导致t3迟迟无法释放信号量,这种情况可能会持续存在,最终导致高优先级任务t1无限期阻塞。在这种情况下,优先级发生了翻转,任务t2总是先于任务t1运行。(xenomai中优先级数值越大,优先级越高)

这就是优先级反转转问题(Priority Inversion and Priority Inheritance),即当一个高优先级任务通过信号量机制访问共享资源时,该信号量已被一低优先级任务占有,而这个低优先级任务在访问共享资源时可能又被其它一些中等优先级任务抢先,因此造成高优先级任务被许多具有较低优先级任务阻塞,实时性难以得到保证。

2. 优先级反转解决办法

通过上图可知,只要t3不被中优先级任务抢占,尽快释放信号量就行了,所以在t1阻塞期间需要给t3一个足够高的优先级。避免优先级反转有优先级天花板优先级继承两种办法。

优先级天花板是当任务申请某资源时, 把该任务的优先级提升到可访问这个资源的所有任务中的最高优先级, 这个优先级称为该资源的优先级天花板。

优先级继承是当任务t1 申请共享资源S 时, 如果S正在被任务t3 使用,通过比较任务t3 与t1的优先级,如发现任务t3 的优先级小于t1的优先级, 则将任务t3的优先级提升到t1的优先级,等t3 释放资源S 后,再恢复任务t3 的原优先级。xenomai内核使用该方式,优先级反转后的示意图如下。

如上图所示,通过优先级继承,在t1被阻止的时间内将t3的优先级提升到t1的优先级来解决优先级反转,这样可以保护t3和间接t1免受t2的抢占。

以上为单个互斥信号的情况,在真实环境中,往往是多个信号量、多个任务,下图为多个任务与多个互斥信号量交互的示例:

① 低优先级为10的任务t3获取信号量s1;

② 任务t3获取信号量s2;

③ 任务t2抢占运行后尝试获取信号量s1时阻塞;

④ 任务t3继承t2的优先级30继续执行;

⑤ 优先级为90的t1抢占t3;

⑥ 任务t1尝试获取信号量s2阻塞;

⑦ 任务t3继承t1的优先级90继续执行;

⑧ 任务t3释放信号量s1,优先级继续保持为90;

⑨ 任务t3释放信号量s2,并恢复优先级10;

⑩ 任务t1获取信号量s2抢占运行。

目录
相关文章
|
1月前
|
存储 物联网 调度
操作系统的心脏:内核深度解析
在数字世界的构建中,操作系统扮演着基石的角色,而其核心—内核,则是这一复杂系统的灵魂。本文将深入探讨操作系统内核的工作原理,揭示它是如何管理硬件资源、运行程序以及提供系统服务的。通过理解内核的结构和功能,我们可以更好地把握计算机系统的运作机制,进而优化和创新我们的技术实践。
|
10天前
|
缓存 监控 Java
Java线程池提交任务流程底层源码与源码解析
【11月更文挑战第30天】嘿,各位技术爱好者们,今天咱们来聊聊Java线程池提交任务的底层源码与源码解析。作为一个资深的Java开发者,我相信你一定对线程池并不陌生。线程池作为并发编程中的一大利器,其重要性不言而喻。今天,我将以对话的方式,带你一步步深入线程池的奥秘,从概述到功能点,再到背景和业务点,最后到底层原理和示例,让你对线程池有一个全新的认识。
38 12
|
27天前
|
存储 人工智能 安全
操作系统的心脏——内核深度解析
【10月更文挑战第29天】 本文深入探讨了操作系统的核心组件——内核,包括其定义、功能、架构以及在现代计算中的重要性。通过对比不同操作系统内核的设计哲学和技术实现,揭示了内核如何影响系统性能、稳定性和安全性。此外,文章还讨论了未来内核技术的潜在发展方向,为读者提供了一个全面了解内核工作原理的平台。
|
25天前
|
存储 消息中间件 算法
深入探索操作系统的心脏——内核机制解析
本文旨在揭示操作系统核心——内核的工作原理,通过剖析其关键组件与机制,为读者提供一个清晰的内核结构图景。不同于常规摘要的概述性内容,本文摘要将直接聚焦于内核的核心概念、主要功能以及其在系统管理中扮演的角色,旨在激发读者对操作系统深层次运作原理的兴趣与理解。
|
1月前
|
算法 Linux 定位技术
Linux内核中的进程调度算法解析####
【10月更文挑战第29天】 本文深入剖析了Linux操作系统的心脏——内核中至关重要的组成部分之一,即进程调度机制。不同于传统的摘要概述,我们将通过一段引人入胜的故事线来揭开进程调度算法的神秘面纱,展现其背后的精妙设计与复杂逻辑,让读者仿佛跟随一位虚拟的“进程侦探”,一步步探索Linux如何高效、公平地管理众多进程,确保系统资源的最优分配与利用。 ####
69 4
|
1月前
|
缓存 负载均衡 算法
Linux内核中的进程调度算法解析####
本文深入探讨了Linux操作系统核心组件之一——进程调度器,着重分析了其采用的CFS(完全公平调度器)算法。不同于传统摘要对研究背景、方法、结果和结论的概述,本文摘要将直接揭示CFS算法的核心优势及其在现代多核处理器环境下如何实现高效、公平的资源分配,同时简要提及该算法如何优化系统响应时间和吞吐量,为读者快速构建对Linux进程调度机制的认知框架。 ####
|
2月前
|
安全 中间件 人机交互
探索操作系统:从内核到用户界面的全面解析
本文旨在深入探讨操作系统的本质、核心组件及其功能。通过分析操作系统的各个层次,包括内核、驱动程序、中间件及用户界面,揭示其背后的技术原理和设计思想。此外,本文还将讨论操作系统在现代计算中的重要性及其未来发展趋势。
|
3月前
|
存储 算法 安全
操作系统的心脏:内核深入解析
本文将带您走进计算机的大脑—操作系统内核,探索它如何管理硬件资源、提供系统服务,并确保多任务高效运行。文章以浅显易懂的语言,逐步揭示内核的神秘面纱,从基础概念到实际应用,让您对操作系统的核心组件有更深的理解。
119 5
|
3月前
|
存储 资源调度 监控
操作系统的心脏:内核深度解析
在数字世界的庞大机器中,操作系统扮演着至关重要的角色。而作为操作系统核心的内核,其重要性不言而喻。本文将深入浅出地探讨操作系统内核的基本概念、主要功能和工作原理,以及它如何影响计算机的整体性能和稳定性。我们将从内核的设计哲学出发,逐步深入到内核的各个组成部分,包括进程管理、内存管理、文件系统和设备驱动等关键模块。最后,文章还将讨论当前操作系统内核面临的挑战和未来的发展趋势。通过这篇文章,读者将获得对操作系统内核更深层次的理解,从而更好地把握计算机系统的运行机制。
86 1
|
3月前
|
存储 资源调度 算法
操作系统的心脏:内核深入解析
本文将带你走进操作系统的核心—内核,通过浅显易懂的语言解释什么是内核、它如何工作以及为什么它对整个系统至关重要。我们将从内核的定义和功能出发,逐步深入到它的结构和设计哲学,最后探讨内核在现代计算环境中面临的挑战和未来发展方向。无论你是计算机新手还是有一定基础的学习者,这篇文章都会为你揭开操作系统内核的神秘面纱。
72 3

热门文章

最新文章

推荐镜像

更多