7.1 嵌入式软件设计资源管理-引言

1、简介

实时和嵌入式系统的一个显著特点是对有限资源的管理。这些资源可能是CPU时间、内存、网络带宽等,它们的有限性要求系统设计者必须精心管理以确保系统的高效运行。

1.1 资源管理

资源管理是实时和嵌入式系统设计中的一个核心问题,涉及CPU时间、内存、网络带宽等有限资源的有效分配和使用。资源管理模式提供了一系列解决方案,帮助开发者在设计系统时考虑资源的有限性,并提供了一种方法来管理和共享这些资源。

例如,资源可能以原子方式提供服务,这意味着客户端在需要时会以某种方式“锁定”资源,防止其他客户端在原始客户端完成使用之前访问该资源。这实现了资源使用的序列化,这对于具有并发线程的系统的正确操作至关重要。

1.2 QoS(服务质量)

资源有限性是指在实时和嵌入式系统中,嵌入式系统所能提供的资源(如CPU时间、内存、网络带宽等)是有限的。这些资源的有效性可以通过一系列的服务质量(QoS)特性来表示。

QoS是指系统或网络能够提供的服务质量,包括容量、执行速度、可靠性等量化属性。在实时和嵌入式系统中,QoS的量化有限性必须得到管理,以确保系统能够满足实时性要求。

1.3 资源模式概览

本章介绍了以下几种资源模式:

  • 临界区模式(Critical Section Pattern):用于确保资源能够完成运行。
  • 优先级继承模式(Priority Inheritance Pattern):限制优先级反转。
  • 最高锁定者模式(Highest Locker Pattern):限制优先级反转。
  • 优先级上限模式(Priority Ceiling Pattern):限制优先级反转并防止死锁
  • 同时锁定模式(Simultaneous Locking Pattern)防止死锁
  • 有序锁定模式(Ordered Locking Pattern)防止死锁

1.4 本章重点内容

  • 资源的有限性:资源的有限性是实时和嵌入式系统设计的核心问题
  • 资源模式:介绍了六种资源模式,每种模式都解决了特定的资源共享和管理问题。
  • 资源共享的挑战:资源共享可能导致优先级反转和死锁,这些模式旨在解决这些挑战。

1.5 资源模式的应用

这些模式提供了一系列解决方案,帮助开发者在设计系统时考虑到资源的有限性,并提供了一种方法来管理和共享这些资源。例如,智能指针模式(Smart Pointer Pattern)提供了对某些类型资源(这些资源是动态分配的)的稳健访问。同步并发线程可以被视为资源管理(第5章中的会合模式Rendezvous Pattern)。


2、基础概念

2.1 RMA 简介

标准速率单调分析(Standard Rate Monotonic Analysis, RMA)是实时系统中用于任务调度的一种经典算法。以下是对RMA的详细解释:

2.1.1 RMA的基本原理

RMA是基于静态优先级的调度算法,它假设系统中的任务是周期性的,并且每个任务的截止时间等于它的周期。RM根据任务的请求率分配优先级,周期越短,优先级越高。

2.1.2 RMA的适用条件

为了使RMA有效,必须满足以下条件:

  • 任务是周期性的,且截止时间等于周期。
  • 任务是独立的,即任务之间没有相互依赖。
  • 系统支持无限抢占,即低优先级任务可以被高优先级任务立即抢占。

2.1.3 RMA的调度分析

\sum_{j=1}^{n}\frac{_{Cj}}{_{Tj}}\leq n(2^{1/n}-1)

RMA通过一个数学公式来分析系统是否能够满足所有任务的截止时间。该公式考虑了每个任务的最坏情况执行时间(Cj)和周期(Tj),以及任务的数量(n)。如果分析结果表明系统是可调度的,那么系统将始终能够满足其截止时间。

2.1.4 RMA的限制

RMA的一个限制是它不考虑任务之间的资源共享问题(不考虑阻塞)。当任务需要共享资源时,可能会出现优先级反转和死锁等问题。

考虑阻塞icon-default.png?t=N7T8https://blog.csdn.net/ChatCoding/article/details/134497861

2.1.5 RMA的应用

RMA广泛应用于实时操作系统(RTOS)中,它为设计者提供了一种工具,可以预先分析系统的调度能力。通过RMA,设计者可以在系统运行之前确定任务的优先级分配是否合理,从而确保系统的实时性。

2.2 阻塞

当一个任务因为低优先级任务占用了所需资源而无法运行时,该任务被称为阻塞。阻塞问题使得系统的及时性分析变得更加困难。

2.3 优先级反转

优先级反转是指低优先级任务占用资源导致高优先级任务无法运行的情况。这可能导致高优先级任务无法满足其截止时间。

2.4 无限优先级反转

无限优先级反转是指由于资源共享导致的优先级反转问题没有上限,可能导致高优先级任务被无限期地阻塞。

2.5 死锁

死锁是指多个任务因循环等待资源而无法继续执行的情况。死锁的发生需要以下四个条件同时满足

  1. 资源互斥(锁定):资源必须在互斥的方式下被多个线程使用。
  2. 持有和等待:线程至少持有一个资源,并且正在等待获取额外的资源,这些资源可能被其他线程持有。
  3. 资源不可抢占:资源只能由持有它们的线程自愿释放。
  4. 循环等待:存在一种线程等待循环,每个线程都在等待下一个线程所持有的资源。

以上是对资源管理、QoS、RMA、阻塞、优先级反转、无限优先级反转、死锁及其发生条件的详细解释。这些概念在实时和嵌入式系统的设计和分析中至关重要,了解和应用这些概念可以帮助设计出能够满足实时性要求的系统。

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

如若内容造成侵权/违法违规/事实不符,请联系我们进行投诉反馈qq邮箱809451989@qq.com,一经查实,立即删除!

相关文章

三、软件-系统架构设计师笔记-计算机系统基础知识

计算机系统概述 计算机系统是指用于数据管理的计算机硬件、软件及网络组成的系统。 它是按人的要求接收和存储信息,自动进行数据处理和计算,并输出结果信息的机器系统。 冯诺依曼体系计算机结构: 1、计算机硬件组成 冯诺依曼计算机结构将…

kafka三节点集群平滑升级过程指导

一、前言 Apache Kafka作为常用的开源分布式流媒体平台,可以实时发布、订阅、存储和处理数据流,多用于作为消息队列获取实时数据,构建对数据流的变化进行实时反应的应用程序,已被数千家公司用于高性能数据管道、流分析、数据集成和任务关键型…

Keepalived双机热备——Haproxy搭建web群集

一、认识keepalived keepalived是一个开源的软件,用于实现高可用性和负载均衡。它主要用于在多个服务器之间提供故障转移和负载均衡的功能。keepalived可以监控服务器的状态,并在主服务器发生故障时自动将备份服务器切换为主服务器,以确保服…

统计分析笔记3

文章目录 统计检验选择正确的统计检验统计检验是做什么的?何时进行统计检验选择参数化测试:回归、比较或相关性选择非参数检验 假设检验的假设条件skewness什么是零偏度right skewleft skew计算skewnesswhat to do if your data is skewed kurtosis怎么计…

Python进阶学习:Pandas--将一种的数据类型转换为另一种类型(astype())

Python进阶学习:Pandas–将一种的数据类型转换为另一种类型(astype()) 🌈 个人主页:高斯小哥 🔥 高质量专栏:Matplotlib之旅:零基础精通数据可视化、Python基础【高质量合集】、PyTorch零基础入门教程&…

【C++那些事儿】深入理解C++类与对象:从概念到实践(上)| 揭开this指针的神秘面纱

📷 江池俊: 个人主页 🔥个人专栏: ✅数据结构冒险记 ✅C那些事儿 🌅 有航道的人,再渺小也不会迷途。 文章目录 1. 面向过程和面向对象初步认识2.类的引入3.类的定义4.类的访问限定符及封装4.1 访问限定符…

TikTok云手机可以运营多少个账号

在社交媒体平台上,尤其是像TikTok这样的热门应用中,账号运营已经成为了许多人的日常工作。而利用云手机技术,一台手机能够同时运营多个TikTok账号,为用户带来了更大的便利和灵活性。本文将探讨 TikTok云手机能够运营多少个账号&am…

网站的安全防护需要注意哪些问题?有什么方法可以加固网站的防护

网站的安全防护,是一项复杂性、多方面的系统工程。现如今网络安全风险的增加,使得上至国家部门机关,小到个人博客,都有可能遭受网络安全问题。说到网络安全问题,比如:竞争最为激烈的游戏行业,从…

【GO开发工程师】grpc进阶#golang

【GO开发工程师】grpc进阶#golang 推荐个人主页:席万里的个人空间 文章目录 【GO开发工程师】grpc进阶#golang1、protobuf2、grpc2.1、gRPC 的 Metadata机制2.2、grpc拦截器 1、protobuf syntax "proto3"; // 指定使用的 protobuf 版本为 proto3 import…

配置前端项目到 github-pages

Quickstart for GitHub Pages - GitHub Docs

云计算新宠:探索Apache Doris的云原生策略

文章目录 Apache Doris 特性极简架构高效自运维高并发场景支持MPP 执行引擎明细与聚合模型的统一便捷数据接入 Apache Doris 极速 1.0 时代极速列式内存布局向量化的计算框架Cache 亲和度虚函数调用SIMD 指令集 稳定多源 关于 Apache Doris 开源社区基于云原生向量数据库Milvus…

大模型(LLM)的token学习记录-I

文章目录 基本概念什么是token?如何理解token的长度?使用openai tokenizer 观察token的相关信息open ai的模型 token的特点token如何映射到数值?token级操作:精确地操作文本token 设计的局限性 tokenizationtoken 数量对LLM 的影响训练模型参…

设计模式七:责任链模式

文章目录 1、责任链模式2、spring中的责任链模式Spring InterceptorServlet FilterNetty 1、责任链模式 责任链模式为请求创建了一个接收者对象的链,在这种模式下,通常每个节点都包含对另一个节点者的引用。每个节点针对请求,处理自己感兴趣…

基于springboot+vue的大学城水电管理系统(前后端分离)

博主主页:猫头鹰源码 博主简介:Java领域优质创作者、CSDN博客专家、阿里云专家博主、公司架构师、全网粉丝5万、专注Java技术领域和毕业设计项目实战,欢迎高校老师\讲师\同行交流合作 ​主要内容:毕业设计(Javaweb项目|小程序|Pyt…

特征融合篇 | YOLOv8 引入通用高效层聚合网络 GELAN | YOLOv9 新模块

今天的深度学习方法专注于如何设计最合适的目标函数,以使模型的预测结果最接近真实情况。同时,必须设计一个合适的架构,以便为预测提供足够的信息。现有方法忽视了一个事实,即当输入数据经过逐层特征提取和空间转换时,会丢失大量信息。本文将深入探讨数据通过深度网络传输…

UE 贴地绘制/日历/鼠标光标滚轮位置缩放图片/UMG滚动数据从前后添加新UI/多图片批量下载 收费项目源码资源

基本里面的内容本人CSDN发的都有现成代码.里面大部分是功能实现思路.这里面是把这几个功能合成了一个完整5.1项目源码.拿到即用.收费项目源码资源. 1.贴地绘制 2.日历 3.鼠标光标滚轮位置缩放图片 \ 4.UMG滚动数据从前后添加新UI思路 5.多图片批量下载 这是整合的懒人源码包收…

Rocky Linux 运维工具yum

一、yum的简介 ​​yum​是用于在基于RPM包管理系统的包管理工具。用户可以通过 ​yum​来搜索、安装、更新和删除软件包,自动处理依赖关系,方便快捷地管理系统上的软件。 二、yum的参数说明 1、install 用于在系统的上安装一个或多个软件包 2、seach 用…

【HarmonyOS】鸿蒙开发之Video组件——第3.7章

Video组件内VideoOptions属性简介 src:设置视频地址。currentProgressRate:设置视频播放倍速,参数说明如下: number|string:只支持 0.75 , 1.0 , 1.25 , 1.75 , 2.0 。P…

JavaEE进阶(7)Spring Boot 日志(概述、用途、使用:打印日志,框架介绍,SLF4J 框架介绍、更简单的日志输出)

接上次博客:JavaEE进阶(6)SpringBoot 配置文件(作用、格式、properties配置文件说明、yml配置文件说明、验证码案例)-CSDN博客 目录 日志概述 日志的用途 日志使用 打印日志 在程序中获取日志对象 使用日志对象…

androidble蓝牙开发,12道Android高级面试题

Java面试题 1.GC机制 垃圾回收需要完成两件事:找到垃圾,回收垃圾。 找到垃圾一般的话有两种方法: 引用计数法: 当一个对象被引用时,它的引用计数器会加一,垃圾回收时会清理掉引用计数为0的对象。但这种方…