深入探究RTOS的IPC机制----邮箱

2024-06-20 18:28

本文主要是介绍深入探究RTOS的IPC机制----邮箱,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

阅读引言: 因为将来工作需要, 最近在深入学习OS的内部机制,我把我觉得重要的、核心的东西分享出来, 希望对有需要的人有所帮助, 阅读此文需要读友有RTOS基础, 以及一些操作系统的基础知识, 学习过Linux的最佳, 特别是想RT-Thread适合Linux非常像的, 代码风格、IPC机制等等。

目录

一、RT-Thread中邮箱的特性

二、 邮箱的源码实现

1,邮箱控制块

2, 创建/初始化邮箱

3, 往邮箱中发送邮件

三、邮箱的简单使用


其实想深入的理解OS的内部工作机制, 无非就是涉及到一个问题, OS使用了那些数据结构组织和管理这些内核对象, 从而实现功能的。RTOS就两点链表和定时器

一、RT-Thread中邮箱的特性

消息队列的本质是链表:
 空闲消息块链表:往队列里写入消息时,先从空闲链表中得到消息块;从队列读出消息后,把消息块放入空闲链表
 消息块头部链表:消息写入消息块后,该消息块被放到尾部;从队列里读消息时,从头部读。


使用消息队列可以传递各类大小的消息,它使用memcpy的方式写入消息、读出消息。


如果我们只是传递很小的数据,比如一些数值,可以使用邮箱:它的效率更高。这一点就可以理解为邮箱和消息队列的区别
 

邮箱在内核中的实现使用的数据结构是一个循环缓冲区, 代码再后面展示

邮箱中的每一封邮件,只能容纳4字节内容(对于32位系统,指针大小刚好为4字节);发送邮件的源码如下, 邮箱中邮件的大小定死了。


 邮件的发送通常是非阻塞的,线程、中断都可以发送邮件;也可使用阻塞方式发送;
 邮件的接收通常是阻塞的,取决于邮箱中是否有邮件;
 当一个线程向邮箱发送邮件时, 如果邮箱没满,就把数值写入邮箱中
 如果邮箱满了, 发送线程可以直接返回-RT_EFULL, 也可以挂起一段时间,在挂起的期间,别的线程或中断服务程序读了邮箱,会唤醒挂起的线程。


 当一个线程从邮箱接收邮件时:如果邮箱不为空,就读取邮箱中的数值, 如果邮箱为空:接收线可以直接返回-RT_ETIMOUT, 也可以挂起一段时间,在挂起的期间,别的线程或中断服务程序写了邮箱,会唤醒挂起的线程。

二、 邮箱的源码实现

使用邮箱的流程:创建/初始化邮箱、发送邮件、接收邮件、删除/脱离邮箱。

1,邮箱控制块

2, 创建/初始化邮箱

#ifdef RT_USING_HEAP
/*** This function will create a mailbox object from system resource** @param name the name of mailbox* @param size the size of mailbox, 邮箱中邮件的数量, 每一封邮件4byte* @param flag the flag of mailbox, 邮箱采用的等待方式, 优先级, 等待的时间大小** @return the created mailbox, RT_NULL on error happen*/
rt_mailbox_t rt_mb_create(const char *name, rt_size_t size, rt_uint8_t flag)   //flag为邮箱等待方式
{rt_mailbox_t mb;                            //定义一个邮箱结构体指针RT_DEBUG_NOT_IN_INTERRUPT;/* allocate object, 为邮箱这样一个内核对象分配内存空间 */mb = (rt_mailbox_t)rt_object_allocate(RT_Object_Class_MailBox, name);if (mb == RT_NULL)return mb;/* set parent */mb->parent.parent.flag = flag;            //从内核对象的基类继承过来, 初始化成员/* initialize ipc object */rt_ipc_object_init(&(mb->parent));/* initialize mailbox */mb->size     = size;/* 申请邮件的空间, 根据邮件的数量 * 固定大小(4byte) */mb->msg_pool = (rt_ubase_t *)RT_KERNEL_MALLOC(mb->size * sizeof(rt_ubase_t));  //每一封邮件大小4byteif (mb->msg_pool == RT_NULL){/* delete mailbox object */rt_object_delete(&(mb->parent.parent));return RT_NULL;}mb->entry      = 0;mb->in_offset  = 0;mb->out_offset = 0;/* initialize an additional list of sender suspend thread */rt_list_init(&(mb->suspend_sender_thread));return mb;
}
RTM_EXPORT(rt_mb_create);

前面我们说邮箱的数据结构是一个循环缓存区, 是从源码的这个位置看出来的。

  

3, 往邮箱中发送邮件

/*** This function will send a mail to mailbox object. If the mailbox is full,* current thread will be suspended until timeout.** @param mb the mailbox object* @param value the mail* @param timeout the waiting time** @return the error code*/
rt_err_t rt_mb_send_wait(rt_mailbox_t mb,    		//往哪一个邮箱中发送邮件rt_ubase_t   value,        //邮件内容rt_int32_t   timeout)		//超时等待时间
{struct rt_thread *thread;   		//定义一个线程指针register rt_ubase_t temp;		    //unsigned long类型的变量rt_uint32_t tick_delta; 			//unsigned int类型的变量/* parameter check */RT_ASSERT(mb != RT_NULL);RT_ASSERT(rt_object_get_type(&mb->parent.parent) == RT_Object_Class_MailBox);/* initialize delta tick */tick_delta = 0;/* get current thread */thread = rt_thread_self();		//获取自己的线程控制块RT_OBJECT_HOOK_CALL(rt_object_put_hook, (&(mb->parent.parent)));/* disable interrupt */temp = rt_hw_interrupt_disable();/* for non-blocking call, 邮箱中没位置 */if (mb->entry == mb->size && timeout == 0){rt_hw_interrupt_enable(temp);return -RT_EFULL;}/* mailbox is full 当邮箱中没位置时, 设置了超时时间的情况 */while (mb->entry == mb->size){/* reset error number in thread */thread->error = RT_EOK;/* no waiting, return timeout */if (timeout == 0){/* enable interrupt */rt_hw_interrupt_enable(temp);return -RT_EFULL;}RT_DEBUG_IN_THREAD_CONTEXT;/* suspend current thread */rt_ipc_list_suspend(&(mb->suspend_sender_thread),thread,mb->parent.parent.flag);/* has waiting time, start thread timer */if (timeout > 0){/* get the start tick of timer */tick_delta = rt_tick_get();RT_DEBUG_LOG(RT_DEBUG_IPC, ("mb_send_wait: start timer of thread:%s\n",thread->name));/* reset the timeout of thread timer and start it */rt_timer_control(&(thread->thread_timer),RT_TIMER_CTRL_SET_TIME,&timeout);rt_timer_start(&(thread->thread_timer));}/* enable interrupt */rt_hw_interrupt_enable(temp);/* re-schedule */rt_schedule();/* resume from suspend state */if (thread->error != RT_EOK){/* return error */return thread->error;}/* disable interrupt */temp = rt_hw_interrupt_disable();/* if it's not waiting forever and then re-calculate timeout tick */if (timeout > 0){tick_delta = rt_tick_get() - tick_delta;timeout -= tick_delta;if (timeout < 0)timeout = 0;}}/* set ptr */mb->msg_pool[mb->in_offset] = value;/* increase input offset */++ mb->in_offset;if (mb->in_offset >= mb->size)mb->in_offset = 0;if(mb->entry < RT_MB_ENTRY_MAX){/* increase message entry */mb->entry ++;}else{rt_hw_interrupt_enable(temp); /* enable interrupt */return -RT_EFULL; /* value overflowed */}/* resume suspended thread */if (!rt_list_isempty(&mb->parent.suspend_thread)){rt_ipc_list_resume(&(mb->parent.suspend_thread));/* enable interrupt */rt_hw_interrupt_enable(temp);rt_schedule();return RT_EOK;}/* enable interrupt */rt_hw_interrupt_enable(temp);return RT_EOK;
}
RTM_EXPORT(rt_mb_send_wait);

三、邮箱的简单使用

这篇关于深入探究RTOS的IPC机制----邮箱的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/1078906

相关文章

深入理解C++ 空类大小

《深入理解C++空类大小》本文主要介绍了C++空类大小,规定空类大小为1字节,主要是为了保证对象的唯一性和可区分性,满足数组元素地址连续的要求,下面就来了解一下... 目录1. 保证对象的唯一性和可区分性2. 满足数组元素地址连续的要求3. 与C++的对象模型和内存管理机制相适配查看类对象内存在C++中,规

Spring使用@Retryable实现自动重试机制

《Spring使用@Retryable实现自动重试机制》在微服务架构中,服务之间的调用可能会因为一些暂时性的错误而失败,例如网络波动、数据库连接超时或第三方服务不可用等,在本文中,我们将介绍如何在Sp... 目录引言1. 什么是 @Retryable?2. 如何在 Spring 中使用 @Retryable

JVM 的类初始化机制

前言 当你在 Java 程序中new对象时,有没有考虑过 JVM 是如何把静态的字节码(byte code)转化为运行时对象的呢,这个问题看似简单,但清楚的同学相信也不会太多,这篇文章首先介绍 JVM 类初始化的机制,然后给出几个易出错的实例来分析,帮助大家更好理解这个知识点。 JVM 将字节码转化为运行时对象分为三个阶段,分别是:loading 、Linking、initialization

【前端学习】AntV G6-08 深入图形与图形分组、自定义节点、节点动画(下)

【课程链接】 AntV G6:深入图形与图形分组、自定义节点、节点动画(下)_哔哩哔哩_bilibili 本章十吾老师讲解了一个复杂的自定义节点中,应该怎样去计算和绘制图形,如何给一个图形制作不间断的动画,以及在鼠标事件之后产生动画。(有点难,需要好好理解) <!DOCTYPE html><html><head><meta charset="UTF-8"><title>06

深入探索协同过滤:从原理到推荐模块案例

文章目录 前言一、协同过滤1. 基于用户的协同过滤(UserCF)2. 基于物品的协同过滤(ItemCF)3. 相似度计算方法 二、相似度计算方法1. 欧氏距离2. 皮尔逊相关系数3. 杰卡德相似系数4. 余弦相似度 三、推荐模块案例1.基于文章的协同过滤推荐功能2.基于用户的协同过滤推荐功能 前言     在信息过载的时代,推荐系统成为连接用户与内容的桥梁。本文聚焦于

Android平台播放RTSP流的几种方案探究(VLC VS ExoPlayer VS SmartPlayer)

技术背景 好多开发者需要遴选Android平台RTSP直播播放器的时候,不知道如何选的好,本文针对常用的方案,做个大概的说明: 1. 使用VLC for Android VLC Media Player(VLC多媒体播放器),最初命名为VideoLAN客户端,是VideoLAN品牌产品,是VideoLAN计划的多媒体播放器。它支持众多音频与视频解码器及文件格式,并支持DVD影音光盘,VCD影

Java ArrayList扩容机制 (源码解读)

结论:初始长度为10,若所需长度小于1.5倍原长度,则按照1.5倍扩容。若不够用则按照所需长度扩容。 一. 明确类内部重要变量含义         1:数组默认长度         2:这是一个共享的空数组实例,用于明确创建长度为0时的ArrayList ,比如通过 new ArrayList<>(0),ArrayList 内部的数组 elementData 会指向这个 EMPTY_EL

【C++高阶】C++类型转换全攻略:深入理解并高效应用

📝个人主页🌹:Eternity._ ⏩收录专栏⏪:C++ “ 登神长阶 ” 🤡往期回顾🤡:C++ 智能指针 🌹🌹期待您的关注 🌹🌹 ❀C++的类型转换 📒1. C语言中的类型转换📚2. C++强制类型转换⛰️static_cast🌞reinterpret_cast⭐const_cast🍁dynamic_cast 📜3. C++强制类型转换的原因📝

Codeforces Round #240 (Div. 2) E分治算法探究1

Codeforces Round #240 (Div. 2) E  http://codeforces.com/contest/415/problem/E 2^n个数,每次操作将其分成2^q份,对于每一份内部的数进行翻转(逆序),每次操作完后输出操作后新序列的逆序对数。 图一:  划分子问题。 图二: 分而治之,=>  合并 。 图三: 回溯:

深入手撕链表

链表 分类概念单链表增尾插头插插入 删尾删头删删除 查完整实现带头不带头 双向链表初始化增尾插头插插入 删查完整代码 数组 分类 #mermaid-svg-qKD178fTiiaYeKjl {font-family:"trebuchet ms",verdana,arial,sans-serif;font-size:16px;fill:#333;}#mermaid-svg-