ThreadX——IPC应用之信号量
一、应用简介
在RTOS的应用开发中,信号量
也是经常使用到的一种用于多任务之间信息同步、资源互斥访问的一种手段,常用于协调多个任务访问同一资源的场景。信号量又分为计数信号量
和互斥信号量
。计数信号量可以表示整体资源数量,当获取一个资源后计数信号量减一,释放一个资源后计数信号量加一,当信号量为0时即表明资源被全部分配导致无法再获取资源,任务可以挂起等待直到有资源可用。互斥信号量是可以理解为只能维护资源数量为1的二值计数信号量(值为0或1),但是互斥信号量又不同于计数信号量,因为它还具有优先级继承
的机制(优先级继承机制是RTOS中为了避免出现优先级翻转
问题而做的处理方式。简单来说就是如果低优先级持有互斥信号量那么高优先级任务想访问互斥量就会失败而挂起等待互斥量被释放,此时反而是低优先级任务在运行,这就出现了优先级翻转。为了避免该情况RTOS处理方式是把正在持有互斥量运行的低优先级任务的优先级提高到与等待访问互斥资源的高优先级任务同等优先级,这就是优先级继承。等互斥量被释放后RTOS会将该任务恢复到之前的低优先级)。
信号量应用有一个很贴切的举例就是停车场管理。可以把停车场的所有停车位看作计数信号量初始值,当有车辆进入停车场计数信号量值减一,当有车辆离开计数信号量值加一。当值为0时说明没有空车位了,外面车辆无法再停进来,需要等到有空车位出现(计数信号量非0)。停车场中的每一个停车位又可以用互斥信号量来表示,当有车辆占据某车位时表明该车辆持有该车位的互斥信号量,其他车辆无法再停在该车位(如果有人非要杠说万一车位大可以停2个小车那我莫法哈哈哈)。当该车位车辆离开后表明释放该车位的互斥信号量,此时其他车辆可以停入该车位。
二、API简介
下面列出ThreadX中使用信号量常用到的函数
1、创建计数信号量
描述
此服务为线程间同步创建一个计数信号量。初始信号量计数被指定为输入参数
参数
- semaphore_ptr 指向信号量控制块的指针
- name_ptr 指向信号量名称的指针
- initial_count 指定此信号量的初始计数。 合法值的范围是0x00000000至0xFFFFFFFF
返回值
- TX_SUCCESS (0x00) 成功创建信号量
- TX_SEMAPHORE_ERROR (0x0C) 无效的信号量指针。指针是 NULL 或者已经创建了信号量
- TX_CALLER_ERROR (0x13) 该服务的调用者无效
UINT tx_semaphore_create(
TX_SEMAPHORE *semaphore_ptr,
CHAR *name_ptr,
ULONG initial_count);
2、删除计数信号量
描述
此服务删除指定的计数信号量,恢复所有挂起的等待信号量的线程,并返回TX_DELETED状态。
在删除信号量之前,应用程序必须确保完成(或禁用)此信号量的 put_notify 回调。此外,应用程序必须防止再使用已删除的信号量。
参数
- semaphore_ptr 指向先前创建的信号量的指针
返回值
- TX_SUCCESS (0x00) 成功删除计数信号量
- TX_SEMAPHORE_ERROR (0x0C) 无效的计数信号量指针
- TX_CALLER_ERROR (0x13) 该服务的调用者无效
UINT tx_semaphore_delete(TX_SEMAPHORE *semaphore_ptr);
3、获取计数信号量
描述
此服务从指定的计数信号量获取一个信号量,指定的信号量计数减少一个。
参数
- semaphore_ptr 指向先前创建的计数信号量的指针
- wait_option :TX_NO_WAIT (0x00000000)不等待直接返回获取结果;TX_WAIT_FOREVER (0xFFFFFFFF)一直挂起等待直到获取到信号量;0x00000001 ~ 0xFFFFFFFE指定挂起等待多少个心跳节拍。
返回值
- TX_SUCCESS (0x00) 成功获取信号量
- TX_DELETED (0x01) 线程挂起时删除了计数信号量
- TX_NO_INSTANCE (0x0D) 服务无法检索计数信号量的实例(在指定的等待时间内信号量计数为零)
- TX_WAIT_ABORTED (0x1A) 被其他线程或计时器或中断打断而导致服务挂起
- TX_SEMAPHORE_ERROR (0x0C) 计数信号量指针无效
- TX_WAIT_ERROR (0x04) 在非线程调用中指定了TX_NO_WAIT以外的等待选项
UINT tx_semaphore_get(
TX_SEMAPHORE *semaphore_ptr,
ULONG wait_option);
4、获取计数信号量信息
描述
该服务检索有关指定信号量的信息
参数
参数为TX_NULL表示不获取该参数的信息
- semaphore_ptr 指向信号量控制块的指针
- name 指向信号量名称的指针的目标指针
- current_value 指向当前信号量计数的目标的指针
- first_suspended 指向这个信号量挂起列表中第一个线程的指针
- suspended_count 指向当前挂起在此信号量上的线程数的指针
- next_semaphore 指向下一个创建的信号量指针的目标指针
返回值
- TX_SUCCESS (0x00) 获取信息成功
- TX_SEMAPHORE_ERROR (0x0C) 无效的信号量指针
UINT tx_semaphore_info_get(
TX_SEMAPHORE *semaphore_ptr,
CHAR **name, ULONG *current_value,
TX_THREAD **first_suspended,
ULONG *suspended_count,
TX_SEMAPHORE **next_semaphore);
5、增加计数信号量
- 描述
- 该服务将指定的信号量计数加一。
- 如果在信号量为0xFFFFFFFF时调用此服务,则新的put操作将导致信号量重置为零。
- 参数
- semaphore_ptr 指向创建的计数信号量控制块的指针
- 返回值
- TX_SUCCESS (0x00) 成功放置信号量
- TX_SEMAPHORE_ERROR (0x0C) 指向信号量的指针无效
UINT tx_semaphore_put(TX_SEMAPHORE *semaphore_ptr);
6、增加指定上限的计数信号量
描述
该服务将指定的计数信号量增加一个。 如果计数信号量的当前值大于或等于指定的上限,则不会增加信号量,并且将返回TX_CEILING_EXCEEDED错误。
参数
- semaphore_ptr 指向先前创建的信号量的指针
- ceiling 信号量所允许的上限值(有效值范围是1到0xFFFFFFFF)
返回值
- TX_SUCCESS (0x00) 操作成功
- TX_CEILING_EXCEEDED (0x21) Put请求超过上限
- TX_INVALID_CEILING (0x22) 为上限提供了无效值零
- TX_SEMAPHORE_ERROR (0x0C) 无效的信号量指针
UINT tx_semaphore_ceiling_put(
TX_SEMAPHORE *semaphore_ptr,
ULONG ceiling);
7、创建互斥信号量
描述
此服务为线程间互斥创建互斥体以保护资源。
参数
- mutex_ptr 指向互斥量控制块的指针
- name_ptr 指向互斥量名称的指针
- priority_inherit 指定此互斥对象是否支持优先级继承。 如果此值为TX_INHERIT,则支持优先级继承。 如果指定TX_NO_INHERIT,则此互斥锁不支持优先级继承。
返回值
- TX_SUCCESS (0x00) 成功创建信号量
- TX_MUTEX_ERROR (0x1C)无效的互斥指针。 指针为NULL或互斥体已创建
- TX_CALLER_ERROR (0x13) 该服务的调用者无效
- TX_INHERIT_ERROR (0x1F) 无效的优先级继承参数
UINT tx_mutex_create(
TX_MUTEX *mutex_ptr,
CHAR *name_ptr,
UINT priority_inherit);
8、删除互斥信号量
描述
该服务将删除指定的互斥信号量。 恢复所有等待互斥的已暂停线程,并返回TX_DELETED返回状态。
应用程序应防止使用已删除的互斥信号量
参数
- mutex_ptr 指向先前创建的互斥体的指针
返回值
- TX_SUCCESS (0x00) 操作成功
- TX_MUTEX_ERROR (0x1C) 无效的互斥体指针
- TX_CALLER_ERROR (0x13) 该服务的调用者无效
UINT tx_mutex_delete(TX_MUTEX *mutex_ptr);
9、获取互斥信号量
- 描述
- 该服务尝试获取指定互斥锁的独占所有权。 如果调用线程已经拥有互斥锁,则内部计数器将递增,并返回成功状态
- 如果互斥锁由另一个线程拥有,并且该线程具有更高的优先级,并且在互斥锁创建时指定了优先级继承,则优先级较低的线程的优先级将暂时提高到调用线程的优先级。
- 拥有互斥量的低优先级线程的优先级在互斥体所有权期间绝对不能由外部线程修改
- 参数
- mutex_ptr 指向先前创建的互斥体的指针
- wait_option:TX_NO_WAIT (0x00000000)不等待直接返回获取结果;TX_WAIT_FOREVER (0xFFFFFFFF)一直挂起等待直到获取到信号量;0x00000001 ~ 0xFFFFFFFE指定挂起等待多少个心跳节拍。
- 返回值
- TX_SUCCESS (0x00) 操作成功
- TX_DELETED (0x01) 线程暂停时互斥体被删除
- TX_NOT_AVAILABLE (0x1D) 服务无法在指定的等待时间内获得互斥锁的所有权
- TX_WAIT_ABORTED (0x1A) 被其他线程或计时器或中断打断而导致服务挂起
- TX_MUTEX_ERROR (0x1C) 无效的互斥体指针
- TX_WAIT_ERROR (0x04) 在非线程调用中指定了TX_NO_WAIT以外的等待选项
- TX_CALLER_ERROR (0x13) 该服务的调用者无效
UINT tx_mutex_get(
TX_MUTEX *mutex_ptr,
ULONG wait_option);
10、释放互斥信号量
- 描述
- 此服务将释放互斥信号量
- 如果在创建互斥对象时选择了优先级继承,那么释放线程的优先级将恢复到它最初获得互斥对象所有权时的优先级。在拥有互斥对象期间对释放线程所做的任何其他优先级更改都可能被撤消。
- 参数
- mutex_ptr 指向先前创建的互斥体的指针
- 返回值
- TX_SUCCESS (0x00) 操作成功
- TX_NOT_OWNED (0x1E) 互斥对象不归调用者所有
- TX_MUTEX_ERROR (0x1C) 无效的互斥体指针
- TX_CALLER_ERROR (0x13) 该服务的调用者无效
UINT tx_mutex_put(TX_MUTEX *mutex_ptr);
三、实例演示
- 该实例用到的硬件资源:一个串口、两个按键、一个LED
- 创建一个计数信号量,指定数量上限为3,KEY1申请计数信号量,KEY2增加计数信号量
- 创建一个互斥信号量,用于KEY1、KEY2互斥,即两个按键不能同时按下
- 创建2个任务,一个用于KEY1任务,一个用于KEY2任务,
#define DEMO_STACK_SIZE (2 * 1024)
#define DEMO_BYTE_POOL_SIZE (32 * 1024)
TX_THREAD thread_0;
TX_THREAD thread_1;
TX_BYTE_POOL byte_pool_0;
UCHAR memory_area[DEMO_BYTE_POOL_SIZE];
TX_MUTEX tx_semaphore_mutex; // 互斥信号量
TX_SEMAPHORE tx_semaphore_count; // 计数信号量
void tx_application_define(void *first_unused_memory)
{
UINT status;
CHAR *pointer = TX_NULL;
/* 创建互斥信号量 */
status = tx_mutex_create(&tx_semaphore_mutex,"tx_semaphore_mutex",TX_NO_INHERIT);
if (TX_SUCCESS != status)
{
// 创建失败处理
}
/* 创建计数信号量 */
status = tx_semaphore_create(&tx_semaphore_count, "tx_semaphore_count", 3);
if (TX_SUCCESS != status)
{
// 创建失败处理
}
/* Create a byte memory pool from which to allocate the thread stacks. */
tx_byte_pool_create(&byte_pool_0, "byte pool 0", memory_area, DEMO_BYTE_POOL_SIZE);
/* Allocate the stack for thread 0. */
tx_byte_allocate(&byte_pool_0, (VOID **) &pointer, DEMO_STACK_SIZE, TX_NO_WAIT);
/* Create the main thread. */
tx_thread_create(&thread_0, "thread 0", thread_0_entry, 0,
pointer, DEMO_STACK_SIZE,
1, 1, TX_NO_TIME_SLICE, TX_AUTO_START);
/* Allocate the stack for thread 1. */
tx_byte_allocate(&byte_pool_0, (VOID **) &pointer, DEMO_STACK_SIZE, TX_NO_WAIT);
/* Create threads 1 */
tx_thread_create(&thread_1, "thread 1", thread_1_entry, 0,
pointer, DEMO_STACK_SIZE,
2, 2, TX_NO_TIME_SLICE, TX_AUTO_START);
}
void thread_0_entry(ULONG thread_input)
{
UINT status, key_flag = 0;
CHAR *name;
ULONG current_value;
TX_THREAD *first_suspended;
ULONG suspended_count;
TX_SEMAPHORE *next_semaphore;
while(1)
{
if (0 == key_flag)
{
if (GPIO_PIN_SET == HAL_GPIO_ReadPin(KEY1_GPIO_Port,KEY1_Pin))
{
key_flag = 1;
/*按键按下,获取互斥信号量*/
status = tx_mutex_get(&tx_semaphore_mutex, TX_NO_WAIT);
if (TX_SUCCESS == status)
{
/*获取计数信号量*/
if (TX_SUCCESS == tx_semaphore_get(&tx_semaphore_count, TX_NO_WAIT))
{
HAL_GPIO_TogglePin(LED1_GPIO_Port,LED1_Pin);
/*获取计数信号量信息*/
tx_semaphore_info_get(&tx_semaphore_count,
&name,
¤t_value,
&first_suspended,
&suspended_count,
&next_semaphore);
printf("key1 pressed, current count semaphore is %d\r\n",(int)current_value);
}
else
{
printf("key1 failed to get count semaphore\r\n");
}
}
else
{
printf("key1 failed to get mutex semaphore\r\n");
}
}
}
else
{
if (GPIO_PIN_RESET == HAL_GPIO_ReadPin(KEY1_GPIO_Port,KEY1_Pin))
{
key_flag = 0;
/*按键松开,释放互斥信号量*/
tx_mutex_put(&tx_semaphore_mutex);
}
}
tx_thread_sleep(20);
}
}
void thread_1_entry(ULONG thread_input)
{
UINT status, key_flag = 0;
ULONG current_value;
while(1)
{
if (0 == key_flag)
{
if (GPIO_PIN_SET == HAL_GPIO_ReadPin(KEY2_GPIO_Port,KEY2_Pin))
{
key_flag = 1;
/*按键按下,获取互斥信号量*/
status = tx_mutex_get(&tx_semaphore_mutex, TX_NO_WAIT);
if (TX_SUCCESS == status)
{
/*计数信号量加一,指定上限为3*/
//tx_semaphore_put(&tx_semaphore_count);
tx_semaphore_ceiling_put(&tx_semaphore_count,3);
/*获取计数信号量信息*/
tx_semaphore_info_get(&tx_semaphore_count,
TX_NULL,
¤t_value,
TX_NULL,
TX_NULL,
TX_NULL);
printf("key2 pressed, current count semaphore is %d\r\n",(int)current_value);
}
else
{
printf("key2 failed to get mutex semaphore\r\n");
}
}
}
else
{
if (GPIO_PIN_RESET == HAL_GPIO_ReadPin(KEY2_GPIO_Port,KEY2_Pin))
{
key_flag = 0;
/*按键松开,释放互斥信号量*/
tx_mutex_put(&tx_semaphore_mutex);
}
}
tx_thread_sleep(20);
}
}
串口打印演示结果如下
[20:51:33.330]收←◆key1 pressed, current count semaphore is 2
[20:51:34.034]收←◆key1 pressed, current count semaphore is 1
[20:51:34.556]收←◆key1 pressed, current count semaphore is 0
[20:51:34.939]收←◆key1 failed to get count semaphore
[20:51:35.522]收←◆key1 failed to get count semaphore
[20:51:37.004]收←◆key2 pressed, current count semaphore is 1
[20:51:37.488]收←◆key2 pressed, current count semaphore is 2
[20:51:37.851]收←◆key2 pressed, current count semaphore is 3
[20:51:38.234]收←◆key2 pressed, current count semaphore is 3
[20:51:38.556]收←◆key2 pressed, current count semaphore is 3
[20:51:44.925]收←◆key1 pressed, current count semaphore is 2
[20:51:46.579]收←◆key2 failed to get mutex semaphore
[20:51:52.102]收←◆key2 pressed, current count semaphore is 3
[20:51:52.987]收←◆key1 failed to get mutex semaphore
ThreadX——IPC应用之信号量的更多相关文章
- Linux进程间通信(IPC)之信号量
[Linux]进程间通信(IPC)之信号量详解与测试用例 2017年03月22日 17:28:50 阅读数:2255 学习环境centos6.5 Linux内核2.6 进程间通信概述 1. 进程通信机 ...
- Linux IPC System V 信号量
模型 #include <sys/types.h> #include <sys/ipc.h> #include <sys/sem.h> ftok() //获取key ...
- IPC 进程间通信方式——信号量
信号量 本质上是共享资源的数目,用来控制对共享资源的访问. 用于进程间的互斥和同步 每种共享资源对应一个信号量,为了便于大量共享资源的操作引入了信号量集,可对多对信号量一次性操作.对信号量集中所有的操 ...
- 五十一、进程间通信——System V IPC 之进程信号量
51.1 进程信号量 51.1.1 信号量 本质上就是共享资源的数目,用来控制对共享资源的访问 用于进程间的互斥和同步 每种共享资源对应一个信号量,为了便于大量共享资源的操作引入了信号量集,可对所有信 ...
- Linux下IPC中的信号量PV操作
代码如下所示,两边对照查看程序!(左图为先运行进程 右图为后运行进程) 运行的效果就是:当左边的进程检测到EOF,释放资源V操作之后,右边的进程会迅速的执行对应的printf的操作! 所有代码文 ...
- ThreadX——IPC应用之消息队列
作者:zzssdd2 E-mail:zzssdd2@foxmail.com 一.应用简介 消息队列是RTOS中常用的一种数据通信方式,常用于任务与任务之间或是中断与任务之间的数据传递.在裸机系统中我们 ...
- Unix IPC之Posix信号量实现生产者消费者
采用多生产者,多消费者模型. 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 /** * 生产者 */ P(nempty); P(mutex); // 写入一个 ...
- Linux IPC 之信号量
信号量(也叫信号灯)是一种用于提供不同进程间或一个给定进程的不同线程间同步手段的原语. 信号量是进程/线程同步的一种方式,有时候我们需要保护一段代码,使它每次只能被一个执行进程/线程运行,这种工作就需 ...
- UNIX:高级环境编程 - 第十五章 IPC:进程间通信
IPC(InterProcess Communication)进程间通信.为啥没有进程间通信,这是因为进程间都是同步的关系,不需要通信. 1.管道 1.1管道特点: (1)半双工的(即数据只能在一个方 ...
随机推荐
- CSS属性(背景属性)
1.背景属性 <!DOCTYPE html> <html lang="zh-CN"> <head> <meta charset=" ...
- 2、Spring Boot配置
1.配置文件 SpringBoot使用一个全局的配置文件,配置文件名是固定的: •application.properties •application.yml 配置文件的作用:修改SpringBoo ...
- [web安全原理]PHP反序列化漏洞
前言 这几天一直在关注新管状病毒,从微博到各大公众号朋友圈了解感觉挺严重的看微博感觉特别严重看官方说法感觉还行那就取中间的吧 自己要会对这个东西要有理性的判断.关注了好两天所以耽搁了学习emmm 希望 ...
- kali 系列学习09-Kali-linux设置ProxyChains
ProxyChains是Linux和其他Unices下的代理工具.它可以使任何程序通过代理上网,允许TCP和DNS通过代理隧道,支持HTTP.SOCKS4和SOCKS5类型的代理服务器,并且可配置多个 ...
- unctf2020 部分简单题题解
unctf2020 水一波简单题..菜狗前来报道..大佬轻喷..如果有时间做题就好了呜呜呜 misc 1.baba_is_you 题目告诉我们,了解png文件格式. 下载得到一张png格式的图片. 用 ...
- CA证书与https讲解
最近面试问到这个问题,之前了解过但答的不是很好,再补充补充一下https方面的知识. 备注:以下非原创文章. CA证书与https讲解 1.什么是CA证书. ◇ 普通的介绍信 想必大伙儿都听说过介绍信 ...
- guitar pro系列教程(十四):Guitar Pro教程之创建新乐谱后的设置
前面的章节我们有对Guitar Pro的单个功能作介绍,对于初学作曲,且又是吉他初学者的朋友们来说,学完这些功能介绍,自己还不能融会贯通起来,创建了一个新的乐谱后,但是看起来还不是很满意,今天我们就创 ...
- 一 HTML基础入门
HTML概念 HTML是标记语言,由W3C组织提供的一套标记标签组成.其使用标记标签来描述网页,一个网页除了由大量的标签组成,还有后续要学习的css样式和JavaScript脚本组合而成. 网页与网站 ...
- P1163 银行贷款
考虑从一个月转移到下一个月.假设前一个月的欠款是 \(s\),月利息为 \(d\),月末还款为 \(b\),那么下一个月的欠款就是 \(s\left(1+d\right)-b\). 很容易看出月利息越 ...
- XOR性质
异或XOR的性质: 1. 交换律 2. 结合律 3. x^x = 0 -> 偶数个异或为0 4. x^0 = x -> 奇数个异或为本身 5. 自反性:a^b^b = a^0 =a