什么是计数型信号量？

计数型信号量相当于队列长度大于1 的队列，因此计数型信号量能够容纳多个资源，这在计数型 信号量被创建的时候确定的。

计数型信号量相关 API 

 SemaphoreHandle_t xSemaphoreCreateCounting( UBaseType_t uxMaxCount, UBaseType_t uxInitialCount);

参数： uxMaxCount：可以达到的最大计数值

uxInitialCount：创建信号量时分配给信号量的计数值

返回值： 成功，返回对应计数型信号量的句柄； 失败，返回 NULL 。

实操 实验需求 创建一个计数型信号量，按下 KEY1 则释放信号量，按下 KEY2 获取信号量。

myCountingSemHandle = xSemaphoreCreateCounting(3,0);

void StartTaskGive(void const * argument)
{
  /* USER CODE BEGIN StartTaskGive */
  /* Infinite loop */
  for(;;)
  {
		if(HAL_GPIO_ReadPin(GPIOA,GPIO_PIN_0)==GPIO_PIN_RESET)
		{
			osDelay(20);
			if(HAL_GPIO_ReadPin(GPIOA,GPIO_PIN_0)==GPIO_PIN_RESET)
			{
				if(xSemaphoreGive( myCountingSemHandle)==pdTRUE)
					printf("计数型信号量放入成功\r\n");
				else
					printf("计数型信号量放入失败\r\n");
			}
			while(HAL_GPIO_ReadPin(GPIOA,GPIO_PIN_0)==GPIO_PIN_RESET);
		}
    osDelay(10);
  }
  /* USER CODE END StartTaskGive */
}

/* USER CODE BEGIN Header_StartTaskTake */
/**
* @brief Function implementing the taskTake thread.
* @param argument: Not used
* @retval None
*/
/* USER CODE END Header_StartTaskTake */
void StartTaskTake(void const * argument)
{
  /* USER CODE BEGIN StartTaskTake */
  /* Infinite loop */
  for(;;)
  {
    if(HAL_GPIO_ReadPin(GPIOA,GPIO_PIN_1)==GPIO_PIN_RESET)
		{
			osDelay(20);
			if(HAL_GPIO_ReadPin(GPIOA,GPIO_PIN_1)==GPIO_PIN_RESET)
			{
				if(xSemaphoreTake(myCountingSemHandle,0)==pdTRUE)
					printf("取出计数型信号量成功\r\n");
				else
					printf("取出计数型信号量失败\r\n");
				
			}
			while(HAL_GPIO_ReadPin(GPIOA,GPIO_PIN_1)==GPIO_PIN_RESET);
		}
    osDelay(10);
  }
  /* USER CODE END StartTaskTake */
}