Sort out task posting behaviour.

components/driver_console/console.c

@@ -131,7 +131,7 @@ static void uart0_rx_intr_handler (void *arg)
     status = READ_PERI_REG(UART_INT_ST_REG(CONSOLE_UART));
   }
   if (received && input_task)
-    task_post_low (input_task, false);
+    task_post_isr_low (input_task, false);
 }
 
 

components/modules/gpio.c

@@ -62,7 +62,7 @@ static void single_pin_isr (void *p)
 {
   gpio_num_t gpio_num = (gpio_num_t)p;
   gpio_intr_disable (gpio_num);
-  task_post_low (cb_task, (gpio_num) | (gpio_get_level (gpio_num) << 8));
+  task_post_isr_low (cb_task, (gpio_num) | (gpio_get_level (gpio_num) << 8));
 }
 
 

components/modules/pulsecnt.c

@@ -96,7 +96,7 @@ static void IRAM_ATTR pulsecnt_intr_handler(void *arg)
             // on lua_open we set pulsecnt_task_id as a method which gets called
             // by Lua after task_post_high with reference to this self object and then we can steal the 
             // callback_ref and then it gets called by lua_call where we get to add our args
-            task_post_high(pulsecnt_task_id, (evt.status << 8) | evt.unit );
+            task_post_isr_high(pulsecnt_task_id, (evt.status << 8) | evt.unit );
         }
     }
 }

components/modules/touch.c

@@ -91,7 +91,7 @@ static void IRAM_ATTR touch_intr_handler(void *arg)
   // on lua_open we set touch_task_id as a method which gets called
   // by Lua after task_post_high with reference to this self object and then we can steal the 
   // callback_ref and then it gets called by lua_call where we get to add our args
-  task_post_high(touch_task_id, pad_intr );
+  task_post_isr_high(touch_task_id, pad_intr );
   
 }
 

components/task/include/task/task.h

@@ -23,10 +23,27 @@ typedef intptr_t task_param_t;
 */
 bool task_post(task_prio_t priority, task_handle_t handle, task_param_t param);
 
+/* When posting NodeMCU tasks from an ISR, this version MUST be used,
+ * and vice versa.
+ * Doing otherwise breaks assumptions made by the FreeRTOS kernel in terms of
+ * concurrency safety, and may lead to obscure and hard-to-pinpoint bugs.
+ * While a specific hardware port may be implemented in a manner which makes
+ * it concurrency safe to call FreeRTOS xxxFromISR functions from any context,
+ * doing so would still lead to scheduling oddities as the xxxFromISR
+ * functions do not perform task switching whereas the non-FromISR versions
+ * do. In practical terms, that means that even if a higher priority FreeRTOS
+ * task was unblocked, it would not get scheduled at that point.
+ */
+bool task_post_isr(task_prio_t priority, task_handle_t handle, task_param_t param);
+
 #define task_post_low(handle,param)    task_post(TASK_PRIORITY_LOW,    handle, param)
 #define task_post_medium(handle,param) task_post(TASK_PRIORITY_MEDIUM, handle, param)
 #define task_post_high(handle,param)   task_post(TASK_PRIORITY_HIGH,   handle, param)
 
+#define task_post_isr_low(handle,param)    task_post_isr(TASK_PRIORITY_LOW,    handle, param)
+#define task_post_isr_medium(handle,param) task_post_isr(TASK_PRIORITY_MEDIUM, handle, param)
+#define task_post_isr_high(handle,param)   task_post_isr(TASK_PRIORITY_HIGH,   handle, param)
+
 typedef void (*task_callback_t)(task_param_t param, task_prio_t prio);
 
 task_handle_t task_get_id(task_callback_t t);

components/task/task.c

@@ -62,9 +62,26 @@ bool IRAM_ATTR task_post (task_prio_t priority, task_handle_t handle, task_param
     return false;
 
   task_event_t ev = { handle, param };
-  bool res = pdPASS == xQueueSendToBackFromISR (task_Q[priority], &ev, NULL);
+  bool res = (pdPASS == xQueueSendToBack(task_Q[priority], &ev, 0));
 
-  xSemaphoreGiveFromISR (pending, NULL);
+  xSemaphoreGive(pending);
+
+  return res;
+}
+
+
+bool IRAM_ATTR task_post_isr(task_prio_t priority, task_handle_t handle, task_param_t param)
+{
+  if (priority >= TASK_PRIORITY_COUNT ||
+      (handle & TASK_HANDLE_MASK) != TASK_HANDLE_MONIKER)
+    return false;
+
+  task_event_t ev = { handle, param };
+  bool res = (pdPASS == xQueueSendToBackFromISR (task_Q[priority], &ev, NULL));
+
+  BaseType_t woken = pdFALSE;
+  xSemaphoreGiveFromISR (pending, &woken);
+  portYIELD_FROM_ISR(woken);
 
   return res;
 }