esp32 arduino xSemaphoreGiveFromISR

`xSemaphoreGiveFromISR`函数是在ESP32的Arduino框架中使用的一个函数，用于在中断服务程序中给一个二值信号量（binary semaphore）发送信号。它的作用是在中断上下文中释放一个信号量，以便其他任务可以获取该信号量。

该函数的原型如下：

BaseType_t xSemaphoreGiveFromISR(SemaphoreHandle_t xSemaphore, BaseType_t *pxHigherPriorityTaskWoken);

其中，`xSemaphore`是信号量的句柄，`pxHigherPriorityTaskWoken`是一个指向`BaseType_t`类型的变量的指针，用于指示是否唤醒了一个优先级更高的任务。

使用该函数时，通常在中断服务程序中调用它，以便在中断发生时释放信号量，示例如下：

void IRAM_ATTR isrHandler()
{
    BaseType_t xHigherPriorityTaskWoken = pdFALSE;
    xSemaphoreGiveFromISR(xSemaphore, &xHigherPriorityTaskWoken);
    if (xHigherPriorityTaskWoken == pdTRUE) {
        portYIELD_FROM_ISR();
    }
}

在上述示例中，当中断发生时，`xSemaphoreGiveFromISR`函数被调用以释放信号量，并通过`xHigherPriorityTaskWoken`参数判断是否唤醒了一个优先级更高的任务。如果唤醒了一个任务，则调用`portYIELD_FROM_ISR`函数以确保任务切换。

需要注意的是，该函数只能在中断服务程序中使用，不能在普通的任务上下文中调用。