嵌入式实时操作系统的设计与开发(信号量学习)
信号量
除了临界点机制、互斥量机制可实现临界资源的互斥访问外,信号量(Semaphore)是另一选择。
信号量与互斥量的区别
- 对于互斥量来说,主要应用于临界资源的互斥访问,并且能够有效地避免优先级反转问题。
- 对于信号量而言,它虽然也能用于临界资源的互斥访问,但是不能处理优先级反转问题。
也正因为信号量没有考虑优先级反转问题,所以相对于互斥量来说是一种轻量级的实现方式,比互斥量耗费更少的CPU资源。
此外,信号量除了用于互斥,还可以用于处理不同线程之间的同步问题,而互斥量却不行。
针对上述情况,有三种类型的信号量,按照功能来分,可以分为线程对临界资源互斥访问的互斥信号量、用于线程间同步的信号量、控制系统中临界资源的多个实例使用的计数信号量。
用于同步的信号量其初始值在创建信号量时设置为0,表示同步事件尚未发生。
临界资源互斥的信号量初始值为1,表明当前没有任务获取该信号量。
用于控制系统中临界资源的多个实例使用的计数信号量其初始值为n,表明需要管理的实例个数最大数为n,这样的信号量也称为计数信号量。
以下例子,通过一个计数信号量和互斥信号量实现对一个有界缓冲使用的控制,这就是“生产者与消费者”问题。
- 计数信号量FULL表示已经被填充了的数据项目。
- 计数信号量EMPTY表示空闲数据项数目。
以上的取值范围均为(0,n-1),其初始值分别为0,n-1。
由于有界缓冲区是共享资源,还需要一个互斥信号量MUTEX控制生产者线程与消费者线程对它的互斥访问,其初始值为1。
创建信号量
acoral_evt_t *acoral_sem_create(unsigned int semNum)
{acoral_evt_t *evt;evt = acoral_alloc_evt();if (NULL == evt){return NULL;}semNum = 1 - semNum;evt->count = semNum;evt->type = ACORAL_EVENT_SEM;evt->data = NULL;acoral_evt_init(evt);return evt;
}
初始化信号量。当静态定义信号量而不是采用指针形式定义时,内存空间已经在定义时分配,此时应当调用初始化函数acoral_sem_init()对定义过的信号量进行初始化。
aCoralSemRetValEnum acoral_sem_init(acoral_evt_t *evt,unsigned int semNum)
{if(NULL == evt){return SEM_ERR_NULL;}semNum = 1 - semNum;evt->count = semNum;evt->type = ACORAL_EVENT_SEM;evt->data = NULL;acoral_evt_init(evt);return SEM_SUCCED;
}
与互斥量初始化类似,就是为acoral_evt_t各个成员赋值。
这里需要提及的是count初始化,从传入的参数semNum可知,该变量用来表示当前信号量所控制的临界资源的实例的数量,但在具体实现时,并不是和大家想象的数字一样,如1代表有1个资源,2代表有2个资源…
在实现时,实例数量是用“1-semNum”来表示的,此时0代表有1个资源,-1代表有两个资源,1代表已经没有资源,且有1个线程在等待该资源实例。
申请信号量。申请信号量时需要传入两个参数:先前创建的信号量的地址,超时处理的时间。
acoralSemRetValEnum acoral_sem_pend(acoral_evt_t *evt, unsigned int timeout)
{acoral_thread_t *cur = acoral_cur_thread;if(acoral_intr_nesting){return SEM_ERR_INTR;}if(NULL == evt){return SEM_ERR_NULL;}if(ACORAL_EVENT_SEM != evt->type){return SEM_ERR_TYPE;}//计算信号量处理acoral_enter_critical();/*判断是否还有可用资源,从前面的介绍可知,这里的SEM_RES_AVAI其实就是0,如果count数目小于等于0,代表有资源实例。如果count大于0,代表在等待的有多少个线程。如果有可用的资源实例,让count的数目加一后退出,表示成功申请信号量。*/if((char)evt->count <= SEM_RES_AVAI){evt->count++;acoral_exit_critical();return SEM_SUCCED;}//如果无可用的资源实例,让count的数目加一后,再将自身挂起,重新调度线程evt->count++;acoral_unrdy_thread(cur);if(timeout > 0){cur->delay = TIME_TO_TICKS(timeout);timeout_queue_add(cur);}acoral_evt_queue_add(evt, cur);acoral_exit_critical();acoral_sched();acoral_enter_critical();//如果某个线程等待某个资源实例而又无法获取,它将被挂起,而若它希望被挂起的时间小于一个设定值timeout,还需将TCB的成员更新为timeout,并挂载到延迟队列中,如果延迟时间到,将进行相应处理if(timeout > 0 && cur->Delay <= 0){evt->count--;acoral_evt_queue_Del(cur);acoral_exit_critical();return SEM_ERR_TIMEOUT;}timeout_queue_del(cur);acoral_exit_critical();return SEM_SUCCED;
}
释放信号量
acoralSemRetValEnum acoral_sem_post(acoral_evt_t *evt)
{acoral_thread_t *thread;/* 参数检测*/if (NULL == evt){return SEM_ERR_NULL; /* error*/}if (ACORAL_EVENT_SEM != evt->type){return SEM_ERR_TYPE;}acoral_enter_critical();if((char)evt->count <= SEM_RES_NOVAI){evt->count--;acoral_exit_critical();return SEM_SUCCED;}evt->count--;thread = acoral_evt_high_thread(evt);if(thread == NULL){acoral_print("Err Sem post\n");acoral_Exit_critical();return SEM_ERR_UNDEF;}timeout_queue_del(thread);acoral_evt_queue_del(thread);acoral_rdy_thread(thread);acoral_exit_critical();acoral_sched();return SEM_SUCCED;
}
同步机制
信号量机制不仅可以实现临界资源互斥访问,控制系统中临界资源多个实例的使用,还可以用于维护线程之间、线程和中断之间的同步。
当信号量用来实现同步时,其初始值为0,如一个线程正等待某个I/O操作,当该I/O操作完成后,中断服务程序发出信号量,该线程得到信号量后才能继续往下执行。
某个线程将一直处于等待状态,除非获取了其它线程发给它的信号量。
用于互斥的信号量初始值在创建时设置为1,此时1-semNum=0,是小于等于0的,表明当前没有线程获取该信号量。
而用于同步的信号量初始值在信号量创建时设置为0,此时1-semNum=1,是大于1的,表明同步尚未发生。
同步信号量的实现和互斥信号量是一样的,只是创建时传入的参数决定了是用于同步还是用于互斥。
相关文章:
嵌入式实时操作系统的设计与开发(信号量学习)
信号量 除了临界点机制、互斥量机制可实现临界资源的互斥访问外,信号量(Semaphore)是另一选择。 信号量与互斥量的区别 对于互斥量来说,主要应用于临界资源的互斥访问,并且能够有效地避免优先级反转问题。对于信号量…...
python环境安装教程
Python是一种流行的高级编程语言,它简单易学、功能强大,适用于各种应用领域,从Web开发到数据科学和人工智能。在本教程中,我将向您介绍如何安装Python并设置您的开发环境。请注意,以下步骤适用于Windows操作系统。 步…...
【学习笔记】CF1784F Minimums or Medians
首先让 n n n乘上 2 2 2。 考虑枚举最终被删除的位置有哪些。 a i 0 a_i0 ai0表示这个位置被删除, a i 1 a_i1 ai1表示这个位置被保留,设满足 a i 0 a_i0 ai0的前缀长度为 l l l( l l l是偶数), p r e i pre…...
如何系列 如何玩转远程调用之OpenFegin+SpringBoot(非Cloud)
文章目录 简介原生Fegin示例基础契约日志重试编码器/解码器自定义解码器 请求拦截器响应拦截器表单文件上传支持错误解码器断路器指标metrics客户端 配合SpringBoot(阶段一)配合SpringBoot(阶段二)1.EnableLakerFeignClients2.Lak…...
Python学习第2天-安装pycharm
文章目录 前言一、下载二、安装1.选择安装目录2.安装配置 总结 前言 好用的工具可以极大地提高生产力,开发Python推荐使用jetbrains全家桶的pycharm。 一、下载 通过官网下载安装包。 二、安装 1.选择安装目录 2.安装配置 一路Next,安装完成 总结 …...
等电位连接器行业应用综合方案
等电位连接器的原理 等电位连接器的原理是利用气体放电管或压敏电阻等非线性元件,当连接器两端的电位差大于所限峰值电压时,连接器导通,迫使连接器两端不同接地体电位基本相等,消除接地体间放电现象,从而避免了由于地…...
内裤洗衣机有用吗?最好用的四款内衣洗衣机测评
相信很多小伙伴往往会因为懒而不想洗内衣,又或者洗内衣时经常会洗不干净!这时就很有必要入手一台内衣洗衣机了,当我们洗完澡时,顺手把内衣放入洗衣机内,一键启动即可把我们的内衣洗得干干净净!同时还可以为…...
足底筋膜炎能自愈吗
什么是足底筋膜炎 足底筋膜炎是足底的肌腱或者筋膜发生无菌性炎症所致。最常见症状是脚跟的疼痛与不适,压痛点常在足底近足跟处,有时压痛较剧烈,且持续存在。晨起时疼痛感觉明显,行走过度时疼痛感加剧,严重患者甚至站…...
牛客网刷题-(3)
🌈write in front🌈 🧸大家好,我是Aileen🧸.希望你看完之后,能对你有所帮助,不足请指正!共同学习交流. 🆔本文由Aileen_0v0🧸 原创 CSDN首发🐒 如…...
Centos7 安装 Etcd
Github上下载并解压安装包 wget https://github.com/coreos/etcd/releases/download/v3.4.10/etcd-v3.4.10-linux-amd64.tar.gz tar xzvf etcd-v3.4.10-linux-amd64.tar.gz mv etcd-v3.4.10-linux-amd64 /opt/etcd解压后是一些文档和两个二进制文件etcd和etcdctl。etcd是serve…...
powerjob基于springboot2.1.6.RELEASE版本的问题研究
项目背景:基于第三代框架的集成问题,如果对于powerjob不熟悉的朋友,可以参考官方文档PowerJob 简介 语雀 关于语雀 23 日故障的公告 (qq.com) 简单插一句,针对语雀文档故障的心得,数据恢复,完整性&#…...
【AI视野·今日CV 计算机视觉论文速览 第270期】Wed, 18 Oct 2023
AI视野今日CS.CV 计算机视觉论文速览 Wed, 18 Oct 2023 Totally 60 papers 👉上期速览✈更多精彩请移步主页 Daily Computer Vision Papers 4K4D: Real-Time 4D View Synthesis at 4K Resolution Authors Zhen Xu, Sida Peng, Haotong Lin, Guangzhao He, Jiaming …...
uni-app小程序,uview-ui组件样式无法穿透修改的解决办法
1.首先设置以下选项.该选项的作用是让微信小程序允许样式穿透. 在需要改动的文件内加上 options: { styleIsolation: shared } 2.然后再使用vue的样式穿透写法. ::v-deep .类样式{} 或者 /deep/ .类样式{}...
Codeforces Round 515
Portal. C. Books Queries Portal. sol. D. Boxes Packing Portal. 把从左至右删物品转化为从右至左加物品。模拟即可。 #include <bits/stdc.h> using namespace std;const int maxn2e55; int a[maxn];int main() {int n,m,k;cin>>n>>m>>k;for(…...
Linux shell编程学习笔记15:定义数组、获取数组元素值和长度
一、 Linux shell 脚本编程中的数组概述 数组是一种常见的数据结构。跟大多数编程语言一样,大多数Linux shell脚本支持数组,但对数组的支持程度各不相同,比如数组的维度,是支持一维数组还是多维数组?再如,…...
k8s部署kafka,并使用zookeeper做注册中心
kafka在3.x版本后增加KRaft作为自己的注册中心,可以不依赖外部的zk;这里上一篇已经部署好了zk,kafka依然使用zk作为注册中心。 这里使用kafka是为集成zipkin收发微服务接口链路日志数据,只需要部署1个实列即可够用。 编写脚本yam…...
关于Nginx缓存
Nginx缓存 一般情况下系统用到的缓存有三种 服务端缓存: 缓存存在后端服务器,如redis代理缓存: 缓存存储在代理服务器或中间件,内容从后端服务器获取,保存在本地客户端缓存: 缓存在浏览器什么时候会出现3…...
为什么Open3D可视化TensorFlow张量速度超慢
问题描述 在使用Open3D可视化TensorFlow张量表示的点云时速度超慢 原因分析 可能是因为Open3D没有针对tf.Tensor做优化,也可能是tf.Tensor本身没有对张量的操作做优化,所以可能如果要在CPU中计算,numpy可能性能更好。 解决方案 open3d.u…...
使用element-UI Cascader组件,实现第一级单选选,第二级,第三级,子级可以多选
最近开发过程中,遇到需求测一个需求,就是级联选择器,需要多选;但是第一级是单选; 既要单选又要复选。参照网上内容,自己整理了一下功能实现; 如下图: 思路:1.把第一层的…...
防止消息丢失与消息重复——Kafka可靠性分析及优化实践
系列文章目录 上手第一关,手把手教你安装kafka与可视化工具kafka-eagle Kafka是什么,以及如何使用SpringBoot对接Kafka 架构必备能力——kafka的选型对比及应用场景 Kafka存取原理与实现分析,打破面试难关 防止消息丢失与消息重复——Kafka可…...
观成科技:隐蔽隧道工具Ligolo-ng加密流量分析
1.工具介绍 Ligolo-ng是一款由go编写的高效隧道工具,该工具基于TUN接口实现其功能,利用反向TCP/TLS连接建立一条隐蔽的通信信道,支持使用Let’s Encrypt自动生成证书。Ligolo-ng的通信隐蔽性体现在其支持多种连接方式,适应复杂网…...
springboot 百货中心供应链管理系统小程序
一、前言 随着我国经济迅速发展,人们对手机的需求越来越大,各种手机软件也都在被广泛应用,但是对于手机进行数据信息管理,对于手机的各种软件也是备受用户的喜爱,百货中心供应链管理系统被用户普遍使用,为方…...
SciencePlots——绘制论文中的图片
文章目录 安装一、风格二、1 资源 安装 # 安装最新版 pip install githttps://github.com/garrettj403/SciencePlots.git# 安装稳定版 pip install SciencePlots一、风格 简单好用的深度学习论文绘图专用工具包–Science Plot 二、 1 资源 论文绘图神器来了:一行…...
线程同步:确保多线程程序的安全与高效!
全文目录: 开篇语前序前言第一部分:线程同步的概念与问题1.1 线程同步的概念1.2 线程同步的问题1.3 线程同步的解决方案 第二部分:synchronized关键字的使用2.1 使用 synchronized修饰方法2.2 使用 synchronized修饰代码块 第三部分ÿ…...
C++.OpenGL (10/64)基础光照(Basic Lighting)
基础光照(Basic Lighting) 冯氏光照模型(Phong Lighting Model) #mermaid-svg-GLdskXwWINxNGHso {font-family:"trebuchet ms",verdana,arial,sans-serif;font-size:16px;fill:#333;}#mermaid-svg-GLdskXwWINxNGHso .error-icon{fill:#552222;}#mermaid-svg-GLd…...
什么是Ansible Jinja2
理解 Ansible Jinja2 模板 Ansible 是一款功能强大的开源自动化工具,可让您无缝地管理和配置系统。Ansible 的一大亮点是它使用 Jinja2 模板,允许您根据变量数据动态生成文件、配置设置和脚本。本文将向您介绍 Ansible 中的 Jinja2 模板,并通…...
AI,如何重构理解、匹配与决策?
AI 时代,我们如何理解消费? 作者|王彬 封面|Unplash 人们通过信息理解世界。 曾几何时,PC 与移动互联网重塑了人们的购物路径:信息变得唾手可得,商品决策变得高度依赖内容。 但 AI 时代的来…...
Aspose.PDF 限制绕过方案:Java 字节码技术实战分享(仅供学习)
Aspose.PDF 限制绕过方案:Java 字节码技术实战分享(仅供学习) 一、Aspose.PDF 简介二、说明(⚠️仅供学习与研究使用)三、技术流程总览四、准备工作1. 下载 Jar 包2. Maven 项目依赖配置 五、字节码修改实现代码&#…...
Python基于历史模拟方法实现投资组合风险管理的VaR与ES模型项目实战
说明:这是一个机器学习实战项目(附带数据代码文档),如需数据代码文档可以直接到文章最后关注获取。 1.项目背景 在金融市场日益复杂和波动加剧的背景下,风险管理成为金融机构和个人投资者关注的核心议题之一。VaR&…...
Java求职者面试指南:计算机基础与源码原理深度解析
Java求职者面试指南:计算机基础与源码原理深度解析 第一轮提问:基础概念问题 1. 请解释什么是进程和线程的区别? 面试官:进程是程序的一次执行过程,是系统进行资源分配和调度的基本单位;而线程是进程中的…...
