The scheduling of tasks is part of the FreeRTOS that the ESP-IDF is based on, but with some differences. Check out the learning material on FreeRTOS on their website, and how it is implemented by ESP32 here: https://docs.espressif.com/projects/esp-idf/en/stable/esp32/api-reference/system/freertos.ht...