|
在一般的二值信号量用于资源互斥访问时,因为已经不存在实例,线程递归持有会发生主动挂起(最终形成死锁)。使用信号量会导致的另一个潜在问题是线程优先级翻转。所谓优先级翻转问题即当一个高优先级线程试图通过信号量机制访问共享资源时,如果该信号量已被一低优先级线程持有,而这个低优先级线程在运行过程中可能又被其它一些中等优先级的线程抢占,因此造成高优先级线程被许多具有较低优先级的线程阻塞,实时性难以得到保证。例如:有优先级为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运行。这样便不能保证高优先级线程的响应时间。
下面在机智云gokit智能硬件开发板上演示使用信号量是如何发生优先级反转的,程序中创建了3个不同优先级的线程:线程1、线程2和线程3,优先级线程1> 线程2 > 线程3。线程1,2处于挂起状态,等待延时事件的触发,线程3正在运行,此时线程3开始使用某一共享资源:一个初始值为1的二值信号量。在使用过程中,线程1等待的事件到来,线程1转为就绪态,因为它比线程3优先级高,所以立即执行。但是当线程1要使用共享资源时,由于其正在被线程3使用,因此线程1被挂起切换到线程3运行。如果此时线程2等待的事件到来,则线程2转为就绪态。由于线程2的优先级比线程3高,因此线程2开始运行,直到其运行完毕,线程3才开始运行。只有当线程3释放共享资源后,线程1才得以执行。
注意:在线程3中使用了无限占用CPU的“死等”延时,而不是内核延时函数。
- /**
- ****************************************************
- * 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_semaphore sem;
- /* 线程1入口 */
- void thread1_entry(void* parameter)
- {
- while(1)
- {
- rt_thread_delay(100);
- rt_sem_take(&sem, RT_WAITING_FOREVER);
- rt_kprintf("thread1 is running.\n");
- rt_sem_release(&sem);
- }
- }
- /* 线程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_sem_take(&sem, RT_WAITING_FOREVER);
- rt_kprintf("thread3 is running.\n");
- rt_hw_delay_ms(500);
- rt_sem_release(&sem);
- }
- }
- /* 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_sem_init(&sem, "sem", 1, 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 */
- /**
- * @brief This function is executed in case of error occurrence.
- * @param None
- * @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***/
复制代码
串口打印信息如下:可以看到优先级低的线程2却比优先级高的线程1先运行了。。。
源码下载:
Gokit_RT-Thread.zip
(8.65 MB, 下载次数: 2, 售价: 1 金钱)
|
|