一、互斥量的介绍
互斥量体现的是排他性,也是解决多线程同时操作临界区临界资源导致的竟态的一种方法。(类似于特殊的信号量,二值信号量)。区别:信号量可由不同线程释放,互斥量只能由同一线程进行释放,谁上锁谁来开。最常见的是优先级继承和预防优先级反转。举个例子,现在有三个优先级不同的线程,高线程(H)、中线程(M)、低线程(L),如果L线程现在正享有信号量且信号量的值为1,L线程执行过程中延时让出CPU资源,理应H线程抢占去执行,但是没有信号量资源可用了只能挂起等待有信号量能用再唤醒,这时候有可能M线程被唤醒就去抢占L了。H线程最高优先级不能得到及时响应,这是我们不允许的。加上互斥锁后,H在等待L释放互斥量时时,L的优先级会被提升到和H一样,这样M就无法去抢占L了,H也能在L释放互斥量第一时间没被唤醒,这就是优先级继承和防止优先级反转混乱。
二、互斥量的使用
互斥量的操作包含:创建 / 初始化互斥量、获取互斥量、释放互斥量、删除 / 脱离互斥量。
不再使用互斥量时,通过删除互斥量以释放系统资源,适用于动态创建的互斥量
当删除一个互斥量时,所有等待此互斥量的线程都将被唤醒,等待线程获得的返回值是
- RT_ERROR。
使用例子演示:
创建了3个线程,优先级thread1>thread2>thread3,thread1和thread2都延时了500ms为了让最低优先级去运行,这样就能模拟我们上面说的例子。thread3先延时500ms但是还没有释放互斥量,所以thread1无法去获取互斥量抢占运行,thread2加了获取互斥量也无法抢占,如果把互斥量获取条件判断去掉,那它就能抢占了。thread1一直挂起等待,等thread3释放信号量资源后thread1优先级高的原因会先抢占获取得到互斥量并执行,然后又释放才到thread2。所以线程打印顺序是thread3->thread1->thread2。如果thread2没加互斥锁,打印就是thread3->thread2->thread1,符合预期。
#include "board.h" //头文件合集
#include <stdio.h>
struct rt_thread thread1;
struct rt_thread thread2;
struct rt_thread thread3;
static rt_mutex_t mutex = RT_NULL;
rt_uint8_t thread1_stack[512]={0};
rt_uint8_t thread2_stack[512]={0};
rt_uint8_t thread3_stack[512]={0};
static void thread1_callback(void *parameter)
{
rt_err_t result = RT_EOK;
while(1)
{
rt_thread_delay(500);//延时500ms,让thread1可以去运行
result = rt_mutex_take(mutex,RT_WAITING_FOREVER);
if(result != RT_EOK)
{
return ;
}
rt_kprintf("thread1 mutex take successful!\r\n");//PA9,PA10串口输出打印演示
rt_mutex_release(mutex);//释放信号量
}
}
static void thread2_callback(void *parameter)
{
rt_err_t result = RT_EOK;
while(1)
{
rt_thread_delay(500);//延时500ms,让thread1可以去运行
result = rt_mutex_take(mutex,RT_WAITING_FOREVER);
if(result != RT_EOK)
{
return ;
}
rt_kprintf("thread2 running!\r\n");
rt_mutex_release(mutex);
}
}
static void thread3_callback(void *parameter)
{
rt_err_t result = RT_EOK;
while(1)
{
result = rt_mutex_take(mutex,RT_WAITING_FOREVER);
if(result != RT_EOK)
{
rt_kprintf("test\r\n");
return ;
}
rt_kprintf("rt_th3 mutex take successful!\r\n");
rt_thread_delay(500);//延时500ms,让thread1可以去运行
rt_mutex_release(mutex);
}
}
int main(void)
{
/*T_IPC_FLAG_FIFO:线程先进先出*/
mutex = rt_mutex_create("mutex_demo",RT_IPC_FLAG_PRIO);
rt_thread_init(&thread1,
"thread1",
thread1_callback,
NULL,
&thread1_stack[0],
sizeof(thread1_stack),
7,
5);
/*5是时间片,作用是当有相同优先级的线程时,最大执行时间是5 tick
如果线程毁掉函数执行时间少于5 tick,也会提前返回,切换带到下一个线程
如果5 tick还没执行完也会切换到下一个线程 */
rt_thread_init(&thread2,
"thread2",
thread2_callback,
RT_NULL,
&thread2_stack[0],
sizeof(thread2_stack),
8,
5);
rt_thread_init(&thread3,
"thread3",
thread3_callback,
RT_NULL,
&thread3_stack[0],
sizeof(thread3_stack),
9,
5);
//开启3个线程
rt_thread_startup(&thread1);
rt_thread_startup(&thread2);
rt_thread_startup(&thread3);
return 0;
}