【一起来玩RTOS系列】之RT-Thread 互斥锁解决优先级反转
本帖最后由 bigfanofloT 于 2017-12-9 21:45 编辑互斥量
互斥量又叫相互排斥的信号量，是一种特殊的二值性信号量。它和信号量不同的是，它支持互斥量所有权、递归访问以及防止优先级翻转的特性。互斥量工作如图所示
互斥量的状态只有两种，开锁或闭锁（两种状态值）。当有线程持有它时，互斥量处于闭锁状态，由这个线程获得它的所有权。相反，当这个线程释放它时，将对互斥量进行开锁，失去它的所有权。当一个线程持有互斥量时，其他线程将不能够对它进行开锁或持有它，持有该互斥量的线程也能够再次获得这个锁而不被挂起。
在RT-Thread操作系统中实现的是优先级继承算法。优先级继承是通过在线程A被阻塞的期间内，将线程C的优先级提升到线程A的优先级别，从而解决优先级翻转引起的问题。这样能够防止C（间接地防止A）被B抢占。优先级继承协议是指，提高某个占有某种资源的低优先级线程的优先级，使之与所有等待该资源的线程中优先级最高的那个线程的优先级相等，然后执行，而当这个低优先级线程释放该资源时，优先级重新回到初始设定。因此，继承优先级的线程避免了系统资源被任何中间优先级的线程抢占。
警告： 在获得互斥量后，请尽快释放互斥量，并且在持有互斥量的过程中，不得再行更改持有互斥量线程的优先级。
互斥量控制块
互斥量控制块的数据结构
struct rt_mutex
{
struct rt_ipc_object parent; /* 继承自ipc_object类 */
rt_uint16_t value; /* 互斥量的值 */
rt_uint8_t original_priority; /* 持有线程的原始优先级 */
rt_uint8_t hold; /* 持有线程的持有次数 */
struct rt_thread *owner; /* 当前拥有互斥量的线程 */
};
/* rt_mutext_t为指向互斥量结构体的指针 */
typedef struct rt_mutex* rt_mutex_t;
rt_mutex对象从rt_ipc_object中派生，由IPC容器管理。
互斥量相关接口
创建互斥量
创建一个互斥量时，内核首先创建一个互斥量控制块，然后完成对该控制块的初始化工作。创建互斥量使用下面的函数接口：
rt_mutex_t rt_mutex_create (const char* name, rt_uint8_t flag);
可以调用rt_mutex_create函数创建一个互斥量，它的名字有name所指定。创建的互斥量由于指定的flag不同，而有不同的意义： 使用PRIO优先级flag创建的IPC对象，在多个线程等待资源时，将由优先级高的线程优先获得资源。而使用FIFO先进先出flag创建的IPC对象，在多个线程等待资源时，将按照先来先得的顺序获得资源。
函数参数
参数描述
name互斥量的名称；
flag互斥量标志，可以取如下类型的数值：
#define RT_IPC_FLAG_FIFO 0x00 /* IPC参数采用FIFO先进先出方式*/
#define RT_IPC_FLAG_PRIO 0x01 /* IPC参数采用优先级方式*/
函数返回
创建成功返回指向互斥量的互斥量句柄；否则返回RT_NULL。
删除互斥量
系统不再使用互斥量时，通过删除互斥量以释放系统资源。删除互斥量使用下面的函数接口：
rt_err_t rt_mutex_delete (rt_mutex_t mutex);
当删除一个互斥量时，所有等待此互斥量的线程都将被唤醒，等待线程获得的返回值是-RT_ERROR。然后系统将该互斥量从内核对象管理器链表中删除并释放互斥量占用的内存空间。
函数参数
参数描述
mutex互斥量对象的句柄；
函数返回
RT_EOK
初始化互斥量
静态互斥量对象的内存是在系统编译时由编译器分配的，一般放于数据段或ZI段中。在使用这类静态互斥量对象前，需要先进行初始化。初始化互斥量使用下面的函数接口：
rt_err_t rt_mutex_init (rt_mutex_t mutex, const char* name, rt_uint8_t flag);
使用该函数接口时，需指定互斥量对象的句柄（即指向互斥量控制块的指针），互斥量名称以及互斥量标志。互斥量标志可用上面创建互斥量函数里提到的标志。
函数参数
参数描述
mutex互斥量对象的句柄，它由用户提供，并指向互斥量对象的内存块；
name互斥量名称；
flag互斥量标志，可以取如下类型的数值：
#define RT_IPC_FLAG_FIFO 0x00 /* IPC参数采用FIFO先进先出方式*/
#define RT_IPC_FLAG_PRIO 0x01 /* IPC参数采用优先级方式*/
函数返回
RT_EOK
脱离互斥量
脱离互斥量将把互斥量对象从内核对象管理器中删除。脱离互斥量使用下面的函数接口：
rt_err_t rt_mutex_detach (rt_mutex_t mutex);
使用该函数接口后，内核先唤醒所有挂在该互斥量上的线程（线程的返回值是-RT_ERROR），然后系统将该互斥量从内核对象管理器链表中删除。
函数参数
参数描述
mutex互斥量对象的句柄；
函数返回
RT_EOK
获取互斥量
线程通过互斥量申请服务获取互斥量的所有权。线程对互斥量的所有权是独占的，某一个时刻一个互斥量只能被一个线程持有。获取互斥量使用下面的函数接口：
rt_err_t rt_mutex_take (rt_mutex_t mutex, rt_int32_t time);
如果互斥量没有被其他线程控制，那么申请该互斥量的线程将成功获得该互斥量。如果互斥量已经被当前线程线程控制，则该互斥量的持有计数加1，当前线程也不会挂起等待。如果互斥量已经被其他线程占有，则当前线程在该互斥量上挂起等待，直到其他线程释放它或者等待时间超过指定的超时时间。
函数参数
参数描述
mutex互斥量对象的句柄；
time指定等待的时间。
函数返回
成功获得互斥量返回RT_EOK；超时返回-RT_ETIMEOUT；其他返回-RT_ERROR。
释放互斥量
当线程完成互斥资源的访问后，应尽快释放它占据的互斥量，使得其他线程能及时获取该互斥量。释放互斥量使用下面的函数接口：
rt_err_t rt_mutex_release(rt_mutex_t mutex);
使用该函数接口时，只有已经拥有互斥量控制权的线程才能释放它，每释放一次该互斥量，它的持有计数就减1。当该互斥量的持有计数为零时（即持有线程已经释放所有的持有操作），它变为可用，等待在该信号量上的线程将被唤醒。如果线程的运行优先级被互斥量提升，那么当互斥量被释放后，线程恢复为持有互斥量前的优先级。
函数参数
参数描述
mutex互斥量对象的句柄；
函数返回
RT_EOK
使用场合
互斥量的使用比较单一，因为它是信号量的一种，并且它是以锁的形式存在。在初始化的时候，互斥量永远都处于开锁的状态，而被线程持有的时候则立刻转为闭锁的状态。互斥量更适合于：
线程多次持有互斥量的情况下。这样可以避免同一线程多次递归持有而造成死锁的问题；
可能会由于多线程同步而造成优先级翻转的情况；
另外需要切记的是互斥量不能在中断服务例程中使用。
下面在机智云Gokit智能硬件开发板上演示如何使用互斥锁解决上节提到的优先级反转问题。
注意：使用互斥锁需要在配置文件打开宏
/**
***********************************
* File Name : main.c
* Description : Main program body
***********************************
** This notice applies to any and all portions of this file
* that are not between comment pairs USER CODE BEGIN and
* USER CODE END. Other portions of this file, whether
* inserted by the user or by software development tools
* are owned by their respective copyright owners.
*
* COPYRIGHT(c) 2017 STMicroelectronics
*
* Redistribution and use in source and binary forms, with or without modification,
* are permitted provided that the following conditions are met:
* 1. Redistributions of source code must retain the above copyright notice,
* this list of conditions and the following disclaimer.
* 2. Redistributions in binary form must reproduce the above copyright notice,
* this list of conditions and the following disclaimer in the documentation
* and/or other materials provided with the distribution.
* 3. Neither the name of STMicroelectronics nor the names of its contributors
* may be used to endorse or promote products derived from this software
* without specific prior written permission.
*
* THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
* AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
* IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
* DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE
* FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
* DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
* SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
* CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
* OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
* OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*
***********************************
*/
/* Includes ------------------------------------------------------------------*/
#include "main.h"
#include "stm32f1xx_hal.h"
#include "usart.h"
#include "gpio.h"
/* USER CODE BEGIN Includes */
#include "rtthread.h"
#include "string.h"
/* USER CODE END Includes */
/* Private variables ---------------------------------------------------------*/
/* USER CODE BEGIN PV */
/* Private variables ---------------------------------------------------------*/
/* USER CODE END PV */
/* Private function prototypes -----------------------------------------------*/
void SystemClock_Config(void);
/* USER CODE BEGIN PFP */
/* Private function prototypes -----------------------------------------------*/
/* USER CODE END PFP */
/* USER CODE BEGIN 0 */
//重映射串口1到rt_kprintf
void rt_hw_console_output(const char *str)
{
/* empty console output */
char aa='\r';
rt_enter_critical();
while(*str!='\0')
{
if(*str=='\n')
{
HAL_UART_Transmit(&huart1, (uint8_t *)&aa, 1, 10);
}
HAL_UART_Transmit(&huart1, (uint8_t *)(str++), 1, 10);
}
rt_exit_critical();
}
void rt_hw_us_delay(int us)
{
rt_uint32_t delta;
/* 获得延时经过的tick数 */
us = us * (SysTick->LOAD/(1000000/RT_TICK_PER_SECOND));
/* 获得当前时间 */
delta = SysTick->VAL;
/* 循环获得当前时间，直到达到指定的时间后退出循环 */
while (delta - SysTick->VAL< us);
}
void rt_hw_ms_delay(int ms)
{
int i=0,j=0;
for(j=0;j<ms;j++)
{
for (i=0;i<2;i++)
rt_hw_us_delay(500);
}
}
uint32_t rt_hw_delay_Init(void)
{
#if !defined(STM32F0xx)
uint32_t c;
/* Enable TRC */
CoreDebug->DEMCR &= ~0x01000000;
CoreDebug->DEMCR |=0x01000000;
/* Enable counter */
DWT->CTRL &= ~0x00000001;
DWT->CTRL |=0x00000001;
/* Reset counter */
DWT->CYCCNT = 0;
/* Check if DWT has started */
c = DWT->CYCCNT;
/* 2 dummys */
__ASM volatile ("NOP");
__ASM volatile ("NOP");
/* Return difference, if result is zero, DWT has not started */
return (DWT->CYCCNT - c);
#else
/* Return OK */
return 1;
#endif
}
void rt_hw_delay_us(__IO uint32_t micros)
{
#if !defined(STM32F0xx)
uint32_t start = DWT->CYCCNT;
/* Go to number of cycles for system */
micros *= (HAL_RCC_GetHCLKFreq() / 1000000);
/* Delay till end */
while ((DWT->CYCCNT - start) < micros);
#else
/* Go to clock cycles */
micros *= (SystemCoreClock / 1000000) / 5;
/* Wait till done */
while (micros--);
#endif
}
void rt_hw_delay_ms(__IO uint32_t mills)
{
rt_hw_delay_us(1000*mills);
}
/*
* 程序清单：若使用二值信号量：有优先级为A、B和C的三个线程，优先级A> B > C。
线程A，B处于挂起状态，等待某一事件触发，线程C正在运行，此时线程C开始使用某一共享资源M。
在使用过程中，线程A等待的事件到来，线程A转为就绪态，因为它比线程C优先级高，所以立即执行。
但是当线程A要使用共享资源M时，由于其正在被线程C使用，因此线程A被挂起切换到线程C运行。
如果此时线程B等待的事件到来，则线程B转为就绪态。
由于线程B的优先级比线程C高，因此线程B开始运行，直到其运行完毕，线程C才开始运行。
只有当线程C释放共享资源M后，线程A才得以执行。
在这种情况下，优先级发生了翻转，线程B先于线程A运行。
我们将信号量改为互斥锁完美的解决了优先级反转问题。
*
*/
/* 指向线程控制块的指针 */
static rt_thread_t tid1 = RT_NULL;
static rt_thread_t tid2 = RT_NULL;
static rt_thread_t tid3 = RT_NULL;
struct rt_mutex mutex;
/* 线程1入口 */
void thread1_entry(void* parameter)
{
while(1)
{
rt_thread_delay(100);
rt_mutex_take(&mutex, RT_WAITING_FOREVER);
rt_kprintf("thread1 is running.\n");
rt_mutex_release(&mutex);
}
}
/* 线程2入口 */
void thread2_entry(void* parameter)
{
while(1)
{
rt_thread_delay(300);
rt_kprintf("thread2 is running.\n");
}
}
/* 线程3入口 */
void thread3_entry(void* parameter)
{
while(1)
{
rt_mutex_take(&mutex, RT_WAITING_FOREVER);
rt_kprintf("thread3 is running.\n");
rt_hw_delay_ms(500);
rt_mutex_release(&mutex);
}
}
/* USER CODE END 0 */
int main(void)
{
/* USER CODE BEGIN 1 */
/* USER CODE END 1 */
/* MCU Configuration----------------------------------------------------------*/
///* Reset of all peripherals, Initializes the Flash interface and the Systick. */
//HAL_Init();
///* USER CODE BEGIN Init */
///* USER CODE END Init */
///* Configure the system clock */
//SystemClock_Config();
///* USER CODE BEGIN SysInit */
///* USER CODE END SysInit */
///* Initialize all configured peripherals */
//MX_GPIO_Init();
//MX_USART1_UART_Init();
/* USER CODE BEGIN 2 */
rt_mutex_init(&mutex, "mutex",RT_IPC_FLAG_FIFO);//初始化信号量,初值为0
/* 创建线程1 */
tid1 = rt_thread_create("thread1",
thread1_entry, /* 线程入口是thread_entry */
RT_NULL, /* 入口参数是RT_NULL */
512, //堆栈大小
2, //优先级
20);//时间片
if (tid1 != RT_NULL)
rt_thread_startup(tid1);
/* 创建线程2 */
tid2 = rt_thread_create("thread2",
thread2_entry, /* 线程入口是thread_entry */
RT_NULL, /* 入口参数是RT_NULL */
512, //堆栈大小
4, //优先级
20);//时间片
if (tid2 != RT_NULL)
rt_thread_startup(tid2);
/* 创建线程3 */
tid3 = rt_thread_create("thread3",
thread3_entry, /* 线程入口是thread_entry */
RT_NULL, /* 入口参数是RT_NULL */
512, //堆栈大小
6, //优先级
20);//时间片
if (tid3 != RT_NULL)
rt_thread_startup(tid3);
rt_hw_delay_Init();
printf("\r\n机智云只为智能硬件而生\r\n");
printf("Gizwits Smart Cloud for Smart Products\r\n");
printf("链接|增值|开放|中立|安全|自有|自由|生态\r\n");
printf("www.gizwits.com\r\n");
printf("\r\nGokit RT-Thread Demo\r\n\r\n");
return 0;
/* USER CODE END 2 */
/* Infinite loop */
/* USER CODE BEGIN WHILE */
//while (1)
//{
/* USER CODE END WHILE */
/* USER CODE BEGIN 3 */
//
//}
/* USER CODE END 3 */
}
/** System Clock Configuration
*/
void SystemClock_Config(void)
{
RCC_OscInitTypeDef RCC_OscInitStruct;
RCC_ClkInitTypeDef RCC_ClkInitStruct;
/**Initializes the CPU, AHB and APB busses clocks
*/
RCC_OscInitStruct.OscillatorType = RCC_OSCILLATORTYPE_HSE;
RCC_OscInitStruct.HSEState = RCC_HSE_ON;
RCC_OscInitStruct.HSEPredivValue = RCC_HSE_PREDIV_DIV1;
RCC_OscInitStruct.HSIState = RCC_HSI_ON;
RCC_OscInitStruct.PLL.PLLState = RCC_PLL_ON;
RCC_OscInitStruct.PLL.PLLSource = RCC_PLLSOURCE_HSE;
RCC_OscInitStruct.PLL.PLLMUL = RCC_PLL_MUL9;
if (HAL_RCC_OscConfig(&RCC_OscInitStruct) != HAL_OK)
{
_Error_Handler(__FILE__, __LINE__);
}
/**Initializes the CPU, AHB and APB busses clocks
*/
RCC_ClkInitStruct.ClockType = RCC_CLOCKTYPE_HCLK|RCC_CLOCKTYPE_SYSCLK
|RCC_CLOCKTYPE_PCLK1|RCC_CLOCKTYPE_PCLK2;
RCC_ClkInitStruct.SYSCLKSource = RCC_SYSCLKSOURCE_PLLCLK;
RCC_ClkInitStruct.AHBCLKDivider = RCC_SYSCLK_DIV1;
RCC_ClkInitStruct.APB1CLKDivider = RCC_HCLK_DIV2;
RCC_ClkInitStruct.APB2CLKDivider = RCC_HCLK_DIV1;
if (HAL_RCC_ClockConfig(&RCC_ClkInitStruct, FLASH_LATENCY_2) != HAL_OK)
{
_Error_Handler(__FILE__, __LINE__);
}
/**Configure the Systick interrupt time
*/
HAL_SYSTICK_Config(HAL_RCC_GetHCLKFreq()/1000);
/**Configure the Systick
*/
HAL_SYSTICK_CLKSourceConfig(SYSTICK_CLKSOURCE_HCLK);
/* SysTick_IRQn interrupt configuration */
HAL_NVIC_SetPriority(SysTick_IRQn, 0, 0);
}
/* USER CODE BEGIN 4 */
/* USER CODE END 4 */
/**
* @briefThis function is executed in case of error occurrence.
* @paramNone
* @retval None
*/
void _Error_Handler(char * file, int line)
{
/* USER CODE BEGIN Error_Handler_Debug */
/* User can add his own implementation to report the HAL error return state */
while(1)
{
}
/* USER CODE END Error_Handler_Debug */
}
#ifdef USE_FULL_ASSERT
/**
* @brief Reports the name of the source file and the source line number
* where the assert_param error has occurred.
* @param file: pointer to the source file name
* @param line: assert_param error line source number
* @retval None
*/
void assert_failed(uint8_t* file, uint32_t line)
{
/* USER CODE BEGIN 6 */
/* User can add his own implementation to report the file name and line number,
ex: printf("Wrong parameters value: file %s on line %d\r\n", file, line) */
/* USER CODE END 6 */
}
#endif
/**
* @}
*/
/**
* @}
*/
/*********** (C) COPYRIGHT STMicroelectronics ***END OF FILE**/
串口信息：和上节对比，线程执行优先级和预期一致，没有优先级反转现象了。。。
源码下载：
页:
[1]